Paul E
|
20b3418f0f
|
chenged naming of BooleanExpression::Eq to FieldEq
|
2019-10-17 14:19:57 +02:00 |
|
Paul E
|
9adf95ad97
|
test now takes boolean inputs
|
2019-10-17 14:10:16 +02:00 |
|
Paul E
|
ffed1e775f
|
updated requested changes
|
2019-10-17 14:02:14 +02:00 |
|
Paul E
|
9971fff3e7
|
update comment
|
2019-10-16 12:16:04 +02:00 |
|
Paul E
|
ab4979f69e
|
fix formating
|
2019-10-16 12:02:50 +02:00 |
|
Paul E
|
1d118b9298
|
Merge branch 'develop' of https://github.com/Zokrates/ZoKrates into bool_eq
|
2019-10-16 11:50:11 +02:00 |
|
Paul E
|
4767a00ad6
|
updated bool_compare and test
|
2019-10-16 11:50:01 +02:00 |
|
JacobEberhardt
|
45276a6d49
|
Merge pull request #480 from Zokrates/abi
Add ABI component
|
2019-10-08 15:20:56 +09:00 |
|
JacobEberhardt
|
f0af57c3af
|
Adjust json inputs to account for arrays.
|
2019-10-08 13:27:48 +09:00 |
|
JacobEberhardt
|
123208ccf4
|
Updated cli tests to use json-abi and raw inputs.
|
2019-10-08 13:10:29 +09:00 |
|
JacobEberhardt
|
a20e19a043
|
refactoring for clarity
|
2019-10-07 18:04:41 +09:00 |
|
Thibaut
|
29ada15ec1
|
merge dev
|
2019-10-07 12:32:09 +09:00 |
|
Thibaut Schaeffer
|
8abf996252
|
Merge pull request #448 from Zokrates/structs
Implement structures
|
2019-10-07 12:16:44 +09:00 |
|
Thibaut
|
6517702606
|
remove rustfmt temporarilly as it didnt ship
|
2019-10-07 11:56:16 +09:00 |
|
Thibaut
|
5040e5b7bf
|
tweaks following review
|
2019-10-07 11:49:41 +09:00 |
|
Thibaut Schaeffer
|
5a5dba7e72
|
Apply suggestions from code review
Co-Authored-By: Stefan <stefandeml@gmail.com>
|
2019-10-07 11:49:03 +09:00 |
|
Paul E
|
0f3e0ee61f
|
Changed OP nameing and update logic
|
2019-10-04 13:40:38 +02:00 |
|
Thibaut Schaeffer
|
595866ee8f
|
Merge pull request #487 from petscheit/precedence_test
Adds Precedence Test
|
2019-10-03 12:58:43 +02:00 |
|
Paul Etscheit
|
6cd54343bb
|
Update zokrates_core_test/tests/tests/precedence.zok
Co-Authored-By: Thibaut Schaeffer <schaeffer.thibaut@gmail.com>
|
2019-10-03 09:31:24 +02:00 |
|
Thibaut
|
bab73384c1
|
fix access ssa
|
2019-10-02 20:08:06 +02:00 |
|
Thibaut
|
6dc8c68f24
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs
|
2019-10-02 19:56:25 +02:00 |
|
Thibaut
|
5ea2fe92ea
|
add import docs
|
2019-10-02 19:39:51 +02:00 |
|
Paul E
|
1266ee598c
|
fix formating error
|
2019-10-02 16:32:18 +02:00 |
|
Paul E
|
d725aad2fe
|
add test for bool equality operator
|
2019-10-02 16:25:40 +02:00 |
|
Paul E
|
99958963d4
|
add equality operator for booeleans
|
2019-10-02 16:03:40 +02:00 |
|
Paul E
|
809d852df9
|
add precedence test
|
2019-10-02 13:50:28 +02:00 |
|
Paul E
|
bd49bcc369
|
Merge branch 'develop' of https://github.com/Zokrates/ZoKrates into develop
|
2019-10-02 10:54:51 +02:00 |
|
JacobEberhardt
|
e981add414
|
Merge pull request #485 from Zokrates/patch-array-access-unroller
Patch array access unrolling
|
2019-10-01 22:05:51 +02:00 |
|
Thibaut
|
922add495e
|
get latest ssa variable for index and array
|
2019-10-01 18:43:06 +02:00 |
|
Stefan
|
478e08a3a3
|
Merge pull request #482 from Zokrates/patch-not-propagation
Patch NOT propagation
|
2019-10-01 15:05:04 +02:00 |
|
Thibaut
|
3dd57830bb
|
remove codecov
|
2019-10-01 14:38:58 +02:00 |
|
Thibaut
|
0e8090d6d0
|
Merge branch 'patch-not-propagation' of github.com:Zokrates/ZoKrates into patch-not-propagation
|
2019-10-01 13:15:42 +02:00 |
|
Thibaut
|
544599b960
|
patch general case
|
2019-10-01 13:15:01 +02:00 |
|
Thibaut
|
1eb0cc8e52
|
patch general case
|
2019-10-01 13:06:44 +02:00 |
|
Thibaut
|
aa4e3cfe4c
|
add stdin flag
|
2019-09-30 17:51:40 +02:00 |
|
Thibaut
|
8f81dd0f0e
|
revert execute change
|
2019-09-30 15:49:55 +02:00 |
|
Thibaut
|
6b0f8c7886
|
fix warning
|
2019-09-30 15:09:48 +02:00 |
|
Thibaut
|
4beb24a457
|
adjust tests
|
2019-09-30 15:02:32 +02:00 |
|
Thibaut
|
be14810af9
|
merge structs
|
2019-09-30 14:23:33 +02:00 |
|
Thibaut
|
9d9ed2c5f6
|
Merge branch 'structs' of github.com:Zokrates/ZoKrates into structs
|
2019-09-30 14:08:50 +02:00 |
|
Thibaut
|
0a7139f98e
|
merge dev
|
2019-09-30 14:08:46 +02:00 |
|
Thibaut
|
f305ded646
|
allow newlines in inline defs
|
2019-09-30 13:49:54 +02:00 |
|
Thibaut Schaeffer
|
542c4c1412
|
Merge pull request #476 from Zokrates/file-endings
File endings
|
2019-09-30 13:48:54 +02:00 |
|
JacobEberhardt
|
aa5b306286
|
remove compilation result
|
2019-09-30 12:01:45 +02:00 |
|
JacobEberhardt
|
ef24980d6b
|
cli fix + doc update
|
2019-09-30 11:59:17 +02:00 |
|
JacobEberhardt
|
6f6bbb4b61
|
cli fix + doc update
|
2019-09-30 11:59:02 +02:00 |
|
Thibaut
|
3b0b6959e3
|
change struct declaration syntax
|
2019-09-28 18:24:29 +02:00 |
|
Thibaut
|
b84b963e97
|
fix author
|
2019-09-28 18:20:35 +02:00 |
|
Thibaut
|
997d2c3862
|
extract abi to crate, accept raw and abi, add cli flags
|
2019-09-27 19:23:16 +02:00 |
|
Thibaut Schaeffer
|
f27df222e1
|
Update zokrates_github_resolver/src/lib.rs
Co-Authored-By: JacobEberhardt <jacob.eberhardt@tu-berlin.de>
|
2019-09-25 12:16:57 +02:00 |
|