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.
yap-6.3/packages
History
Vítor Santos Costa 7ede2cde5e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	JIT/JIT_Compiler.cpp
	JIT/configure.in
	JIT/jit_analysispreds.c
	JIT/jit_transformpreds.c
	configure
	packages/cplint/Makefile.in
2015-01-18 02:54:53 +00:00
..
archive @ 2095a5f288
doc fixes
2015-01-05 08:46:11 +00:00
bdd
doc support
2015-01-04 23:58:23 +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
install fixes
2014-11-28 02:29:02 +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 support: first cut from David Vaz work.i
2014-12-04 07:59:30 +00:00
gecode
doc support
2015-01-04 23:58:23 +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 support
2014-12-14 12:05:43 +00:00
odbc @ 9972458293
cosmetic
2015-01-18 01:32:13 +00:00
plunit @ c70811ad67
improve docs
2014-09-15 03:13:50 -05:00
prism
infinity, try to fix the ffsll mess, warnings
2015-01-05 16:06:32 +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 @ 36f99e3c3c
warnings
2015-01-06 17:49:35 +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 @ 5e423b2d02
doc fixes
2015-01-05 08:46:11 +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