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

Commit Graph

  • e4bcc5e8a2 use main to call all tests: Vítor Santos Costa 2015-11-10 14:22:13 +00:00
  • adf3ed0311 docs Vítor Santos Costa 2015-11-10 14:18:27 +00:00
  • 7468de4553 indenting Vítor Santos Costa 2015-11-10 14:16:10 +00:00
  • a3c09d66be docs Vítor Santos Costa 2015-11-10 14:13:56 +00:00
  • cddb8191c8 config changes Vitor Santos Costa 2015-11-09 18:22:43 +00:00
  • 3aeebed2cf postgres Vitor Santos Costa 2015-11-09 18:21:54 +00:00
  • af67ebf5da forget the past for now Vitor Santos Costa 2015-11-09 18:21:19 +00:00
  • e6b6e7c593 don't loop for ever, and utf8 Vitor Santos Costa 2015-11-09 18:19:51 +00:00
  • 5314a47b14 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2015-11-09 11:38:33 +00:00
  • ef0673aa2b package support Vitor Santos Costa 2015-11-09 11:36:33 +00:00
  • 5035f4efe6 move horus to CL(BN) Vítor Santos Costa 2015-11-09 11:32:25 +00:00
  • 759ff81e39 absolute_file_name support. Vítor Santos Costa 2015-11-09 11:31:58 +00:00
  • 4b74421a36 policy and extra packages. Vítor Santos Costa 2015-11-09 11:30:40 +00:00
  • e400857810 absolute_file_name again Vítor Santos Costa 2015-11-09 11:30:21 +00:00
  • 9f3e3baf2b gap and C++ :( Vítor Santos Costa 2015-11-09 11:30:04 +00:00
  • 03c79a89ef support for absolut_file_name Vítor Santos Costa 2015-11-09 11:29:40 +00:00
  • 2d330f3bee user defined directives are multiple. Vítor Santos Costa 2015-11-09 11:29:09 +00:00
  • 6975c60645 support interface to minisat2. Vítor Santos Costa 2015-11-09 11:28:44 +00:00
  • 1d66c45fc2 more fixes to absolute_file_names and a new option, glob/1. Vítor Santos Costa 2015-11-09 11:27:46 +00:00
  • a8b51a1ada check full file path Vítor Santos Costa 2015-11-09 11:26:22 +00:00
  • ca81e5d8ea use unification, not wakeup, to verify if two terms are unifiable. Fixes Ulrich Neumerkel #306 Vítor Santos Costa 2015-11-09 11:25:55 +00:00
  • 50c04116c8 moved from H Vítor Santos Costa 2015-11-06 18:22:31 +00:00
  • d66db4cf70 make fixes Vítor Santos Costa 2015-11-05 23:51:35 +00:00
  • c450a712d0 typos Vítor Santos Costa 2015-11-05 23:47:28 +00:00
  • 5205921541 MYDDAS support Vítor Santos Costa 2015-11-05 23:45:48 +00:00
  • e9debf4d83 MYDDAS Support Vítor Santos Costa 2015-11-05 23:45:07 +00:00
  • f8b5ca8291 init and friends : cleanup Vítor Santos Costa 2015-11-05 19:33:38 +00:00
  • 44dc6f06d7 newer Find R module Vítor Santos Costa 2015-11-05 19:28:22 +00:00
  • aa2fb8f0c5 the photos for Debug IO Vítor Santos Costa 2015-11-05 19:27:57 +00:00
  • 5f58216315 init and new text size function Vítor Santos Costa 2015-11-05 19:27:34 +00:00
  • df273f549a prompt flag Vítor Santos Costa 2015-11-05 19:26:44 +00:00
  • c1ca214932 Actually use GMP Vítor Santos Costa 2015-11-05 19:26:22 +00:00
  • 5f76e105b1 Debug IO stuff Vítor Santos Costa 2015-11-05 19:25:54 +00:00
  • 4354083208 YAP_TextLllength and the init saga Vítor Santos Costa 2015-11-05 19:24:55 +00:00
  • e04dd14bed md5 support Vítor Santos Costa 2015-11-05 19:22:40 +00:00
  • 4cbeb6df39 oops.... Vítor Santos Costa 2015-11-05 17:27:20 +00:00
  • 4dfcdd4e87 current_predicate & abolish (Paulo Moura's tests) Vítor Santos Costa 2015-11-05 17:26:50 +00:00
  • e162ec9ef9 don't debug !(_) Vítor Santos Costa 2015-11-05 17:26:04 +00:00
  • 9ed0389186 file press used by Prolog Vítor Santos Costa 2015-11-05 17:25:09 +00:00
  • f9b19af0ea typo Vítor Santos Costa 2015-11-05 17:24:43 +00:00
  • 148a5f3acd avoid hiding without reason Vítor Santos Costa 2015-11-05 17:24:22 +00:00
  • 35bebd3a56 lots of annoying small bugs Vítor Santos Costa 2015-11-05 17:23:26 +00:00
  • b7f16997df non-traceable stuff. Vítor Santos Costa 2015-11-05 17:22:49 +00:00
  • e2cac6279c rebound Vítor Santos Costa 2015-11-05 17:22:17 +00:00
  • f8fc35a548 bug in module expansion Vítor Santos Costa 2015-11-05 17:21:48 +00:00
  • 9ffe2ddddc init handling Vítor Santos Costa 2015-11-05 17:21:19 +00:00
  • ed4b76ddc6 ?? Vítor Santos Costa 2015-11-05 17:20:25 +00:00
  • 27bfbdc1be improve prompt Vítor Santos Costa 2015-11-05 17:19:25 +00:00
  • 14250cfff6 rebound Vítor Santos Costa 2015-11-05 17:18:29 +00:00
  • 53927de579 char_type/2, or is it UNICODE? Vítor Santos Costa 2015-11-05 17:17:51 +00:00
  • b84262238d stupid bug: format would always use user_output Vítor Santos Costa 2015-11-05 17:16:55 +00:00
  • 83fdeab85f DebugIO + the big sys split Vítor Santos Costa 2015-11-05 17:16:10 +00:00
  • 99ee24ba69 the big sys split and make DebugIO more available Vítor Santos Costa 2015-11-05 17:15:32 +00:00
  • 5278affb0e Edinburgh IO, still useful. Vítor Santos Costa 2015-11-05 17:14:31 +00:00
  • 5db391b60a separate DB dependent from DB index. Vítor Santos Costa 2015-11-05 17:06:15 +00:00
  • b4f1a40b4b GMP vs C+++: I loose Vítor Santos Costa 2015-11-05 17:03:37 +00:00
  • 91d1cf2c52 annoying stuff Vítor Santos Costa 2015-11-05 16:59:56 +00:00
  • f8eb163a1d string to but and improve utf8 Vítor Santos Costa 2015-11-05 16:59:30 +00:00
  • e4bfb263a0 md5 is in Vítor Santos Costa 2015-11-05 16:58:31 +00:00
  • bb5a506864 avoid USE_ Vítor Santos Costa 2015-11-05 16:58:04 +00:00
  • 7be5d1374a The big sys split was here Vítor Santos Costa 2015-11-05 16:57:24 +00:00
  • b323d17369 small fix Vítor Santos Costa 2015-11-05 16:56:59 +00:00
  • e9ed130ffd keep on improving syntax_error handler Vítor Santos Costa 2015-11-05 16:54:13 +00:00
  • ac48a263c4 fix $VAR Vítor Santos Costa 2015-11-05 16:53:11 +00:00
  • bd6ffb5d41 misc Vítor Santos Costa 2015-11-05 16:52:22 +00:00
  • 77d57b90d4 expandVars through glob and wordexp Vítor Santos Costa 2015-11-05 16:47:52 +00:00
  • e3a56234e4 big sys split Vítor Santos Costa 2015-11-05 16:47:11 +00:00
  • ad56cc07df t->T Vítor Santos Costa 2015-11-05 16:41:39 +00:00
  • b701e571b0 fix conversion to be stricter, fix a looping bug Vítor Santos Costa 2015-11-05 16:40:25 +00:00
  • 8ac1e23450 free memory Vítor Santos Costa 2015-11-05 16:39:34 +00:00
  • 4224382be1 linting Vítor Santos Costa 2015-11-05 16:39:04 +00:00
  • a26dbe0dfc init spelling and remove debugging Vítor Santos Costa 2015-11-05 16:38:18 +00:00
  • 7034d7b307 init spelling Vítor Santos Costa 2015-11-05 16:36:55 +00:00
  • f758ac2fe4 misc Vítor Santos Costa 2015-11-05 16:35:25 +00:00
  • 67bb20cf0d init sellout Vítor Santos Costa 2015-11-05 16:32:34 +00:00
  • cc13181741 allow opening array with different size on top of other; Vítor Santos Costa 2015-11-05 16:18:44 +00:00
  • cc632c08af caps Vítor Santos Costa 2015-11-05 16:15:35 +00:00
  • 4a200c3601 take your own MD5, use version in Python/SWI Vítor Santos Costa 2015-11-05 16:14:45 +00:00
  • 31246ccc0b init spelling Vítor Santos Costa 2015-11-05 16:13:47 +00:00
  • ffd2ef113b remove excessive care Vítor Santos Costa 2015-11-05 16:12:51 +00:00
  • 962130734e fix current_predicate Vítor Santos Costa 2015-11-05 16:12:07 +00:00
  • 98e8bf63e0 remove debugging Vítor Santos Costa 2015-11-05 16:10:51 +00:00
  • 0fec4766e5 swap including and included. Vítor Santos Costa 2015-11-05 16:07:51 +00:00
  • 00245ff0fc fix bad replace; protect against undef red. Vítor Santos Costa 2015-11-05 16:00:54 +00:00
  • 9db87d1da4 atom versus atomic Vítor Santos Costa 2015-11-05 15:59:49 +00:00
  • 7fd6167c50 simple trick to do code sharing Vítor Santos Costa 2015-11-05 15:59:26 +00:00
  • 6cc1ed77ed the big split: break sysbits.c into 4 files; also, support glob Vítor Santos Costa 2015-11-05 15:47:36 +00:00
  • 9ce6ba5186 init tab/1 steam Vítor Santos Costa 2015-11-05 15:39:04 +00:00
  • b0f3cda2d7 Import MD5 support, Macs are weird Vítor Santos Costa 2015-11-05 15:38:39 +00:00
  • df26a7a84a gmp and C++, ugh Vítor Santos Costa 2015-11-05 15:35:03 +00:00
  • 3c4d6117e6 spelling Vítor Santos Costa 2015-11-05 15:34:30 +00:00
  • 1b2f2f0f93 avoid using Debug only constructs. Vítor Santos Costa 2015-11-05 15:32:57 +00:00
  • f133ff279e use same name for function and predicate. Vítor Santos Costa 2015-11-05 15:31:09 +00:00
  • bc8541666a init spelling Vítor Santos Costa 2015-11-05 15:28:39 +00:00
  • 691f02816d init spelling effort Vítor Santos Costa 2015-11-05 15:25:58 +00:00
  • 13aff4de32 init spelling effort Vítor Santos Costa 2015-11-05 15:25:12 +00:00
  • ddfed40e00 protect pointer Vítor Santos Costa 2015-11-05 15:24:27 +00:00
  • 8fcceb9957 Always know size limits Vítor Santos Costa 2015-11-05 15:24:03 +00:00
  • 9197b39393 init spell Vítor Santos Costa 2015-11-05 15:21:56 +00:00
  • 12dcbbc0f3 Fix error hanfler Vítor Santos Costa 2015-11-05 15:21:21 +00:00