Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release 0.7.8 #1055

Merged
merged 115 commits into from
Nov 24, 2021
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
115 commits
Select commit Hold shift + click to select a range
2a94af6
implement type aliasing
dark64 Aug 24, 2021
5c54109
add changelog
dark64 Aug 25, 2021
18b5996
fix test in semantic checker
dark64 Aug 25, 2021
942901c
make field to uint casting more strict to match runtime behaviour
dark64 Sep 12, 2021
6e066f8
keep original declaration type intact and specialize on the fly
Schaeff Sep 15, 2021
11b595e
implement ternary operator
dark64 Sep 15, 2021
d2df0c1
add changelog
dark64 Sep 15, 2021
6fe6821
remove dbg
dark64 Sep 15, 2021
3975437
improve tests
dark64 Sep 16, 2021
6f8b73a
fix abi with concretization, fix StructType
Schaeff Sep 16, 2021
3a54229
correct max constraint count
dark64 Sep 16, 2021
a3bfa9f
clippy
Schaeff Sep 17, 2021
1dbd753
Add optional message to assert statement
dark64 Sep 20, 2021
7cc8279
add changelog
dark64 Sep 20, 2021
302f561
fix indentation
dark64 Sep 20, 2021
ae825b7
update highlighters
Schaeff Sep 21, 2021
fad1b2f
clean, use u32 for concrete array sizes, introduce functions to map u…
Schaeff Sep 21, 2021
2e58979
refactor GenericIdentifier to avoid dummy names
Schaeff Sep 21, 2021
1ffbc02
fix tests
Schaeff Sep 21, 2021
30ebec6
simplify treatment of user defined types
Schaeff Sep 23, 2021
b8e831e
avoid visiting members
Schaeff Sep 23, 2021
018e5bf
cleanup
dark64 Sep 23, 2021
4b99a99
remove explicit generics where applicable
Schaeff Sep 23, 2021
9895e85
remap generics when checking struct alias
Schaeff Sep 23, 2021
87115c8
check generics on structs and infer them
Schaeff Sep 24, 2021
42fd168
safe unpack on field to uint casts
dark64 Sep 27, 2021
2ff4189
add changelog
dark64 Sep 27, 2021
995851a
Create 1016-schaeff
Schaeff Sep 27, 2021
3ad8938
add failing test for unpack
dark64 Sep 27, 2021
1baccb2
Merge pull request #1016 from Zokrates/infer-generics
Schaeff Sep 28, 2021
f416398
minor refactor
dark64 Sep 28, 2021
fe6a334
fix interpreter error display
dark64 Sep 29, 2021
6d7482f
use expect instead of unwrap
dark64 Sep 29, 2021
ef7183c
differentiate between if-expression and ternary expression in typed_absy
dark64 Sep 29, 2021
99fe006
fix tests
dark64 Sep 29, 2021
edc064d
fix naming
dark64 Sep 29, 2021
b8556e3
implement dynamic lt using a shifted sub
Schaeff Oct 1, 2021
b3ddfca
merge dev, some tests failing
Schaeff Oct 4, 2021
dc0a942
merge
Schaeff Oct 4, 2021
3371df2
fmt clippy
Schaeff Oct 4, 2021
5bad757
Merge pull request #1028 from Zokrates/deploy
Schaeff Oct 5, 2021
6ca3427
simplify expression_at making the return value generic, reverting wro…
Schaeff Oct 5, 2021
075673f
Merge branch 'develop' of github.com:Zokrates/ZoKrates into type-alias
Schaeff Oct 5, 2021
980b4be
upgrade toolchain
Schaeff Oct 5, 2021
2169010
fix clippy
Schaeff Oct 5, 2021
13c0af6
merge develop, fix conflicts
dark64 Oct 5, 2021
44899ac
update book
dark64 Oct 5, 2021
c8ddc89
enable general postfix expressions in the parser, move function name …
Schaeff Oct 5, 2021
f3f400a
fix tests, add breaking example
Schaeff Oct 5, 2021
69cb867
fix incorrect propagation
Schaeff Oct 5, 2021
fa30d66
avoid creating postfix expressions with no accesses
Schaeff Oct 8, 2021
392bd9e
Create 1030-schaeff
Schaeff Oct 8, 2021
31ee9ea
try an older nightly
Schaeff Oct 8, 2021
6de5a21
improve example
Schaeff Oct 8, 2021
5ab9f27
Merge branch 'enable-general-postfix' of github.com:Zokrates/ZoKrates…
Schaeff Oct 8, 2021
be62909
remove clone
Schaeff Oct 11, 2021
60ed48b
tweak assert
Schaeff Oct 11, 2021
65c4ccb
Merge pull request #997 from Zokrates/strict-field-to-uint
Schaeff Oct 11, 2021
6056958
fail in zir propagation when an assertion is false
Schaeff Oct 11, 2021
ba37523
Merge branch 'develop' of github.com:Zokrates/ZoKrates into type-alias
Schaeff Oct 11, 2021
eb49215
add docs, use alias in example
Schaeff Oct 12, 2021
1f8b15a
Merge pull request #1029 from Zokrates/upgrade-rust-toolchain
Schaeff Oct 12, 2021
43b2a1d
move to non breaking nightly, fix conflicts
Schaeff Oct 12, 2021
d738937
try with older nightly
Schaeff Oct 12, 2021
bdd68fb
try with previous nightly
Schaeff Oct 12, 2021
bb3632f
upgrade cargo lock
Schaeff Oct 12, 2021
86acffe
revert toolchain
Schaeff Oct 12, 2021
e454f89
disable parallel
Schaeff Oct 12, 2021
2d7b32f
print cmake version
Schaeff Oct 12, 2021
4fe021d
update rust version
dark64 Oct 12, 2021
b4c3903
change cmake version
dark64 Oct 12, 2021
0a22a23
reverting
dark64 Oct 12, 2021
71708ea
Update config.yml
dark64 Oct 12, 2021
bca349e
revert ci change
Schaeff Oct 12, 2021
675da7f
Merge branch 'fix-cmake-bug' of github.com:Zokrates/ZoKrates into fix…
Schaeff Oct 12, 2021
42742bf
Merge pull request #1033 from Zokrates/fix-cmake-bug
Schaeff Oct 12, 2021
6798b02
merge dev
Schaeff Oct 12, 2021
99fdb5e
Merge branch 'develop' of github.com:Zokrates/ZoKrates into fail-earl…
Schaeff Oct 12, 2021
31409d1
merge dev, add changelog
Schaeff Oct 12, 2021
433a325
merge dev
Schaeff Oct 12, 2021
29712ee
Merge pull request #1030 from Zokrates/enable-general-postfix
Schaeff Oct 12, 2021
e420332
add marlin to backend table
Schaeff Oct 13, 2021
e978267
changelog
Schaeff Oct 13, 2021
501c69e
Merge branch 'develop' into assertion-messages
dark64 Oct 13, 2021
37940bb
introduce assertion type
dark64 Oct 13, 2021
9474406
make tests pass
dark64 Oct 13, 2021
350d090
Merge pull request #1034 from Zokrates/add-marlin-to-backend-table
Schaeff Oct 13, 2021
1ae38df
Merge branch 'develop' of github.com:Zokrates/ZoKrates into cheaper-d…
Schaeff Oct 13, 2021
99424fa
factor code, implement for uint
Schaeff Oct 13, 2021
feb7fb7
changelog
Schaeff Oct 13, 2021
035a193
apply suggestions
dark64 Oct 13, 2021
1e04d56
fix smt test
Schaeff Oct 13, 2021
c3288b9
fix tests
dark64 Oct 13, 2021
f7b6f2d
Merge pull request #1012 from Zokrates/assertion-messages
Schaeff Oct 14, 2021
740b7ee
merge dev, add tests
dark64 Oct 14, 2021
f98585b
revert to original impl, add symetric check, add logs
Schaeff Oct 15, 2021
f780b49
Merge pull request #1032 from Zokrates/fail-early-on-complex-value-in…
Schaeff Oct 15, 2021
2c7d806
merge dev
Schaeff Oct 15, 2021
b73de66
adjust book
Schaeff Oct 15, 2021
aba1309
fix smt test
Schaeff Oct 15, 2021
0d0d9e0
merge dev
Schaeff Oct 15, 2021
d924368
Merge pull request #1010 from Zokrates/ternary
Schaeff Oct 15, 2021
003d4fc
tweak operator table
Schaeff Oct 18, 2021
5ff16b2
change gettingstarted example to assert
Schaeff Oct 18, 2021
7979876
Create 1037-schaeff
Schaeff Oct 18, 2021
61bbc44
Update lockfiles
petehunt Oct 22, 2021
d17d312
Merge pull request #982 from Zokrates/type-alias
Schaeff Nov 8, 2021
102b7ef
Merge pull request #1040 from petehunt/update-deps
dark64 Nov 9, 2021
7187229
Merge pull request #1037 from Zokrates/remove-return-1
dark64 Nov 9, 2021
d2e8b90
Merge pull request #1025 from Zokrates/cheaper-dynamic-comparison
Schaeff Nov 11, 2021
993bdbf
implement missing cases in folder, read constants into new constant d…
Schaeff Nov 15, 2021
0d04669
add changelog
Schaeff Nov 15, 2021
765a2b2
add tests
Schaeff Nov 17, 2021
2a63d8d
Merge pull request #1050 from Zokrates/fix-constant-reduction
Schaeff Nov 23, 2021
a5ca49f
bump versions, changelog
Schaeff Nov 23, 2021
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -305,4 +305,4 @@ workflows:
- wasm_test
- integration_test
- zokrates_js_build
- zokrates_js_test
- zokrates_js_test
18 changes: 18 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,24 @@ All notable changes to this project will be documented in this file.
## [Unreleased]
https://github.com/Zokrates/ZoKrates/compare/latest...develop

## [0.7.8] - 2021-11-23

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.8 <!-- markdown-link-check-disable-line -->

### Changes
- Fix reduction of constants (#1050, @schaeff)
- Implement type aliasing (#982, @dark64)
- Remove confusing returns (#1037, @schaeff)
- Reduce cost of dynamic comparison (#1025, @schaeff)
- Fix false positives and false negatives in struct generic inference (#1016, @schaeff)
- Make field to uint casts truncate values bigger than uint max (#997, @dark64)
- Add Marlin proving scheme to the backend table in the book (#1034, @schaeff)
- Fail at compile time when complex types are known not to be equal (#1032, @schaeff)
- Allow more postfix expressions, exit gracefully when trying to call anything else than an identifier (#1030, @schaeff)
- Add optional message to assert statement (#1012, @dark64)
- Introduce ternary operator (#1010, @dark64)

## [0.7.7] - 2021-10-04

### Release
Expand Down
Loading