Vitor Santos Costa
|
6d0b702d1c
|
small fixes
|
2018-10-07 14:27:01 +01:00 |
|
Vitor Santos Costa
|
50b13a15a0
|
Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap
|
2018-09-30 00:12:13 +01:00 |
|
Vitor Santos Costa
|
990a86512d
|
jpl
|
2018-09-26 11:46:26 +01:00 |
|
Vitor Santos Costa
|
a01ba3383b
|
hide
|
2018-09-26 01:16:07 +01:00 |
|
Vitor Santos Costa
|
87c6971bb6
|
WIN32
|
2018-09-26 01:14:14 +01:00 |
|
Vitor Santos Costa
|
5c8f8457fa
|
debugger
|
2018-09-10 17:06:13 +01:00 |
|
Vitor Santos Costa
|
21a7a3ef44
|
fix
|
2018-07-03 10:45:22 +01:00 |
|
Vitor Santos Costa
|
e2a46cf423
|
droid
|
2018-07-03 00:08:19 +01:00 |
|
Vitor Santos Costa
|
5f96c07131
|
debugg
|
2018-06-30 14:33:32 +01:00 |
|
Vitor Santos Costa
|
0c946038d5
|
fixes
|
2018-06-27 11:38:42 +01:00 |
|
Vitor Santos Costa
|
df961cbd62
|
fix errors, goes òn.
fix overflow detection by using clang/gcc buit-ins..
|
2018-04-14 16:25:29 +01:00 |
|
Vitor Santos Costa
|
d172c9a0f7
|
more on error handling
fiz inefficient grammar
output cmake recognised packages
|
2018-04-10 13:14:16 +01:00 |
|
Vítor Santos Costa
|
2d19db5fce
|
debug exc
|
2018-04-09 02:00:51 +01:00 |
|
Vitor Santos Costa
|
7ce963b63c
|
keep on working on exs.
|
2018-04-07 19:45:18 +01:00 |
|
Vítor Santos Costa
|
c1d81ea7c6
|
errors
|
2018-04-02 14:49:45 +01:00 |
|
Vitor Santos Costa
|
2e9be3d0d4
|
droid
|
2018-03-19 15:41:06 +00:00 |
|
Vitor Santos Costa
|
f3f524960c
|
fixes
|
2018-01-27 10:17:27 +00:00 |
|
Vitor Santos Costa
|
9fce1e9ba2
|
bootstrapping
|
2018-01-22 13:53:17 +00:00 |
|
Vitor Santos Costa
|
4c25aa21c5
|
boot
|
2018-01-18 14:47:27 +00:00 |
|
Vitor Santos Costa
|
8feca162bf
|
android
|
2017-11-27 13:36:19 +00:00 |
|
Vitor Santos Costa
|
8ac3d980c2
|
system_preds
|
2017-06-16 11:53:21 +01:00 |
|
Vitor Santos Costa
|
f1ddb5822e
|
fix predicate search
|
2017-06-06 12:47:59 +01:00 |
|
Vitor Santos Costa
|
2ad3420fac
|
fixes
|
2017-06-05 13:06:12 +01:00 |
|
Vitor Santos Costa
|
0c46c894d3
|
python support
|
2017-05-27 22:54:00 +01:00 |
|
Vitor Santos Costa
|
18af47bdde
|
Jupyter
|
2017-05-19 09:56:37 +01:00 |
|
vscosta
|
34d3d7c176
|
YAP allows a list to execute
|
2017-02-26 20:34:17 +00:00 |
|
Vitor Santos Costa
|
65ff3ed471
|
Smaller updates:
constant use of longjmp
conflict with python headers
win32 support
dll support
|
2017-02-20 15:28:46 +00:00 |
|
Vitor Santos Costa
|
f44ef18fed
|
fix atom_to_term and increase sharing on CUDD stuff
|
2016-11-23 17:23:59 -06:00 |
|
Vitor Santos Costa
|
b03e0634c7
|
fixes + win64
|
2016-11-08 01:37:36 -06:00 |
|
Vitor Santos Costa
|
d082af605d
|
less invasive error handling
|
2016-10-19 22:44:59 -05:00 |
|
Vitor Santos Costa
|
51bf90908f
|
error handling work
|
2016-09-27 12:31:12 -05:00 |
|
Vitor Santos Costa
|
79a154cbf4
|
fix current_predicate/1 and arg/3
|
2016-08-02 11:34:58 -05:00 |
|
Vitor Santos Costa
|
1d84d39b00
|
fix fix
|
2016-08-01 19:14:51 -05:00 |
|
Vitor Santos Costa
|
7651f507c6
|
error handling
|
2016-08-01 17:48:43 -05:00 |
|
Vitor Santos Costa
|
f555ea958c
|
new ped: creat red if new
fix overfull in consult stack
|
2016-07-30 23:15:11 -05:00 |
|
Vitor Santos Costa
|
32743f3731
|
undef handler
|
2016-06-03 16:53:43 +01:00 |
|
Vitor Santos Costa
|
9fcbfca1fa
|
Merge branch 'master' of github.com:vscosta/yap-6.3
|
2016-05-16 11:21:58 +01:00 |
|
Vitor Santos Costa
|
9f2ba2d4fb
|
avoid repeated discontiguous messages
|
2016-05-16 09:35:29 +01:00 |
|
Vitor Santos Costa
|
d86f0d1942
|
fix bad consult stack expansion
|
2016-05-14 11:27:53 +01:00 |
|
Vitor Santos Costa
|
e5891afe44
|
fix nil pointer in prolog profiler
|
2016-05-13 11:41:19 +01:00 |
|
Vitor Santos Costa
|
abe1168b1d
|
recognise discontiguous flag
|
2016-05-12 11:48:39 +01:00 |
|
Vitor Santos Costa
|
efe827db6c
|
allow static_claus on static clauses wo source
|
2016-05-10 15:22:25 +01:00 |
|
Vitor Santos Costa
|
18ed15a4ce
|
do not complain on multi-file predicates being discontiguous
|
2016-05-10 09:25:14 +01:00 |
|
Vitor Santos Costa
|
70061308ff
|
make modules remember which operators they ever defined.
Make modules import operators from other modules
|
2016-04-28 15:01:16 +01:00 |
|
Vítor Santos Costa
|
145ad73255
|
small fixes
indenting
|
2016-03-30 17:35:03 +01:00 |
|
Vítor Santos Costa
|
1be002558c
|
call_cleanup in C plus indenting
|
2016-03-29 01:55:12 +01:00 |
|
Vítor Santos Costa
|
a32ac66167
|
Fix fileName
Always return a legit atom
check for NULL
indenting
|
2016-03-05 17:38:08 +00:00 |
|
Vítor Santos Costa
|
001b169d81
|
indenting
|
2016-03-05 12:21:58 +00:00 |
|
Vítor Santos Costa
|
d5862139c8
|
be more careful when to complain about redefining system press.
|
2016-02-21 19:07:14 +00:00 |
|
Vítor Santos Costa
|
26013e2fb9
|
fix regress in style_check caused by bad argument to add clause
|
2016-02-21 11:30:13 +00:00 |
|