Vitor Santos Costa
|
bfc67e5e35
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2015-11-12 15:01:36 +00:00 |
|
Vitor Santos Costa
|
3437f9e04b
|
configutaion fixes
|
2015-11-12 14:59:07 +00:00 |
|
Vítor Santos Costa
|
67c8253135
|
fix creeping with debugger after failing a static clause
|
2015-11-12 14:56:31 +00:00 |
|
Vítor Santos Costa
|
832599d220
|
system_predicate/1 was broken
|
2015-11-12 14:54:01 +00:00 |
|
Vítor Santos Costa
|
e4f5264ded
|
oops...
|
2015-11-12 14:53:31 +00:00 |
|
Vítor Santos Costa
|
a91796e4c8
|
Follow actual syntax
|
2015-11-12 14:53:14 +00:00 |
|
Vítor Santos Costa
|
504268d5b3
|
GLOBAL -> *.h files
|
2015-11-11 17:15:14 +00:00 |
|
Vitor Santos Costa
|
51d0612f59
|
support yapor
|
2015-11-11 17:13:12 +00:00 |
|
Vítor Santos Costa
|
2b5f5c3d0a
|
another useless message
|
2015-11-11 16:49:44 +00:00 |
|
Vítor Santos Costa
|
f822bc8077
|
debugging message: not being used any longer
|
2015-11-11 16:47:25 +00:00 |
|
Vítor Santos Costa
|
85fe3399b4
|
match C and Prolog names
|
2015-11-11 16:46:30 +00:00 |
|
Vítor Santos Costa
|
2466db7ff5
|
skip/2 was using user_input
|
2015-11-11 08:45:03 +00:00 |
|
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 |
|