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 |
|
schaeff
|
0fe0cbef2c
|
move book snippets to files in test folder, link to them from md
|
2019-01-21 19:00:21 +01:00 |
|
schaeff
|
9de72fe21e
|
add tests, fix order of outputs in test runner
|
2019-01-04 15:31:16 +01:00 |
|
schaeff
|
1e03eabacd
|
add ifelse for arrays
|
2019-01-04 13:55:45 +01:00 |
|
Tjaden Hess
|
db5fa90965
|
Merge branch 'greater_than' of https://github.com/CornellBlockchain/ZoKrates into greater_than
|
2018-11-14 18:05:17 -05:00 |
|
Tjaden Hess
|
78ecb9e3ca
|
Fix tokenizing not
|
2018-11-14 17:57:15 -05:00 |
|
schaeff
|
5bf7f9cb49
|
merge develop, format
|
2018-11-10 12:10:12 +01:00 |
|
Thibaut Schaeffer
|
b01cadd5ba
|
Add CircleCi config (#160)
* add circleci config
* replace gcc with cc
* format cpp, use release in test
* remove sha256 example, revert circleci
|
2018-11-10 00:16:27 +01:00 |
|
Tjaden Hess
|
451cfc00cb
|
Merge branch 'develop' into greater_than
|
2018-11-07 09:46:27 -05:00 |
|
Tjaden Hess
|
a1d0a0aee8
|
Implement Le, Gt, Ge
|
2018-11-05 10:46:02 -05:00 |
|
Tjaden Hess
|
4bd136285d
|
Fix boolean or bugs
|
2018-10-31 18:39:15 -04:00 |
|
Tjaden Hess
|
36a49d8a23
|
Fix bool_or.code test
|
2018-10-31 18:15:57 -04:00 |
|
Brian Guo
|
25c823de34
|
Merge branch 'boolean_operators' of github.com:CornellBlockchain/ZoKrates into boolean_operators
|
2018-10-31 17:48:16 -04:00 |
|
Brian Guo
|
df70bffc7a
|
Merge branch 'develop' into boolean_operators
|
2018-10-31 17:46:24 -04:00 |
|
Sasha Frolov
|
3dfa7d73a5
|
Boolean or example
|
2018-10-31 17:11:11 -04:00 |
|
schaeff
|
f0740bcad5
|
restrict exponentiation base to numbers and identifiers
|
2018-10-31 19:24:04 +01:00 |
|
schaeff
|
c46b9d6265
|
catch exponent 0 to equal 1 at propagation and flattening
|
2018-10-31 17:40:27 +01:00 |
|
schaeff
|
e23d0b2b63
|
refine inlining strategy
|
2018-10-24 12:15:15 +02:00 |
|
schaeff
|
0130f15202
|
move example
|
2018-10-24 11:32:41 +02:00 |
|
schaeff
|
27a1714294
|
Merge branch 'add-ast-folder' into array
|
2018-10-24 11:31:09 +02:00 |
|
schaeff
|
077468944f
|
revert example
|
2018-10-23 18:48:33 +02:00 |
|
schaeff
|
d45f5f1632
|
allow array as return, add dead code elimination, fix array flattening
|
2018-10-19 18:39:59 +02:00 |
|
schaeff
|
56c14d5626
|
add generic folder and inliner
|
2018-10-19 13:45:15 +02:00 |
|
schaeff
|
edf054f278
|
merge substitution removal
|
2018-10-18 13:14:38 +02:00 |
|
schaeff
|
0f53e5d553
|
port sha256 to arrays wip
|
2018-10-16 19:41:20 +02:00 |
|
schaeff
|
3a35c134b0
|
add rough constant propagation
|
2018-10-12 20:21:46 +02:00 |
|
schaeff
|
7b7e6a11c6
|
Merge branch 'propagation' into array
|
2018-10-12 16:59:00 +02:00 |
|
schaeff
|
8b2319b0cb
|
add loop unrolling, post flattening constant propagation
|
2018-10-12 16:40:11 +02:00 |
|
schaeff
|
a21cbe7c30
|
add propagation through variables
|
2018-10-10 00:12:26 +02:00 |
|
schaeff
|
c8d02fc425
|
add basic propagation without identifiers
|
2018-10-09 20:35:27 +02:00 |
|
schaeff
|
328fa7b2bf
|
simplify dex further, adjust display function
|
2018-10-09 17:23:32 +02:00 |
|
schaeff
|
16f03e34b1
|
add and fix tests, make size array arbitrary, optimize example
|
2018-10-08 20:54:17 +02:00 |
|
schaeff
|
9d98afef9d
|
add array update wip
|
2018-10-08 17:20:17 +02:00 |
|
schaeff
|
0795da359b
|
implement dynamic lookup with simple range check
|
2018-10-05 17:57:14 +02:00 |
|
schaeff
|
004df5ebb6
|
merge develop, use c for children debug
|
2018-10-05 14:21:30 +02:00 |
|
Tjaden Hess
|
e142662be5
|
Merge branch 'develop' into boolean_operators
|
2018-10-04 15:27:57 -04:00 |
|
Tjaden Hess
|
af27840341
|
Fix parsing conditions
|
2018-10-03 17:44:42 -04:00 |
|
schaeff
|
04d1ba0545
|
fix pow example
|
2018-10-02 14:38:50 +02:00 |
|
Tjaden Hess
|
536465e003
|
Add boolean && test
|
2018-09-26 12:12:08 -10:00 |
|
Thibaut Schaeffer
|
41b42e06eb
|
Merge pull request #61 from lubieplacki/fix-pow-number-base
Fixed power expression with a number base in flattener
|
2018-09-26 13:27:42 +01:00 |
|
schaeff
|
b6ae2cbbb0
|
remove unrelated example
|
2018-09-19 14:41:11 +02:00 |
|
schaeff
|
5fd67befcb
|
merge develop, make base arbitrary
|
2018-09-19 12:48:21 +02:00 |
|
schaeff
|
ee8d7bf700
|
add inline arrays, function call flattening, parser
|
2018-09-18 19:37:47 +02:00 |
|
schaeff
|
2dcbc48b45
|
remove references in r1cs
|
2018-09-17 18:19:04 +02:00 |
|
schaeff
|
848b44dc14
|
disallow declaration without assignment
|
2018-09-13 12:52:33 +02:00 |
|
schaeff
|
fec876a32a
|
fix examples
|
2018-09-12 14:13:54 +02:00 |
|
schaeff
|
60c63c1aef
|
merge develop
|
2018-09-12 12:08:56 +02:00 |
|
schaeff
|
a553dae84a
|
add breaking test, fix integration tests
|
2018-08-31 10:55:28 +02:00 |
|
schaeff
|
ec30a23d5b
|
better error messages, wrap scope operations
|
2018-08-21 16:52:29 +02:00 |
|
schaeff
|
b32ccc5e4f
|
implement type inference for multidef
|
2018-08-21 13:05:17 +02:00 |
|