Vítor Santos Costa
|
272d28ae5f
|
android
|
2015-03-16 17:25:09 +00:00 |
|
Vitor Santos Costa
|
6a0b6fad8b
|
C++ interface and ARM/Android
|
2015-03-11 22:18:00 +00:00 |
|
Vitor Santos Costa
|
580bc9eb27
|
fix baacktrackable predicates.
|
2015-03-09 17:27:35 +00:00 |
|
Vítor Santos Costa
|
9b6bcdde16
|
improve notion of standadard predicate
|
2015-03-04 09:54:08 +00:00 |
|
Vítor Santos Costa
|
0839baf638
|
error handling should report the culprit .
|
2015-03-04 09:35:47 +00:00 |
|
Vítor Santos Costa
|
0b90870185
|
make var names available as a global var
|
2015-03-04 09:35:09 +00:00 |
|
Vítor Santos Costa
|
9d48f3c3c0
|
fix compilation of JIT (but still not working).
|
2015-02-18 10:03:57 +00:00 |
|
Vítor Santos Costa
|
d805a474a4
|
redeclaration
|
2015-02-17 20:21:49 +00:00 |
|
Vítor Santos Costa
|
9895ec63d0
|
add more lib paths
|
2015-02-16 11:43:42 +00:00 |
|
Vitor Santos Costa
|
1e57a2e978
|
path setup
|
2015-02-15 02:33:54 +00:00 |
|
Vitor Santos Costa
|
63416fdc48
|
cut_c simplifications
|
2015-02-14 11:35:45 +00:00 |
|
Vítor Santos Costa
|
71c9cb21b7
|
kill dead code
|
2015-02-13 12:24:15 +00:00 |
|
Vítor Santos Costa
|
102c8a1dc1
|
bad typing
|
2015-02-13 12:21:50 +00:00 |
|
Vítor Santos Costa
|
9743c81f05
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2015-02-10 09:20:12 +00:00 |
|
Vítor Santos Costa
|
ab41d5411e
|
RebootSlots when we start a new execution.
|
2015-02-10 09:19:05 +00:00 |
|
Vitor Santos Costa
|
afd8c9b9c4
|
blanks and backslashed strings
|
2015-02-10 00:03:02 +00:00 |
|
Vitor Santos Costa
|
5a7602dfff
|
fix slot at init
|
2015-02-09 10:20:19 +00:00 |
|
Vítor Santos Costa
|
8dcdb6ce09
|
UM #303: integer handling
|
2015-02-09 10:15:11 +00:00 |
|
Vítor Santos Costa
|
88e3d637ec
|
C++ & swig
|
2015-02-09 01:53:28 +00:00 |
|
Vítor Santos Costa
|
4dd8ee803f
|
fix bad JIT ifdefs
|
2015-02-07 01:08:32 +00:00 |
|
Vítor Santos Costa
|
ba978d8275
|
just in time native code: now compiles by doing cmake; make.
no workie in this version, though :)
|
2015-02-06 18:11:52 +00:00 |
|
Vítor Santos Costa
|
bae7b716e2
|
fix import term to handle overflows.
|
2015-02-06 18:05:21 +00:00 |
|
Vítor Santos Costa
|
5a668febd9
|
new slot implementation
|
2015-02-03 02:36:51 +00:00 |
|
Vitor Santos Costa
|
36e4cbf98b
|
move handles to a separate handle stack.
|
2015-01-30 07:25:34 +00:00 |
|
Vítor Santos Costa
|
bc1e70758e
|
cmake and jit
|
2015-01-26 04:02:46 +00:00 |
|
Vítor Santos Costa
|
70806f1841
|
JIT
|
2015-01-20 03:01:16 +00:00 |
|
Vítor Santos Costa
|
bece9d05d8
|
JIT
|
2015-01-20 03:00:42 +00:00 |
|
Vítor Santos Costa
|
9fff6e7226
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2015-01-18 03:51:22 +00:00 |
|
Vítor Santos Costa
|
771610ffb6
|
fix bit count
|
2015-01-18 03:47:44 +00:00 |
|
Vítor Santos Costa
|
d8fd232d78
|
split absmi
|
2015-01-18 03:00:19 +00:00 |
|
Vitor Santos Costa
|
ce84e60d08
|
cosmetic
|
2015-01-18 01:32:13 +00:00 |
|
Vitor Santos Costa
|
e40c248c16
|
Merge branch 'master' of /home/vsc/yap-6.3
Conflicts:
C/cdmgr.c
pl/preds.yap
|
2015-01-17 03:06:59 -08:00 |
|
Vitor Santos Costa
|
21be46b123
|
blanks
|
2015-01-17 02:58:14 -08:00 |
|
Vitor Santos Costa
|
9623f70d3a
|
fix types
|
2015-01-17 02:50:54 -08:00 |
|
Vitor Santos Costa
|
9dcfb6a745
|
doc and use bool
|
2015-01-17 02:48:48 -08:00 |
|
Vitor Santos Costa
|
eeffeea9aa
|
split for jit
|
2015-01-17 02:46:54 -08:00 |
|
Vitor Santos Costa
|
32ce8318a1
|
type stuff
|
2015-01-15 23:08:01 -08:00 |
|
Vitor Santos Costa
|
504d67375b
|
fix warning
|
2015-01-15 01:19:07 -08: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
|
0d5fff0f16
|
improved support for export/import of 64 bits
|
2015-01-14 04:51:00 -08:00 |
|
Vítor Santos Costa
|
832b2258c8
|
support newer llvm, by J Santos
|
2015-01-07 10:22:52 +00: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 |
|
Vitor Santos Costa
|
fcf0f41312
|
infinity, try to fix the ffsll mess, warnings
|
2015-01-05 16:06:32 +00:00 |
|
Vítor Santos Costa
|
3164ed2d61
|
doc support
|
2015-01-04 23:58:23 +00:00 |
|
Vítor Santos Costa
|
53877ad426
|
docs
|
2014-12-24 15:32:29 +00:00 |
|
Vítor Santos Costa
|
21d379bfb6
|
fix current_predicate missing predicates
|
2014-12-16 01:25:00 +00:00 |
|
Vítor Santos Costa
|
289a36a0a1
|
opentry had rwo defs
|
2014-12-14 11:57:31 +00:00 |
|
Vítor Santos Costa
|
0ae8785de5
|
use const char *
|
2014-12-14 11:56:20 +00:00 |
|
Vítor Santos Costa
|
5da1be61cb
|
with_mutex is always needed
|
2014-12-14 11:55:39 +00:00 |
|