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

Commit Graph

  • 80faee6824 qload/qsave implementation. Vítor Santos Costa 2014-10-02 14:57:50 +01:00
  • ef479f00dc make grammar a module. Vítor Santos Costa 2014-10-02 14:55:47 +01:00
  • a306d0b0ee improve messages for cosulting. Vítor Santos Costa 2014-10-02 14:52:54 +01:00
  • 1cbc0705c6 syntax changes. Vítor Santos Costa 2014-10-02 14:50:19 +01:00
  • 2e43165a68 fix debugging message. Vítor Santos Costa 2014-10-02 14:48:47 +01:00
  • 5a40f834f1 push directives to as early as possible. Vítor Santos Costa 2014-10-02 14:41:41 +01:00
  • fe0e12b030 store loaded files state. Vítor Santos Costa 2014-10-02 14:40:45 +01:00
  • 5bae8321d7 move gramar preprocessing here. Vítor Santos Costa 2014-10-02 14:39:45 +01:00
  • b1a6f092fd fix compiltion of binary tests to use a long instruction. Vítor Santos Costa 2014-10-02 14:38:23 +01:00
  • b793ffb71a remove debugging stuff. Vítor Santos Costa 2014-10-02 14:37:12 +01:00
  • b8f1ee4a75 extend nb_setarag/3 to call a default case at initialization, ie, nb_getval(a, X, X=start). and just that. Vítor Santos Costa 2014-10-02 14:35:38 +01:00
  • 2960f81e04 just say cmp preds are binary. Vítor Santos Costa 2014-10-02 14:34:51 +01:00
  • 48b1cf5d45 store away all directives we find. Vítor Santos Costa 2014-10-02 14:34:03 +01:00
  • 4f77281827 move docs around. Vítor Santos Costa 2014-10-02 14:33:22 +01:00
  • a1022f8237 always deref arguments to built-ins. Vítor Santos Costa 2014-10-02 14:32:26 +01:00
  • 74c136b986 reorganise code to avoid duplicate goal_expansion. Vítor Santos Costa 2014-10-02 14:31:14 +01:00
  • 3ab27ad588 allow application to set source file, useful in saved states. Vítor Santos Costa 2014-10-02 14:29:48 +01:00
  • 61ffaf5720 avoid int Vítor Santos Costa 2014-10-02 14:26:50 +01:00
  • 2d5f8f136d SWI functors is now dynamic Vítor Santos Costa 2014-10-02 14:25:11 +01:00
  • 4fdd501bbb qly is not a source file. Vítor Santos Costa 2014-10-02 14:24:12 +01:00
  • 17617e8d20 allow setting file ownership, and make sure preds created by aux programs have an owner file. Vítor Santos Costa 2014-10-02 14:21:43 +01:00
  • 28c10dbefc fix meta decl to agree with new name. Vítor Santos Costa 2014-10-02 14:20:28 +01:00
  • e22b2febf4 update too change in library(lineutils). Vítor Santos Costa 2014-10-02 14:19:53 +01:00
  • 81440607f1 support outputting strings for debugging. Vítor Santos Costa 2014-10-02 14:17:26 +01:00
  • 37a49f2135 synchronize compiler oops with their descriptions computils; allocate N instruction blocks. Vítor Santos Costa 2014-10-02 14:15:17 +01:00
  • f415e16b79 typo Vítor Santos Costa 2014-09-25 09:48:00 +01:00
  • e4306ba28e fix qsave_module Vítor Santos Costa 2014-09-25 09:47:38 +01:00
  • 52cf634e33 real Vítor Santos Costa 2014-09-25 09:47:20 +01:00
  • 95245932f8 typo Vítor Santos Costa 2014-09-25 09:46:48 +01:00
  • dc4748147e real Vítor Santos Costa 2014-09-25 09:45:56 +01:00
  • 5bd42984b9 fix qsave_module Vítor Santos Costa 2014-09-25 09:45:25 +01:00
  • 077570314d don't source system predicates Vítor Santos Costa 2014-09-25 09:44:34 +01:00
  • e4603ffe22 beautify code Vítor Santos Costa 2014-09-25 09:43:50 +01:00
  • 7f952c8b74 avoid backtracking Vítor Santos Costa 2014-09-25 09:42:51 +01:00
  • 1783528ea8 updates Vítor Santos Costa 2014-09-25 08:57:41 +01:00
  • 78967d6eb2 fix typo Vítor Santos Costa 2014-09-25 08:50:26 +01:00
  • 7c32ac6080 disable ground optimization: it is not supported by restore Vítor Santos Costa 2014-09-24 00:23:11 +01:00
  • 66a95e96c0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2014-09-23 22:46:19 +01:00
  • 2bc55d868d formatting changes Vitor Santos Costa 2014-09-23 22:40:40 +01:00
  • ed3f0a8b74 use of as part of the phrase, not as main operatorSr Vitor Santos Costa 2014-09-23 22:39:20 +01:00
  • 429e87404f avoid empty hash tables Vitor Santos Costa 2014-09-23 22:37:08 +01:00
  • fcc0c51ce7 avoid int Vitor Santos Costa 2014-09-23 22:35:01 +01:00
  • 9101de3014 handl weird cases in writing [] Vitor Santos Costa 2014-09-23 22:33:31 +01:00
  • 3e255ec4a1 qload Vítor Santos Costa 2014-09-22 18:13:35 +01:00
  • f29e017c63 documentation update. Vítor Santos Costa 2014-09-22 18:12:57 +01:00
  • 5cfe70420f fix reset in qload Vítor Santos Costa 2014-09-22 18:10:51 +01:00
  • 9254103f45 $pred_owner: file where source was. Vítor Santos Costa 2014-09-22 18:09:23 +01:00
  • 7a577a72ff stdbool. Vítor Santos Costa 2014-09-22 18:08:39 +01:00
  • 349f2898df small fixes Vítor Santos Costa 2014-09-22 18:07:07 +01:00
  • 9929946de2 fix typo Vítor Santos Costa 2014-09-19 14:25:10 -05:00
  • e06bcd659e more C++/Android fixes Vitor Santos Costa 2014-09-19 14:20:22 -05:00
  • 1caf68972f missing file Vitor Santos Costa 2014-09-18 00:58:50 -05:00
  • 04eb38ff10 Why stay at 1.4 in java compat? Vitor Santos Costa 2014-09-17 16:58:05 -05:00
  • 6b0d99e2fe fix debugging-left-over Vitor Santos Costa 2014-09-17 16:55:19 -05:00
  • 00d87ca661 Improve Makefile for android compilation and bring back Application.mk Vitor Santos Costa 2014-09-17 16:54:21 -05:00
  • 8461026303 fixes for win64 compilation. Vitor Santos Costa 2014-09-16 19:15:56 +01:00
  • 0ad92137a9 WIN32 compilation Vitor Santos Costa 2014-09-16 19:13:09 +01:00
  • dbec254586 doc updates Vítor Santos Costa 2014-09-16 04:02:05 -05:00
  • 797e0c6be7 don't dump stack, for now Vítor Santos Costa 2014-09-16 04:01:37 -05:00
  • 3168b2cfc8 fix int/Int in save; add debugging (obs from Gong Su Vítor Santos Costa 2014-09-16 04:00:31 -05:00
  • 91946626b0 causes do not have cps for a while Vítor Santos Costa 2014-09-16 03:58:35 -05:00
  • df0ec5bc96 more doxygen fixes Vítor Santos Costa 2014-09-15 14:57:46 -05:00
  • 6453ca395c more doc changes Vítor Santos Costa 2014-09-15 13:42:35 -05:00
  • 637ca503cc remove debugging msg Vítor Santos Costa 2014-09-15 13:42:14 -05:00
  • 0a353815a3 fix argunebt handling Vítor Santos Costa 2014-09-15 13:41:44 -05:00
  • aeb54ebc61 more doc udates Vítor Santos Costa 2014-09-15 13:10:49 -05:00
  • d5fc0a1920 doxygen support Vítor Santos Costa 2014-09-15 13:09:48 -05:00
  • 7e1c6a6f5f doxygen support Vítor Santos Costa 2014-09-15 13:07:53 -05:00
  • 8eec3113be improve docs Vítor Santos Costa 2014-09-15 03:13:50 -05:00
  • 582efcf6eb try again t fix readline paths in config Vítor Santos Costa 2014-09-15 03:13:21 -05:00
  • 050ce4fce6 "moredocupdates" Vítor Santos Costa 2014-09-13 00:53:56 -05:00
  • 3bcf9a3f85 docs Vítor Santos Costa 2014-09-13 00:45:43 -05:00
  • 4f294140ce doc changes Vitor Santos Costa 2014-09-13 00:34:57 -05:00
  • cf0f8d2447 doc changes Vitor Santos Costa 2014-09-13 00:33:25 -05:00
  • b7ae9cb45e documentation improvemeents Vitor Santos Costa 2014-09-13 00:26:46 -05:00
  • 882eaca30c updates to documentation Vítor Santos Costa 2014-09-12 18:50:04 -05:00
  • 57ecd61b95 update docs Vítor Santos Costa 2014-09-11 14:07:16 -05:00
  • 3009987985 update docs Vítor Santos Costa 2014-09-11 14:06:57 -05:00
  • 19c247accd doc work Vítor Santos Costa 2014-09-10 00:39:38 -05:00
  • 4745401b2a use stdbool Vítor Santos Costa 2014-09-10 00:38:31 -05:00
  • 0ed6fe43b2 cleanup Vítor Santos Costa 2014-09-10 00:36:20 -05:00
  • 9e7257978c cleanup Vítor Santos Costa 2014-09-09 23:55:47 -05:00
  • 87e36bcfe2 cleanup Vítor Santos Costa 2014-09-09 23:55:13 -05:00
  • b26b5b1b7d small fixes Vítor Santos Costa 2014-09-09 23:53:41 -05:00
  • 3fd07064da use stdbool Vítor Santos Costa 2014-09-09 23:53:10 -05:00
  • 1dd3ff800e use stdbool Vítor Santos Costa 2014-09-09 23:51:44 -05:00
  • 3c0a65218b use stdbool Vítor Santos Costa 2014-09-09 23:50:43 -05:00
  • 9b5c4ea710 missing library calls Vítor Santos Costa 2014-09-09 09:38:10 -05:00
  • 0f239213d1 missing library calls Vítor Santos Costa 2014-09-09 09:37:20 -05:00
  • 62d4624080 fix compilation warnings Vítor Santos Costa 2014-09-09 09:35:14 -05:00
  • d29f876ae6 use stdbool Vítor Santos Costa 2014-09-09 09:27:29 -05:00
  • 14e4f1d9f2 use stdbool Vítor Santos Costa 2014-09-09 09:25:33 -05:00
  • 92e620abf2 missing library calls Vítor Santos Costa 2014-09-09 09:15:55 -05:00
  • df1e161e6c fix library and stdbool Vítor Santos Costa 2014-09-09 09:13:03 -05:00
  • cd8dd56b9e write comment handling Vítor Santos Costa 2014-09-08 17:16:49 -05:00
  • 53a49bb3c3 call ypp from the console Vítor Santos Costa 2014-09-08 17:16:00 -05:00
  • f9438806ee creep should be the last signal to be processed? Vítor Santos Costa 2014-09-08 17:14:58 -05:00
  • 337839b8ea remove used cruft Vítor Santos Costa 2014-09-08 17:14:02 -05:00
  • d39423c1f0 handle EXIT_SIGNAL with exit Vítor Santos Costa 2014-09-08 17:13:39 -05:00
  • 0a64e9f062 fix creep handling Vítor Santos Costa 2014-09-08 17:12:05 -05:00