1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Commit graph

3372 commits

Author SHA1 Message Date
schaeff
6fa722de05 add commentt on dummy generic variable 2021-08-04 17:30:16 +02:00
schaeff
1e03f110af clippy 2021-08-03 10:25:42 +02:00
schaeff
0daf122840 better absy fmt, remove tryfrom/from implementations from declaration types to normal types, use function instead 2021-08-03 00:52:35 +02:00
schaeff
3103d17d6f add tests, unwrap on infailible semantic check 2021-08-03 00:20:40 +02:00
schaeff
f92df0fa1a add tests, fail gracefully on generic inference attempt and eq generic mismatch 2021-07-28 12:38:58 +02:00
schaeff
d0622d849c clippy 2021-07-28 09:37:49 +02:00
schaeff
fbd7fddf99 update doc, example, fix absy creation 2021-07-28 00:11:18 +02:00
schaeff
5f75c495a0 Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs 2021-07-26 17:03:48 +02:00
Thibaut Schaeffer
7c2a23df63
Merge pull request #949 from Zokrates/patch-constant-inliner-state-corruption
Patch state corruption in constant inliner
2021-07-26 15:23:02 +02:00
schaeff
ecb105fb56 add test 2021-07-26 15:02:37 +02:00
schaeff
c9e4cf1e48 inline constants starting from main 2021-07-26 14:42:13 +02:00
schaeff
a98701309d implement fold_program to avoid calling fold_module more than expected 2021-07-25 18:31:22 +02:00
Thibaut Schaeffer
a1cf614f53
Merge pull request #947 from Zokrates/patch-abi-struct-value
Patch abi encoder struct bug
2021-07-25 17:06:51 +02:00
schaeff
d3621897ed fix test 2021-07-25 16:37:36 +02:00
schaeff
84f717cd32 add changelog 2021-07-25 15:51:45 +02:00
schaeff
eedc4dbe61 use vec instead of map 2021-07-25 15:46:30 +02:00
schaeff
497d43d67a use trait for type pattern detection 2021-07-20 15:07:05 +02:00
schaeff
2b0fd0909f remove logs 2021-07-19 10:08:53 +02:00
schaeff
03c434994b add boolean common type case 2021-07-19 09:51:50 +02:00
schaeff
6bab1cdb88 Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs 2021-07-19 09:33:18 +02:00
Thibaut Schaeffer
fc714ac539
Merge pull request #844 from leonardoalt/bump_solidity
Bump Solidity version
2021-07-16 23:47:59 +02:00
schaeff
10b9f4a48b remove remaining references to abi version 2021-07-16 23:19:33 +02:00
Thibaut Schaeffer
6f6e97c8d6
Merge pull request #946 from Zokrates/circleci-m1-support
Build M1 on CircleCI
2021-07-16 20:26:31 +02:00
dark64
bb9e0f16a2 add m1 cross compilation to ci 2021-07-16 15:51:53 +02:00
schaeff
51fea62a9e add example, and make it compile, using a DeclarationType for common type detection 2021-07-16 15:30:59 +02:00
dark64
22e05e6d9c export env vars 2021-07-16 15:09:22 +02:00
dark64
0ba7d4a3e5 wip 2021-07-16 15:03:10 +02:00
Leo Alt
034fbaf080 Link library properly in integration tests 2021-07-16 13:10:31 +02:00
Leo Alt
4e290c77a3 Enable Sol optimizer in integration tests 2021-07-16 13:10:31 +02:00
Leo Alt
939f1eb58c Remove Sol abi differences 2021-07-16 13:10:31 +02:00
schaeff
2857ceb972 bump solidity in integration tests 2021-07-16 13:10:31 +02:00
Leo Alt
5e2d0d5b5c Changelog 2021-07-16 13:10:31 +02:00
schaeff
ec3fca7312 remove print 2021-07-15 16:48:58 +02:00
schaeff
de93e50098 fix early specialization panic 2021-07-15 16:46:08 +02:00
Leo Alt
db2e0f0849 Bump Solidity version 2021-07-15 15:33:14 +02:00
schaeff
7f33ddf4f7 remove duplicated example 2021-07-15 15:01:42 +02:00
schaeff
f656616683 fix tests, add changelog 2021-07-15 15:01:06 +02:00
schaeff
044da908ea implement display for const declaration, add breaking test for wrong const type 2021-07-15 12:05:25 +02:00
schaeff
e5bcbed81f refactor types, implement struct generics 2021-07-15 10:44:44 +02:00
schaeff
bfcc733714 Merge branch 'develop' of github.com:Zokrates/ZoKrates into generic-structs 2021-07-13 11:08:50 +02:00
Thibaut Schaeffer
6271c5b746
Merge pull request #935 from Zokrates/merge-075
Merge 0.7.5
2021-07-12 11:08:54 +02:00
Darko Macesic
f602eb91db
Merge pull request #934 from Zokrates/rc/0.7.5
Release 0.7.5
2021-07-10 14:08:22 +02:00
dark64
1647f1f838 increase timeout on integration tests 2021-07-10 13:35:58 +02:00
schaeff
0bb2f899bf bump versions, generate changelog 2021-07-10 13:13:31 +02:00
Thibaut Schaeffer
5e6c8f09bc
Merge pull request #932 from Zokrates/refactor-abi-parsing
Refactor abi parsing
2021-07-10 12:56:46 +02:00
schaeff
1ef196b164 merge dev 2021-07-10 11:26:14 +02:00
Thibaut Schaeffer
73ded42f68
Merge pull request #933 from Zokrates/fix-develop-marlin
Fix tests on develop
2021-07-10 11:23:41 +02:00
schaeff
b6b163b21b fix tests 2021-07-10 11:09:01 +02:00
dark64
09eefc2d7d fmt in zokrates_js 2021-07-09 23:22:11 +02:00
dark64
337cece9c9 add changelog 2021-07-09 23:14:33 +02:00