dark64
|
9480f218ed
|
gm17 ffi
|
2019-10-31 01:57:27 +01:00 |
|
dark64
|
e7c1a0e6d7
|
wip
|
2019-10-30 00:08:39 +01:00 |
|
schaeff
|
3993732a1f
|
add error message if alias inference fails, fmt
|
2019-10-29 12:16:26 +01:00 |
|
schaeff
|
0e8730ab3a
|
merge dev
|
2019-10-28 18:21:54 +01:00 |
|
Thibaut Schaeffer
|
6321ac811b
|
Merge pull request #499 from petscheit/upgrade_node
upgrades node to v12
|
2019-10-28 11:00:05 +01:00 |
|
schaeff
|
44124fea86
|
remove warnings
|
2019-10-28 10:53:08 +01:00 |
|
schaeff
|
df7a11a6b0
|
remove file based api from backend
|
2019-10-25 13:36:10 +02:00 |
|
Paul E
|
c6ab44fc8a
|
upgrades node to v12
|
2019-10-25 13:29:05 +02:00 |
|
schaeff
|
400a2205f3
|
merge dev, fix flags
|
2019-10-25 13:13:14 +02:00 |
|
JacobEberhardt
|
ef30270d03
|
Merge pull request #495 from charlesgdalton/patch-1
Update types.md
|
2019-10-23 21:23:42 +02:00 |
|
charlesgdalton
|
e1dd5bc329
|
Update types.md
Fix typo
|
2019-10-23 09:42:55 -07:00 |
|
Thibaut Schaeffer
|
883b731296
|
Merge pull request #492 from petscheit/bool_eq
Bool eq
|
2019-10-22 11:44:14 +02:00 |
|
Thibaut Schaeffer
|
5145aeda7e
|
Merge pull request #494 from Zokrates/master
Merge back 0.5.0
|
2019-10-22 11:43:36 +02:00 |
|
Paul E
|
ae4c5bcb5c
|
implements constant propagation for boolEq
|
2019-10-17 15:11:27 +02:00 |
|
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
|
f7602b9210
|
Merge pull request #490 from Zokrates/rc/0.5.0
Release 0.5.0
|
2019-10-08 17:27:04 +09:00 |
|
schaeff
|
2ae2a1ea00
|
remove freebsd
|
2019-10-08 16:34:01 +09: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 |
|
Thibaut
|
e15d524e7b
|
Merge branch 'structs' of github.com:Zokrates/ZoKrates into wasm-friendly
|
2019-10-06 13:00:56 +09:00 |
|
Paul E
|
0f3e0ee61f
|
Changed OP nameing and update logic
|
2019-10-04 13:40:38 +02:00 |
|
Thibaut
|
925ef977f2
|
merge dev
|
2019-10-03 16:53:19 +02:00 |
|
Thibaut
|
210a8b9f3a
|
remove web incompatible crates, change wasm flag to wasm_solvers, introduce wasm flag
|
2019-10-03 16:42:15 +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 |
|