diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,082 Commits 2 Branches 6 Tags 146 MiB
01776c7a48
Commit Graph

4082 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vitor Santos Costa
01776c7a48 fixes by David Powers (broadcast and >= 0) 
Dion't mess with linger.
 2010-09-21 22:27:35 +01:00
Vitor Santos Costa
ea0fbabedd xor can be used for exclusive disj 2010-09-21 22:26:24 +01:00
Vitor Santos Costa
9e3b363bfd xor should not be an operator (Ulrich's #185) 2010-09-21 22:25:47 +01:00
Vitor Santos Costa
d19ee6094e fix use of Yap instead of YAP. 2010-09-21 22:20:01 +01:00
Vitor Santos Costa
425412b8ca fix bad use of DESTDIR (Keri Harris) 2010-09-21 22:19:44 +01:00
Vitor Santos Costa
9d0f414d30 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-09-21 22:01:08 +01:00
Fabrizio Riguzzi
8ee9cc2d49 fixed a bug in make install (loop) with --enable-cplint 2010-09-09 17:27:28 +02:00
Fabrizio Riguzzi
64d2425321 modified configure message for option --enable-cpling 2010-09-09 17:13:13 +02:00
Theofrastos Mantadelis
048390de0d Corrected a strange bug of ProbLog 2010-09-07 23:21:14 +02:00
Theofrastos Mantadelis
3399fd9e8f db tries library small null bug fix 2010-09-07 19:28:56 +02:00
Vitor Santos Costa
82a44d0277 include docs on MYDDAS, 2010-09-07 09:51:59 -05:00
Theofrastos Mantadelis
511614ee84 Corrected a minor bug introduced by last edit 2010-09-01 17:40:53 +02:00
Vitor Santos Costa
fb554aadd0 changes for pdf generation in ProbLog. 2010-08-31 15:53:43 -05:00
Theofrastos Mantadelis
1b0483a4e3 ProbLog Manual 2010-08-31 13:30:40 +02:00
Vitor Santos Costa
8b9cf7dc2a YAP_SetYAP_Flag 2010-08-30 22:25:56 -05:00
Vitor Santos Costa
8f49db480d fix stupid code. 2010-08-30 21:52:11 -05:00
Vitor Santos Costa
d2a4b9d6b6 div operator 2010-08-30 21:51:44 -05:00
Vitor Santos Costa
e4a15cba33 div/2 operators (from WG17 and #176) 2010-08-30 21:50:33 -05:00
Theofrastos Mantadelis
4e04e87ab6 Fixed base case bug, db_trie learning comatibility 2010-08-30 18:12:32 +02:00
Theofrastos Mantadelis
835b099d98 ProbLog - simplecudd Distribution Fixed warnings 2010-08-27 17:54:22 +02:00
Theofrastos Mantadelis
258d8cf997 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-08-27 17:18:23 +02:00
Theofrastos Mantadelis
9cf76e2ab6 ProbLog Distribution 2010-08-27 17:17:01 +02:00
Vitor Santos Costa
6bdf4e4f8e Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-08-26 10:46:01 -05:00
Vitor Santos Costa
6d455421a4 fix Makefile to allow make install direct 2010-08-26 10:45:33 -05:00
Theofrastos Mantadelis
0c83231d0e New ProbLog Distribution Version - all 2010-08-26 14:44:10 +02:00
Theofrastos Mantadelis
a35f51b9d0 New ProbLog Distribution Version 2010-08-26 14:41:18 +02:00
Theofrastos Mantadelis
87f2588752 New ProbLog Distribution Version 2010-08-26 14:40:50 +02:00
Vitor Santos Costa
6e17b2053f fix assembly of table_try_single (report from Paolo Frasconi). 2010-08-19 09:32:35 +01:00
Vitor Santos Costa
ca3177889c improve code in getting restore file. 2010-08-17 13:19:17 +01:00
Vitor Santos Costa
ace9025c10 fix bad messup with program counter (obs from Ingo Molnar).q 2010-08-17 13:02:50 +01:00
Vitor Santos Costa
3e6ce40eb1 indenting cganges 2010-08-17 13:02:28 +01:00
Vitor Santos Costa
431482ac40 fix DESTDIR issues (by Keri Harris). 2010-08-08 00:33:29 +01:00
Vitor Santos Costa
eed3eded82 remove some old SWI code (unused). 2010-08-06 22:48:54 +01:00
Vitor Santos Costa
fcbd2b34fe fix missing ! 2010-08-06 01:18:58 +01:00
Vitor Santos Costa
e4a76d7f1e add coinduction.yap code. 2010-08-06 00:58:11 +01:00
Vitor Santos Costa
a4129c507d remove leftover files (obs from Bernd Gutmann) 2010-08-05 22:36:00 +01:00
Vitor Santos Costa
7997f2e217 remove left-over files. 2010-08-05 22:35:16 +01:00
Vítor Santos Costa
f63915b07a Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-08-05 22:20:47 +01:00
Vítor Santos Costa
35686156ca fix Makefiles so that make clean forces recompilation everywhere. 2010-08-05 22:18:46 +01:00
Vitor Santos Costa
56f70a8b14 document changes. 2010-08-04 23:36:41 +01:00
Vitor Santos Costa
0fd0662603 ˆ/2 and ˆ/3 are not built-ins. 2010-08-04 23:32:46 +01:00
Vitor Santos Costa
18c3292dad and the file itself. 2010-08-04 23:27:17 +01:00
Vitor Santos Costa
410c4c96d5 Ulrich Neumerkel's lambda expressions. 2010-08-04 23:26:50 +01:00
Vitor Santos Costa
b3b61bcecc FIXED: make install clpqr was broken if we used local install_sh 2010-08-04 22:35:57 +01:00
Vitor Santos Costa
7bf8187bba remove atan2 (WG17 UD #175) 2010-08-04 22:09:08 +01:00
Vitor Santos Costa
0449bf1e7f acyclic_term/1 should be builtin(ISO WG17, UD #174). 2010-08-04 21:50:19 +01:00
Vitor Santos Costa
cf3cb21fd7 subsumes_term/2 (from ISO and UD #173). 2010-08-04 21:46:10 +01:00
Vítor Santos Costa
8592db72d7 start 6.0.7 2010-08-04 20:29:24 +01:00
U-vsc-win7\vsc
1a11df148d Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-08-04 18:26:02 +01:00
U-vsc-win7\vsc
41a648c816 mingw compilation fixes 2010-08-04 18:05:46 +01:00