Commit Graph

8623 Commits

Author SHA1 Message Date
Vítor Santos Costa
edd5c007c8 make sudoku work 2015-11-11 07:51:52 +00:00
Vítor Santos Costa
0b982a72fe fix broken padding 2015-11-11 07:50:12 +00:00
Vítor Santos Costa
e4bcc5e8a2 use main to call all tests: 2015-11-10 14:22:13 +00:00
Vítor Santos Costa
adf3ed0311 docs 2015-11-10 14:18:27 +00:00
Vítor Santos Costa
7468de4553 indenting 2015-11-10 14:16:10 +00:00
Vítor Santos Costa
a3c09d66be docs 2015-11-10 14:13:56 +00:00
Vitor Santos Costa
cddb8191c8 config changes 2015-11-09 18:22:43 +00:00
Vitor Santos Costa
3aeebed2cf postgres 2015-11-09 18:21:54 +00:00
Vitor Santos Costa
af67ebf5da forget the past for now 2015-11-09 18:21:19 +00:00
Vitor Santos Costa
e6b6e7c593 don't loop for ever, and utf8 2015-11-09 18:19:51 +00:00
Vitor Santos Costa
5314a47b14 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-11-09 11:38:33 +00:00
Vitor Santos Costa
ef0673aa2b package support 2015-11-09 11:36:33 +00:00
Vítor Santos Costa
5035f4efe6 move horus to CL(BN) 2015-11-09 11:32:25 +00:00
Vítor Santos Costa
759ff81e39 absolute_file_name support. 2015-11-09 11:31:58 +00:00
Vítor Santos Costa
4b74421a36 policy and extra packages. 2015-11-09 11:30:40 +00:00
Vítor Santos Costa
e400857810 absolute_file_name again 2015-11-09 11:30:21 +00:00
Vítor Santos Costa
9f3e3baf2b gap and C++ :( 2015-11-09 11:30:04 +00:00
Vítor Santos Costa
03c79a89ef support for absolut_file_name 2015-11-09 11:29:40 +00:00
Vítor Santos Costa
2d330f3bee user defined directives are multiple. 2015-11-09 11:29:09 +00:00
Vítor Santos Costa
6975c60645 support interface to minisat2. 2015-11-09 11:28:44 +00:00
Vítor Santos Costa
1d66c45fc2 more fixes to absolute_file_names and a new option, glob/1. 2015-11-09 11:27:46 +00:00
Vítor Santos Costa
a8b51a1ada check full file path 2015-11-09 11:26:22 +00:00
Vítor Santos Costa
ca81e5d8ea use unification, not wakeup, to verify if two terms are unifiable. Fixes Ulrich Neumerkel #306
Also renitent
2015-11-09 11:25:55 +00:00
Vítor Santos Costa
50c04116c8 moved from H 2015-11-06 18:22:31 +00:00
Vítor Santos Costa
d66db4cf70 make fixes
- options to use WITH
- FIX RPATH ON MAC
- newer Find
- bdd exports to cplint
2015-11-05 23:51:35 +00:00
Vítor Santos Costa
c450a712d0 typos 2015-11-05 23:47:28 +00:00
Vítor Santos Costa
5205921541 MYDDAS support 2015-11-05 23:45:48 +00:00
Vítor Santos Costa
e9debf4d83 MYDDAS Support 2015-11-05 23:45:07 +00:00
Vítor Santos Costa
f8b5ca8291 init and friends : cleanup 2015-11-05 19:33:38 +00:00
Vítor Santos Costa
44dc6f06d7 newer Find R module 2015-11-05 19:28:22 +00:00
Vítor Santos Costa
aa2fb8f0c5 the photos for Debug IO 2015-11-05 19:27:57 +00:00
Vítor Santos Costa
5f58216315 init and new text size function 2015-11-05 19:27:34 +00:00
Vítor Santos Costa
df273f549a prompt flag 2015-11-05 19:26:44 +00:00
Vítor Santos Costa
c1ca214932 Actually use GMP 2015-11-05 19:26:22 +00:00
Vítor Santos Costa
5f76e105b1 Debug IO stuff 2015-11-05 19:25:54 +00:00
Vítor Santos Costa
4354083208 YAP_TextLllength and the init saga 2015-11-05 19:24:55 +00:00
Vítor Santos Costa
e04dd14bed md5 support 2015-11-05 19:22:40 +00:00
Vítor Santos Costa
4cbeb6df39 oops.... 2015-11-05 17:27:20 +00:00
Vítor Santos Costa
4dfcdd4e87 current_predicate & abolish (Paulo Moura's tests) 2015-11-05 17:26:50 +00:00
Vítor Santos Costa
e162ec9ef9 don't debug !(_) 2015-11-05 17:26:04 +00:00
Vítor Santos Costa
9ed0389186 file press used by Prolog 2015-11-05 17:25:09 +00:00
Vítor Santos Costa
f9b19af0ea typo 2015-11-05 17:24:43 +00:00
Vítor Santos Costa
148a5f3acd avoid hiding without reason 2015-11-05 17:24:22 +00:00
Vítor Santos Costa
35bebd3a56 lots of annoying small bugs 2015-11-05 17:23:26 +00:00
Vítor Santos Costa
b7f16997df non-traceable stuff. 2015-11-05 17:22:49 +00:00
Vítor Santos Costa
e2cac6279c rebound 2015-11-05 17:22:17 +00:00
Vítor Santos Costa
f8fc35a548 bug in module expansion 2015-11-05 17:21:48 +00:00
Vítor Santos Costa
9ffe2ddddc init handling 2015-11-05 17:21:19 +00:00
Vítor Santos Costa
ed4b76ddc6 ?? 2015-11-05 17:20:25 +00:00
Vítor Santos Costa
27bfbdc1be improve prompt 2015-11-05 17:19:25 +00:00