Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

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
Morty Proxy This is a proxified and sanitized view of the page, visit original site.