diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • a2cd68f1ca minor dbtries bug Theo 2015-01-16 14:33:53 +00:00
  • 32ce8318a1 type stuff Vitor Santos Costa 2015-01-15 23:08:01 -08:00
  • 530764e196 avoid unnecessary search Vitor Santos Costa 2015-01-15 23:07:35 -08:00
  • 8c605a65fe ic_arith is not an actual module.w Vitor Santos Costa 2015-01-15 01:22:23 -08:00
  • 415d139ad7 ifix jit stuffy Vitor Santos Costa 2015-01-15 01:20:15 -08:00
  • 504d67375b fix warning Vitor Santos Costa 2015-01-15 01:19:07 -08:00
  • befedf8db2 fix 32/64 bits issue. Vitor Santos Costa 2015-01-15 01:15:57 -08:00
  • 326771d17b add utility routine to report on a predicate. Vitor Santos Costa 2015-01-15 01:14:47 -08:00
  • 3122d323b5 support 64 bit flags in 32 bit mode Vitor Santos Costa 2015-01-14 04:51:54 -08:00
  • 0d5fff0f16 improved support for export/import of 64 bits Vitor Santos Costa 2015-01-14 04:51:00 -08:00
  • 832b2258c8 support newer llvm, by J Santos Vítor Santos Costa 2015-01-07 10:22:52 +00:00
  • ac9070f120 fix typos Vítor Santos Costa 2015-01-07 10:17:19 +00:00
  • 797dd6452d fix typing Vítor Santos Costa 2015-01-06 22:33:24 +00:00
  • dbd2aa64aa fix bad header Vítor Santos Costa 2015-01-06 22:32:52 +00:00
  • b3754795a2 warnings Vitor Santos Costa 2015-01-06 17:49:35 +00:00
  • d3412c4d97 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2015-01-06 17:48:47 +00:00
  • f22f337f67 32 bit support: use uint64_t for predflags define a type for arity Vitor Santos Costa 2015-01-06 17:47:58 +00:00
  • de9a1d7429 fix trouble with raptor Vitor Santos Costa 2015-01-06 17:47:12 +00:00
  • 746740421d Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2015-01-06 17:39:42 +00:00
  • f121a4a1bd css stuff Vítor Santos Costa 2015-01-06 17:39:22 +00:00
  • f42f2ff57d warnings Vitor Santos Costa 2015-01-05 16:14:03 +00:00
  • fcf0f41312 infinity, try to fix the ffsll mess, warnings Vitor Santos Costa 2015-01-05 16:06:32 +00:00
  • 5053cfb571 fix recent typos Vitor Santos Costa 2015-01-05 12:21:58 +00:00
  • 77c2d53445 change udi module path. Vítor Santos Costa 2015-01-05 10:28:57 +00:00
  • 326a4de147 doc fixes Vítor Santos Costa 2015-01-05 08:46:11 +00:00
  • c0476daa53 doc fixes Vítor Santos Costa 2015-01-05 08:15:24 +00:00
  • 3164ed2d61 doc support Vítor Santos Costa 2015-01-04 23:58:23 +00:00
  • a87f1040ac new docs Vítor Santos Costa 2015-01-04 23:51:59 +00:00
  • 0722644f99 new docs Vítor Santos Costa 2015-01-01 17:35:43 +00:00
  • 53877ad426 docs Vítor Santos Costa 2014-12-24 15:32:29 +00:00
  • bc6bf8cdfd fix extra - Vítor Santos Costa 2014-12-24 15:32:06 +00:00
  • 37c6b9975b change out dir Vítor Santos Costa 2014-12-21 16:20:00 +00:00
  • ad2df06d2b doc support Vitor Santos Costa 2014-12-19 23:47:50 +00:00
  • 21d379bfb6 fix current_predicate missing predicates Vítor Santos Costa 2014-12-16 01:25:00 +00:00
  • 247371c095 cmake Vitor Santos Costa 2014-12-15 23:05:05 +00:00
  • 8e3eed1fe1 Linux Vitor Santos Costa 2014-12-15 14:32:35 +00:00
  • 66b8498e4b Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-12-15 13:40:12 +00:00
  • 5df70e13f7 cmake Vítor Santos Costa 2014-12-15 13:39:54 +00:00
  • f4a3c27ae9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-12-15 13:38:46 +00:00
  • 535135b21c cmake Vítor Santos Costa 2014-12-15 13:37:53 +00:00
  • 7bdcf2cde6 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-12-15 12:28:13 +00:00
  • 58ece4fa43 missing CMake file R is no longer supported, use real. Vítor Santos Costa 2014-12-15 12:27:07 +00:00
  • 3ecbd3aa65 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-12-15 12:24:09 +00:00
  • 1591bfd00d cmake Vitor Santos Costa 2014-12-15 12:24:02 +00:00
  • 83d80943b9 missing in repo Vítor Santos Costa 2014-12-15 12:22:58 +00:00
  • c2ea3b1cd2 make header scanning default Vítor Santos Costa 2014-12-15 08:54:23 +00:00
  • bad29b415d use real only Vítor Santos Costa 2014-12-15 01:12:51 +00:00
  • 93c8dd75e2 update Vítor Santos Costa 2014-12-15 01:11:58 +00:00
  • 374eb86c8a update Vítor Santos Costa 2014-12-15 01:11:11 +00:00
  • 72915ff622 fix string as atoms,, obs Paulo Moura Vítor Santos Costa 2014-12-15 00:53:56 +00:00
  • 0200f39661 oops Vítor Santos Costa 2014-12-14 19:21:51 +00:00
  • 656e27f5e0 mpi support Vitor Santos Costa 2014-12-14 16:44:52 +00:00
  • 90feb7f9f8 cmake support Vítor Santos Costa 2014-12-14 12:05:43 +00:00
  • 289a36a0a1 opentry had rwo defs Vítor Santos Costa 2014-12-14 11:57:31 +00:00
  • 0ae8785de5 use const char * Vítor Santos Costa 2014-12-14 11:56:20 +00:00
  • 5da1be61cb with_mutex is always needed Vítor Santos Costa 2014-12-14 11:55:39 +00:00
  • f5ef30563b use const char * Vítor Santos Costa 2014-12-14 11:52:07 +00:00
  • bed14749f8 use const char * Vítor Santos Costa 2014-12-14 11:49:51 +00:00
  • 15c79d8ecf indentation Vítor Santos Costa 2014-12-14 11:45:42 +00:00
  • 80363e359e add qend_program to bootstrap Vítor Santos Costa 2014-12-14 11:45:11 +00:00
  • 4ed4e776e6 fix meta-goal expansion Vítor Santos Costa 2014-12-14 11:44:23 +00:00
  • 7acb2110d2 Merge branch 'cmake' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-12-04 08:03:45 +00:00
  • ff977fbad8 cmake support: first cut from David Vaz work.i Vitor Santos Costa 2014-12-04 07:59:30 +00:00
  • 7ea6d84300 fix module exp in user Vítor Santos Costa 2014-12-02 02:34:58 +00:00
  • 2c5fa4a65e fix list of atoms (Paulo Moura obs) Vítor Santos Costa 2014-12-02 02:34:28 +00:00
  • 7038ea1958 fix list of atoms (Paulo Moura obs) Vítor Santos Costa 2014-12-02 01:46:03 +00:00
  • 0f560abc92 fix warnings threads Vítor Santos Costa 2014-12-01 00:02:59 +00:00
  • 5b37c15742 cur_pred was overeager Vítor Santos Costa 2014-11-29 08:08:20 +00:00
  • 9f28f7e836 fix test cases Vítor Santos Costa 2014-11-28 03:21:32 +00:00
  • 0cebf08bfe small fixes Vítor Santos Costa 2014-11-28 02:35:25 +00:00
  • 4117333f60 install Vítor Santos Costa 2014-11-28 02:35:09 +00:00
  • 197a943cd3 support search for predicates Vítor Santos Costa 2014-11-28 02:34:43 +00:00
  • 84e4162435 portability Vítor Santos Costa 2014-11-28 02:34:26 +00:00
  • 635d5166ce fixes Vítor Santos Costa 2014-11-28 02:33:28 +00:00
  • 097db1b0b6 support search for predicates Vítor Santos Costa 2014-11-28 02:32:35 +00:00
  • d44beea3aa does not fit an int Vítor Santos Costa 2014-11-28 02:31:30 +00:00
  • 3e0764edcf fix broken merge Vítor Santos Costa 2014-11-28 02:30:58 +00:00
  • c071e145a7 portabiity Vítor Santos Costa 2014-11-28 02:30:19 +00:00
  • 0b3fd61088 install fixes Vítor Santos Costa 2014-11-28 02:29:35 +00:00
  • 22acc44b4b install fixes Vítor Santos Costa 2014-11-28 02:29:02 +00:00
  • 7bca484b63 install fixes Vítor Santos Costa 2014-11-28 02:28:49 +00:00
  • d526545bc9 Merge branch 'master' of github.com:vscosta/yap-6.3 Vítor Santos Costa 2014-11-27 15:15:22 +00:00
  • 70060bf627 move to eval.h Vítor Santos Costa 2014-11-27 15:11:26 +00:00
  • 650f6eb827 try fixing tcapabilities Vítor Santos Costa 2014-11-27 15:10:25 +00:00
  • a83ff038f4 Mutex stuff movibg to C Vítor Santos Costa 2014-11-27 10:02:04 +00:00
  • c9c2d7233c fix warnings Vítor Santos Costa 2014-11-26 09:47:05 +00:00
  • 570513f8f9 fix mutex creation Vítor Santos Costa 2014-11-26 09:46:44 +00:00
  • 6d82d4816a fix mutex creation Vítor Santos Costa 2014-11-26 09:45:39 +00:00
  • dc21270454 fix small bugs Vítor Santos Costa 2014-11-26 09:45:11 +00:00
  • 624183b78e more thread work to cean-up mutexes. Not finshed yet Vitor Santos Costa 2014-11-25 19:52:51 +00:00
  • afc6c5d04e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-11-25 16:53:35 +00:00
  • 804504201d warnings Vitor Santos Costa 2014-11-25 16:44:00 +00:00
  • f79458bac2 typos Vitor Santos Costa 2014-11-25 16:43:43 +00:00
  • 2be225c17a small warnings. Vitor Santos Costa 2014-11-25 16:42:35 +00:00
  • 50659967ed begin of support for named mutexes. Vitor Santos Costa 2014-11-25 16:41:53 +00:00
  • 1ca062f558 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-11-25 12:04:05 +00:00
  • bb8ea9a27d fix current and system predicate Vítor Santos Costa 2014-11-25 12:03:48 +00:00
  • cd4b9602ae depth breadth trie corrections and more :-) Theo 2014-11-19 16:41:10 +00:00
  • ff6184863f Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-11-14 16:51:52 +00:00
  • addb8cbce3 ORP support Vitor Santos Costa 2014-11-14 16:51:42 +00:00