Stefan
|
6b916e779f
|
Merge pull request #225 from Zokrates/if-else-array
Add support for IfElse for arrays
|
2019-01-22 14:54:43 +01:00 |
|
Thibaut Schaeffer
|
3018c1ccbe
|
Merge branch 'develop' into optimize-subtraction
|
2019-01-21 14:25:59 +01:00 |
|
Guillaume Ballet
|
a025c59d84
|
WASM crate import depends on the presence of the wasm feature
|
2019-01-21 10:23:49 +01:00 |
|
schaeff
|
ae7b5c0daa
|
change test to check flattening of 1-sized array is identical to flattening of single value
|
2019-01-18 19:59:17 +01:00 |
|
schaeff
|
87fccb3457
|
implement variable access to ifelse array
|
2019-01-18 19:35:10 +01:00 |
|
schaeff
|
b74e0b6dc6
|
add support for ifelse array access, clean up semantic treatment
|
2019-01-18 18:56:56 +01:00 |
|
schaeff
|
e20f104c40
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into if-else-array
|
2019-01-18 17:48:23 +01:00 |
|
Guillaume Ballet
|
2973df573a
|
Run the tests with WASM enabled
|
2019-01-14 18:17:40 +01:00 |
|
Guillaume Ballet
|
e1d2df3e20
|
Fix build after rebase
|
2019-01-14 17:04:23 +01:00 |
|
Guillaume Ballet
|
1bc3947e5e
|
Move wasm plugin generation to a different repo
|
2019-01-14 14:49:47 +01:00 |
|
Guillaume Ballet
|
de1a9d6292
|
Fix fmt
|
2019-01-14 14:49:47 +01:00 |
|
Guillaume Ballet
|
47dc8d0a16
|
Fix endianness in BITS
|
2019-01-14 14:49:47 +01:00 |
|
Guillaume Ballet
|
666d6760f7
|
Fix field test
|
2019-01-14 14:49:47 +01:00 |
|
Guillaume Ballet
|
df96ab59b7
|
Fix build warnings
|
2019-01-14 14:49:47 +01:00 |
|
Guillaume Ballet
|
ce7b7c1419
|
rebase and fix linter issue
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
2127ff2e34
|
Support the generation of multiple wasm plugins
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
311ee6275f
|
Remove warning and fix naming error
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
a577f470ed
|
fix linter issues
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
865c7786e5
|
fix rebase issue
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
cc21fd21be
|
Add a repo to support the WASM version of partial_eq
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
0ce5406fc8
|
Remove dependency on std::fs::File
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
2113e1f588
|
Remove dependency on std::fs::File
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
ebdfd96bda
|
Replace last hex dump with the wasm builder
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
4931710b6c
|
fix unwinding issue in tests
|
2019-01-14 14:48:33 +01:00 |
|
Guillaume Ballet
|
a5a94bea89
|
Upgrade to wasmi 0.4.2
|
2019-01-14 14:46:21 +01:00 |
|
Guillaume Ballet
|
62ccc311d0
|
fix build
|
2019-01-14 14:43:55 +01:00 |
|
Guillaume Ballet
|
8df23cf1c0
|
rustfmt fix
|
2019-01-14 14:43:55 +01:00 |
|
Guillaume Ballet
|
a6ba865c40
|
fix unit tests and use the builder instead of hex strings
|
2019-01-14 14:43:55 +01:00 |
|
Guillaume Ballet
|
1320c28dad
|
Move module to struct in order not to recreate it every time
This is an intermediate step, the module might be moved to the
interpreter and tests are broken.
|
2019-01-14 14:39:36 +01:00 |
|
Guillaume Ballet
|
163f2b42f4
|
Implement support for WASM helpers
|
2019-01-14 14:39:36 +01:00 |
|
schaeff
|
8e1821dca8
|
merge, solve conflicts, make tests pass
|
2019-01-14 00:03:28 +01:00 |
|
schaeff
|
29403cfb50
|
bump patch
|
2019-01-06 22:41:43 +01:00 |
|
schaeff
|
bc107db32d
|
change array to range
|
2019-01-06 22:15:31 +01:00 |
|
schaeff
|
91f290933f
|
fix test
|
2019-01-06 21:43:02 +01:00 |
|
schaeff
|
9718a96c75
|
add input binding checks, make R1CS format more explicit
|
2019-01-06 21:08:16 +01:00 |
|
schaeff
|
9de72fe21e
|
add tests, fix order of outputs in test runner
|
2019-01-04 15:31:16 +01:00 |
|
Thibaut Schaeffer
|
44caf701b0
|
Merge pull request #210 from Zokrates/add-core-e2e-tests
[Preview] Add core e2e tests
|
2019-01-04 14:36:14 +01:00 |
|
schaeff
|
38be2a4890
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into if-else-array
|
2019-01-04 14:36:14 +01:00 |
|
schaeff
|
1e03eabacd
|
add ifelse for arrays
|
2019-01-04 13:55:45 +01:00 |
|
schaeff
|
3cfbd78529
|
simplify, use strings for constraint errors, compare errors
|
2019-01-02 13:19:08 +01:00 |
|
schaeff
|
c570e3a06e
|
use absolute paths in macro definition to make it self contained
|
2019-01-01 23:10:58 +01:00 |
|
schaeff
|
3169d6da0c
|
make computaion test pass
|
2018-12-31 09:32:54 +01:00 |
|
schaeff
|
1f71554584
|
hide witness operations away from cli
|
2018-12-31 08:10:33 +01:00 |
|
schaeff
|
baec52e239
|
use macro to generate tests
|
2018-12-30 21:27:37 +01:00 |
|
Guillaume Ballet
|
5a9f5c8060
|
Make field its own crate
|
2018-12-27 11:02:48 +01:00 |
|
schaeff
|
d7d53eca2b
|
improve interpreter api, add e2e tests to zokrates_core
|
2018-12-21 17:27:44 +01:00 |
|
schaeff
|
82a18e99f5
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into greater_than
|
2018-12-17 18:19:14 +01:00 |
|
schaeff
|
302d75a501
|
remove subtraction
|
2018-12-17 18:19:05 +01:00 |
|
schaeff
|
cfd3b2c3f5
|
remove intermediate definition in lt check
|
2018-12-17 17:53:35 +01:00 |
|
schaeff
|
bb10c1f3fa
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into optimize-subtraction
|
2018-12-17 15:52:56 +01:00 |
|