dark64
|
67f50b1b7a
|
bump version in zokrates_js
|
2022-04-12 12:32:27 +02:00 |
|
Thibaut Schaeffer
|
643144dead
|
Merge pull request #1126 from Zokrates/merge-back-0712
Merge back 0.7.12
|
2022-04-12 12:30:17 +02:00 |
|
schaeff
|
00f614525f
|
use package flag
|
2022-04-12 11:46:07 +02:00 |
|
schaeff
|
8f48bbb102
|
only build cli in cross
|
2022-04-12 11:36:05 +02:00 |
|
schaeff
|
3259cd8116
|
remove cache on cross build
|
2022-04-12 10:27:13 +02:00 |
|
Thibaut Schaeffer
|
c63af4556c
|
Merge pull request #1125 from Zokrates/rc/0.7.12
Release 0.7.12
|
2022-04-11 17:02:26 +02:00 |
|
schaeff
|
2c1ffccb75
|
bump versions, generate changelog
|
2022-04-11 15:47:03 +02:00 |
|
Thibaut Schaeffer
|
0e5f801929
|
Merge pull request #1124 from Zokrates/fix-tutorial-tests
Fix tutorial tests
|
2022-04-11 15:31:38 +02:00 |
|
dark64
|
814f351ddd
|
fix tutorial tests, explicitly invoke the interpreter
|
2022-04-11 15:13:02 +02:00 |
|
Thibaut Schaeffer
|
68daa381e8
|
Merge pull request #1103 from nirvantyagi/marlin-solidity-verifier
Marlin solidity verifier
|
2022-04-11 10:41:05 +02:00 |
|
schaeff
|
134414731d
|
merge remote
|
2022-04-11 10:14:19 +02:00 |
|
schaeff
|
48c91a1790
|
merge dev, add changelog
|
2022-04-11 10:12:46 +02:00 |
|
schaeff
|
50a083ac25
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into marlin-solidity-verifier
|
2022-04-11 10:09:46 +02:00 |
|
Nirvan Tyagi
|
3dc54505e0
|
Merge pull request #1 from Zokrates/marlin-tweaks
Tweaks to the marlin implementation
|
2022-04-09 10:49:47 -07:00 |
|
Darko Macesic
|
c598a66039
|
Merge pull request #1120 from Zokrates/detect-unconstrained-variables
Detect unconstrained variables gracefully
|
2022-04-08 15:10:52 +02:00 |
|
Thibaut Schaeffer
|
0b468291ae
|
Add sccache to CI (#1118)
|
2022-04-08 15:10:13 +02:00 |
|
schaeff
|
b96bfba90e
|
remove log, fix warning
|
2022-04-08 14:32:19 +02:00 |
|
schaeff
|
897afeba63
|
add lock
|
2022-04-08 13:30:04 +02:00 |
|
schaeff
|
4622fab9cd
|
merge target branch
|
2022-04-08 13:19:02 +02:00 |
|
schaeff
|
e79eee26f1
|
merge dev
|
2022-04-08 12:24:36 +02:00 |
|
schaeff
|
e3f536a820
|
merge develop
|
2022-04-08 11:49:02 +02:00 |
|
Thibaut Schaeffer
|
ed31b68904
|
Merge pull request #1122 from Zokrates/fix-tutorial-tests
Fix side-effects in tutorial tests
|
2022-04-08 10:42:28 +02:00 |
|
dark64
|
eca5c400a9
|
fix side-effects in tutorial test
|
2022-04-07 19:22:38 +02:00 |
|
schaeff
|
ea16bec13b
|
revert changed tutorial file
|
2022-04-07 18:52:59 +02:00 |
|
schaeff
|
bc237d1df0
|
make static analysis private
|
2022-04-07 18:30:35 +02:00 |
|
schaeff
|
23797dc47c
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into detect-unconstrained-variables
|
2022-04-07 18:28:27 +02:00 |
|
schaeff
|
8df23f0020
|
revert changed tutorial file
|
2022-04-07 18:17:34 +02:00 |
|
Thibaut Schaeffer
|
137cfb53c8
|
Merge pull request #1119 from Zokrates/add-back-constraint-count
Add constraint count
|
2022-04-07 17:36:36 +02:00 |
|
dark64
|
2b9c1e8854
|
change syntax in core and stdlib tests
|
2022-04-07 16:04:40 +02:00 |
|
schaeff
|
eddb0138ad
|
fix js, change proof tampering
|
2022-04-07 12:48:16 +02:00 |
|
schaeff
|
2d541951d8
|
Merge branch 'add-back-constraint-count' into detect-unconstrained-variables
|
2022-04-07 11:12:04 +02:00 |
|
schaeff
|
080282394e
|
clippy
|
2022-04-07 11:11:35 +02:00 |
|
schaeff
|
4e0d5bbc15
|
changelog
|
2022-04-07 10:54:30 +02:00 |
|
schaeff
|
03a533af2c
|
fix serialization
|
2022-04-07 10:53:16 +02:00 |
|
schaeff
|
6e081536a0
|
changelog
|
2022-04-07 09:32:20 +02:00 |
|
dark64
|
16f2b4c3ac
|
change syntax in cli/examples
|
2022-04-06 20:23:58 +02:00 |
|
schaeff
|
6c4423b529
|
rename changelog
|
2022-04-06 15:57:31 +02:00 |
|
schaeff
|
a5d86f9cb0
|
changelog
|
2022-04-06 15:42:28 +02:00 |
|
dark64
|
66b273dabc
|
remove if-expressions
|
2022-04-06 15:41:38 +02:00 |
|
schaeff
|
64f99d75fb
|
detect unconstrained variables
|
2022-04-06 15:40:16 +02:00 |
|
schaeff
|
2adc7f1ccc
|
add constraint count
|
2022-04-06 12:51:44 +02:00 |
|
schaeff
|
6daeff4f25
|
run on 4 cores everywhere
|
2022-04-06 11:35:07 +02:00 |
|
schaeff
|
418c1d0e34
|
merge sccache, fix conflicts
|
2022-04-06 11:33:33 +02:00 |
|
schaeff
|
6809ffad0d
|
test cache
|
2022-04-06 10:53:19 +02:00 |
|
schaeff
|
6ba8a590b9
|
version 14
|
2022-04-06 10:34:11 +02:00 |
|
schaeff
|
0e8a146a71
|
upgrade sccache
|
2022-04-06 10:28:58 +02:00 |
|
schaeff
|
84c69130d5
|
fix cargo dir
|
2022-04-06 10:26:58 +02:00 |
|
schaeff
|
d256faaedb
|
revert
|
2022-04-06 10:21:05 +02:00 |
|
schaeff
|
142526488c
|
print version
|
2022-04-06 10:16:45 +02:00 |
|
schaeff
|
93d781ec77
|
usr path
|
2022-04-06 10:11:37 +02:00 |
|