dark64
|
deabda2ec8
|
fix clippy issues
|
2024-04-03 19:57:17 +02:00 |
|
Darko Macesic
|
f102933381
|
Remove branch isolation (#1353)
* remove branch isolation
* update book, add changelog
* clippy
* revert clippy suggestion
* move clippy allow rule to root lib.rs
* derive default
|
2023-11-09 15:42:17 +01:00 |
|
Darko Macesic
|
89cc999a57
|
fix warnings caused by missing spans (#1340)
|
2023-09-12 11:16:07 +02:00 |
|
Darko Macesic
|
96250e4d45
|
fix clippy issues (#1342)
|
2023-08-31 22:51:54 +02:00 |
|
Darko Macesic
|
296921e558
|
Fix js format and clippy issues (#1339)
* js fmt
* clippy
|
2023-08-22 18:37:49 +02:00 |
|
Thibaut Schaeffer
|
f900437d36
|
Merge pull request #1322 from Zokrates/fix-nested-assembly
Fix propagation in case of nested assembly
|
2023-07-24 10:55:05 +02:00 |
|
Thibaut Schaeffer
|
737b75f000
|
Merge pull request #1326 from Zokrates/detect-div-by-zero
Detect division by zero in typed propagation
|
2023-06-13 10:52:10 +02:00 |
|
Thibaut Schaeffer
|
a4fc3fc645
|
Merge pull request #1318 from Zokrates/asm-complex-type-assignment
Allow composite field type in witness assignment
|
2023-06-13 10:51:35 +02:00 |
|
dark64
|
791a9b66d5
|
detect division by zero in typed propagation
|
2023-06-13 00:36:57 +02:00 |
|
dark64
|
6ea437c83c
|
fix propagation in case of nested assembly
|
2023-05-31 23:28:19 +02:00 |
|
dark64
|
948383d8da
|
check composite types, fix possible incorrect signature in zir function
|
2023-05-30 13:48:48 +02:00 |
|
Thibaut Schaeffer
|
cd15f020e0
|
Merge pull request #1315 from Zokrates/compile-time-short-circuit
Short circuit on constant branch conditions
|
2023-05-30 11:37:32 +02:00 |
|
schaeff
|
066d3533d8
|
propagate embed call in reducer
|
2023-05-23 15:24:47 +02:00 |
|
schaeff
|
5582b1f004
|
short circuit on constant branch conditions
|
2023-05-23 15:16:21 +02:00 |
|
dark64
|
b7d1468cac
|
update changelog, bump versions
|
2023-04-22 00:08:48 +02:00 |
|
Thibaut Schaeffer
|
35c13f25e0
|
Merge pull request #1298 from Zokrates/remove-unused-deps
Remove unused dependencies
|
2023-04-21 23:02:57 +02:00 |
|
schaeff
|
326ba9102f
|
remove unused dependencies
|
2023-04-20 22:53:46 +02:00 |
|
schaeff
|
b397e8a993
|
reduce propagation memory usage
|
2023-04-20 16:41:39 +02:00 |
|
schaeff
|
210285a07d
|
bump versions, generate changelog
|
2023-04-13 17:37:10 +02:00 |
|
Thibaut Schaeffer
|
8c08164038
|
Build with stable rust (#1288)
make zokrates build on stable rust
|
2023-04-13 17:26:01 +02:00 |
|
Thibaut Schaeffer
|
52e45a396c
|
Add sourcemaps (#1285)
add sourcemaps
|
2023-04-13 15:33:37 +02:00 |
|
Thibaut Schaeffer
|
13d41b08a9
|
Merge pull request #1291 from Zokrates/deploy
Merge back 0.8.5
|
2023-03-29 15:16:11 +02:00 |
|
Thibaut Schaeffer
|
3ffd642054
|
Merge pull request #1268 from Zokrates/optimize-zir-solver
Optimize assembly solvers
|
2023-03-28 15:57:26 +02:00 |
|
schaeff
|
16ef50fa9c
|
bump versions, generate changelog
|
2023-03-28 10:45:53 +02:00 |
|
dark64
|
e8abfb51ea
|
clippy
|
2023-03-06 13:37:12 +04:00 |
|
schaeff
|
c81cc66fd3
|
simplify inliner
|
2023-02-27 13:35:50 +01:00 |
|
schaeff
|
35c1a9686b
|
error out if loops are too large
|
2023-02-23 11:26:57 +01:00 |
|
schaeff
|
156ff24306
|
clean inliner
|
2023-02-22 21:43:56 +01:00 |
|
schaeff
|
30801c86fa
|
make all tests pass, clean
|
2023-02-22 21:30:11 +01:00 |
|
schaeff
|
1bb524f6a2
|
clean
|
2023-02-20 23:17:02 +01:00 |
|
schaeff
|
01450c741f
|
fix more tests
|
2023-02-20 03:39:58 +01:00 |
|
schaeff
|
a2b335cf8e
|
wip
|
2023-02-19 20:46:24 +01:00 |
|
dark64
|
4988911183
|
optimize zir solvers by indexing
|
2023-01-26 15:18:31 +01:00 |
|
Dimitris Apostolou
|
28ac40923c
|
Fix typos
|
2023-01-11 03:14:28 +02:00 |
|
dark64
|
3a546615f3
|
fix zir assembly propagation
|
2023-01-03 12:36:17 +01:00 |
|
dark64
|
f72c210a4f
|
fold assignee in shallow ssa
|
2022-12-27 16:10:20 +01:00 |
|
dark64
|
9e11618acb
|
merge assembly-tweaks, fix conflicts, add tests
|
2022-12-02 21:28:07 +01:00 |
|
dark64
|
e95cef8e90
|
validate expressions, add more tests
|
2022-12-01 21:07:42 +01:00 |
|
schaeff
|
46e80743b3
|
make tests pass, introduce ir blocks, try optimising directive outputs
|
2022-11-30 22:41:28 +01:00 |
|
dark64
|
226b65288a
|
fix formatting
|
2022-11-30 14:57:46 +01:00 |
|
dark64
|
eca20870e1
|
remove unnecessary variant on runtime error
|
2022-11-30 14:23:15 +01:00 |
|
dark64
|
1e4d453f8b
|
improvements 3
|
2022-11-30 14:19:59 +01:00 |
|
dark64
|
eca34960f0
|
add tests for assembly transformer and lqc
|
2022-11-29 19:01:15 +01:00 |
|
schaeff
|
33a3043fe4
|
implement propagation for assembly blocks. wip
|
2022-11-29 17:26:27 +01:00 |
|
dark64
|
fbfc20c4e6
|
improvements 2
|
2022-11-28 20:25:05 +01:00 |
|
dark64
|
8d7e5804df
|
improvements
|
2022-11-25 17:54:21 +01:00 |
|
dark64
|
1e07a90ed6
|
add tests to typed propagation
|
2022-11-23 20:54:37 +01:00 |
|
dark64
|
c73c09e5c2
|
fix shifting in zir propagation
|
2022-11-23 20:31:49 +01:00 |
|
dark64
|
fd361d68f3
|
more tests
|
2022-11-22 20:32:49 +01:00 |
|
dark64
|
530dd1d670
|
remove dbg!
|
2022-11-17 19:14:11 +01:00 |
|