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.
9f945c152d
yap-6.3/packages
History
Vítor Santos Costa 9f945c152d cmake
2015-01-27 03:42:24 +00:00
..
archive@2095a5f288 doc fixes 2015-01-05 08:46:11 +00:00
bdd fix tyes. 2015-01-27 03:25:56 +00:00
chr@0e7ab5c61c doc fixes 2015-01-05 08:46:11 +00:00
clib@8257467ff9 warnings 2015-01-05 16:14:03 +00:00
CLPBN fix tyes. 2015-01-27 03:25:56 +00:00
clpqr@39a11c2d87 config libs vs ldflags, CPP VS C 2014-10-26 01:52:02 +01:00
cplint Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-01-18 02:54:53 +00:00
cuda cmake and jit 2015-01-26 04:02:46 +00:00
gecode cmake and jit 2015-01-26 04:02:46 +00:00
http@f98511b9c0 win32 in submodules. 2014-11-03 00:25:30 +00:00
jpl@9b72782784 fixes in javadoc 2014-10-03 16:56:23 +01:00
meld syntax errors 2014-08-06 10:26:03 -05:00
myddas cmake and jit 2015-01-26 04:02:46 +00:00
odbc@d0d1ee4d58 JIT 2015-01-20 03:00:42 +00:00
plunit@c70811ad67 improve docs 2014-09-15 03:13:50 -05:00
prism fix tyes. 2015-01-27 03:25:56 +00:00
ProbLog infinity, try to fix the ffsll mess, warnings 2015-01-05 16:06:32 +00:00
prosqlite cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
pyswip syntax errors 2014-08-06 10:26:03 -05:00
python doc support 2015-01-04 23:58:23 +00:00
raptor@34d9f64572 cmake 2015-01-27 03:42:24 +00:00
RDF@f19e64df26 big makefile cleanup 2014-02-13 01:58:48 +00:00
real@09c8bd21fb doc fixes 2015-01-05 08:46:11 +00:00
semweb@5105a53f44 warnings 2015-01-05 16:14:03 +00:00
sgml@7c5ce10efc warnings 2015-01-06 17:49:35 +00:00
swi-minisat2 small warnings. 2014-11-25 16:42:35 +00:00
swig cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
udi@9becd0f061 fix tyes. 2015-01-27 03:25:56 +00:00
xml doc support 2015-01-04 23:58:23 +00:00
yap-lbfgs doc support 2015-01-04 23:58:23 +00:00
zlib@322e89ade5 doc fixes 2015-01-05 08:46:11 +00:00
Dialect.defs.in improve autoconf 2014-10-25 16:46:13 +01:00
Makefile.defs.in latex to html translator port from SWi. 2013-11-18 01:21:21 +00:00