Skip to content

Tags: SemGuS-git/Semgus-Java

Tags

1.1.1

Toggle 1.1.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Parametric Sorts (#7)

* Added support for parametric sorts and correct conversion of identifiers with numeral arguments. Added shadowJar to gradle config to make fat JAR directly executable.

* Added readme note pointing to parser version.

1.1.0

Toggle 1.1.0's commit message 
Configure JitPack to build with Temerin 17.0.4.1

1.0.2

Toggle 1.0.2's commit message 
Bump up to 1.0.2

1.0.1

Toggle 1.0.1's commit message 
Bump up to 1.0.1

1.0.0

Toggle 1.0.0's commit message 
Use explicit install script so jitpack will behave