|
anios
|
2011-08-28
|
miracelwhipp
|
[r38]
version used for benchmarks
|
|
aspSyntaxPlugin
|
2011-07-22
|
miracelwhipp
|
[r35]
anios works, also added run data as examples...
|
|
autoplayer
|
2010-06-23
|
miracelwhipp
|
[r26]
stable version. The mutexes seem to produce mem...
|
|
dionysos
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
gggLogicProgram
|
2011-08-28
|
miracelwhipp
|
[r38]
version used for benchmarks
|
|
gggUtil
|
2011-07-22
|
miracelwhipp
|
[r36]
forgot a file
|
|
kifPlugin
|
2011-07-22
|
miracelwhipp
|
[r35]
anios works, also added run data as examples...
|
|
languagePluginUtil
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
legba
|
2010-07-08
|
miracelwhipp
|
[r30]
a new edoc run. I hope this fixes the bug with ...
|
|
pluginUtil
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
potasscoPlugin
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
reasonerPluginUtil
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
thyia
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
tinyxml
|
2010-06-23
|
miracelwhipp
|
[r26]
stable version. The mutexes seem to produce mem...
|
|
web
|
2010-04-07
|
miracelwhipp
|
[r22]
check in for me to be able to work at home...
|
|
yala
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
AUTHORS
|
2009-07-29
|
miracelwhipp
|
[r10]
modified automakescripts to match new structure
|
|
COPYING
|
2010-11-10
|
miracelwhipp
|
[r32]
changed logging and began adding doxygen comments
|
|
ChangeLog
|
2009-07-29
|
miracelwhipp
|
[r10]
modified automakescripts to match new structure
|
|
Dionysos.ini
|
2009-07-14
|
miracelwhipp
|
[r6]
communication with clingo now by pipes, fastene...
|
|
Doxyfile
|
2009-10-12
|
miracelwhipp
|
[r13]
added last changes from mainz
|
|
Makefile.am
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
NEWS
|
2009-07-29
|
miracelwhipp
|
[r10]
modified automakescripts to match new structure
|
|
README
|
2009-07-29
|
miracelwhipp
|
[r10]
modified automakescripts to match new structure
|
|
configure.in
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
ggg.config
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
ggg.creator
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|
|
ggg.files
|
2011-07-22
|
miracelwhipp
|
[r35]
anios works, also added run data as examples...
|
|
ggg.includes
|
2011-04-06
|
miracelwhipp
|
[r34]
major refacturing of plugins,
|