dark64
|
e5fd35ac26
|
wip
|
2021-07-08 15:14:18 +02:00 |
|
schaeff
|
de6bf42362
|
update tests
|
2021-05-26 16:03:07 +02:00 |
|
schaeff
|
e2878f19a3
|
update parser and ast to be stricter, fix conversion to absy, wip
|
2021-05-26 15:22:23 +02:00 |
|
schaeff
|
9e268860e8
|
bump versions, generate changelog
|
2021-05-18 11:00:24 +02:00 |
|
dark64
|
5539edc16b
|
remove strict ordering of declarations, refactor import logic
|
2021-05-12 20:03:08 +02:00 |
|
schaeff
|
0e56ff7c57
|
bump versions, generate changelog
|
2021-04-30 11:34:00 +02:00 |
|
dark64
|
39e28615e3
|
merge dev
|
2021-04-16 22:05:29 +02:00 |
|
Thibaut Schaeffer
|
eb9326d047
|
Merge pull request #809 from Zokrates/multi-import
Allow importing of multiple symbols in a single import statement
|
2021-04-16 12:29:14 +02:00 |
|
dark64
|
61833d70c4
|
import multiple symbols in a single from-import statement
|
2021-04-12 18:49:58 +02:00 |
|
schaeff
|
f290de2b58
|
bump version, generate changelog
|
2021-04-09 15:09:34 +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
|
fd7164f05d
|
Merge branch 'develop' into constant-def
|
2021-04-02 17:49:24 +02:00 |
|
dark64
|
6b5424a7ed
|
merge develop, add u64 embeds
|
2021-04-02 17:39:27 +02:00 |
|
dark64
|
f8dc4d7649
|
introduce constant definitions
|
2021-04-01 23:22:35 +02:00 |
|
schaeff
|
56650c9e2e
|
merge dev, please clippy
|
2021-04-01 18:32:40 +02:00 |
|
schaeff
|
9d13b4129d
|
merge dev, implement inference for neg and pos, fix conclicts
|
2021-04-01 17:34:05 +02:00 |
|
schaeff
|
23ee9a4c6d
|
add back op_pow as extroneous pairs are not ignored
|
2021-03-23 17:27:55 +01:00 |
|
dark64
|
95e699ae39
|
add u64 type
|
2021-03-23 16:36:08 +01:00 |
|
schaeff
|
641bffa928
|
clean
|
2021-03-23 12:41:55 +01:00 |
|
schaeff
|
6f4501ba8a
|
implement python precedence in the parser, use derives in ast generation
|
2021-03-23 12:24:35 +01:00 |
|
schaeff
|
5897a6f172
|
add negative and positive operators
|
2021-03-16 19:22:32 +01:00 |
|
schaeff
|
870752d58d
|
make clippy happy
|
2021-03-05 16:53:19 +01:00 |
|
schaeff
|
0537b1b256
|
make tests pass, simplify stdlib
|
2021-01-21 01:00:56 +01:00 |
|
schaeff
|
a70443ce94
|
make tests pass, typed repeat, generic stdlib
|
2021-01-19 22:50:33 +01:00 |
|
schaeff
|
2a2da0173f
|
clean, allow literal in explicit constant parameter, add tests
|
2021-01-18 15:18:36 +01:00 |
|
schaeff
|
5fe05099b3
|
make all tests pass
|
2021-01-14 16:58:44 +01:00 |
|
schaeff
|
58f9a521ec
|
introduce owned types
|
2021-01-12 11:21:10 +01:00 |
|
schaeff
|
05e91acc27
|
merge clippy
|
2020-12-21 15:22:02 +01:00 |
|
schaeff
|
cc8e26bc8c
|
more lint
|
2020-12-21 00:38:45 +01:00 |
|
schaeff
|
1938a98d2a
|
merge clippy
|
2020-12-20 20:30:40 +01:00 |
|
schaeff
|
ce1079d890
|
manual fixes
|
2020-12-20 18:29:44 +01:00 |
|
schaeff
|
a6569d506a
|
fix conflict
|
2020-12-20 13:41:09 +01:00 |
|
schaeff
|
6e769f30c5
|
merge dev
|
2020-11-24 16:41:40 +00:00 |
|
Thibaut Schaeffer
|
6dab8a4bc6
|
Merge pull request #706 from Zokrates/uint-division
uint division
|
2020-11-24 10:58:29 +00:00 |
|
schaeff
|
4bbde1f02e
|
fix conflict
|
2020-11-23 14:47:00 +00:00 |
|
schaeff
|
9f3ccdb7f2
|
add remainder operation
|
2020-11-19 12:35:42 +00:00 |
|
schaeff
|
5c39785b9b
|
remove unused deps, split zokrates_test
|
2020-11-18 13:04:50 +00:00 |
|
schaeff
|
285b9d781a
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
schaeff
|
dd8dbd9cd6
|
merge dev
|
2020-10-02 00:55:18 +02:00 |
|
schaeff
|
e8cdbcc318
|
wip
|
2020-09-29 09:56:07 +02:00 |
|
schaeff
|
54479c00ee
|
implement decimal literal inference
|
2020-09-16 23:23:41 +02:00 |
|
schaeff
|
a02fdb1261
|
detect undeclared and unused constant generics
|
2020-08-31 16:51:49 +02:00 |
|
schaeff
|
e7940a3c97
|
fix test in other crates
|
2020-08-31 12:34:54 +02:00 |
|
schaeff
|
52d8065f37
|
fix tests in core
|
2020-08-28 20:04:05 +02:00 |
|
schaeff
|
2e56d2f1cf
|
add generics to parser. now need to allow generics in types...
|
2020-08-19 15:15:23 +02:00 |
|
schaeff
|
f502120508
|
bump versions
|
2020-08-06 18:50:12 +02:00 |
|
schaeff
|
409e55d322
|
more literals for uints
|
2020-08-06 18:36:16 +02:00 |
|
schaeff
|
3e66462269
|
fix test
|
2020-07-15 23:08:38 +02:00 |
|
schaeff
|
91c4747b5b
|
fix tests
|
2020-07-15 23:00:12 +02:00 |
|
schaeff
|
1e35c8f385
|
tweak precedence, add reference
|
2020-07-09 19:19:11 +02:00 |
|