nim-codex/tests
Tanguy ce59dbd4a2
Revert "Cleanup engine and rework discovery (#87)"
This reverts commit 4740ffc144.
2022-04-20 14:28:11 +02:00
..
contracts Subscribe to proof submissions (#83) 2022-04-13 10:41:48 -06:00
dagger Revert "Cleanup engine and rework discovery (#87)" 2022-04-20 14:28:11 +02:00
fixtures Node setup (#32) 2022-01-10 09:32:56 -06:00
config.nims Revert "Cleanup engine and rework discovery (#87)" 2022-04-20 14:28:11 +02:00
examples.nim Subscribe to proof submissions (#83) 2022-04-13 10:41:48 -06:00
nim.cfg Nimble lock file 2022-04-12 16:59:00 +03:00
testContracts.nim Subscribe to proof submissions (#83) 2022-04-13 10:41:48 -06:00
testContracts.nim.cfg Nimble lock file 2022-04-12 16:59:00 +03:00
testDagger.nim Proving (#66) 2022-04-08 15:58:16 -06:00
testDagger.nim.cfg Nimble lock file 2022-04-12 16:59:00 +03:00