Skip to content

Releases: Columpio/RInGen

Release list

Stable release v1.2

Stable release v1.2 Latest
Latest

Choose a tag to compare

View all tags
@Columpio Columpio released this 25 May 12:58
chccomp22
78e1b50
This commit was signed with the committer’s verified signature.
Columpio Yurii Kostyukov
GPG key ID: A6124F388E23AFE3
Verified
Learn about vigilant mode.

CHC-COMP 2022 release.
solver.zip is a solver's build for StarExec.

Assets 3
Loading

Stable release v1.1

Stable release v1.1

Choose a tag to compare

View all tags
@Columpio Columpio released this 16 Mar 12:43
v1.1
710e4d9
  • moved to ANTRL2 SMTLIB2 grammar
  • added Prolog translation
  • added VeriMAP-iddt
  • fixed nary sugared operations
Loading

First release v1.0

First release v1.0

Choose a tag to compare

View all tags
@Columpio Columpio released this 01 Mar 13:23
v1.0
8b07138 
First stable version v1.0
Loading