Thibaut Schaeffer
|
7e0de9b54c
|
Merge pull request #930 from Zokrates/zir-select
Introduce Select in zir to reduce cost of array access
|
2021-07-01 13:13:27 +02:00 |
|
Leo Alt
|
24c9f2d5ff
|
Changelog entry
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
82fad64583
|
Tests
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
ba22c64d0e
|
Add CLI option to generate smtlib2 files.
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
ce807a478b
|
Add SMTLib2 trait that outputs the IR as SMT formulas.
|
2021-06-30 21:58:20 +02:00 |
|
Leo Alt
|
9a513554e7
|
Add IR visitor that traverses the AST.
|
2021-06-30 21:58:20 +02:00 |
|
schaeff
|
9fc66516c4
|
add test
|
2021-06-30 13:18:38 +02:00 |
|
schaeff
|
dce8a2979e
|
add missing case for booleans
|
2021-06-30 12:47:38 +02:00 |
|
schaeff
|
1a3fa5630c
|
remove examples
|
2021-06-29 22:37:15 +02:00 |
|
schaeff
|
f00966a433
|
remove examples, simplify type flattening for known indices
|
2021-06-29 22:32:52 +02:00 |
|
schaeff
|
7ab7fecf4f
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zir-select
|
2021-06-29 16:19:16 +02:00 |
|
schaeff
|
ef8f76b433
|
fix test
|
2021-06-29 15:37:58 +02:00 |
|
schaeff
|
1630b5af4d
|
fix bash
|
2021-06-29 12:16:36 +02:00 |
|
schaeff
|
ec294b7fc5
|
fix ci features, target libsnark tests specifically
|
2021-06-29 12:07:26 +02:00 |
|
schaeff
|
872ea9c5ce
|
fix cli
|
2021-06-28 20:32:28 +02:00 |
|
schaeff
|
d01796ae7f
|
impl nonuniversal for pghr
|
2021-06-28 20:27:31 +02:00 |
|
schaeff
|
48e5d93028
|
another try
|
2021-06-28 20:20:43 +02:00 |
|
dark64
|
a3cbd70ae0
|
fix tests
|
2021-06-28 20:17:54 +02:00 |
|
schaeff
|
98f3937aa8
|
fix import
|
2021-06-28 20:15:45 +02:00 |
|
dark64
|
82c98a45e0
|
remove gadget term
|
2021-06-28 20:13:26 +02:00 |
|
schaeff
|
f300d2f7fd
|
fail gracefully on undersized setup, build with libsnark
|
2021-06-28 20:02:15 +02:00 |
|
Thibaut Schaeffer
|
e3d3d91eab
|
Merge pull request #928 from Zokrates/dark64-patch-2
Fix syntax error in ace mode
|
2021-06-28 18:36:33 +02:00 |
|
dark64
|
e73f2448f8
|
remove comments, add assertions
|
2021-06-28 14:25:12 +02:00 |
|
dark64
|
d0983b62a7
|
changelog
|
2021-06-28 13:41:06 +02:00 |
|
dark64
|
f57c3a4869
|
working verifier
|
2021-06-28 13:38:45 +02:00 |
|
Darko Macesic
|
17c28a4b29
|
Update package.json
|
2021-06-28 11:24:30 +02:00 |
|
Darko Macesic
|
f3968a6f7b
|
Fix syntax error in ace mode
|
2021-06-28 11:21:44 +02:00 |
|
Thibaut Schaeffer
|
1b4b88b150
|
Merge pull request #924 from Zokrates/for-loop-doc
Update for loop doc
|
2021-06-26 15:52:02 +02:00 |
|
schaeff
|
37b45e236d
|
implement entire flow
|
2021-06-25 18:09:28 +02:00 |
|
dark64
|
0567ea0958
|
fix features
|
2021-06-23 20:34:00 +02:00 |
|
schaeff
|
454d4b9ab3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into for-loop-doc
|
2021-06-23 13:30:24 +02:00 |
|
Thibaut Schaeffer
|
276b449211
|
Merge pull request #926 from Zokrates/fix-tutorial-link
Fix tutorial link
|
2021-06-23 13:15:09 +02:00 |
|
schaeff
|
21f3775de4
|
fix links in book
|
2021-06-23 12:54:26 +02:00 |
|
schaeff
|
5c5f532b17
|
add changelog
|
2021-06-23 12:34:28 +02:00 |
|
schaeff
|
655f033129
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into for-loop-doc
|
2021-06-23 12:33:24 +02:00 |
|
Thibaut Schaeffer
|
bf948dbc24
|
Update README.md
|
2021-06-23 12:29:07 +02:00 |
|
schaeff
|
ded11848f2
|
update test due to marlin bug
|
2021-06-22 22:26:31 +02:00 |
|
schaeff
|
91bb00cf50
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into marlin
|
2021-06-22 17:05:21 +02:00 |
|
Thibaut Schaeffer
|
fec654fc62
|
Merge pull request #925 from Zokrates/deploy
Merge back 0.7.4
|
2021-06-22 17:05:12 +02:00 |
|
schaeff
|
8efcfcdbb9
|
make tests compile
|
2021-06-22 17:04:12 +02:00 |
|
Thibaut Schaeffer
|
961834c1ec
|
Update control_flow.md
|
2021-06-22 15:45:59 +02:00 |
|
schaeff
|
97c7ec9730
|
add instance variable count to total
|
2021-06-21 19:29:48 +02:00 |
|
Thibaut Schaeffer
|
59dd0b9164
|
Merge pull request #923 from Zokrates/rc/0.7.4
Release 0.7.4
|
2021-06-19 14:07:21 +02:00 |
|
dark64
|
2583d9e5d2
|
disable markdown link checking on unreleased tag
|
2021-06-17 15:50:33 +02:00 |
|
schaeff
|
7bc90dd85c
|
bump versions, generate changelog
|
2021-06-17 15:33:37 +02:00 |
|
Thibaut Schaeffer
|
6eea32a0fe
|
Merge pull request #917 from Zokrates/field-size-in-bits
Add FIELD_SIZE_IN_BITS constant to EMBED
|
2021-06-17 14:58:04 +02:00 |
|
dark64
|
b1974da128
|
add FIELD_MIN and FIELD_MAX constants to field module, update tests
|
2021-06-17 13:27:24 +02:00 |
|
dark64
|
c3cc316591
|
Merge branch 'develop' into field-size-in-bits
|
2021-06-17 12:22:16 +02:00 |
|
Thibaut Schaeffer
|
17095e966c
|
Merge pull request #913 from Zokrates/use-global-constant-map
Use global constant map for constant inlining
|
2021-06-17 12:13:29 +02:00 |
|
schaeff
|
9e99cc19c7
|
adjust panic message
|
2021-06-16 16:36:44 +02:00 |
|