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

72 commits

Author SHA1 Message Date
dark64
6b8c624abf Remove default feature in core 2019-11-12 14:31:05 +01:00
dark64
da062f0e27 remove libc, fix i32 types 2019-10-31 14:42:26 +01:00
dark64
e7c1a0e6d7 wip 2019-10-30 00:08:39 +01:00
schaeff
400a2205f3 merge dev, fix flags 2019-10-25 13:13:14 +02:00
schaeff
2ae2a1ea00 remove freebsd 2019-10-08 16:34:01 +09:00
Thibaut
210a8b9f3a remove web incompatible crates, change wasm flag to wasm_solvers, introduce wasm flag 2019-10-03 16:42:15 +02:00
schaeff
885ccb6e96 test 2019-09-13 15:58:28 +02:00
schaeff
691b3c1d90 Merge branch 'develop' of github.com:Zokrates/ZoKrates into simplify-resolver 2019-09-13 14:05:01 +02:00
schaeff
1a57297805 fix version number 2019-08-28 09:51:12 +02:00
schaeff
db87a48540 update lazy static and remove allow(deprecated) 2019-08-28 09:49:58 +02:00
Stefan
2c679a8cb7
Merge pull request #357 from Zokrates/modules-v2
Refactor AST for zero-cost modules
2019-08-22 23:36:31 +02:00
schaeff
549e159492 patch lt output 2019-08-21 10:35:30 +02:00
schaeff
a3f9eafb73 merge dev 2019-08-19 13:45:49 +02:00
schaeff
316cdc416c bump versions 2019-07-29 12:56:23 +02:00
schaeff
4db956d7ea make resolve string based only, remove automatic alias for now 2019-07-25 18:36:57 +02:00
schaeff
24fe46301f remove other changes 2019-07-15 11:48:52 +02:00
schaeff
c312d3423d use crate 2019-07-15 11:46:03 +02:00
schaeff
e2e644364e merge dev 2019-07-09 23:29:32 +02:00
schaeff
4dde51a828 fix wasmi version 2019-07-09 17:45:10 +02:00
schaeff
6bf9b46eaf merge dev, github resolver unimplemented 2019-07-03 20:34:29 +02:00
schaeff
25d2dffbec bump versions 2019-06-23 12:09:15 +02:00
schaeff
d7a37b6b5f bump versions 2019-06-16 23:15:42 +02:00
schaeff
fb3b4eb369 bump versions 2019-06-13 18:18:05 +02:00
schaeff
0f40498ba9 reset cargo.lock 2019-06-12 20:08:32 +02:00
schaeff
9144bc2574 enable imports with arena 2019-06-11 18:55:07 +02:00
schaeff
cdf394c7e1 solve conflicts except compile loop 2019-06-11 11:12:37 +02:00
schaeff
c4dec182d0 implement array flattening, remove bimap 2019-06-06 14:12:56 +02:00
schaeff
365d03be65 bring pest parser and AST into tree as crates, adjust testing 2019-06-03 10:22:59 +02:00
schaeff
20e12c10ea merge dev 2019-05-30 10:02:32 +02:00
schaeff
372c48a57d bump version 2019-05-10 11:23:15 +02:00
schaeff
f7385fd4e7 bump versions 2019-04-18 15:59:50 +02:00
schaeff
84c28c421b bump versions 2019-04-11 23:33:52 +02:00
schaeff
0aad524ab2 Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into bellman-sha256 2019-04-09 15:53:39 +02:00
schaeff
b2c2d013cc make wasm and libsnark deps optional 2019-04-09 15:24:38 +02:00
schaeff
fa3f72f6b7 merge develop 2019-04-08 22:37:18 +02:00
schaeff
0be493fdd1 fix following review: extract witness with write read, rename scheme to proving scheme, typos 2019-04-08 14:56:07 +02:00
schaeff
f8fa3efccf implement sha256 on bellman, remove libsnark version 2019-04-01 19:59:43 +02:00
schaeff
f1b0461f1c use gh pest-ast 2019-03-21 00:09:48 +01:00
schaeff
3f71b24172 add all translation cases, remove old parser 2019-03-21 00:02:18 +01:00
schaeff
aab1ab80e9 integrate with pest parser. WIP 2019-03-19 12:11:19 +01:00
schaeff
39db4fdfa7 fix breaking bellman deps by providing explicit version numbers 2019-03-06 12:48:51 +01:00
schaeff
799f528481 make contracts solidity 0.5 compatible 2019-02-28 16:10:27 +01:00
schaeff
c5c9ed0662 update contracts to 0.5, add solcjs test on verifier in integration 2019-02-28 13:25:51 +01:00
schaeff
b0e8b9d042 integrate with backend api, activate with --backend g16 2019-02-15 11:41:35 +01:00
Thibaut Schaeffer
f2a7101500
Merge pull request #270 from Zokrates/master
Merge back master after patch
2019-02-11 18:23:58 +01:00
schaeff
f998a087ce merge develop 2019-02-11 17:22:29 +01:00
schaeff
6ecc2c9885 patch unconstrained cast 2019-02-11 16:15:43 +01:00
schaeff
781b7c3a0d Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into move-libsnark-fetch-to-build 2019-02-08 18:15:38 +01:00
schaeff
50ae73aeb2 remove tempdir 2019-02-07 17:46:30 +01:00
schaeff
826168240b move libsnark fetch to build 2019-02-07 17:22:28 +01:00