Skip to content

Releases: andreaskatis/SMTLib2C

Latest binary

28 Sep 16:05
@andreaskatis andreaskatis
1.4
174d15a

Choose a tag to compare

View all tags
Latest binary Latest
Latest 
1.4

Added intellij settings
Assets 4
Loading

Support for translation of nondeterministic functions

05 Jun 21:05
@andreaskatis andreaskatis
v1.3
8c40629

Choose a tag to compare

View all tags
Support for translation of nondeterministic functions 
v1.3

Support for non-det skolems
Loading

Performance improvements

22 Aug 03:25
@andreaskatis andreaskatis
v1.2.1
851b894

Choose a tag to compare

View all tags
Performance improvements Pre-release
Pre-release 
v1.2.1

Performance improvments
Loading

Optimizations to abstract tree creation, bug fixes

13 Apr 02:02
@andreaskatis andreaskatis
SMTLib2Cv1.2
9877d02

Choose a tag to compare

View all tags
Optimizations to abstract tree creation, bug fixes Pre-release
Pre-release 
SMTLib2Cv1.2

Merge branch 'develop' of https://github.com/andrewkatis/SMTLib2C int…
Loading

Bug Fixes and support for Expressions with Ternary Operators

06 Apr 02:26
@andreaskatis andreaskatis
SMTLib2Cv1.1
9877d02

Choose a tag to compare

View all tags
Bug Fixes and support for Expressions with Ternary Operators Pre-release
Pre-release 
SMTLib2Cv1.1

Merge branch 'develop' of https://github.com/andrewkatis/SMTLib2C int…
Loading

Initial release

24 Mar 21:43
@andreaskatis andreaskatis
SMTLib2Cv1.0
f833e83

Choose a tag to compare

View all tags
Initial release Pre-release
Pre-release 
SMTLib2Cv1.0

Added support for expressions with Ternary operators.
Loading