Commit Graph

8033 Commits

Author SHA1 Message Date
Vitor Santos Costa
b494cce5dc fix unbound in , 2015-01-17 02:41:57 -08:00
Vitor Santos Costa
e69c9fc056 fix spy 2015-01-17 02:41:30 -08:00
Vitor Santos Costa
45e3711ca2 remove system mod 2015-01-16 20:42:52 -08:00
Vitor Santos Costa
f835ff153d remove deb output 2015-01-16 20:42:25 -08:00
Vitor Santos Costa
7a8f57eb63 current_predicate 2015-01-16 20:08:51 -08:00
Vitor Santos Costa
58357b1af4 fix spy 2015-01-16 20:07:18 -08:00
Vitor Santos Costa
c081e9774d docs 2015-01-16 20:07:00 -08:00
Vitor Santos Costa
9b18f6aee4 utilities on conj 2015-01-16 20:05:51 -08:00
Vitor Santos Costa
242844d12f ensure order 2015-01-16 20:04:12 -08:00
Vitor Santos Costa
408333f0d4 types 2015-01-16 20:02:43 -08:00
Vitor Santos Costa
0cca59b36f cases 2015-01-16 19:59:43 -08:00
Vitor Santos Costa
62a2c14c12 debugging 2015-01-16 19:59:01 -08:00
Vitor Santos Costa
4052f9b910 type stuff 2015-01-16 19:58:12 -08:00
Vitor Santos Costa
32ce8318a1 type stuff 2015-01-15 23:08:01 -08:00
Vitor Santos Costa
530764e196 avoid unnecessary search 2015-01-15 23:07:35 -08:00
Vitor Santos Costa
8c605a65fe ic_arith is not an actual module.w 2015-01-15 01:22:23 -08:00
Vitor Santos Costa
415d139ad7 ifix jit stuffy 2015-01-15 01:20:15 -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
326771d17b add utility routine to report on a predicate. 2015-01-15 01:14:47 -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
Vítor Santos Costa
ac9070f120 fix typos 2015-01-07 10:17:19 +00:00
Vítor Santos Costa
797dd6452d fix typing 2015-01-06 22:33:24 +00:00
Vítor Santos Costa
dbd2aa64aa fix bad header 2015-01-06 22:32:52 +00:00
Vitor Santos Costa
b3754795a2 warnings 2015-01-06 17:49:35 +00:00
Vitor Santos Costa
d3412c4d97 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-01-06 17:48:47 +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
de9a1d7429 fix trouble with raptor 2015-01-06 17:47:12 +00:00
Vítor Santos Costa
746740421d Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-01-06 17:39:42 +00:00
Vítor Santos Costa
f121a4a1bd css stuff 2015-01-06 17:39:22 +00:00
Vitor Santos Costa
f42f2ff57d warnings 2015-01-05 16:14:03 +00:00
Vitor Santos Costa
fcf0f41312 infinity, try to fix the ffsll mess, warnings 2015-01-05 16:06:32 +00:00
Vitor Santos Costa
5053cfb571 fix recent typos 2015-01-05 12:21:58 +00:00
Vítor Santos Costa
77c2d53445 change udi module path. 2015-01-05 10:28:57 +00:00
Vítor Santos Costa
326a4de147 doc fixes 2015-01-05 08:46:11 +00:00
Vítor Santos Costa
c0476daa53 doc fixes 2015-01-05 08:15:24 +00:00
Vítor Santos Costa
3164ed2d61 doc support 2015-01-04 23:58:23 +00:00
Vítor Santos Costa
a87f1040ac new docs 2015-01-04 23:51:59 +00:00
Vítor Santos Costa
0722644f99 new docs 2015-01-01 17:35:43 +00:00
Vítor Santos Costa
53877ad426 docs 2014-12-24 15:32:29 +00:00
Vítor Santos Costa
bc6bf8cdfd fix extra - 2014-12-24 15:32:06 +00:00
Vítor Santos Costa
37c6b9975b change out dir 2014-12-21 16:20:00 +00:00
Vitor Santos Costa
ad2df06d2b doc support 2014-12-19 23:47:50 +00:00
Vítor Santos Costa
21d379bfb6 fix current_predicate missing predicates 2014-12-16 01:25:00 +00:00
Vitor Santos Costa
247371c095 cmake 2014-12-15 23:05:05 +00:00
Vitor Santos Costa
8e3eed1fe1 Linux 2014-12-15 14:32:35 +00:00
Vitor Santos Costa
66b8498e4b Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-12-15 13:40:12 +00:00
Vítor Santos Costa
5df70e13f7 cmake 2014-12-15 13:39:54 +00:00