Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add dave-advance and dave-query modules #26

Closed
wants to merge 38 commits into from
Closed

Add dave-advance and dave-query modules #26

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
f250b18
Copy rust work from `compute`
stephenctw Oct 31, 2023
b8d59e9
feat(validator): add minimum workable input reader code
stephenctw Oct 31, 2023
553cb7c
fix: rebase to rust-base
stephenctw Oct 31, 2023
c8543d8
chore: move machine-json-rpc to separate repo
stephenctw Oct 31, 2023
0851131
feat: draft machine module
stephenctw Oct 31, 2023
e7f02e7
feat: modify basics of the merkle tree
algebraic-dev Nov 6, 2023
25d11a3
chore: cargo fmt
algebraic-dev Nov 6, 2023
2283e59
refactor: code style and some minor changes
algebraic-dev Nov 7, 2023
9c45bf9
fix: bug with trailling zeros
algebraic-dev Nov 9, 2023
9ff24b6
refactor: some changes to make it compliant with the other code
algebraic-dev Nov 13, 2023
b8e6979
chore: cargo clippy --fix
algebraic-dev Nov 13, 2023
5e956ff
chore: add comments and change small things
algebraic-dev Nov 27, 2023
b352942
chore: small changes to function names
algebraic-dev Nov 28, 2023
835caa4
chore: remove mutexguards and change a loop
algebraic-dev Nov 28, 2023
0209def
chore: extract use to reduce line size
algebraic-dev Nov 28, 2023
34e6b25
chore: add nice message to assert
algebraic-dev Nov 28, 2023
be746ef
chore: extract use to reduce line size
algebraic-dev Nov 28, 2023
2a88ed5
chore: changes function names
algebraic-dev Nov 28, 2023
49e4c75
fix: problems with the adversary commitment builder
algebraic-dev Dec 7, 2023
ceb545e
refactor: changes suggested by stephenctw
algebraic-dev Dec 7, 2023
a03f4db
chore(input-reader): rewrite module as a library
stephenctw Dec 7, 2023
3846b46
dependencies: bump machine-json-rpc
stephenctw Dec 7, 2023
e96c3c2
chore(machine): refactor rust machine
stephenctw Dec 7, 2023
52c64e3
chore(rust-contract): update bindings
stephenctw Dec 12, 2023
19238e0
feat: move state fetching logic from `Player` to `Arena`
stephenctw Dec 12, 2023
7d350a5
chore(offchain): major rewrite of `cartesi-compute-core`
stephenctw Dec 13, 2023
c554016
feat(offchain): add `dave-compute` executable
stephenctw Dec 20, 2023
e5b152c
feat(lua-node): split entrypoint into multiplayers and single_dishonest
stephenctw Dec 25, 2023
0b8c2e0
chore(offchain): remove unused crates
stephenctw Dec 25, 2023
a8280e9
feat(offchain): bug fixes
stephenctw Dec 25, 2023
3ca3525
chore(dep): bump `machine-json-rpc`
stephenctw Dec 25, 2023
df95069
feat(offchain): add garbage collector strategy
stephenctw Jan 5, 2024
5aa73c9
feat(offchain): improve contract binding generation
stephenctw Jan 8, 2024
dbe45cd
chore(offchain): remove counting trick inherited from lua code
stephenctw Jan 8, 2024
1a73386
feat(offchain): enhance `Arena` module
stephenctw Jan 11, 2024
842465a
chore: isolate machine template generation
stephenctw Jan 11, 2024
01f7077
chore(lua-node): code clean-up
stephenctw Jan 11, 2024
9aafe89
feat: add debootstrap showcase
stephenctw Jan 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .dockerignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.vscode
**/target/
2 changes: 2 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,5 @@ node_modules
.env
.DS_Store
**/.idea/
target/
offchain/core/src/contract/*tournament.rs
3 changes: 3 additions & 0 deletions .gitmodules
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,6 @@
[submodule "permissionless-arbitration/contracts/lib/forge-std"]
path = permissionless-arbitration/contracts/lib/forge-std
url = https://github.com/foundry-rs/forge-std
[submodule "machine-json-rpc"]
path = machine-json-rpc
url = https://github.com/cartesi/machine-json-rpc
1 change: 1 addition & 0 deletions machine-json-rpc
Open in desktop
Submodule machine-json-rpc added at b662bf
Loading