Commit Graph

8009 Commits

Author SHA1 Message Date
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
Vitor Santos Costa
f4a3c27ae9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-12-15 13:38:46 +00:00
Vítor Santos Costa
535135b21c cmake 2014-12-15 13:37:53 +00:00
Vitor Santos Costa
7bdcf2cde6 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-12-15 12:28:13 +00:00
Vítor Santos Costa
58ece4fa43 missing CMake file
R is no longer supported, use real.
2014-12-15 12:27:07 +00:00
Vitor Santos Costa
3ecbd3aa65 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-12-15 12:24:09 +00:00
Vitor Santos Costa
1591bfd00d cmake 2014-12-15 12:24:02 +00:00
Vítor Santos Costa
83d80943b9 missing in repo 2014-12-15 12:22:58 +00:00
Vítor Santos Costa
c2ea3b1cd2 make header scanning default 2014-12-15 08:54:23 +00:00
Vítor Santos Costa
bad29b415d use real only 2014-12-15 01:12:51 +00:00
Vítor Santos Costa
93c8dd75e2 update 2014-12-15 01:11:58 +00:00
Vítor Santos Costa
374eb86c8a update 2014-12-15 01:11:11 +00:00
Vítor Santos Costa
72915ff622 fix string as atoms,, obs Paulo Moura 2014-12-15 00:53:56 +00:00
Vítor Santos Costa
0200f39661 oops 2014-12-14 19:21:51 +00:00
Vitor Santos Costa
656e27f5e0 mpi support 2014-12-14 16:44:52 +00:00
Vítor Santos Costa
90feb7f9f8 cmake support 2014-12-14 12:05:43 +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
Vítor Santos Costa
f5ef30563b use const char * 2014-12-14 11:52:07 +00:00
Vítor Santos Costa
bed14749f8 use const char * 2014-12-14 11:49:51 +00:00
Vítor Santos Costa
15c79d8ecf indentation 2014-12-14 11:45:42 +00:00
Vítor Santos Costa
80363e359e add qend_program to bootstrap 2014-12-14 11:45:11 +00:00
Vítor Santos Costa
4ed4e776e6 fix meta-goal expansion 2014-12-14 11:44:23 +00:00
Vítor Santos Costa
7acb2110d2 Merge branch 'cmake' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-12-04 08:03:45 +00:00