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 |
|
schaeff
|
187a1e834b
|
refactor for ordered symbols, clean, propagate constants globally to cover constants in function key
|
2021-09-10 23:27:19 +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 |
|
schaeff
|
969bd1c015
|
keep module in program during visit
|
2021-09-07 13:50:12 +02:00 |
|
schaeff
|
ece9694d6b
|
clippy
|
2021-09-06 19:46:41 +02:00 |
|
schaeff
|
8f7cf36eec
|
fold module when id is found for constant calls inliner
|
2021-09-06 19:25:29 +02:00 |
|
schaeff
|
5f7c03dde2
|
detect wrong type in reducer (moved over from const inliner)
|
2021-09-06 17:31:00 +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 |
|
schaeff
|
0e57c59542
|
remove propagation from constant inliner, simplify
|
2021-09-06 16:36:36 +02:00 |
|
dark64
|
7c248fd77d
|
pass prog as reference, fix tests
|
2021-09-06 12:53:08 +02:00 |
|
schaeff
|
97a034cdb9
|
implement imported constants, implement inference on generic structs
|
2021-09-04 23:36:14 +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 |
|
schaeff
|
0d3fc27d5e
|
clippy
|
2021-08-27 16:03:38 +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 |
|
schaeff
|
88197a57d6
|
refactor to keep constants until reduction, then try to inline their definitions
|
2021-08-27 15:57:14 +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 |
|
schaeff
|
300fd08966
|
remove unneeded annotation
|
2021-08-23 19:33:59 +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 |
|
schaeff
|
02873b9a78
|
remove comment
|
2021-08-23 13:11:42 +02:00 |
|
schaeff
|
ce158ca5dc
|
add breaking test when propagation is not powerful enough
|
2021-08-23 13:10:23 +02:00 |
|
schaeff
|
54df529cf3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into allow-calls-in-constants
|
2021-08-23 12:30:13 +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
|
7989ff3f55
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into allow-calls-in-constants
|
2021-08-21 00:20:05 +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 |
|
schaeff
|
f1ecdfdc86
|
clippy, changelog
|
2021-08-21 00:15:39 +02:00 |
|
schaeff
|
c71b31d1af
|
refactor constants to keep track of them across modules
|
2021-08-21 00:08:12 +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 |
|
schaeff
|
b5f243965d
|
detect mistyped constant during constant inlining
|
2021-08-18 23:51:00 +02:00 |
|