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

Commit Graph

  • 3d68f0e06b readline completion Vitor Santos Costa 2016-04-19 22:42:44 +01:00
  • 96f03e26e8 fix WIN stuff Vitor Santos Costa 2016-04-18 16:41:30 +01:00
  • 49699f52e9 headers & booting Vitor Santos Costa 2016-04-18 16:40:17 +01:00
  • 3ac1a285a9 make syre we have a NUL pointer. Vitor Santos Costa 2016-04-18 16:38:29 +01:00
  • 6880fc20a6 win32 Vitor Santos Costa 2016-04-18 05:25:23 -07:00
  • 37649b7d1a windows support vscosta 2016-04-17 17:10:58 -07:00
  • c1b8d140db av vscosta 2016-04-17 17:09:10 -07:00
  • 76f4868ff6 fix init to always be able to try booting from Prolog vscosta 2016-04-17 17:05:03 -07:00
  • 068b624fca fic tell/1 Vitor Santos Costa 2016-04-16 02:55:17 +01:00
  • 631eb4c265 simplify FindCudd Vitor Santos Costa 2016-04-15 11:32:22 +01:00
  • ab1b8cea39 fix open/3 munging filenames in write mode Vitor Santos Costa 2016-04-15 11:30:33 +01:00
  • 6ff24e9a16 setup_call_catcher_cleanup Vitor Santos Costa 2016-04-15 11:28:07 +01:00
  • 97375d010b fix cmake for CUDD Vitor Santos Costa 2016-04-14 23:24:20 +01:00
  • a761bd752c fix cmake for CUDD Vitor Santos Costa 2016-04-14 23:24:07 +01:00
  • 05a76a2b3f Debugging meta-predicates Vitor Santos Costa 2016-04-14 18:06:52 +01:00
  • 1aa20e24b7 misc_bugs_when_compiling_problog Vitor Santos Costa 2016-04-14 12:00:09 +01:00
  • 29fba0238d support cudd 3.0 Vitor Santos Costa 2016-04-14 11:58:35 +01:00
  • 5a5829a583 encoding not needed Vitor Santos Costa 2016-04-14 11:32:44 +01:00
  • 786cfb71ad python Vitor Santos Costa 2016-04-12 16:22:53 +01:00
  • c0c002134b Python support Vitor Santos Costa 2016-04-12 16:05:20 +01:00
  • e6c2503563 fixes + indenting Vitor Santos Costa 2016-04-12 16:04:33 +01:00
  • 69bb5c4d08 Memory stream handling Vitor Santos Costa 2016-04-12 15:18:42 +01:00
  • 65f1cb9741 win64 support: encodings Vitor Santos Costa 2016-04-10 06:21:17 -07:00
  • 5830eacfec ignore more stuff vscosta 2016-04-08 01:30:15 -07:00
  • 2a119fdf5e handle DLLs needed for booting. vscosta 2016-04-08 01:29:10 -07:00
  • 2f5386bd6f handle cases where mem streams do not have FILE* vscosta 2016-04-08 01:22:27 -07:00
  • 6ee452f0c5 handle null ptrs vscosta 2016-04-08 01:21:22 -07:00
  • 948c8e7cbb handle null pointers and memory streams vscosta 2016-04-08 01:18:28 -07:00
  • c3488eeaed socklen_t should be supported in WIN32 :( vscosta 2016-04-08 01:17:05 -07:00
  • 6b4cc7f8ff GMP/MPIR egg hunt vscosta 2016-04-08 01:14:08 -07:00
  • 1649366574 copy dlls to main binary directory vscosta 2016-04-08 01:13:45 -07:00
  • 429c8155c9 check for non-heap memory vscosta 2016-04-08 01:11:33 -07:00
  • fa650a6440 simplelog Vitor Santos Costa 2016-04-06 00:26:16 +01:00
  • b7eb38fc44 shffle Vitor Santos Costa 2016-04-05 23:56:25 +01:00
  • da315b2688 missing Vitor Santos Costa 2016-04-05 08:18:50 +01:00
  • d680fa0755 missing Vitor Santos Costa 2016-04-05 08:18:09 +01:00
  • 106e4bc13f cross_compiler Vitor Santos Costa 2016-04-05 08:13:21 +01:00
  • c7bc27cc3e detail Vitor Santos Costa 2016-04-05 08:12:39 +01:00
  • b89f6e55b4 indenting Vitor Santos Costa 2016-04-05 08:12:16 +01:00
  • 55a840e2d8 more fixes Vitor Santos Costa 2016-04-05 08:11:05 +01:00
  • 93bba89d52 indenting + fix compilation Vitor Santos Costa 2016-04-05 08:09:39 +01:00
  • 4cdbabfa69 oops Vitor Santos Costa 2016-04-05 08:08:11 +01:00
  • eb5d90d85f boot from pl Vitor Santos Costa 2016-04-05 08:07:28 +01:00
  • e485dbc59b new experiments Vitor Santos Costa 2016-04-05 08:06:46 +01:00
  • dfbdce4240 android Vitor Santos Costa 2016-04-05 08:04:09 +01:00
  • 5dbe54dadc android Vitor Santos Costa 2016-04-05 08:03:19 +01:00
  • 7bf8a20f1b android Vitor Santos Costa 2016-04-05 08:02:02 +01:00
  • 867c9ea47c unify java Vitor Santos Costa 2016-04-05 07:49:17 +01:00
  • 2e238f6bc1 unify java Vitor Santos Costa 2016-04-05 07:48:01 +01:00
  • 71f0076ed6 signed wchar vscosta 2016-04-05 02:53:39 +01:00
  • 4d3d9c408d adds vscosta 2016-04-05 02:52:50 +01:00
  • a5951daea9 indenting plus deoid vscosta 2016-04-05 02:28:56 +01:00
  • 562ac0251d indenting vscosta 2016-04-05 02:27:33 +01:00
  • ac71ba72b5 cosmetics vscosta 2016-04-05 02:26:33 +01:00
  • 24e6924769 indenting & Android support (one big lib) vscosta 2016-04-05 02:25:05 +01:00
  • abe5953da7 boot from prolog vscosta 2016-04-05 02:24:09 +01:00
  • 079ed60248 Android support (just build a big app) vscosta 2016-04-05 02:23:41 +01:00
  • d9bfcc0f78 cudd is now provided by brew vscosta 2016-04-05 02:22:49 +01:00
  • 07f105dd80 clang indenting vscosta 2016-04-05 02:22:04 +01:00
  • d4a9f97cdd InitTime is done automatically. vscosta 2016-04-05 02:21:19 +01:00
  • 40765a6afb booting from prolog plus indenting vscosta 2016-04-05 02:20:16 +01:00
  • 7312765824 hard to find vscosta 2016-04-05 02:19:31 +01:00
  • 396bd2f8c3 indenting, + don't use men streams in Android vscosta 2016-04-05 02:18:47 +01:00
  • 636992781c android Vítor Santos Costa 2016-03-30 17:38:11 +01:00
  • 145ad73255 small fixes indenting Vítor Santos Costa 2016-03-30 17:35:03 +01:00
  • 78ba5d01f2 inlining related Vítor Santos Costa 2016-03-30 01:28:45 +01:00
  • 2d8fdad839 highlighting Vítor Santos Costa 2016-03-30 01:27:54 +01:00
  • a304fc721a improve error handling; be careful with trail. Vítor Santos Costa 2016-03-30 01:27:03 +01:00
  • 6b141078b4 fix typo Vítor Santos Costa 2016-03-30 01:26:02 +01:00
  • 1c2383b5b9 fix warnings Vítor Santos Costa 2016-03-30 01:25:43 +01:00
  • e0d82cfb23 don't inline Vítor Santos Costa 2016-03-30 01:24:59 +01:00
  • 4103aa6e83 don't inline == and \= for now. Vítor Santos Costa 2016-03-30 01:24:34 +01:00
  • f3e8b8b3da indenting; warning; exceptions; small fixes Vítor Santos Costa 2016-03-29 02:02:43 +01:00
  • 6bc4acec15 new exception Vítor Santos Costa 2016-03-29 02:00:07 +01:00
  • 9dacc20d34 fix Vítor Santos Costa 2016-03-29 01:59:01 +01:00
  • 06e5371afd exceptions Vítor Santos Costa 2016-03-29 01:57:55 +01:00
  • 2dae2363a3 fix tests Vítor Santos Costa 2016-03-29 01:57:13 +01:00
  • 9f722319ec fix utf-8 reading Vítor Santos Costa 2016-03-29 01:56:38 +01:00
  • cda490eda8 aliases should be global? Vítor Santos Costa 2016-03-29 01:56:00 +01:00
  • 1be002558c call_cleanup in C plus indenting Vítor Santos Costa 2016-03-29 01:55:12 +01:00
  • fa69950c67 fix warnings Vítor Santos Costa 2016-03-29 01:51:48 +01:00
  • f6379bcd48 indenting Vítor Santos Costa 2016-03-17 00:01:09 +00:00
  • e9cac424f0 more atoms plus cleanups Vítor Santos Costa 2016-03-16 23:57:41 +00:00
  • 88b179b603 more atoms plus cleanups Vítor Santos Costa 2016-03-16 23:56:24 +00:00
  • 9d1fa8a907 prototypes Vítor Santos Costa 2016-03-16 23:55:51 +00:00
  • cd1497c475 prototypes Vítor Santos Costa 2016-03-16 23:55:25 +00:00
  • b4742fb3cf fix trying to remove the same atom twice Vítor Santos Costa 2016-03-16 23:53:15 +00:00
  • 17ef6ddf34 singletons Vítor Santos Costa 2016-03-06 01:09:43 +00:00
  • bac60d2d94 bad typo in bom Vítor Santos Costa 2016-03-06 01:09:02 +00:00
  • bc914e9e91 fix lines that terminate on EOF Vítor Santos Costa 2016-03-05 23:43:11 +00:00
  • 79d99a7768 fix module_property, ignoring modules that are not actually implemented as files. Vítor Santos Costa 2016-03-05 23:18:57 +00:00
  • 23d18ac0fd Fix regression on handling system preds. Vítor Santos Costa 2016-03-05 18:48:22 +00:00
  • a32ac66167 Fix fileName Vítor Santos Costa 2016-03-05 17:38:08 +00:00
  • 1155b6b876 Paulo Moura: fix iso_is_2_35 Vítor Santos Costa 2016-03-05 12:50:43 +00:00
  • da51cfe6b9 use system.2 Vítor Santos Costa 2016-03-05 12:41:47 +00:00
  • cec2e9638a typo Vítor Santos Costa 2016-03-05 12:41:29 +00:00
  • 0f4448fdbe no need Vítor Santos Costa 2016-03-05 12:40:59 +00:00
  • 59b1aa9129 axe cross-compiler Vítor Santos Costa 2016-03-05 12:40:10 +00:00
  • 812a88e277 keep on simplifying modules Vítor Santos Costa 2016-03-05 12:37:58 +00:00
  • fdcc75d4ae keep on simplifying modules Vítor Santos Costa 2016-03-05 12:36:54 +00:00