| Preparing next release |
|
More...
|
almost 3 years ago
|
| Add another lemma test |
|
More...
|
almost 3 years ago
|
| Update Check interface |
|
More...
|
almost 3 years ago
|
| Merge branch '1138-architecture' |
|
More...
|
almost 3 years ago
|
| Complete ARCHITECTURE document |
|
More...
|
almost 3 years ago
|
| Update function check for property preconditions |
|
More...
|
about 3 years ago
|
| Update AbstractVisitors / Translator. |
|
More...
|
about 3 years ago
|
| Merge branch '1157-property-requires' |
|
More...
|
about 3 years ago
|
| Add preconditions to properties #1157 |
|
More...
|
about 3 years ago
|
| Merge branch '1137-quickcheck-deps' |
|
More...
|
about 3 years ago
|
| Fix #1137 |
|
More...
|
about 3 years ago
|
| Fixes for tests. |
|
More...
|
about 3 years ago
|
| Preparing next release |
|
More...
|
about 3 years ago
|
| Merge branch '1155-executor' |
|
More...
|
about 3 years ago
|
| Support rudimentary native mathods |
|
More...
|
about 3 years ago
|
| Executor is working. |
|
More...
|
about 3 years ago
|
| Add more tests! |
|
More...
|
about 3 years ago
|
| Add another nice test |
|
More...
|
about 3 years ago
|
| Preparing next version |
|
More...
|
about 3 years ago
|
| Add updated property tests |
|
More...
|
about 3 years ago
|
| Merge branch '1151-if-expression' |
|
More...
|
about 3 years ago
|
| Support If/Return/VarDecl in Properties #1151 |
|
More...
|
about 3 years ago
|
| Now parsing properties with statements |
|
More...
|
about 3 years ago
|
| Refactor Decl.Property.body => Stmt.Block #1151 |
|
More...
|
about 3 years ago
|
| Tweak exponent test |
|
More...
|
about 3 years ago
|
| Add additional test for ** operator |
|
More...
|
about 3 years ago
|
| Merge branch '1124-pow' |
|
More...
|
about 3 years ago
|
| Implement exponent operator #1124 |
|
More...
|
about 3 years ago
|
| Preparing next release |
|
More...
|
about 3 years ago
|
| Tweaks to tests + framework |
|
More...
|
about 3 years ago
|
