36480b1c45
hide —simulate-proof-failures behind compile flag
...
The `--simulate-proof-failures` cli param is now only available when codex is compile using the `-d:codex_enable_proof_failures` flag.
2023-06-19 14:11:28 +02:00
cdd175279c
Fix nimble requirements ( #305 )
...
* [build] Update nim-ethers to 0.2.4
* [build] set correct lrucache requirement in nimble file
2022-11-16 13:10:23 +01:00
456e675b8a
[build] Update nim-leopard to version 0.1.0 ( #310 )
...
Reduces the time required to build nim-leopard.
2022-11-15 09:05:52 +01:00
90c818bdda
[build] update questionable to 0.10.6
...
Includes fix for double evaluations of options and results
2022-09-29 10:16:41 +02:00
14cfe05ef6
Update questionable to 0.10.5
2022-09-19 15:51:03 +02:00
5ec2e40a73
[build] Update asynctest to version 0.3.2 ( #244 )
...
Includes a fix for Nil exception on unthandled exception
2022-09-12 09:59:39 -06:00
014207c87f
bump nim-ethers to 0.2.2, add nim-eth dependency ( #236 )
...
Support latest version of nim-ethers which relies on nim-eth.
NOTE: This commit points to PR #31 which is a branch of nim-ethers. That branch should probably be merged first, and this PR updated to point to the commit on main.
2022-09-08 16:56:41 -06:00
7c50d9f739
Update ethers to version 0.2.0
2022-07-20 13:43:20 +02:00
e1998e0b61
Sync submodule dependencies and lock file ( #134 )
...
- I have performed synchronization using `add-all-vendor-projects` and `nimble
lock` in `nim-workspaces` project
2022-07-19 09:31:32 -06:00
1088e43c2d
Fix command line args setup ( #120 )
...
- commandLineParams is the correct way to access args
2022-06-22 15:37:05 -06:00
cf4a0a393e
Json info ( #115 )
...
* make info return a json with an spr
* add an `exec` target to the makefile
2022-06-14 17:34:56 -06:00
3b0e93eab4
[chore] bump nim-ethers to 0.1.7 ( #107 )
...
* [chore] bump nim-ethers to 0.1.7
* [chore] make block handler callback async
nim-ethers 0.1.7 makes the subscription callbacks async.
2022-06-02 16:09:53 -06:00
209343087c
Change every dagger to codex ( #102 )
2022-05-19 13:56:03 -06:00
Eric Mastro
markspanbroek
Eric Mastro
Ivan Yonchovski
Dmitriy Ryajov
Michael Bradley