Vitor Santos Costa
|
e7535dd2ee
|
ovfl
|
2019-05-21 13:50:41 +01:00 |
|
Vitor Santos Costa
|
4afbc4461c
|
problog
|
2019-03-12 10:51:39 +00:00 |
|
Vitor Santos Costa
|
ccfbe3f809
|
various fixes
|
2019-02-21 21:03:44 +00:00 |
|
Vitor Santos Costa
|
09d8d07b7e
|
ugh
|
2019-01-28 15:02:55 +00:00 |
|
Vitor Santos Costa
|
6451328782
|
myddas
|
2019-01-09 09:32:09 +00:00 |
|
Vitor Santos Costa
|
46a32fbd83
|
heap
|
2018-09-14 17:43:36 +01:00 |
|
Vitor Santos Costa
|
48bcffdce7
|
try to fix exceptions
|
2018-03-29 22:33:53 +01:00 |
|
Vitor Santos Costa
|
66db3d53f8
|
boot
|
2018-02-02 11:50:07 +00:00 |
|
Vitor Santos Costa
|
4c25aa21c5
|
boot
|
2018-01-18 14:47:27 +00:00 |
|
Vitor Santos Costa
|
3061844c95
|
Fixes, mostly to the biting o
|
2017-12-10 01:22:45 +00:00 |
|
Vitor Santos Costa
|
645b2c7d93
|
boot
|
2017-12-05 15:14:57 +00:00 |
|
Vitor Santos Costa
|
ed2c85a56b
|
saved states and anaconda
|
2017-11-15 12:18:19 +00:00 |
|
Vitor Santos Costa
|
d23f7c149f
|
anaconda
|
2017-11-11 02:15:59 +00:00 |
|
Vitor Santos Costa
|
faf3c930c8
|
docs
|
2017-04-07 23:10:59 +01:00 |
|
Vitor Santos Costa
|
02e0e50915
|
Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3
|
2016-11-02 00:16:36 -05:00 |
|
Vitor Santos Costa
|
9bfdfeb204
|
Abolish removes too much information
|
2016-07-31 04:32:41 -05:00 |
|
Vitor Santos Costa
|
83a1269553
|
change bootstrap sequence to support -B and to allow booting from pl files
|
2016-05-10 08:33:44 +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
|
9860b6244f
|
small changes
|
2016-02-13 03:11:25 +00:00 |
|
Vítor Santos Costa
|
661f33ac7e
|
bug fices
|
2016-01-03 02:06:09 +00:00 |
|
Vítor Santos Costa
|
b871f6676e
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
Vítor Santos Costa
|
c33a345429
|
pretty stuff
|
2015-08-18 14:55:34 -05:00 |
|
Vítor Santos Costa
|
b164f53191
|
fix regression tests
|
2015-08-07 16:57:53 -05:00 |
|
Vítor Santos Costa
|
f5b50a4179
|
fix locks
|
2015-06-19 10:10:02 +01:00 |
|
Vítor Santos Costa
|
42b79d7ee7
|
IOSTREAM -> FILE
|
2015-06-19 00:32:38 +01:00 |
|
Vítor Santos Costa
|
315a882e8f
|
remove swi deps
|
2015-06-18 08:09:31 +01:00 |
|
Vítor Santos Costa
|
ecd980c491
|
thread support
|
2015-04-13 13:32:32 +01:00 |
|
Vítor Santos Costa
|
ef586e264e
|
android debugging plus clean-ups
|
2015-04-13 13:28:17 +01:00 |
|
Vítor Santos Costa
|
9b6bcdde16
|
improve notion of standadard predicate
|
2015-03-04 09:54:08 +00:00 |
|
Vitor Santos Costa
|
ce84e60d08
|
cosmetic
|
2015-01-18 01:32:13 +00:00 |
|
Vitor Santos Costa
|
befedf8db2
|
fix 32/64 bits issue.
|
2015-01-15 01:15:57 -08:00 |
|
Vitor Santos Costa
|
3122d323b5
|
support 64 bit flags in 32 bit mode
|
2015-01-14 04:51:54 -08:00 |
|
Vitor Santos Costa
|
f22f337f67
|
32 bit support:
use uint64_t for predflags
define a type for arity
|
2015-01-06 17:47:58 +00:00 |
|
Vítor Santos Costa
|
f5ef30563b
|
use const char *
|
2014-12-14 11:52:07 +00:00 |
|
Vítor Santos Costa
|
80faee6824
|
qload/qsave implementation.
|
2014-10-02 14:57:50 +01:00 |
|
Vítor Santos Costa
|
e4306ba28e
|
fix qsave_module
|
2014-09-25 09:47:38 +01:00 |
|
Vitor Santos Costa
|
66a95e96c0
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
library/matrix.yap
pl/qly.yap
|
2014-09-23 22:46:19 +01:00 |
|
Vitor Santos Costa
|
429e87404f
|
avoid empty hash tables
|
2014-09-23 22:37:08 +01:00 |
|
Vítor Santos Costa
|
3e255ec4a1
|
qload
|
2014-09-22 18:13:35 +01:00 |
|
Vítor Santos Costa
|
3168b2cfc8
|
fix int/Int in save; add debugging (obs from Gong Su
|
2014-09-16 04:00:31 -05:00 |
|
Vítor Santos Costa
|
5b19ccf6a8
|
swig fixes for Android compatibility
|
2014-06-22 17:35:05 +01:00 |
|
Vítor Santos Costa
|
74a65633d8
|
fix duplicated system predicate + android related cleanups
|
2014-06-20 11:13:39 +01:00 |
|
Vítor Santos Costa
|
6de73e6469
|
introudce handle_t and arity_t
Android: /assets and debugging
|
2014-06-11 19:35:45 +01:00 |
|
Vítor Santos Costa
|
71b40e0438
|
changes to support eclipse compat
support of Android assets as /assets files.
|
2014-06-04 22:08:37 +01:00 |
|
Vítor Santos Costa
|
4172f4efd5
|
use const wherever possible
|
2014-05-25 20:46:04 +01:00 |
|
Vítor Santos Costa
|
ba2c0ca2a0
|
support no trace predicates
|
2013-12-11 01:05:51 +00:00 |
|
Vitor Santos Costa
|
5f3ff4fc73
|
use SWI opts for read
|
2013-11-20 22:25:27 +00:00 |
|
Vitor Santos Costa
|
743c9c69fb
|
get rid of PROTO
|
2013-04-25 17:15:04 -05:00 |
|
Vitor Santos Costa
|
7e3db0f75c
|
improve error handling for qload
|
2013-01-18 14:29:41 +00:00 |
|
Vitor Santos Costa
|
e9d04ef9f5
|
save/restore exo
|
2013-01-11 18:36:34 +00:00 |