Repository navigation
Conversation
* update kotlin * fix deprecations
* public structs enums parser * disable visibility modifier completion tests * public structs / enums resolution
* disable changelog * bump version
* update gradle to 9.4.1 * update gradle plugins * 261 release update * add CI env variable * remove disk space cleanup * update gradle plugin to 2.13.1 * update github actions * split up lexer / parser generation in CI * setup dependencies in a separate step * fix * fix * disable plugin verifier for RR * fix kotlin versions for 253, 261
…ule (#11) * add tests * rename Ns consts * add Ns.TUPLE_STRUCT to fix a bug with importing it from another module
* support new assert macros in parser * implement new assert, assert_eq, assert_ne * fix tests
…ort for proofs (#20) * initial syntax support for proofs and lemmas * update gradle to 9.5.0, intellij gradle plugin to 2.16.0 * update complete parser tests * update specs parser tests * fix partial parsing tests * rewrite parser into only BlockExpr as blocks * rollback intellij-gradle plugins * bump to 1.53.0
* update gradle to 9.5.1 * add failing proof tests * lemmas, proofs name resolution * rollback gradle.properties
* bump to 1.54.0 * add support for split stmt * split type inference
* spec weights parser support * check weight expr to be a num
* int / range match parser support * integer, range patterns type checking
* parser support for behaviour predicates * name resolution, type inference, value args arity * add signature / inlay hints tests
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.