dark64
|
9474406aaf
|
make tests pass
|
2021-10-13 12:43:49 +02:00 |
|
dark64
|
37940bb067
|
introduce assertion type
|
2021-10-13 12:07:28 +02:00 |
|
dark64
|
501c69ec60
|
Merge branch 'develop' into assertion-messages
|
2021-10-13 11:02:03 +02:00 |
|
schaeff
|
e97826719f
|
changelog
|
2021-10-13 11:47:59 +03:00 |
|
schaeff
|
e42033241e
|
add marlin to backend table
|
2021-10-13 11:45:55 +03:00 |
|
Thibaut Schaeffer
|
29712ee4be
|
Merge pull request #1030 from Zokrates/enable-general-postfix
Allow general postfix expressions
|
2021-10-13 02:21:13 +03:00 |
|
schaeff
|
433a32579f
|
merge dev
|
2021-10-13 02:02:03 +03:00 |
|
schaeff
|
31409d1548
|
merge dev, add changelog
|
2021-10-13 01:50:40 +03:00 |
|
schaeff
|
99fdb5ed2f
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-early-on-complex-value-inequality
|
2021-10-13 01:47:42 +03:00 |
|
schaeff
|
6798b02a13
|
merge dev
|
2021-10-13 01:05:41 +03:00 |
|
Thibaut Schaeffer
|
42742bf76e
|
Merge pull request #1033 from Zokrates/fix-cmake-bug
Fix cmake bug
|
2021-10-13 01:00:04 +03:00 |
|
schaeff
|
675da7f2e7
|
Merge branch 'fix-cmake-bug' of github.com:Zokrates/ZoKrates into fix-cmake-bug
|
2021-10-13 00:58:17 +03:00 |
|
schaeff
|
bca349e35b
|
revert ci change
|
2021-10-13 00:58:00 +03:00 |
|
Darko Macesic
|
71708eac4d
|
Update config.yml
|
2021-10-12 23:57:40 +02:00 |
|
dark64
|
0a22a23bbb
|
reverting
|
2021-10-12 23:08:24 +02:00 |
|
dark64
|
b4c3903150
|
change cmake version
|
2021-10-12 22:56:59 +02:00 |
|
dark64
|
4fe021dcb3
|
update rust version
|
2021-10-12 22:45:23 +02:00 |
|
schaeff
|
2d7b32f97d
|
print cmake version
|
2021-10-12 22:05:09 +03:00 |
|
schaeff
|
e454f89b3d
|
disable parallel
|
2021-10-12 20:47:24 +03:00 |
|
schaeff
|
86acffe23b
|
revert toolchain
|
2021-10-12 20:11:01 +03:00 |
|
schaeff
|
bb3632f57d
|
upgrade cargo lock
|
2021-10-12 19:56:34 +03:00 |
|
schaeff
|
bdd68fb922
|
try with previous nightly
|
2021-10-12 19:45:17 +03:00 |
|
schaeff
|
d738937823
|
try with older nightly
|
2021-10-12 19:35:25 +03:00 |
|
schaeff
|
43b2a1d350
|
move to non breaking nightly, fix conflicts
|
2021-10-12 16:37:30 +03:00 |
|
Thibaut Schaeffer
|
1f8b15a114
|
Merge pull request #1029 from Zokrates/upgrade-rust-toolchain
Upgrade rust toolchain
|
2021-10-12 15:56:43 +03:00 |
|
schaeff
|
eb492153f4
|
add docs, use alias in example
|
2021-10-12 12:10:02 +03:00 |
|
schaeff
|
ba3752307c
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into type-alias
|
2021-10-11 11:17:20 +03:00 |
|
schaeff
|
60569586fd
|
fail in zir propagation when an assertion is false
|
2021-10-11 10:34:49 +03:00 |
|
Thibaut Schaeffer
|
65c4ccb316
|
Merge pull request #997 from Zokrates/strict-field-to-uint
Make field to uint casts truncate values bigger than uint max
|
2021-10-11 10:17:29 +03:00 |
|
schaeff
|
60ed48be23
|
tweak assert
|
2021-10-11 10:16:03 +03:00 |
|
schaeff
|
be629093ec
|
remove clone
|
2021-10-11 09:33:23 +03:00 |
|
schaeff
|
5ab9f27c38
|
Merge branch 'enable-general-postfix' of github.com:Zokrates/ZoKrates into enable-general-postfix
|
2021-10-08 21:12:07 +03:00 |
|
schaeff
|
6de5a21d7e
|
improve example
|
2021-10-08 20:26:28 +03:00 |
|
schaeff
|
31ee9ea6a8
|
try an older nightly
|
2021-10-08 14:24:13 +03:00 |
|
Thibaut Schaeffer
|
392bd9e67c
|
Create 1030-schaeff
|
2021-10-08 13:14:03 +03:00 |
|
schaeff
|
fa30d66427
|
avoid creating postfix expressions with no accesses
|
2021-10-08 10:28:32 +03:00 |
|
schaeff
|
69cb867a8e
|
fix incorrect propagation
|
2021-10-05 21:39:18 +03:00 |
|
schaeff
|
f3f400a6bd
|
fix tests, add breaking example
|
2021-10-05 21:20:55 +03:00 |
|
schaeff
|
c8ddc8913e
|
enable general postfix expressions in the parser, move function name check to semantics
|
2021-10-05 19:56:43 +03:00 |
|
dark64
|
44899ace8d
|
update book
|
2021-10-05 18:19:53 +02:00 |
|
dark64
|
13c0af63a8
|
merge develop, fix conflicts
|
2021-10-05 17:56:47 +02:00 |
|
schaeff
|
2169010cf7
|
fix clippy
|
2021-10-05 14:01:50 +03:00 |
|
schaeff
|
980b4be79e
|
upgrade toolchain
|
2021-10-05 13:15:47 +03:00 |
|
schaeff
|
075673fc0b
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into type-alias
|
2021-10-05 12:45:50 +03:00 |
|
schaeff
|
6ca342720f
|
simplify expression_at making the return value generic, reverting wrong clippy suggestion
|
2021-10-05 12:30:53 +03:00 |
|
Thibaut Schaeffer
|
5bad757c85
|
Merge pull request #1028 from Zokrates/deploy
Merge back 0.7.7
|
2021-10-05 12:30:09 +03:00 |
|
schaeff
|
3371df28cc
|
fmt clippy
|
2021-10-04 21:37:23 +03:00 |
|
Thibaut Schaeffer
|
fc55d88100
|
Merge pull request #1027 from Zokrates/rc/0.7.7
Release 0.7.7
|
2021-10-04 21:30:12 +03:00 |
|
schaeff
|
dc0a942c54
|
merge
|
2021-10-04 21:11:45 +03:00 |
|
schaeff
|
b3ddfca69c
|
merge dev, some tests failing
|
2021-10-04 20:32:33 +03:00 |
|