Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
omega-plugin-1-1
4b217429
·
omega-plugin 1.1
·
Jan 30, 2009
mona-plugin-1-2
f1bbecf6
·
. mona-plugin 1.2
·
Jan 30, 2009
lira-plugin-1-1
f82fd039
·
regenerated file
·
Jan 30, 2009
lash-plugin-1-1
fbe0c087
·
lash-plugin 1.1
·
Jan 30, 2009
prestaf-1-5
47ff723a
·
. PRESTAF 1.5
·
Jan 30, 2009
alambic-1-0
4ffe8bc2
·
. ALAMBIC 1.0
·
Jan 30, 2009
armoise-1-0
bfd4613a
·
. add changes for release 1.0
·
Jan 30, 2009
start
a84b5742
·
TaPAS packaging
·
Feb 18, 2008
armoise-0-0
a231ecdd
·
. fix a bug generating conflict with PKG_CHECK_MODULES (even if it is not actually used here)
·
Jan 10, 2008
genepi-2-0
5daa4347
·
due to (probably) new behavior of libtoolize we must create a copy of the...
·
Jan 09, 2008
mona-plugin-1-1
6dd80222
·
update plugin with Mona 1.4.8
·
Dec 07, 2007
prestaf-1-4
8e70e41f
·
update package version
·
Dec 06, 2007
sataf-1-2
0ec3da14
·
update package version
·
Dec 06, 2007
lash-plugin-1-0
b1e3c10f
·
. bug fixing: in get_one_solution.
·
Nov 21, 2007
lira-plugin-1-0
610668ed
·
LIRA plugin is now working... at least it seems so.
·
Sep 25, 2007
ppl-plugin-1-0
4040de90
·
. the autotest must return 1 if no test is done.
·
Aug 31, 2007
mona-plugin-1-0
959eb22c
·
. removed putchar() hanging around in s_dfa_to_dot() (edges labelled
·
Apr 24, 2007
merge_from_gp_to_trunk_2
2bbd531f
·
. merge with main trunk
·
Apr 06, 2007
omega-plugin-1-0
8ff2fbaa
·
. change the value of the hardcoded number of variables
·
Apr 06, 2007
genepi-1-0
5bb13d4f
·
quote doxygen project name
·
Mar 17, 2006
Prev
1
2
3
Next