Vitor Santos Costa
|
52801b660f
|
checker fixes
|
2016-06-03 16:54:17 +01:00 |
|
Vitor Santos Costa
|
32743f3731
|
undef handler
|
2016-06-03 16:53:43 +01:00 |
|
Vitor Santos Costa
|
79e6e3fcc1
|
fix is_abs_path
|
2016-06-02 12:49:06 +01:00 |
|
Vitor Santos Costa
|
0779639baf
|
fix overwite
|
2016-06-02 12:47:36 +01:00 |
|
Vitor Santos Costa
|
e441f30c4c
|
android support
|
2016-06-02 11:52:22 +01:00 |
|
Vitor Santos Costa
|
dce28a774e
|
fixes in simplecudd & lbdd
|
2016-06-02 10:54:08 +01:00 |
|
Vitor Santos Costa
|
5fd4413ffd
|
fixes in simplecudd & lbdd
|
2016-06-02 10:53:36 +01:00 |
|
Vitor Santos Costa
|
f7c3aef830
|
don't blow up with bad modules
|
2016-06-02 10:52:06 +01:00 |
|
Vitor Santos Costa
|
66709db4bb
|
don't blow up with bad modules
|
2016-06-02 10:51:36 +01:00 |
|
Vitor Santos Costa
|
d0658b7b53
|
android left-overs
|
2016-05-31 19:28:29 +01:00 |
|
Vitor Santos Costa
|
8f3bb7fe26
|
prolog in men bed support
|
2016-05-30 11:29:26 +01:00 |
|
Vitor Santos Costa
|
71c49f5063
|
memory leaks
|
2016-05-30 11:25:28 +01:00 |
|
Vitor Santos Costa
|
4ac6d11dca
|
path finding
|
2016-05-30 11:24:40 +01:00 |
|
Vitor Santos Costa
|
33fa5fa3c0
|
arch changes
|
2016-05-30 11:23:53 +01:00 |
|
Vitor Santos Costa
|
d38986fa07
|
android+gmp+new cud
|
2016-05-30 11:23:36 +01:00 |
|
Vitor Santos Costa
|
5d4ee60fc9
|
upcast and downcast
|
2016-05-30 11:22:47 +01:00 |
|
Vitor Santos Costa
|
ceb26b68a0
|
support other architectures: arm64, mips
|
2016-05-30 11:18:35 +01:00 |
|
Vitor Santos Costa
|
cd7571da7a
|
annoying small bugs
|
2016-05-26 22:47:19 +01:00 |
|
Vitor Santos Costa
|
a9fe413dd0
|
valgrind.
|
2016-05-20 01:59:17 +01:00 |
|
Vitor Santos Costa
|
437a303681
|
modules and extra cut.
|
2016-05-19 13:38:54 +01:00 |
|
Vitor Santos Costa
|
7c1ea8f3ae
|
add more error types
|
2016-05-19 13:36:29 +01:00 |
|
Vitor Santos Costa
|
d00698b76a
|
os/sysbits.c
|
2016-05-19 13:35:22 +01:00 |
|
Vitor Santos Costa
|
a5bb2e226c
|
simplifications
|
2016-05-19 13:34:27 +01:00 |
|
Vitor Santos Costa
|
ef676f68b0
|
bad argument
|
2016-05-19 08:47:40 +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
|
f54e11db94
|
flush
|
2016-05-16 11:21:54 +01:00 |
|
Vitor Santos Costa
|
9f2ba2d4fb
|
avoid repeated discontiguous messages
|
2016-05-16 09:35:29 +01:00 |
|
Vitor Santos Costa
|
87e13a9730
|
continue tracing after spy point
|
2016-05-16 09:22:29 +01:00 |
|
Vitor Santos Costa
|
a72e66d2ae
|
protect against files that consult themselves
|
2016-05-16 09:22:03 +01:00 |
|
Vitor Santos Costa
|
214b6a74ff
|
debugging
|
2016-05-15 08:12:49 +01:00 |
|
Vitor Santos Costa
|
8e3789d92a
|
debugging
|
2016-05-15 08:12:19 +01:00 |
|
Vitor Santos Costa
|
af61c886b4
|
debugging
|
2016-05-15 08:09:56 +01:00 |
|
Vitor Santos Costa
|
9f664c9e36
|
exists
|
2016-05-15 08:08:42 +01:00 |
|
Vitor Santos Costa
|
d375d0ffbb
|
indenting
|
2016-05-14 11:34:27 +01:00 |
|
Vitor Santos Costa
|
7b977c2538
|
protect bad frees
|
2016-05-14 11:30:42 +01:00 |
|
Vitor Santos Costa
|
52442e08ec
|
fix vanishing prompt
|
2016-05-14 11:29:50 +01:00 |
|
Vitor Santos Costa
|
eadfef6c3f
|
cudd.h
|
2016-05-14 11:29:15 +01:00 |
|
Vitor Santos Costa
|
3b8325bd41
|
bad gmp calls
|
2016-05-14 11:28:49 +01:00 |
|
Vitor Santos Costa
|
d86f0d1942
|
fix bad consult stack expansion
|
2016-05-14 11:27:53 +01:00 |
|
Vitor Santos Costa
|
c0db3d4e18
|
recover arg vector
|
2016-05-14 02:25:51 +01:00 |
|
Vitor Santos Costa
|
3a9ecf929e
|
fix gmp calls
|
2016-05-13 11:43:01 +01:00 |
|
Vitor Santos Costa
|
428a6255e1
|
avoid small red flags
|
2016-05-13 11:42:35 +01:00 |
|
Vitor Santos Costa
|
03da182460
|
protect against unbound
|
2016-05-13 11:41:55 +01:00 |
|
Vitor Santos Costa
|
e5891afe44
|
fix nil pointer in prolog profiler
|
2016-05-13 11:41:19 +01:00 |
|
Vitor Santos Costa
|
b28deedffe
|
TermZero for error handling
|
2016-05-12 11:50:53 +01:00 |
|
Vitor Santos Costa
|
033d77b47a
|
fix current_predicate yet again
|
2016-05-12 11:50:30 +01:00 |
|
Vitor Santos Costa
|
d58c071200
|
flags handling II
|
2016-05-12 11:49:40 +01:00 |
|
Vitor Santos Costa
|
70f6080857
|
simplify module unfolding
|
2016-05-12 11:49:04 +01:00 |
|
Vitor Santos Costa
|
abe1168b1d
|
recognise discontiguous flag
|
2016-05-12 11:48:39 +01:00 |
|
Vitor Santos Costa
|
d46bef3adb
|
verbose_load
|
2016-05-12 11:45:06 +01:00 |