1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Commit graph

3221 commits

Author SHA1 Message Date
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
schaeff
6b4a80d891 clean 2021-06-16 16:30:46 +02:00
schaeff
59023ca677 refactor for clarity, clean 2021-06-16 16:25:01 +02:00
schaeff
759f4dd553 fold module id in folders 2021-06-15 16:41:38 +02:00
Thibaut Schaeffer
acdf693329
Merge pull request #906 from Zokrates/fix-endianness
Change endianness in keccak, sha3 and blake2s hash algorithms to big endian
2021-06-14 16:35:46 +02:00
dark64
5c3bd450ed update blake2 tests 2021-06-11 13:21:12 +02:00
schaeff
0bb9f5897a clippy 2021-06-11 12:11:52 +02:00
schaeff
09c86e1735 keep constants ordered for inlining, clean 2021-06-11 12:04:38 +02:00
dark64
11730c3d7c changelog 2021-06-08 20:47:06 +02:00
dark64
c2e1f3d544 add FIELD_SIZE_IN_BITS constant embed 2021-06-08 20:42:32 +02:00
schaeff
33f0db4d47 changelog 2021-06-08 16:58:38 +02:00
schaeff
5d6f29cb4e make tests pass 2021-06-08 16:56:29 +02:00
Thibaut Schaeffer
85dca36161
Merge pull request #914 from Zokrates/update-book
Update book
2021-06-08 15:22:57 +02:00
dark64
b8b0b6c19b changelog 2021-06-08 15:08:20 +02:00
Thibaut Schaeffer
8e88733bd6
Merge pull request #907 from Zokrates/cache-branch-conditions
Avoid creating empty if-else statements, cache conditions when flattening
2021-06-08 15:05:07 +02:00
dark64
2ba9df9543 update book 2021-06-08 15:00:20 +02:00
schaeff
212d06ec76 rename, clippy 2021-06-08 11:04:15 +02:00
schaeff
46db99dfbe clippy 2021-06-08 10:28:44 +02:00
schaeff
1ff672a7e6 merge dev 2021-06-08 10:25:30 +02:00
schaeff
46cc73d735 wip 2021-06-08 10:12:37 +02:00
Thibaut Schaeffer
b372f9fd7b
Merge pull request #905 from Zokrates/if-else-expression
Introduce if-else expression
2021-06-08 10:12:14 +02:00
Thibaut Schaeffer
81fc555069
Merge pull request #910 from Zokrates/visit-declaration-key
Visit declaration key in folder
2021-06-07 18:45:56 +02:00
Thibaut Schaeffer
31cec6661f
Merge pull request #912 from Zokrates/fix-serialization
Fixed deserialization logic in the zokrates.js that caused issues on cli-compiled binaries
2021-06-07 18:45:21 +02:00
dark64
2d190013ff fix working directory 2021-06-07 18:28:54 +02:00
dark64
bc7e6c2ef5 changelog 2021-06-07 18:16:11 +02:00
dark64
1a4c1fbfdf Fix program serialization in zokrates.js 2021-06-07 18:05:12 +02:00
schaeff
3d05d7386b add breaking test 2021-06-07 16:13:24 +02:00
schaeff
b5a2689937 changelog 2021-06-07 13:41:13 +02:00
schaeff
2db2f21710 visit declaration key 2021-06-07 13:38:49 +02:00
schaeff
52673ab70e add to cache on statement branching 2021-06-04 17:54:22 +02:00
Thibaut Schaeffer
498f31e003
Merge pull request #894 from Zokrates/function-call-expression
implement function call expression
2021-06-04 15:20:45 +02:00
schaeff
7eb22d69c9 add comments 2021-06-04 13:45:28 +02:00
schaeff
e13741ba2b clippy, changelog 2021-06-04 13:23:21 +02:00
schaeff
8553d9d745 avoid creating empty if-else statements, cache conditions when flattening 2021-06-04 13:02:17 +02:00
dark64
bde76d6ab8 add changelog 2021-06-01 15:43:40 +02:00
dark64
316e1d386a Change endianness in keccak, sha3 and blake2s hash algorithms to big endian 2021-06-01 15:40:12 +02:00
Thibaut Schaeffer
926f6a9108
Merge pull request #873 from Zokrates/member-expression
implement member expression and select expression
2021-06-01 09:48:45 +02:00
Thibaut Schaeffer
e4ef841ec7
Merge pull request #896 from Zokrates/fix-multi-assignee-parsing
Fix multi assignee parsing
2021-06-01 09:48:18 +02:00
schaeff
2efb8820a5 add changelog, fmt, remove example which now compiles 2021-05-31 19:59:20 +02:00
schaeff
ef4484f7ef introduce if-else expression, implement case in propagation when consequence and alternative are equal, adjust tests 2021-05-31 19:55:23 +02:00
Thibaut Schaeffer
8dee5ec80b
Merge pull request #904 from Zokrates/fix-variable-read-remover
Fix variable index write when isolating branches
2021-05-31 16:10:17 +02:00
schaeff
1accf7ba64 changelog 2021-05-31 14:01:44 +02:00
schaeff
1875d047ee visit expression 2021-05-31 13:59:26 +02:00
Thibaut Schaeffer
4b2c5e7085
Merge pull request #902 from Zokrates/add-loop-size-limit
Add upper bound to for loops
2021-05-28 17:50:42 +02:00
schaeff
a7a9c7c276 tweak message, add changelog 2021-05-28 16:47:05 +02:00
schaeff
02a039bea4 add limit, add test 2021-05-28 16:45:00 +02:00
schaeff
0764a64a61 fix clippy 2021-05-27 18:36:57 +02:00