Vitor Santos Costa
|
8da8e0e472
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2015-11-18 15:34:36 +00:00 |
|
Vítor Santos Costa
|
ce8a19d381
|
Add documentation
|
2015-11-18 15:06:25 +00:00 |
|
Vítor Santos Costa
|
7236d4a527
|
initial updates
|
2015-11-13 13:24:31 +00:00 |
|
Vítor Santos Costa
|
4cea2839e4
|
add read_line_to_string
|
2015-11-13 13:23:49 +00:00 |
|
Vítor Santos Costa
|
54d7d52b09
|
a few more cases of conversion
|
2015-11-13 13:22:50 +00:00 |
|
Vítor Santos Costa
|
5d5ac22834
|
add line_count/2 built-in
|
2015-11-13 13:21:45 +00:00 |
|
Vítor Santos Costa
|
120d6ff19a
|
add missing directory_files/2
|
2015-11-13 13:21:21 +00:00 |
|
Vítor Santos Costa
|
bc54d4458a
|
improve tracing over multi-arguments meatballs.
|
2015-11-13 13:20:29 +00:00 |
|
Vítor Santos Costa
|
f17fae43e3
|
add read_line_to_string/2
|
2015-11-13 13:19:42 +00:00 |
|
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 |
|