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.

Sign up for GitHub

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

Jump to bottom

Release 0.4.7 #380

Merged
merged 59 commits into from
Jun 14, 2019
Merged

Release 0.4.7 #380

merged 59 commits into from
Jun 14, 2019

Conversation

Schaeff
Copy link
Member

@Schaeff Schaeff commented Jun 13, 2019 •
edited
Loading

and other fixes

Schaeff and others added 30 commits March 19, 2019 12:11
@Schaeff
integrate with pest parser. WIP
aab1ab8
@Schaeff
add all translation cases, remove old parser
3f71b24
@Schaeff
remove print
19c8a51
@Schaeff
use gh pest-ast
f1b0461
@Schaeff
add imports
e999ba6
@Schaeff
implement unary operators, currently only '!'
2980d8d
@Schaeff
fix signature and visibility
88c755f
@petscheit
fixes issue #347
2f37ee6
@Schaeff
change main to lib for stdlib to prevent binary creation
5e96d26
@JacobEberhardt
Merge pull request #358 from Zokrates/fix-cargo-run
c2b0d64 
Fix cargo run
@Schaeff
Merge pull request #356 from petscheit/fix_json
fcb58c8 
Fix libsnark output to be JSON
@Schaeff
merge dev
20e12c1
@Schaeff
bring pest parser and AST into tree as crates, adjust testing
365d03b
@Schaeff
fix warnings
28787cc
@Schaeff
fix imports
2da3878
@Schaeff
Merge pull request #360 from Zokrates/upgrade-rust-627486
d41586c 
Support Rust 627486
@Schaeff
merge dev
361f9cb
@Schaeff
pass span, information to ast
1bd3658
@Schaeff
improve ast conversion error messages
bf79194
@Schaeff
improve error messages in from_ast
5f040f4
@Schaeff
remove strings from absy and replace with references to the input source
6877f1a
@Schaeff
remove from impl for assignee
9340825
@JacobEberhardt
Merge pull request #363 from Zokrates/string-free-absy
1be802c 
Remove strings from absy
@Schaeff
Update gettingstarted.md
4c79cd0
@Schaeff
Merge pull request #364 from Zokrates/docs-add-nightly
a0f4857 
Specify nightly for build from source
@petscheit
added print-proof command to cli
fe91976
@petscheit
added arguments for testing pipeline
36901e4
@Schaeff
make typed ast string free. wip
8ba7611
@Schaeff
implement array flattening, remove bimap
c4dec18
@Schaeff
add corelib, update use_sym to not register to the memory layout
ed29fad
Schaeff and others added 28 commits June 6, 2019 19:06
@Schaeff
adapt inliner, remove String from function name, add stack to typed i…
addf79f 
…dentifier
@Schaeff
clean
ba9d59d
@Schaeff
test all crates no matter what
0eeb82e
@Schaeff
Merge pull request #369 from Zokrates/fix-test-scripts
f439971 
Test all crates no matter what
@Schaeff
Merge branch 'develop' of github.com:Zokrates/ZoKrates into string-fr…
275d22a 
…ee-typed-ast
@Schaeff
replace
c8bfcf8
@Schaeff
add use_parameter for functions in flattening to add boolean constraints
3e410f8
@Schaeff
revert change
3bfc547
@JacobEberhardt
Merge pull request #370 from Zokrates/replace-alice-by-peggy
9b3ca80 
Replace Alice by Peggy
@JacobEberhardt
Merge pull request #371 from Zokrates/enforce-boolean
33f9cb4 
Enforce boolean in function parameters
@Schaeff
fix tests of empty import with and without ZOKRATES_HOME
a306182
@Schaeff
Merge pull request #372 from Zokrates/fix-fs-test-for-no-home
38d9f14 
Fix tests of empty import with and without ZOKRATES_HOME
@Schaeff
Merge branch 'develop' of github.com:Zokrates/ZoKrates into pest-parser
029bfab
@Schaeff
Merge branch 'pest-parser' of github.com:Zokrates/ZoKrates into strin…
5d4d64a 
…g-free-typed-ast
@Schaeff
remove println
0a15168
@JacobEberhardt
Merge pull request #368 from Zokrates/string-free-typed-ast
b8e9a6b 
Remove strings from typed_absy
@Schaeff
clean
262df92
@Schaeff
Merge branch 'pest-parser' of github.com:Zokrates/ZoKrates into pest-…
c534443 
…parser
@JacobEberhardt
Merge pull request #306 from Zokrates/pest-parser
14a579f 
Switch to pest parser
@Schaeff
remove linear check
e655b99
@JacobEberhardt
Merge pull request #376 from Zokrates/remove-linear-check
5259785 
Remove linear check in flat_absy to ir conversion
@Schaeff
reset cargo.lock
0f40498
@Schaeff
Merge pull request #378 from Zokrates/merge-046-back
9fb6d3f 
Merge 0.4.6 back
@Schaeff
Merge branch 'develop' of github.com:Zokrates/ZoKrates into print-proof
d6028c3
@Schaeff
clean, use match validate values in clap
bbfc1bf
@Schaeff
Add windows build (#379)
0ec294b 
* enable windows build

* setup s3

* allow branch

* add exe

* tweak

* determine binary name, only upload zip

* revert to github release
@Schaeff
Merge pull request #366 from petscheit/print-proof
eb2638e 
Add print-proof command to cli
@Schaeff
bump versions
fb3b4eb
stefandeml
stefandeml approved these changes Jun 14, 2019
View reviewed changes
Copy link
Member

@stefandeml stefandeml left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@stefandeml stefandeml merged commit 03cc69e into master Jun 14, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@stefandeml stefandeml stefandeml approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@Schaeff @stefandeml @petscheit @JacobEberhardt