dark64
|
55403af879
|
revert changes around condition_cache
|
2021-12-08 17:03:16 +01:00 |
|
dark64
|
62fd553e91
|
add missing case in zir propagation
|
2021-12-01 17:05:56 +01:00 |
|
Thibaut Schaeffer
|
d063282e78
|
Merge pull request #1059 from Zokrates/deploy
Merge back 0.7.8
|
2021-11-30 15:21:35 +01:00 |
|
Darko Macesic
|
d9090b314e
|
Merge pull request #1055 from Zokrates/rc/0.7.8
Release 0.7.8
|
2021-11-24 17:35:13 +01:00 |
|
schaeff
|
a5ca49f98c
|
bump versions, changelog
|
2021-11-23 19:34:10 +01:00 |
|
Thibaut Schaeffer
|
2a63d8d67a
|
Merge pull request #1050 from Zokrates/fix-constant-reduction
Implement missing cases in constant resolution
|
2021-11-23 11:22:23 +01:00 |
|
schaeff
|
765a2b236b
|
add tests
|
2021-11-17 12:24:01 +01:00 |
|
schaeff
|
0d046691ef
|
add changelog
|
2021-11-15 19:49:31 +01:00 |
|
schaeff
|
993bdbfa0e
|
implement missing cases in folder, read constants into new constant definition
|
2021-11-15 19:41:33 +01:00 |
|
Thibaut Schaeffer
|
d2e8b905c1
|
Merge pull request #1025 from Zokrates/cheaper-dynamic-comparison
Reduce the cost of dynamic LT checks
|
2021-11-11 10:21:55 +01:00 |
|
Darko Macesic
|
71872294b7
|
Merge pull request #1037 from Zokrates/remove-return-1
Remove confusing returns
|
2021-11-09 17:34:03 +01:00 |
|
Darko Macesic
|
102b7ef10d
|
Merge pull request #1040 from petehunt/update-deps
Update lockfiles
|
2021-11-09 17:30:46 +01:00 |
|
Thibaut Schaeffer
|
d17d3121c9
|
Merge pull request #982 from Zokrates/type-alias
Implement type aliasing
|
2021-11-08 11:08:37 +01:00 |
|
Pete Hunt
|
61bbc44abc
|
Update lockfiles
|
2021-10-22 00:23:47 -07:00 |
|
Thibaut Schaeffer
|
79798764ea
|
Create 1037-schaeff
|
2021-10-18 17:54:34 +02:00 |
|
schaeff
|
5ff16b25f8
|
change gettingstarted example to assert
|
2021-10-18 16:54:38 +02:00 |
|
schaeff
|
003d4fc6f0
|
tweak operator table
|
2021-10-18 13:02:59 +02:00 |
|
Thibaut Schaeffer
|
d924368038
|
Merge pull request #1010 from Zokrates/ternary
Ternary operator
|
2021-10-15 16:11:06 +03:00 |
|
schaeff
|
0d0d9e04a3
|
merge dev
|
2021-10-15 13:54:41 +02:00 |
|
schaeff
|
aba1309ea4
|
fix smt test
|
2021-10-15 13:16:27 +02:00 |
|
schaeff
|
b73de66e87
|
adjust book
|
2021-10-15 13:20:31 +03:00 |
|
schaeff
|
2c7d806064
|
merge dev
|
2021-10-15 13:07:07 +03:00 |
|
Thibaut Schaeffer
|
f780b49aa2
|
Merge pull request #1032 from Zokrates/fail-early-on-complex-value-inequality
Fail at compile time on unsatisfied equality of complex values
|
2021-10-15 13:01:52 +03:00 |
|
schaeff
|
f98585b784
|
revert to original impl, add symetric check, add logs
|
2021-10-15 13:00:48 +03:00 |
|
dark64
|
740b7ee935
|
merge dev, add tests
|
2021-10-14 21:44:21 +02:00 |
|
Thibaut Schaeffer
|
f7b6f2de56
|
Merge pull request #1012 from Zokrates/assertion-messages
Add optional message to assert statement
|
2021-10-14 20:31:03 +03:00 |
|
dark64
|
c3288b93c5
|
fix tests
|
2021-10-13 19:03:06 +02:00 |
|
schaeff
|
1e04d56a7b
|
fix smt test
|
2021-10-13 19:48:52 +03:00 |
|
dark64
|
035a193f58
|
apply suggestions
|
2021-10-13 18:48:18 +02:00 |
|
schaeff
|
feb7fb7689
|
changelog
|
2021-10-13 19:38:06 +03:00 |
|
schaeff
|
99424faa27
|
factor code, implement for uint
|
2021-10-13 19:35:55 +03:00 |
|
schaeff
|
1ae38df1b3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into cheaper-dynamic-comparison
|
2021-10-13 19:11:06 +03:00 |
|
Thibaut Schaeffer
|
350d0903fe
|
Merge pull request #1034 from Zokrates/add-marlin-to-backend-table
Add marlin to backend table
|
2021-10-13 16:25:08 +03:00 |
|
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 |
|