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

Commit Graph

  • 2cdeb3f1c1 typo Vítor Santos Costa 2014-02-13 02:02:51 +00:00
  • 1d27d22ef0 big makefile cleanup Vítor Santos Costa 2014-02-13 01:58:48 +00:00
  • 0420169bd0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-02-12 23:38:58 +00:00
  • d28f065454 distclean should call clean Vítor Santos Costa 2014-02-12 23:38:46 +00:00
  • 0664e1f647 configuration issues Vitor Santos Costa 2014-02-12 23:35:00 +00:00
  • 984415b807 use abs path Vitor Santos Costa 2014-02-12 01:05:37 +00:00
  • 89789d6828 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-02-12 00:44:34 +00:00
  • 46179c4eca Merge branch 'master' of /Users/vsc/Yap/yap-6.3 Vítor Santos Costa 2014-02-12 00:36:03 +00:00
  • e2bd922f8b fix warning Vítor Santos Costa 2014-02-12 00:34:40 +00:00
  • df0986eb45 clib Vítor Santos Costa 2014-02-12 00:33:50 +00:00
  • 3cad9c37b1 removed unnecessary cut_c macros (always on) David Vaz 2014-02-11 07:15:39 -08:00
  • 1d7407ba4d fix horus Vitor Santos Costa 2014-02-11 13:56:40 +00:00
  • 6110ecb95d update submodules Vitor Santos Costa 2014-02-11 13:44:17 +00:00
  • 88c2839b36 Merge /home/vsc/git/yap-6.3 Vitor Santos Costa 2014-02-11 13:32:18 +00:00
  • 365dcd5bca fix missing packages Vitor Santos Costa 2014-02-11 13:31:53 +00:00
  • 9b00f3700c fix missing packages Vitor Santos Costa 2014-02-11 13:27:26 +00:00
  • 78596fe951 fix configure Vítor Santos Costa 2014-02-11 00:14:00 +00:00
  • 17d1f11b5c Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-02-10 23:57:30 +00:00
  • ab40f20a2b Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-02-10 23:57:18 +00:00
  • 8d624cda6b Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2014-02-10 23:56:09 +00:00
  • bfc94cbbe5 fix matlab autoconf Vitor Santos Costa 2014-02-10 23:55:35 +00:00
  • bcde1666fb package updates Vitor Santos Costa 2014-02-10 23:46:22 +00:00
  • 9a46cdac9b clean up makefile Vitor Santos Costa 2014-02-10 23:31:33 +00:00
  • 00f0d449ec clean up makefile Vitor Santos Costa 2014-02-10 23:30:21 +00:00
  • 231290bad3 clean up makefile Vitor Santos Costa 2014-02-10 23:30:21 +00:00
  • 89e2c86a0b clean up makefile Vitor Santos Costa 2014-02-10 23:30:21 +00:00
  • 5bf0a5de61 clean up makefile Vitor Santos Costa 2014-02-10 23:30:21 +00:00
  • 2bb21e9e1b clean up makefile Vitor Santos Costa 2014-02-10 23:30:21 +00:00
  • 260a29f4e7 Added examples for ICLP2014 submission Theo 2014-02-10 15:35:37 +00:00
  • 034878ab88 fix raptor trouble Vítor Santos Costa 2014-02-09 22:17:36 +00:00
  • a012017635 don't crash strip_module Vitor Santos Costa 2014-02-09 18:07:17 +00:00
  • e0642dbaa3 reexport again Vitor Santos Costa 2014-02-09 18:06:37 +00:00
  • 93859706e3 fix source file for predicates Vitor Santos Costa 2014-02-09 11:00:11 +00:00
  • 043c97157f fix source file for predicates Vitor Santos Costa 2014-02-09 11:00:01 +00:00
  • ca0c43ba8d module expansion, again Vitor Santos Costa 2014-02-09 10:47:44 +00:00
  • 8d8a4104b9 strip_module should try to always return a valid module Vitor Santos Costa 2014-02-09 10:46:43 +00:00
  • f26cb133b9 fix left-over slots Vitor Santos Costa 2014-02-09 10:44:43 +00:00
  • 2c12c7917b c-stuff Vitor Santos Costa 2014-02-06 21:57:51 +00:00
  • 72a8d49926 support Vitor Santos Costa 2014-02-06 21:57:32 +00:00
  • d85dc3fd5c factorized answer Vitor Santos Costa 2014-02-06 21:56:43 +00:00
  • f11b0518a8 string support Vitor Santos Costa 2014-02-06 21:55:35 +00:00
  • b3aa3e37c6 fix small bugs and declare format_time to be a meta-predicate Vitor Santos Costa 2014-02-06 21:55:01 +00:00
  • 6c7e5e3cd2 patch for OPTYap from João Silva Vitor Santos Costa 2014-02-05 16:21:21 +00:00
  • ce6bc98f30 fix extra return Vitor Santos Costa 2014-02-03 23:28:50 +00:00
  • 91989ad13a support utf-8 Vitor Santos Costa 2014-02-03 23:27:06 +00:00
  • 9dacb84c99 fix string comparison Vitor Santos Costa 2014-02-03 23:26:36 +00:00
  • 819f7ab4a5 good sw practice Vitor Santos Costa 2014-02-03 17:03:23 +00:00
  • ed6524470a realclean -> distclean Vitor Santos Costa 2014-02-03 16:38:21 +00:00
  • 1e88998375 realclean support Vitor Santos Costa 2014-02-03 16:34:13 +00:00
  • 159613ab56 ECLIPSE SHELL? Vitor Santos Costa 2014-02-03 15:32:14 +00:00
  • 9e2a2b75b9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2014-02-02 21:52:14 +00:00
  • ae0ab6fa86 improve SWI Vítor Santos Costa 2014-02-02 21:46:33 +00:00
  • 9d2795b62a term_factorized/3 Vítor Santos Costa 2014-02-02 21:45:47 +00:00
  • 0dac1e9e7d raptor support Vitor Santos Costa 2014-01-30 18:00:56 +00:00
  • b57867c983 threads Vitor Santos Costa 2014-01-30 18:00:37 +00:00
  • 598267ca23 fix encoding for strings: it's utf-8 Vitor Santos Costa 2014-01-28 14:15:40 +00:00
  • 327c1216e4 fixes to SWI interface Vitor Santos Costa 2014-01-28 13:01:27 +00:00
  • d648375412 make MYDDAS into its own module. Vitor Santos Costa 2014-01-24 19:59:42 +00:00
  • a613099e1f cross-compilation support Vitor Santos Costa 2014-01-23 09:31:35 +00:00
  • 0391988788 support cross-compilation for windows Vitor Santos Costa 2014-01-23 01:46:16 +00:00
  • fe6142ca69 win32 support Vitor Santos Costa 2014-01-22 18:13:43 +00:00
  • 253735a293 win32 support Vitor Santos Costa 2014-01-22 18:12:58 +00:00
  • 464d6cd125 get rid of doxygen stuff Vítor Santos Costa 2014-01-22 09:52:02 +00:00
  • 39a6b31f7b Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2014-01-22 09:47:26 +00:00
  • b47aeb461b support python3 Vitor Santos Costa 2014-01-22 09:44:42 +00:00
  • a8eda03305 4.2.1 support Vitor Santos Costa 2014-01-22 09:41:47 +00:00
  • 7adad485de more H->HR Vítor Santos Costa 2014-01-19 21:57:02 +00:00
  • 6b2e1973ab Windows fixes, mainly H -> HB Vitor Santos Costa 2014-01-19 21:15:05 +00:00
  • e1201fc468 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vítor Santos Costa 2014-01-17 09:39:49 +00:00
  • ccccf71ae1 support for tabling of bignums and strings Vítor Santos Costa 2014-01-17 09:39:29 +00:00
  • 2c8fcc6698 fix typo Vitor Santos Costa 2014-01-10 15:34:02 +00:00
  • bcc1757989 fixes to message handling Vitor Santos Costa 2014-01-07 01:10:48 +00:00
  • 26c80b0624 use singletons option of read_term to implement singleton test Vitor Santos Costa 2014-01-06 22:17:42 +00:00
  • 411b7700e5 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vitor Santos Costa 2014-01-06 18:28:45 +00:00
  • 52525a5319 do reexport even when file has already been loaded Vitor Santos Costa 2014-01-06 18:28:22 +00:00
  • f3e5639439 fix sign problems with arrays Vítor Santos Costa 2014-01-02 21:59:02 +00:00
  • 233829ec52 fix array expansion to use realloc and fix arrays to separate static/dynamic and malloced Vítor Santos Costa 2014-01-02 19:11:06 +00:00
  • e105130a8b Tabling with coinductive mode for predicate Theo 2013-12-20 14:56:13 +00:00
  • 7589b57e4b Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vítor Santos Costa 2013-12-20 00:34:44 +00:00
  • 4612a7cc57 ISO Vítor Santos Costa 2013-12-20 00:34:15 +00:00
  • ffa0823e57 Same as before... Theo 2013-12-19 18:18:01 +00:00
  • fdd96e96cf Same as before... Theo 2013-12-19 17:08:55 +00:00
  • b4506cf793 CoInductive tabling Theo 2013-12-19 16:56:55 +00:00
  • 1f0f9968df Adding rational term support for tabling tries Theo 2013-12-19 10:56:52 +00:00
  • 493b591b66 slots again: make sure they're bound after resetting the stack and when calling InitForeign Vitor Santos Costa 2013-12-18 19:34:15 +00:00
  • c6351abe25 remove debugging msg Vitor Santos Costa 2013-12-18 19:09:21 +00:00
  • 30828eba98 fix input sz: should only matter with NCHARS Vitor Santos Costa 2013-12-18 16:42:05 +00:00
  • 86a71e9232 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2013-12-18 15:23:06 +00:00
  • fe2411b046 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vitor Santos Costa 2013-12-18 15:09:01 +00:00
  • b0fdf9263c Restored the [] as the default value for tabling_mode yap flag Theofrastos Mantadelis 2013-12-18 15:01:02 +00:00
  • 65eb3b8e4d Still undoing... sorry Theo 2013-12-17 18:15:34 +00:00
  • 5a8017156a undid the last changes... Theofrastos Mantadelis 2013-12-17 18:03:46 +00:00
  • 35a332f23a rational tries support for yap tabling Theofrastos Mantadelis 2013-12-17 16:55:39 +00:00
  • bc99b42228 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 João Santos 2013-12-17 15:57:41 +00:00
  • 2e3f99d89a fix YAPOR_THREADS (prof. Vitor Costa) João Santos 2013-12-17 15:57:24 +00:00
  • 993a9272d1 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vítor Santos Costa 2013-12-16 21:47:53 +00:00
  • 1aafb30360 instantiation error Vítor Santos Costa 2013-12-16 21:47:46 +00:00
  • 7a6d36ff16 ensure real version to be YAP compatible Vítor Santos Costa 2013-12-16 21:46:33 +00:00
  • da0f807abf fix YAPOR_THREADS memory macros joao 2013-12-16 16:51:00 +00:00
  • 52b863eab4 compile without gmp Vitor Santos Costa 2013-12-16 15:35:34 +00:00