Skip to content

Releases: Columpio/RInGen

Stable release v1.2

25 May 12:58
@Columpio Columpio
chccomp22
78e1b50
This commit was signed with the committer’s verified signature.
Columpio Yurii Kostyukov
GPG key ID: A6124F388E23AFE3
Learn about vigilant mode.
Compare
Choose a tag to compare
Stable release v1.2 Latest
Latest

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

Assets 3
Loading

Stable release v1.1

16 Mar 12:43
@Columpio Columpio
v1.1
710e4d9
Compare
Choose a tag to compare
Stable release v1.1
  • moved to ANTRL2 SMTLIB2 grammar
  • added Prolog translation
  • added VeriMAP-iddt
  • fixed nary sugared operations
Assets 3
Loading

First release v1.0

01 Mar 13:23
@Columpio Columpio
v1.0
8b07138
Compare
Choose a tag to compare
First release v1.0 
First stable version v1.0
Assets 5
Loading