diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
df1e161e6c
yap-6.3/packages
History
Vítor Santos Costa df1e161e6c fix library and stdbool
2014-09-09 09:13:03 -05:00
..
archive@3a80c7eb11 small fixes in packages 2014-08-16 09:15:02 -05:00
bdd WIN32 with threads 2014-03-06 13:34:35 +00:00
chr@81aa0379db global analysis support. 2014-08-04 21:54:04 -05:00
clib@8a83f16c7b fix library and stdbool 2014-09-09 09:13:03 -05:00
CLPBN small cleaning. 2014-08-20 09:58:33 -05:00
clpqr@4aa1c28369 big makefile cleanup 2014-02-13 01:58:48 +00:00
cplint psckage compilation stuff. 2014-05-04 23:15:39 +01:00
cuda fix typo. 2014-05-04 22:32:41 +01:00
gecode fix arena initialization 2014-08-23 14:47:40 -05:00
http@c7aa381b57 big makefile cleanup 2014-02-13 01:58:48 +00:00
jpl@e4ecf86fb3 new commits 2014-03-15 22:22:43 +00:00
meld syntax errors 2014-08-06 10:26:03 -05:00
myddas fix arena initialization 2014-08-23 14:47:40 -05:00
odbc@688bf6c3b2 changes to support eclipse compat 2014-06-04 22:08:37 +01:00
plunit@8497465ab0 big makefile cleanup 2014-02-13 01:58:48 +00:00
prism fix arena initialization 2014-08-23 14:47:40 -05:00
ProbLog format_to_chars is not supported any longer. 2014-08-20 07:57:58 -05:00
prosqlite global analysis support. 2014-08-04 21:54:04 -05:00
pyswip syntax errors 2014-08-06 10:26:03 -05:00
python enable analysis. 2014-08-20 07:56:33 -05:00
R@87bb48410a big makefile cleanup 2014-02-13 01:58:48 +00:00
raptor@2436b3e2d1 psckage compilation stuff. 2014-05-04 23:15:39 +01:00
RDF@f19e64df26 big makefile cleanup 2014-02-13 01:58:48 +00:00
real@e5bbf54db2 replace locks by critical sections in interrupt handling 2014-09-02 14:19:23 -05:00
semweb@ff1cf6416e small fixes in packages 2014-08-16 09:15:02 -05:00
sgml@946f301402 small fixes in packages 2014-08-16 09:15:02 -05:00
swi-minisat2 fix arena initialization 2014-08-23 14:47:40 -05:00
swig intermediate steo in improving doc system to doxygeb 2014-07-26 19:14:15 -05:00
udi@9becd0f061 more configuration fixes 2014-02-15 01:24:07 +00:00
xml small cleaning. 2014-08-20 09:58:33 -05:00
yap-lbfgs doc updates 2014-04-09 12:39:52 +01:00
zlib@d9488412c5 replace locks by critical sections in interrupt handling 2014-09-02 14:19:23 -05:00
Dialect.defs.in C++ flags 2014-05-06 09:55:40 +01:00
Makefile.defs.in latex to html translator port from SWi. 2013-11-18 01:21:21 +00:00