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

Commit Graph

  • 68abafd024 YAP_FOUND says you are being compiled within YAP Vítor Santos Costa 2015-02-13 12:23:51 +00:00
  • 102c8a1dc1 bad typing Vítor Santos Costa 2015-02-13 12:21:50 +00:00
  • 3bcde55a77 -bad typing in SWI emulation. Vítor Santos Costa 2015-02-13 12:20:46 +00:00
  • dd22039a59 myddas Vitor Santos Costa 2015-02-11 23:44:16 +00:00
  • 61625ca7ad Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2015-02-11 10:33:43 +00:00
  • eef8bc8629 myddas fixes Vitor Santos Costa 2015-02-11 10:33:35 +00:00
  • 2d919a4a09 MPI fixes Vítor Santos Costa 2015-02-11 01:50:59 +00:00
  • 9743c81f05 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2015-02-10 09:20:12 +00:00
  • ab41d5411e RebootSlots when we start a new execution. Vítor Santos Costa 2015-02-10 09:19:05 +00:00
  • 081b2a464e USE_MYDDAS when we have a driver for the DBMS Vítor Santos Costa 2015-02-10 09:17:59 +00:00
  • 350caa388b fix clashing properties (Paulo Moura). Vítor Santos Costa 2015-02-10 09:14:55 +00:00
  • afd8c9b9c4 blanks and backslashed strings Vitor Santos Costa 2015-02-10 00:03:02 +00:00
  • 888a58b715 script improvements Vitor Santos Costa 2015-02-09 10:32:17 +00:00
  • 41baec9f6e c_interface still kicks Vitor Santos Costa 2015-02-09 10:31:50 +00:00
  • cd1d347cb0 ordering Vitor Santos Costa 2015-02-09 10:31:19 +00:00
  • e2cd49f408 win32 Vitor Santos Costa 2015-02-09 10:30:24 +00:00
  • 9e24724f0b sqlite Vitor Santos Costa 2015-02-09 10:30:09 +00:00
  • f983c99313 c_interface still kicks Vitor Santos Costa 2015-02-09 10:21:53 +00:00
  • 5a7602dfff fix slot at init Vitor Santos Costa 2015-02-09 10:20:19 +00:00
  • 2ca29d208f sqlite3 Vitor Santos Costa 2015-02-09 10:19:15 +00:00
  • d2769d975a configuration fix Vitor Santos Costa 2015-02-09 10:17:42 +00:00
  • a7ae565a75 configuration fix Vitor Santos Costa 2015-02-09 10:16:35 +00:00
  • 1f1aa72e4a Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2015-02-09 10:15:19 +00:00
  • 8dcdb6ce09 UM #303: integer handling Vítor Santos Costa 2015-02-09 10:15:11 +00:00
  • 2db0b9d6a6 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2015-02-09 09:00:37 +00:00
  • 886777f1e6 compilation Vitor Santos Costa 2015-02-09 09:00:00 +00:00
  • 88e3d637ec C++ & swig Vítor Santos Costa 2015-02-09 01:53:28 +00:00
  • a8a63a31ca improv C++ interface. Vítor Santos Costa 2015-02-09 01:52:10 +00:00
  • bdcd06cf04 enable swig Vítor Santos Costa 2015-02-07 01:11:52 +00:00
  • 4dd8ee803f fix bad JIT ifdefs Vítor Santos Costa 2015-02-07 01:08:32 +00:00
  • ba978d8275 just in time native code: now compiles by doing cmake; make. no workie in this version, though :) Vítor Santos Costa 2015-02-06 18:11:52 +00:00
  • 42d7b305c0 patch by Fab. Riguzzi to fix MPI interface Vítor Santos Costa 2015-02-06 18:11:44 +00:00
  • 7b4cd0d256 patch by Fab. Riguzzi to fix MPI interface Vítor Santos Costa 2015-02-06 18:08:06 +00:00
  • bae7b716e2 fix import term to handle overflows. Vítor Santos Costa 2015-02-06 18:05:21 +00:00
  • c802669cf4 cleanups Vítor Santos Costa 2015-02-05 01:05:08 +00:00
  • e29b7afa1b fix warnings Vítor Santos Costa 2015-02-04 12:32:38 +00:00
  • cc1702d4b5 fix uuid and warnings Vítor Santos Costa 2015-02-04 12:32:12 +00:00
  • 1f3245243c add SQLITE3, first patch Vítor Santos Costa 2015-02-04 10:53:04 +00:00
  • 409a79d93a autoconf Vítor Santos Costa 2015-02-03 03:00:52 +00:00
  • 34eb3bd62b bool Vítor Santos Costa 2015-02-03 03:00:37 +00:00
  • 3f8074ede9 inlining Vítor Santos Costa 2015-02-03 03:00:00 +00:00
  • 5e1b92019b nullptr Vítor Santos Costa 2015-02-03 02:58:49 +00:00
  • 30664a5344 cmake Vítor Santos Costa 2015-02-03 02:40:41 +00:00
  • 916f010504 handle gmp in c++ Vítor Santos Costa 2015-02-03 02:39:57 +00:00
  • 2f621e5b47 make user functions return bool Vítor Santos Costa 2015-02-03 02:37:25 +00:00
  • 5a668febd9 new slot implementation Vítor Santos Costa 2015-02-03 02:36:51 +00:00
  • bf215e68a2 one Int to rule them all Vítor Santos Costa 2015-02-03 02:36:24 +00:00
  • 65bcdc541c make sure the swi handle to cacheregs is ok when you move around. small speedup. Vítor Santos Costa 2015-02-03 02:34:01 +00:00
  • 4526350113 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2015-01-30 07:26:01 +00:00
  • 36e4cbf98b move handles to a separate handle stack. Vitor Santos Costa 2015-01-30 07:25:34 +00:00
  • 75985b8fff Corrected a memory leak problem Theo 2015-01-29 15:18:09 +00:00
  • 9f945c152d cmake Vítor Santos Costa 2015-01-27 03:42:24 +00:00
  • 4a5a3d833a fix tyes. Vitor Santos Costa 2015-01-27 03:25:56 +00:00
  • 1eeb17f6f1 fix loop on boot. Vitor Santos Costa 2015-01-27 03:25:31 +00:00
  • d9357d3f49 fix mpi Vitor Santos Costa 2015-01-27 03:16:07 +00:00
  • d023e2e493 search lib64 before lib Vitor Santos Costa 2015-01-26 09:44:39 +00:00
  • 461caf22b4 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2015-01-26 07:38:48 +00:00
  • a8b1872396 editors prefer h Vítor Santos Costa 2015-01-26 07:38:36 +00:00
  • 2c3a8390fe Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2015-01-26 07:37:24 +00:00
  • 4076d24022 editors prefer h Vítor Santos Costa 2015-01-26 07:36:54 +00:00
  • 4ad31b6593 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2015-01-26 07:34:41 +00:00
  • 9bc20918c9 JIT code Vítor Santos Costa 2015-01-26 07:34:09 +00:00
  • 865945317c fix moved files Vitor Santos Costa 2015-01-26 07:32:33 +00:00
  • 61a47b2874 cmake Vítor Santos Costa 2015-01-26 04:18:00 +00:00
  • bc1e70758e cmake and jit Vítor Santos Costa 2015-01-26 04:02:46 +00:00
  • 9d4b59f7d6 handle the case where the result of file expansion is an alias Vítor Santos Costa 2015-01-26 03:33:47 +00:00
  • 70806f1841 JIT Vítor Santos Costa 2015-01-20 03:01:16 +00:00
  • bece9d05d8 JIT Vítor Santos Costa 2015-01-20 03:00:42 +00:00
  • 61d6015d76 JIT Vítor Santos Costa 2015-01-20 02:59:54 +00:00
  • 3acf4b3fea cleanups Vítor Santos Costa 2015-01-20 02:53:19 +00:00
  • 9fff6e7226 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2015-01-18 03:51:22 +00:00
  • 24a36002cc fix cmake debug Vítor Santos Costa 2015-01-18 03:48:26 +00:00
  • 8f1699a343 fix bad protos Vítor Santos Costa 2015-01-18 03:48:02 +00:00
  • 771610ffb6 fix bit count Vítor Santos Costa 2015-01-18 03:47:44 +00:00
  • d8fd232d78 split absmi Vítor Santos Costa 2015-01-18 03:00:19 +00:00
  • 7ede2cde5e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2015-01-18 02:54:53 +00:00
  • 5c261da4f6 small fixes Vítor Santos Costa 2015-01-18 02:46:33 +00:00
  • 67609ed1ce llvm 3.5 Vítor Santos Costa 2015-01-18 02:46:03 +00:00
  • 64da0b138f Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2015-01-18 01:33:03 +00:00
  • ce84e60d08 cosmetic Vitor Santos Costa 2015-01-18 01:32:13 +00:00
  • e40c248c16 Merge branch 'master' of /home/vsc/yap-6.3 Vitor Santos Costa 2015-01-17 03:06:59 -08:00
  • ec0aa5ed0a JIT compilation Vitor Santos Costa 2015-01-17 02:59:49 -08:00
  • 21be46b123 blanks Vitor Santos Costa 2015-01-17 02:58:14 -08:00
  • 9623f70d3a fix types Vitor Santos Costa 2015-01-17 02:50:54 -08:00
  • 9dcfb6a745 doc and use bool Vitor Santos Costa 2015-01-17 02:48:48 -08:00
  • eeffeea9aa split for jit Vitor Santos Costa 2015-01-17 02:46:54 -08:00
  • 0c88265943 indenting Vitor Santos Costa 2015-01-17 02:44:13 -08:00
  • b494cce5dc fix unbound in , Vitor Santos Costa 2015-01-17 02:41:57 -08:00
  • e69c9fc056 fix spy Vitor Santos Costa 2015-01-17 02:41:30 -08:00
  • 45e3711ca2 remove system mod Vitor Santos Costa 2015-01-16 20:42:52 -08:00
  • f835ff153d remove deb output Vitor Santos Costa 2015-01-16 20:42:25 -08:00
  • 7a8f57eb63 current_predicate Vitor Santos Costa 2015-01-16 20:08:51 -08:00
  • 58357b1af4 fix spy Vitor Santos Costa 2015-01-16 20:07:18 -08:00
  • c081e9774d docs Vitor Santos Costa 2015-01-16 20:07:00 -08:00
  • 9b18f6aee4 utilities on conj Vitor Santos Costa 2015-01-16 20:05:51 -08:00
  • 242844d12f ensure order Vitor Santos Costa 2015-01-16 20:04:12 -08:00
  • 408333f0d4 types Vitor Santos Costa 2015-01-16 20:02:43 -08:00
  • 0cca59b36f cases Vitor Santos Costa 2015-01-16 19:59:43 -08:00
  • 62a2c14c12 debugging Vitor Santos Costa 2015-01-16 19:59:01 -08:00
  • 4052f9b910 type stuff Vitor Santos Costa 2015-01-16 19:58:12 -08:00