Skip to content

Releases: combinators/cls-scala

Bugfix & Maintenance

01 Oct 10:50
@JanBessai JanBessai
v3.0.1
31f44f4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Bugfix & Maintenance Latest
Latest

Fixes a bug on single-core computers and includes latest dependency updates.

Assets 2
Loading

Improved Algorithm

25 Nov 10:45
@JanBessai JanBessai
v3.0.0
3e3bbd1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Improved Algorithm

Improved algorithm (in line with formally verified cls-coq version, support for Scala 2.13 and more.

Assets 2
Loading

More Performance, More Flexibility, and Fresh Dependencies

25 Jul 05:53
@JanBessai JanBessai
v2.1.0
09a18b7
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
More Performance, More Flexibility, and Fresh Dependencies 
Merge pull request #9 from combinators/PrecomputeMinimalPaths

Precompute minimal paths and eliminate redundant "failed-supertype present"-check
Assets 2
Loading

First public release of cls-scala

04 Jan 17:09
@JanBessai JanBessai
v2.0.0
e68ca9f
Compare
Choose a tag to compare
First public release of cls-scala 
v2.0.0

Update maven batch in readme
Assets 2
Loading

First public release candidate for cls-scala

21 Dec 09:40
@JanBessai JanBessai
v2.0.0-RC1
76ded7a
Compare
Choose a tag to compare
First public release candidate for cls-scala Pre-release
Pre-release 
v2.0.0-RC1

Use travis stage instead of ugly bash hacks
Assets 2
Loading