schaeff
|
dbcd0bd558
|
add log to core and env_log to cli
|
2021-07-29 11:13:54 +02:00 |
|
schaeff
|
cbb6e4ff97
|
fix conflicts
|
2021-07-08 10:53:28 +02:00 |
|
Leo Alt
|
ba22c64d0e
|
Add CLI option to generate smtlib2 files.
|
2021-06-30 21:58:20 +02:00 |
|
schaeff
|
37b45e236d
|
implement entire flow
|
2021-06-25 18:09:28 +02:00 |
|
Darko Macesic
|
55222bdcc5
|
Update zokrates_cli/src/bin.rs
Co-authored-by: Thibaut Schaeffer <thibaut@schaeff.fr>
|
2021-04-21 22:51:08 +02:00 |
|
dark64
|
623b471452
|
clippy
|
2021-04-21 20:55:04 +02:00 |
|
dark64
|
7169946b21
|
add custom panic hook
|
2021-04-21 20:43:26 +02:00 |
|
schaeff
|
2b9bae67c0
|
fix tests, make constant comparison smarter
|
2021-04-19 20:33:47 +02:00 |
|
dark64
|
1762436be0
|
Merge branch 'develop' into verbose-flag
|
2021-04-01 18:46:49 +02:00 |
|
schaeff
|
186a4f6511
|
merge dev
|
2021-03-31 11:25:24 +02:00 |
|
schaeff
|
15794e17dd
|
wait for threads to finish
|
2021-03-24 15:44:55 +01:00 |
|
dark64
|
4a4bd3a9d1
|
fix integration test
|
2021-03-01 17:59:47 +01:00 |
|
dark64
|
746b554bb5
|
add verbose flag
|
2021-03-01 17:47:22 +01:00 |
|
schaeff
|
bf8369c362
|
merge dev and make array memoize test pass
|
2021-02-04 14:02:37 +01:00 |
|
schaeff
|
f612ba7a29
|
merge dev
|
2021-01-28 23:32:57 +01:00 |
|
schaeff
|
ef5ef9252e
|
run tests in thread with bigger stack
|
2021-01-26 12:55:41 +01:00 |
|
schaeff
|
3c47a38077
|
implement typed spreads
|
2020-12-28 17:36:00 +01:00 |
|
schaeff
|
e82bc9d868
|
merge dev
|
2020-12-22 17:16:25 +01:00 |
|
schaeff
|
d5d57b7227
|
make clippy happy
|
2020-12-22 16:24:11 +01:00 |
|
schaeff
|
05e91acc27
|
merge clippy
|
2020-12-21 15:22:02 +01:00 |
|
dark64
|
fa016127d6
|
fix conflicts
|
2020-12-21 12:41:38 +01:00 |
|
schaeff
|
cc8e26bc8c
|
more lint
|
2020-12-21 00:38:45 +01:00 |
|
schaeff
|
1938a98d2a
|
merge clippy
|
2020-12-20 20:30:40 +01:00 |
|
schaeff
|
bfcc13c932
|
automatic clippy fixes
|
2020-12-20 18:38:18 +01:00 |
|
schaeff
|
a6569d506a
|
fix conflict
|
2020-12-20 13:41:09 +01:00 |
|
dark64
|
b06acb55e4
|
cli commands in separate files
|
2020-12-17 21:03:45 +01:00 |
|
dark64
|
7e534e29b2
|
add allow-unconstrained-variables compilation flag
|
2020-12-10 11:59:01 +01:00 |
|
schaeff
|
77ac5aa55c
|
merge featurize, fix conflicts
|
2020-12-01 23:26:09 +00:00 |
|
schaeff
|
5f76a0316b
|
featurize zokrates_core
|
2020-11-30 23:10:36 +00:00 |
|
schaeff
|
4bbde1f02e
|
fix conflict
|
2020-11-23 14:47:00 +00:00 |
|
schaeff
|
f8d857d3b8
|
migrate zexe to ark
|
2020-11-20 18:52:27 +00:00 |
|
schaeff
|
8e74c9e849
|
remove should_panic
|
2020-11-10 17:07:16 +00:00 |
|
schaeff
|
04e3606890
|
handle analysis errors better
|
2020-11-10 17:04:35 +00:00 |
|
schaeff
|
285b9d781a
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
dark64
|
490678cfdb
|
update proving scheme section in book
|
2020-11-02 13:26:24 +01:00 |
|
dark64
|
19a25987bc
|
refactoring
|
2020-10-29 19:24:54 +01:00 |
|
dark64
|
5b6d4a0c07
|
merge dev
|
2020-10-21 19:38:48 +02:00 |
|
schaeff
|
0e0b9a252c
|
merge number inference
|
2020-10-08 17:01:55 +02:00 |
|
schaeff
|
2b3183a6d3
|
fix tests of compile issues, change struct handling to make tests pass
|
2020-10-08 10:43:14 +02:00 |
|
dark64
|
6e7a1c958f
|
refactor proof system
|
2020-09-29 18:47:08 +02:00 |
|
schaeff
|
e8cdbcc318
|
wip
|
2020-09-29 09:56:07 +02:00 |
|
dark64
|
287b2b8f47
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
schaeff
|
304e4fa3cb
|
wip
|
2020-09-16 17:57:12 +02:00 |
|
schaeff
|
61e499be25
|
conversion between type types
|
2020-08-27 18:23:55 +02:00 |
|
dark64
|
ace1753355
|
fix conflicts, revert default value for --stdlib-path flag
|
2020-08-13 19:00:09 +02:00 |
|
dark64
|
8cfe4c9130
|
merge dev
|
2020-08-13 17:59:54 +02:00 |
|
schaeff
|
df05601cb1
|
remove release flag
|
2020-08-13 17:16:52 +02:00 |
|
schaeff
|
72ec60baee
|
fix links
|
2020-08-04 16:59:59 +02:00 |
|
schaeff
|
60f19fefcd
|
remove cli doc and replace with cli help
|
2020-07-19 17:22:15 +02:00 |
|
dark64
|
358325cc73
|
merge develop
|
2020-07-09 12:27:37 +02:00 |
|