schaeff
|
6e37b15973
|
merge dev
|
2021-05-17 23:04:16 +02:00 |
|
Thibaut Schaeffer
|
62dc3b072e
|
Merge pull request #863 from Zokrates/remove-strict-ordering
Relax ordering of symbol declarations
|
2021-05-17 22:52:11 +02:00 |
|
schaeff
|
fcc308f27c
|
implement and test nested conditionals
|
2021-05-17 15:18:41 +02:00 |
|
schaeff
|
e5c4bb0787
|
put internal isolation behind flag, add tests
|
2021-05-17 13:35:45 +02:00 |
|
schaeff
|
ad4717e67f
|
put behind config flag
|
2021-05-17 10:34:37 +02:00 |
|
schaeff
|
8c164afb99
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into conditional-panics
|
2021-05-16 23:32:39 +02:00 |
|
schaeff
|
09b1e52608
|
implement blocks for all types, add breaking example for edge case
|
2021-05-16 23:03:05 +02:00 |
|
schaeff
|
a1a65378a7
|
introduce block into ast and implement isolation on that
|
2021-05-16 19:16:25 +02:00 |
|
dark64
|
7406f8769d
|
visit struct type, improve tests
|
2021-05-13 19:02:38 +02:00 |
|
dark64
|
5c528535f2
|
support constants in declaration types
|
2021-05-13 15:09:06 +02:00 |
|
dark64
|
5539edc16b
|
remove strict ordering of declarations, refactor import logic
|
2021-05-12 20:03:08 +02:00 |
|
Thibaut Schaeffer
|
dab975b7f7
|
Merge pull request #855 from Zokrates/fix-constant-struct-member-mutation
Fix constant assignment to constant struct member panic
|
2021-05-10 15:49:49 +02:00 |
|
Thibaut Schaeffer
|
e07a811ccd
|
Merge pull request #852 from Zokrates/fix-uint-subtraction-flattening
Fix flattening of uint subtraction for values smaller than the target
|
2021-05-06 18:48:57 +02:00 |
|
schaeff
|
d7c7c8ae03
|
better naming, comment
|
2021-05-06 11:46:45 +02:00 |
|
schaeff
|
20fa53b110
|
fix flattening of subtraction for value smaller than the target
|
2021-05-05 23:35:13 +02:00 |
|
schaeff
|
7c52016a6d
|
more complete test
|
2021-05-05 16:26:27 +02:00 |
|
schaeff
|
f9ae089787
|
remove redef optimizer
|
2021-05-05 10:37:33 +02:00 |
|
Thibaut Schaeffer
|
0d804fa6a6
|
Merge pull request #792 from Zokrates/constant-def
Introduce constant definitions
|
2021-04-30 11:11:31 +02:00 |
|
Thibaut Schaeffer
|
4f17446e3d
|
Merge pull request #761 from Zokrates/constant-range-check
Constant range check
|
2021-04-29 20:14:24 +02:00 |
|
schaeff
|
6fddd74432
|
clean, fix native le test
|
2021-04-21 16:33:45 +02:00 |
|
schaeff
|
c105e801e5
|
fix to_bits, improve naming
|
2021-04-20 18:35:03 +02:00 |
|
Thibaut Schaeffer
|
aa8e603b11
|
Merge pull request #819 from Zokrates/update-rotr
Update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-19 21:02:40 +02:00 |
|
dark64
|
708981144d
|
make tests panic if max constraint count is exceeded
|
2021-04-19 13:50:42 +02:00 |
|
dark64
|
39e28615e3
|
merge dev
|
2021-04-16 22:05:29 +02:00 |
|
dark64
|
dafef03b1f
|
fix imports, more tests
|
2021-04-16 21:51:13 +02:00 |
|
schaeff
|
c8322bf0db
|
wip
|
2021-04-15 15:58:10 +02:00 |
|
dark64
|
c80d2faf77
|
replace XOR with OR
|
2021-04-14 20:07:05 +02:00 |
|
dark64
|
6faf3cb689
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
schaeff
|
56146cd95f
|
merge dev, < not working, wip
|
2021-04-08 20:00:15 +02:00 |
|
Thibaut Schaeffer
|
80ff39d428
|
Merge pull request #772 from Zokrates/u64-playground
Adding u64 support, keccak and sha3 hashes
|
2021-04-07 15:49:32 +02:00 |
|
dark64
|
3cd2755c3e
|
update book and spacing
|
2021-04-06 19:33:31 +02:00 |
|
dark64
|
e6cfec4276
|
add uint arithmetic tests
|
2021-04-06 19:23:43 +02:00 |
|
schaeff
|
9d13b4129d
|
merge dev, implement inference for neg and pos, fix conclicts
|
2021-04-01 17:34:05 +02:00 |
|
schaeff
|
af0f1f0987
|
merge dev, fix conflicts, add changelog
|
2021-04-01 16:14:48 +02:00 |
|
schaeff
|
38b6fc76a4
|
merge dev and fix conflicts
|
2021-04-01 12:52:05 +02:00 |
|
schaeff
|
0ed25a5127
|
fix conflicts
|
2021-04-01 11:01:36 +02:00 |
|
schaeff
|
2690bcf139
|
fix zok source
|
2021-03-30 10:50:28 +02:00 |
|
schaeff
|
2306420c3b
|
add compile errors
|
2021-03-24 15:37:38 +01:00 |
|
schaeff
|
6f4501ba8a
|
implement python precedence in the parser, use derives in ast generation
|
2021-03-23 12:24:35 +01:00 |
|
schaeff
|
1246438ae9
|
merge dev
|
2021-03-18 23:47:24 +01:00 |
|
schaeff
|
97ac8da31b
|
fix propagation and add test
|
2021-03-16 19:57:22 +01:00 |
|
schaeff
|
5897a6f172
|
add negative and positive operators
|
2021-03-16 19:22:32 +01:00 |
|
schaeff
|
0a963dd152
|
extract eq check code, implement c < x checks, update tests to use dynamic comparison
|
2021-03-16 12:24:32 +01:00 |
|
schaeff
|
218db3e508
|
introduce EmbedCall, replace FunctionCall by it in inline, simplify zir as a result
|
2021-03-04 20:37:21 +01:00 |
|
dark64
|
d380820c47
|
refactor
|
2021-02-24 22:06:44 +01:00 |
|
schaeff
|
bf8369c362
|
merge dev and make array memoize test pass
|
2021-02-04 14:02:37 +01:00 |
|
schaeff
|
cdf0e1c4d6
|
add test
|
2021-02-04 13:13:14 +01:00 |
|
schaeff
|
2793e77eac
|
merge dev, clippy, fix conflicts
|
2021-01-21 17:53:18 +01:00 |
|
schaeff
|
0537b1b256
|
make tests pass, simplify stdlib
|
2021-01-21 01:00:56 +01:00 |
|
schaeff
|
6e769f30c5
|
merge dev
|
2020-11-24 16:41:40 +00:00 |
|