Commit Graph

458 Commits

Author SHA1 Message Date
Vitor Santos Costa
9be6eb9132 small bugs 2018-11-23 00:01:55 +00:00
Vitor Santos Costa
eed36e99a6 fix syntax error essages
WITH_PACKAGES
2018-10-23 10:09:17 +01:00
Vitor Santos Costa
3fdbbc6a77 Merge ssh://192.168.1.103/home/vsc/yap 2018-10-16 14:31:16 +01:00
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
f57377a23a maintain compatibility with olde linuxen. 2018-09-29 14:43:27 -05: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