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 |
|
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
|
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 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 |
|
schaeff
|
8216866735
|
fix import docs, fix stdlib test typo
|
2019-09-25 12:15:19 +02:00 |
|
Thibaut Schaeffer
|
58642a8615
|
Apply suggestions from code review
Co-Authored-By: JacobEberhardt <jacob.eberhardt@tu-berlin.de>
|
2019-09-25 12:14:41 +02:00 |
|
schaeff
|
47395d0b4b
|
change struct declaration syntax
|
2019-09-25 12:06:32 +02:00 |
|
JacobEberhardt
|
20f3a980fe
|
Struct doc with examples.
Break current preliminary impl. as they have spec character.
|
2019-09-24 22:14:42 +02:00 |
|
schaeff
|
eaa02642a4
|
add stf to gitignore
|
2019-09-24 16:06:26 +02:00 |
|
schaeff
|
ed300a9a28
|
change file endings
|
2019-09-24 12:05:43 +02:00 |
|
schaeff
|
c815a32574
|
remove test, fix comment
|
2019-09-23 18:48:59 +02:00 |
|
schaeff
|
79fea57be8
|
clean, add boolean check to all boolean user input
|
2019-09-23 18:33:08 +02:00 |
|
schaeff
|
a0c2663471
|
merge dev
|
2019-09-23 11:33:19 +02:00 |
|
Thibaut Schaeffer
|
04fe7ef1ea
|
Merge pull request #434 from Zokrates/rec-arrays
Arrays of anything
|
2019-09-23 11:25:52 +02:00 |
|
schaeff
|
805b4290ef
|
address review comments
|
2019-09-23 10:51:02 +02:00 |
|
schaeff
|
57afbb0a57
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into rec-arrays
|
2019-09-23 10:46:00 +02:00 |
|
schaeff
|
253e5b7ffa
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs
|
2019-09-19 23:47:03 +02:00 |
|
JacobEberhardt
|
7486649c50
|
Merge pull request #474 from Zokrates/zokrates-test-crate
Introduce zokrates_test crate
|
2019-09-19 18:06:00 +02:00 |
|
JacobEberhardt
|
19aec2c794
|
Merge branch 'zokrates-test-crate' of https://github.com/Zokrates/ZoKrates into zokrates-test-crate
|
2019-09-19 17:30:47 +02:00 |
|
JacobEberhardt
|
d1eb337436
|
fixed documentation references
|
2019-09-19 17:30:27 +02:00 |
|
JacobEberhardt
|
231828aabc
|
Update zokrates_book/src/reference/Testing.md
Co-Authored-By: Thibaut Schaeffer <thibaut@schaeff.fr>
|
2019-09-19 17:04:04 +02:00 |
|
JacobEberhardt
|
1731d046e7
|
updated documentation
|
2019-09-18 18:55:17 +02:00 |
|
schaeff
|
87597bd3b1
|
fix warnings
|
2019-09-18 10:58:38 +02:00 |
|
schaeff
|
92a9695974
|
rename bench to tests
|
2019-09-18 10:47:17 +02:00 |
|
schaeff
|
c49a97c154
|
reverse array declaration dimensions, fix tests
|
2019-09-18 10:35:39 +02:00 |
|
JacobEberhardt
|
b17f34e415
|
Documentation on extended array types
|
2019-09-17 18:05:09 +02:00 |
|
schaeff
|
30b9357e4a
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs
|
2019-09-17 13:40:19 +02:00 |
|
schaeff
|
3b6c7bddf7
|
don't ignore tests
|
2019-09-17 13:08:00 +02:00 |
|
schaeff
|
6a524cec69
|
fix warnings
|
2019-09-17 12:24:24 +02:00 |
|
schaeff
|
5d40fa7083
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-test-crate
|
2019-09-17 12:12:27 +02:00 |
|
schaeff
|
9521d5822a
|
create zokrates_core_test crate and move zokrates_core tests there
|
2019-09-17 12:10:59 +02:00 |
|
schaeff
|
3b228385f6
|
add comments
|
2019-09-11 20:03:12 +02:00 |
|
schaeff
|
6ab1a96ca6
|
add assignment to struct members
|
2019-09-11 19:11:39 +02:00 |
|
schaeff
|
494eca0599
|
merge rec-arrays
|
2019-09-10 12:52:03 +02:00 |
|
schaeff
|
c8080e9656
|
small tweaks, simplify and improve propagation
|
2019-09-09 13:37:47 +02:00 |
|
schaeff
|
5b4f581a74
|
add integration test
|
2019-09-09 10:41:20 +02:00 |
|