dark64
|
b7d1468cac
|
update changelog, bump versions
|
2023-04-22 00:08:48 +02:00 |
|
schaeff
|
70dff669ea
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into continue-nova-and-compress
|
2023-04-21 23:23:47 +02:00 |
|
schaeff
|
326ba9102f
|
remove unused dependencies
|
2023-04-20 22:53:46 +02:00 |
|
schaeff
|
ab52551a5b
|
merge dev, fix conflicts
|
2023-04-14 11:27:55 +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
|
1ef8649150
|
refactor, fix tests
|
2023-02-28 02:04:02 +01:00 |
|
schaeff
|
ba7aa6044c
|
clean
|
2023-02-22 21:51:58 +01:00 |
|
dark64
|
6f61a93855
|
Merge branch 'develop' into optimize-zir-solver
|
2023-02-21 15:21:39 +01:00 |
|
schaeff
|
9367a98968
|
avoid clones in nova. wip
|
2023-02-21 00:59:07 +01:00 |
|
schaeff
|
a2b335cf8e
|
wip
|
2023-02-19 20:46:24 +01:00 |
|
schaeff
|
81b7bd9b27
|
upgrade nova, fix conflicts
|
2023-02-06 14:29:05 +01:00 |
|
schaeff
|
9e56e912bd
|
bump versions, update changelog
|
2023-01-31 12:43:19 +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
|
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
|
1e4d453f8b
|
improvements 3
|
2022-11-30 14:19:59 +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
|
fd361d68f3
|
more tests
|
2022-11-22 20:32:49 +01:00 |
|
dark64
|
c61a481e0b
|
merge develop
|
2022-11-17 14:38:12 +01:00 |
|
dark64
|
bc9f103fdf
|
add more asm tests
|
2022-11-16 21:27:36 +01:00 |
|
dark64
|
bccb08c836
|
wip
|
2022-11-09 18:57:30 +01:00 |
|
dark64
|
b3a27bed38
|
implement from instead of try_from on zir expression
|
2022-11-08 19:32:55 +01:00 |
|
dark64
|
e51600579f
|
implement identifier expression in zir
|
2022-11-08 14:21:53 +01:00 |
|
dark64
|
113ada3638
|
bitwise op on field
|
2022-10-31 20:55:31 +01:00 |
|
schaeff
|
9aca2d7360
|
fix typo
|
2022-10-26 11:20:51 -05:00 |
|
dark64
|
9ff49a076f
|
remove quadratic check in semantics
|
2022-10-25 14:49:18 +02:00 |
|
dark64
|
608a7c41d2
|
fix tests
|
2022-10-18 13:43:29 +02:00 |
|
dark64
|
8879c42837
|
minor refactor
|
2022-10-17 13:39:16 +02:00 |
|
schaeff
|
485be58a78
|
wip
|
2022-10-11 09:24:28 -05:00 |
|
dark64
|
c869649745
|
wip
|
2022-10-05 15:27:45 +02:00 |
|
schaeff
|
378bc14ac5
|
remove bellperson from default as it does not compile to wasm
|
2022-10-04 16:46:57 +02:00 |
|
schaeff
|
24f8b1ceb9
|
implement cli command for toy nova computation in absence of serialization
|
2022-10-04 13:38:34 +02:00 |
|
schaeff
|
3b7fec990b
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into better-boolean-array-equality-check
|
2022-09-27 10:08:30 +02:00 |
|
Thibaut Schaeffer
|
5e929386d5
|
Merge pull request #916 from Zokrates/identifier-expression
Introduce identifier expression
|
2022-09-27 10:08:13 +02:00 |
|
schaeff
|
230e8f0e84
|
fix utils
|
2022-09-26 15:22:13 +02:00 |
|
schaeff
|
955d6bae5d
|
clean
|
2022-09-26 15:08:41 +02:00 |
|
schaeff
|
745c495fc6
|
use helper functions for tests, wip
|
2022-09-23 15:52:33 +02:00 |
|
Thibaut Schaeffer
|
9e7f01ca2c
|
Merge pull request #1224 from Zokrates/private-parameter-check
Disallow the use of the private keyword on non-entrypoint functions
|
2022-09-22 12:20:14 +02:00 |
|
schaeff
|
4ab9cdb1b0
|
implement better check, add test
|
2022-09-19 18:37:25 +02:00 |
|
dark64
|
dcb52a5581
|
refactor
|
2022-09-09 16:03:46 +02:00 |
|
schaeff
|
f2cc850fc0
|
flatten identifier to expression
|
2022-09-07 14:34:07 +02:00 |
|