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

135 commits

Author SHA1 Message Date
schaeff
2c7d806064 merge dev 2021-10-15 13:07:07 +03:00
dark64
501c69ec60 Merge branch 'develop' into assertion-messages 2021-10-13 11:02:03 +02:00
schaeff
c8ddc8913e enable general postfix expressions in the parser, move function name check to semantics 2021-10-05 19:56:43 +03:00
schaeff
ae825b7f36 update highlighters 2021-09-21 14:01:49 +03:00
dark64
1dbd753ac7 Add optional message to assert statement 2021-09-20 18:23:24 +02:00
dark64
2a94af6ff0 implement type aliasing 2021-08-25 18:21:41 +02:00
schaeff
dfd3d5a7ab bump versions, update changelog 2021-08-16 19:02:42 +02:00
schaeff
bfcc733714 Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs 2021-07-13 11:08:50 +02:00
schaeff
0bb2f899bf bump versions, generate changelog 2021-07-10 13:13:31 +02:00
dark64
e5fd35ac26 wip 2021-07-08 15:14:18 +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
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
schaeff
6e37b15973 merge dev 2021-05-17 23:04:16 +02:00
schaeff
4fbd534376 allow comment after new line, tweak docs 2021-05-17 22:58:24 +02:00
dark64
5539edc16b remove strict ordering of declarations, refactor import logic 2021-05-12 20:03:08 +02:00
schaeff
810e12e980 bump syntax packages 2021-04-30 11:45:09 +02:00
schaeff
0e56ff7c57 bump versions, generate changelog 2021-04-30 11:34:00 +02:00
dark64
3b5ad3d13e update textmate, add yaml version 2021-04-19 17:43:43 +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
schaeff
02a7626928 Merge branch 'deploy' of github.com:Zokrates/ZoKrates into merge-back-070 2021-04-13 18:44:13 +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
dark64
a5129fb8f0 allow underscore before type suffix 2021-04-08 12:00:28 +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
985961001f Merge branch 'compile-time-uint' of github.com:Zokrates/ZoKrates into enforce-clippy 2021-03-31 12:10:45 +02:00
schaeff
186a4f6511 merge dev 2021-03-31 11:25:24 +02:00
schaeff
13be74de8d Merge branch 'develop' of github.com:Zokrates/ZoKrates into neg-pos 2021-03-30 17:36:31 +02:00
schaeff
259dd94796 merge dev 2021-03-25 15:36:02 +01:00
Thibaut Schaeffer
fccc098643
fix field suffix 2021-03-24 22:37:19 +01:00
schaeff
27e0490c8c update readme 2021-03-24 14:22:17 +01:00
schaeff
d4220e8de7 Merge branch 'develop' of github.com:Zokrates/ZoKrates into textmate-highlighter 2021-03-24 14:06:05 +01:00
schaeff
0fdbd04d72 remove YAML file, update README 2021-03-23 22:58:13 +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
1246438ae9 merge dev 2021-03-18 23:47:24 +01:00
schaeff
5897a6f172 add negative and positive operators 2021-03-16 19:22:32 +01:00
schaeff
f435a2958d remove parse_to 2021-03-10 11:33:22 +01:00
schaeff
18857277ac comment out tests which cause warning 2021-03-05 23:51:47 +01:00
schaeff
870752d58d make clippy happy 2021-03-05 16:53:19 +01:00
schaeff
d42ee70893 clean, changelog 2021-03-01 13:54:45 +01:00
schaeff
7db4412b97 adjust publisher, update README 2021-03-01 13:50:48 +01:00