Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
taf
Talence Presburger Arithmetic Suite
Tags
Tags give the ability to mark specific points in history as being important
tapas-0-1
de449d2b
·
fix stable tag.
·
Dec 03, 2015
tapas 0.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tapas-0-0
3fc18e1e
·
yet fix AS_IF.
·
Jun 20, 2014
first version pre-1.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lira-plugin-1-3
ee657e71
·
update version number.
·
Jan 10, 2012
release 1.3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prestaf-1-6-1
500a7923
·
update
·
Mar 14, 2011
new stable version
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sataf-1-3-1
65cfbeee
·
update changes
·
Mar 11, 2011
new bug fixed
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
omega-plugin-1-2
e90aafcc
·
fix CPPFLAGS setting
·
Mar 15, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mona-plugin-1-3
76587311
·
put m4 macros into ./
·
Feb 05, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ppl-plugin-1-2
03cb246d
·
remove m4 subdir
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
alambic-1-1
55369e20
·
alambic 1.1
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prestaf-1-6
a21e0470
·
update license headers
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
armoise-1-1
24c1e8e0
·
test files
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
talalib-1-0
16cc42eb
·
talalib 1.0
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lira-plugin-1-2
929b1fac
·
lira-plugin 1.2
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lash-plugin-1-2
31886c77
·
prepare lash-plugin-1-2
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
genz-plugin-1-0
c09abc38
·
update license header
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
genepi-3-1
192487e6
·
fix header
·
Feb 04, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prestaf-tacas09-start
16d0125b
·
regenerated files
·
Feb 18, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sataf-1-3
f24c40f6
·
installation notes
·
Feb 02, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
genepi-3-0
3e7027da
·
fix doc/primer
·
Feb 02, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ppl-plugin-1-1
d05763b3
·
ppl-plugin 1.1
·
Jan 30, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next