schaeff
|
6b5dd9c28d
|
Merge branch 'parser-order-patch' into zero-cost-spread
|
2020-04-09 12:01:52 +02:00 |
|
JacobEberhardt
|
7152168b05
|
Merge pull request #589 from Zokrates/multi-def-rewrite
Fix parser multidef confusion
|
2020-04-06 22:55:52 +02:00 |
|
schaeff
|
9ad7c6fe94
|
use crates.io bellman
|
2020-04-06 16:51:40 +02:00 |
|
schaeff
|
19fbf80ef9
|
add unit test for statement generation
|
2020-04-06 16:11:16 +02:00 |
|
dark64
|
49297bf1db
|
Merge branch 'develop' into constraint-analyser
|
2020-04-03 14:41:44 +02:00 |
|
schaeff
|
339287e25c
|
removed commented out code
|
2020-04-02 17:43:31 +02:00 |
|
schaeff
|
57312f6087
|
simplify parser and process multidefs in from_ast
|
2020-04-02 17:28:46 +02:00 |
|
dark64
|
e788d59f91
|
variable bit width, fix naming
|
2020-03-31 18:04:08 +02:00 |
|
dark64
|
79470f8238
|
add bit width to Bits directive
|
2020-03-30 19:48:46 +02:00 |
|
schaeff
|
ec89b27cd2
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zero-cost-spread
|
2020-03-30 14:46:34 +02:00 |
|
dark64
|
8ed1545d16
|
remove default fold_directive
|
2020-03-30 14:31:47 +02:00 |
|
schaeff
|
31fefc5c29
|
refactor with more maps for clarity
|
2020-03-26 18:09:56 +01:00 |
|
dark64
|
2c26496435
|
fix tests
|
2020-03-26 17:21:21 +01:00 |
|
dark64
|
2ccd25935c
|
renaming
|
2020-03-24 19:15:29 +01:00 |
|
dark64
|
8448e5e787
|
include directive introduced vars in check
|
2020-03-24 18:47:17 +01:00 |
|
dark64
|
5e1aa47dd9
|
cargo fmt
|
2020-03-19 17:15:35 +01:00 |
|
dark64
|
ffe50919dc
|
revert parameter mapping
|
2020-03-19 17:00:36 +01:00 |
|
dark64
|
8cda2e3c51
|
add unit tests, minor refactor
|
2020-03-18 19:37:30 +01:00 |
|
dark64
|
c0558b177f
|
use folder pattern
|
2020-03-18 18:00:38 +01:00 |
|
dark64
|
e6b3d89234
|
Add check for unused/unconstrained parameters
|
2020-03-18 15:33:03 +01:00 |
|
dark64
|
efecfedc8b
|
add zokrates_common crate, update resolver trait definition
|
2020-03-04 20:31:44 +01:00 |
|
dark64
|
8774cbcd6e
|
revert zokrates_fs_resolver cargo.toml
|
2020-03-03 14:17:25 +01:00 |
|
dark64
|
acd9b9ea86
|
add resolver trait
|
2020-03-03 14:03:42 +01:00 |
|
schaeff
|
9feb1bccc9
|
remove unused file
|
2020-03-03 10:45:11 +01:00 |
|
schaeff
|
19ad78fb81
|
add unit tests
|
2020-03-03 09:37:53 +01:00 |
|
schaeff
|
fcdbed507a
|
implement function call memoization
|
2020-03-02 18:14:05 +01:00 |
|
schaeff
|
f680a363b6
|
bump versions
|
2020-02-20 15:33:07 +01:00 |
|
Thibaut Schaeffer
|
67efd548aa
|
Merge pull request #566 from iRyanBell/patch-1
Update build.rs
|
2020-02-20 14:56:03 +01:00 |
|
Ryan Bell
|
d12b09391a
|
Update build.rs
Change added for libsnark-enabled macOS support
|
2020-02-18 12:01:28 -08:00 |
|
Thibaut Schaeffer
|
cf8600e608
|
Merge pull request #565 from Zokrates/fix-import-context
Fix import context
|
2020-02-17 23:39:32 +01:00 |
|
Thibaut Schaeffer
|
84c144a77b
|
Merge pull request #562 from Zokrates/split-at
Use split_at instead of split_off
|
2020-02-17 19:40:51 +01:00 |
|
schaeff
|
2e4562825f
|
doc, enforce spec
|
2020-02-17 18:20:54 +01:00 |
|
schaeff
|
df09835962
|
use pathbuf in typed, fix tests
|
2020-02-13 22:40:11 +01:00 |
|
schaeff
|
12c4cd2a52
|
fix tests
|
2020-02-13 17:21:14 +01:00 |
|
schaeff
|
602d5c27ea
|
make zokrates_core platform independent by removing the canonicalize call
|
2020-02-13 16:31:43 +01:00 |
|
schaeff
|
43075af3d6
|
switch to paths, add test
|
2020-02-13 14:04:29 +01:00 |
|
schaeff
|
0f7594d8ff
|
use absolute paths
|
2020-02-12 16:20:15 +01:00 |
|
schaeff
|
22ad76a191
|
add runtime check that verbose propagation doesnt shrink statement count
|
2020-02-11 14:27:29 +01:00 |
|
schaeff
|
ffa837b4be
|
remove fmt as it's not available
|
2020-02-11 12:48:18 +01:00 |
|
schaeff
|
f0645055eb
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into variable-loop-bounds
|
2020-02-11 12:00:13 +01:00 |
|
schaeff
|
3c27cb6b24
|
typo
|
2020-02-11 11:51:52 +01:00 |
|
schaeff
|
a376105b6d
|
revert
|
2020-02-10 18:50:11 +01:00 |
|
schaeff
|
b11b56eaab
|
record correct file when errors occur. wip
|
2020-02-10 18:46:52 +01:00 |
|
schaeff
|
62604bbf76
|
remove final inlining
|
2020-02-10 15:23:10 +01:00 |
|
schaeff
|
8984f528cd
|
typo
|
2020-02-10 15:08:54 +01:00 |
|
schaeff
|
f5efc1b0e1
|
panic
|
2020-02-10 15:04:54 +01:00 |
|
schaeff
|
971213dbac
|
use split_at to prevent allocations
|
2020-02-10 14:40:35 +01:00 |
|
schaeff
|
594897b3fc
|
refactor to detect stagnation, remove upper bound
|
2020-02-10 14:24:30 +01:00 |
|
schaeff
|
02057a9f23
|
use balanced binary tree
|
2020-02-04 08:39:21 +01:00 |
|
schaeff
|
14cd634ef5
|
address comments
|
2020-01-30 13:02:00 +01:00 |
|