schaeff
|
c28542a7ba
|
remove dead code flag
|
2021-09-27 20:07:49 +03:00 |
|
schaeff
|
efa5e8acde
|
implement ast, folder and propagation
|
2021-09-27 14:07:46 +03:00 |
|
Thibaut Schaeffer
|
9a4d6e4c80
|
Merge pull request #1015 from Zokrates/dark64-patch-3
Improve error message on unconstrained variable detection
|
2021-09-27 10:16:18 +03:00 |
|
Thibaut Schaeffer
|
38ee47f8b6
|
Merge pull request #1020 from Zokrates/update-ci
Fix CI issues
|
2021-09-27 10:15:23 +03:00 |
|
dark64
|
0d8d7549a2
|
canonicalize paths
|
2021-09-26 17:00:37 +02:00 |
|
dark64
|
11d9dd939b
|
fix integration tests
|
2021-09-26 16:52:51 +02:00 |
|
dark64
|
a514f400ae
|
Set output timeout for zokrates_js_test job
|
2021-09-26 16:47:55 +02:00 |
|
dark64
|
d1a17e059b
|
add changelog
|
2021-09-24 20:43:07 +02:00 |
|
dark64
|
58389bf809
|
fix tests
|
2021-09-24 13:32:59 +02:00 |
|
Darko Macesic
|
d55ddc639d
|
Update unconstrained_vars.rs
|
2021-09-23 15:33:09 +02:00 |
|
Darko Macesic
|
8a82ea93b7
|
Merge pull request #1013 from Zokrates/oob-graceful-fail
Handle OOB accesses gracefully
|
2021-09-22 15:29:09 +02:00 |
|
schaeff
|
77a3888600
|
fix example
|
2021-09-21 13:07:26 +03:00 |
|
schaeff
|
1d1dca3b65
|
changelog
|
2021-09-21 13:05:12 +03:00 |
|
schaeff
|
43f4934586
|
detect out of bounds reads and writes
|
2021-09-21 13:00:36 +03:00 |
|
Thibaut Schaeffer
|
af704063ca
|
Merge pull request #998 from Zokrates/uint-bugfix
Remove cast to usize causing wrong values in wasm environment
|
2021-09-14 11:32:14 +02:00 |
|
Thibaut Schaeffer
|
2b2ac26759
|
Merge pull request #1005 from Zokrates/fix-invalid-bitwidth
Fix invalid bitwidth set on select index
|
2021-09-14 11:31:50 +02:00 |
|
dark64
|
ec01008165
|
fix invalid bitwidth set on select index
|
2021-09-13 18:49:13 +02:00 |
|
dark64
|
5843cb2377
|
add changelog
|
2021-09-13 00:18:05 +02:00 |
|
dark64
|
dc84b29ee8
|
remove cast to usize causing wrong values in wasm environment
|
2021-09-12 23:59:36 +02:00 |
|
Thibaut Schaeffer
|
9db8818fe5
|
Merge pull request #992 from Zokrates/range-docs
Add range semantics to docs
|
2021-09-09 17:21:57 +02:00 |
|
dark64
|
60f9189458
|
add range semantics to docs
|
2021-09-08 15:51:28 +02:00 |
|
Thibaut Schaeffer
|
db25d3f159
|
Merge pull request #977 from Zokrates/handle-unconstrained-vars
Graceful handling of unconstrained variable detection
|
2021-09-06 16:47:23 +02:00 |
|
dark64
|
7c248fd77d
|
pass prog as reference, fix tests
|
2021-09-06 12:53:08 +02:00 |
|
Thibaut Schaeffer
|
b18ea01525
|
Merge pull request #987 from Zokrates/fix-empty-spread-propagation
Fix empty spread propagation
|
2021-09-01 00:08:04 +02:00 |
|
schaeff
|
469664b069
|
changelog
|
2021-08-30 18:04:00 +02:00 |
|
schaeff
|
8169e1839a
|
fix rule by using PartialEq<UExpression>
|
2021-08-30 18:01:35 +02:00 |
|
schaeff
|
edc8c015c4
|
add breaking test
|
2021-08-30 18:00:48 +02:00 |
|
dark64
|
34b631b644
|
fix libsnark tests
|
2021-08-30 15:18:15 +02:00 |
|
dark64
|
fce2c9f32c
|
flatten prog struct
|
2021-08-30 15:06:21 +02:00 |
|
Thibaut Schaeffer
|
c6f7bbe4a7
|
Merge pull request #984 from Zokrates/remove-unused-embed
Remove U32ToField
|
2021-08-27 17:29:00 +02:00 |
|
schaeff
|
28b2a28ed3
|
remove U32ToField
|
2021-08-27 16:05:59 +02:00 |
|
Thibaut Schaeffer
|
cf9ca9bf72
|
Merge pull request #957 from Zokrates/zir-propagation
Apply propagation in ZIR
|
2021-08-27 15:59:17 +02:00 |
|
dark64
|
53e139da78
|
add changelog
|
2021-08-23 21:47:23 +02:00 |
|
dark64
|
13ebd1e4d7
|
use visitor instead of folding
|
2021-08-23 21:42:09 +02:00 |
|
dark64
|
3235cf4df9
|
fix div by zero test
|
2021-08-23 21:23:44 +02:00 |
|
dark64
|
b01c477a55
|
merge develop, fix conflicts
|
2021-08-23 15:54:53 +02:00 |
|
dark64
|
b7a035025d
|
add test for unconstrained input
|
2021-08-23 15:51:56 +02:00 |
|
dark64
|
389d7d0a04
|
fix warnings
|
2021-08-23 15:47:28 +02:00 |
|
dark64
|
ed97e815c7
|
refactor flatten_embed_call
|
2021-08-23 15:21:53 +02:00 |
|
Thibaut Schaeffer
|
6b8f36a429
|
Merge pull request #974 from Zokrates/fail-on-mistyped-constant
Fail on mistyped constant
|
2021-08-23 10:55:27 +02:00 |
|
dark64
|
db33856ed5
|
fix test
|
2021-08-23 00:56:45 +02:00 |
|
dark64
|
5a208beea7
|
gracefully handle unconstrained variables
|
2021-08-22 23:22:15 +02:00 |
|
schaeff
|
e77d76a01f
|
fix tests
|
2021-08-22 15:51:59 +02:00 |
|
schaeff
|
cd468390bf
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-on-mistyped-constant
|
2021-08-21 00:19:31 +02:00 |
|
Thibaut Schaeffer
|
cac7f23dca
|
Merge pull request #976 from Zokrates/deploy
Merge 0.7.6 back
|
2021-08-21 00:19:17 +02:00 |
|
schaeff
|
7b5a973407
|
changelog
|
2021-08-21 00:16:39 +02:00 |
|
dark64
|
db9abf4519
|
force reduce x_to_bits embed arguments
|
2021-08-20 13:43:34 +02:00 |
|
schaeff
|
8a1caca755
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-on-mistyped-constant
|
2021-08-19 16:38:21 +02:00 |
|
Thibaut Schaeffer
|
9cce1d9ef2
|
Merge pull request #973 from Zokrates/remap-path-prefix
Use `remap-path-prefix` to remove circleci paths from release build
|
2021-08-19 16:36:10 +02:00 |
|
dark64
|
bc54c1d454
|
use remap-path-prefix in circleci for release builds
|
2021-08-19 16:08:21 +02:00 |
|