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

Commit Graph

  • 339048c76b clean name on close Vitor Santos Costa 2016-08-05 16:44:38 -05:00
  • 04b1d2bafb skip msg Vitor Santos Costa 2016-08-05 16:44:15 -05:00
  • 729b798a23 testing slipcover Vitor Santos Costa 2016-08-05 16:43:58 -05:00
  • b3a11b339a init better; problog_low accepts conditional probabilities (untested); accept (p0::a;p1::b). Vitor Santos Costa 2016-08-05 16:43:11 -05:00
  • 0aeeb726e3 just indenting Vitor Santos Costa 2016-08-05 16:39:45 -05:00
  • 3d4a525e32 remove deb Vitor Santos Costa 2016-08-05 16:37:15 -05:00
  • 0f19d518f2 fixes Vitor Santos Costa 2016-08-05 16:37:02 -05:00
  • fdfefbbd46 curried, what else? Vitor Santos Costa 2016-08-05 16:36:48 -05:00
  • 833ffbb104 policy first Vitor Santos Costa 2016-08-05 16:36:26 -05:00
  • 384e74ae59 extern Vitor Santos Costa 2016-08-05 16:35:50 -05:00
  • be1ce69e07 handle stream error Vitor Santos Costa 2016-08-05 16:35:38 -05:00
  • 26d2e9721c indenting Vitor Santos Costa 2016-08-05 16:34:43 -05:00
  • 8594c41487 current_pred might lose the first solution Vitor Santos Costa 2016-08-05 16:34:05 -05:00
  • fd23360c63 people who don't like cmake Vitor Santos Costa 2016-08-04 16:42:57 -05:00
  • b705c07ac8 error Vitor Santos Costa 2016-08-04 10:26:18 -05:00
  • c79a5ec372 linking Vitor Santos Costa 2016-08-04 10:25:56 -05:00
  • 471d6e4f77 stillgoing Vitor Santos Costa 2016-08-04 10:25:26 -05:00
  • 0029fdd0b4 warnings Vitor Santos Costa 2016-08-04 10:25:07 -05:00
  • b8045f1a39 fix_floats Vitor Santos Costa 2016-08-04 10:24:32 -05:00
  • f5e560366c casts vs gcc Vitor Santos Costa 2016-08-03 11:16:40 -05:00
  • 2038dd42b6 fix warnings Vitor Santos Costa 2016-08-03 11:15:17 -05:00
  • e16c8c573d fix multioo#def Vitor Santos Costa 2016-08-03 11:14:27 -05:00
  • ca2dfeb51e cmake vs libraries Vitor Santos Costa 2016-08-02 18:30:02 -05:00
  • 3ff5ddf04a twice included Vitor Santos Costa 2016-08-02 18:29:57 -05:00
  • 69c3a54cb6 annoying msg Vitor Santos Costa 2016-08-02 18:29:35 -05:00
  • 99488a6cea older g++ Vitor Santos Costa 2016-08-02 18:28:02 -05:00
  • a560031167 let all atoms be equal in rights and duties Vitor Santos Costa 2016-08-02 18:26:48 -05:00
  • 0dd5da91ca fix use of pathconf Vitor Santos Costa 2016-08-02 18:25:39 -05:00
  • 8050747db7 allow earier jdk Vitor Santos Costa 2016-08-02 18:24:53 -05:00
  • 2dbf860a58 linux does not like setbuf on mem stream Vitor Santos Costa 2016-08-02 18:23:42 -05:00
  • 9ef2f87165 osx Vitor Santos Costa 2016-08-02 12:10:01 -05:00
  • 79a154cbf4 fix current_predicate/1 and arg/3 Vitor Santos Costa 2016-08-02 11:34:58 -05:00
  • d54446d736 fix bad meta-call handling & throw(Var) Vitor Santos Costa 2016-08-02 09:01:54 -05:00
  • 4628adc63e Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vitor Santos Costa 2016-08-01 21:45:42 -05:00
  • d0a8e4a722 image Vitor Santos Costa 2016-08-01 20:26:07 -05:00
  • 5e7c08fff7 interface Vitor Santos Costa 2016-08-01 20:23:23 -05:00
  • 304489c74f warnings and stream read wchar simplification Vitor Santos Costa 2016-08-01 19:17:56 -05:00
  • a82a72fc14 myddas cleanups Vitor Santos Costa 2016-08-01 19:16:39 -05:00
  • db0deea576 ugh, that hurts Vitor Santos Costa 2016-08-01 19:15:31 -05:00
  • 1d84d39b00 fix fix Vitor Santos Costa 2016-08-01 19:14:51 -05:00
  • afc6e64db2 warning Vitor Santos Costa 2016-08-01 19:14:23 -05:00
  • 897d59820f fix clang smarties Vitor Santos Costa 2016-08-01 19:14:01 -05:00
  • 9e01be6a22 clean Vitor Santos Costa 2016-08-01 17:50:31 -05:00
  • 8e52352878 protect call Vitor Santos Costa 2016-08-01 17:49:51 -05:00
  • 7651f507c6 error handling Vitor Santos Costa 2016-08-01 17:48:43 -05:00
  • 8973689b43 typos Vitor Santos Costa 2016-08-01 17:48:25 -05:00
  • 957aa9f977 fix existing-stream ase for with_output_to/2 Vitor Santos Costa 2016-08-01 13:20:00 -05:00
  • 81c00f9736 compilation support Vitor Santos Costa 2016-08-01 06:54:28 -05:00
  • bff0440b64 out-of-date Vitor Santos Costa 2016-07-31 12:46:53 -05:00
  • ccc2efd456 out-of-date Vitor Santos Costa 2016-07-31 12:46:08 -05:00
  • 750b31b29a update instructions Vitor Santos Costa 2016-07-31 12:43:35 -05:00
  • 99e9809320 newtyle Vitor Santos Costa 2016-07-31 11:38:21 -05:00
  • d8ee7b1f89 fixes Vitor Santos Costa 2016-07-31 11:37:37 -05:00
  • 6163533208 python support Vitor Santos Costa 2016-07-31 11:36:51 -05:00
  • 37ddd18a9d new make setup Vitor Santos Costa 2016-07-31 11:35:57 -05:00
  • 73b10e7207 new style Makefile Vitor Santos Costa 2016-07-31 11:35:28 -05:00
  • 50e94c9094 support plant Vitor Santos Costa 2016-07-31 11:35:10 -05:00
  • d7b5be0ccd android Vitor Santos Costa 2016-07-31 10:43:31 -05:00
  • 5b8dd3eb03 system module Vitor Santos Costa 2016-07-31 10:42:56 -05:00
  • cbe205344d messages Vitor Santos Costa 2016-07-31 10:42:34 -05:00
  • 0248e3ec2f event handling Vitor Santos Costa 2016-07-31 10:42:15 -05:00
  • bb4820a086 this is hard Vitor Santos Costa 2016-07-31 10:41:54 -05:00
  • 2fef5ffcea multifile Vitor Santos Costa 2016-07-31 10:41:20 -05:00
  • f7a2c479e7 throw handling Vitor Santos Costa 2016-07-31 10:40:47 -05:00
  • 275e2c0059 try to use nicer swi interface Vitor Santos Costa 2016-07-31 10:40:29 -05:00
  • 9686275b34 reorg Vitor Santos Costa 2016-07-31 10:39:55 -05:00
  • 1aa3c26af6 hidden stuff Vitor Santos Costa 2016-07-31 10:39:30 -05:00
  • 7cda920dbc move undef_handler Vitor Santos Costa 2016-07-31 10:39:12 -05:00
  • 915316b712 move some stuff early Vitor Santos Costa 2016-07-31 10:38:36 -05:00
  • a2ab31757f undef Vitor Santos Costa 2016-07-31 10:38:03 -05:00
  • e138472f87 dupl code Vitor Santos Costa 2016-07-31 10:37:27 -05:00
  • 83326f1657 from absf Vitor Santos Costa 2016-07-31 10:36:57 -05:00
  • 1c698f596c fix Vitor Santos Costa 2016-07-31 10:36:45 -05:00
  • 71afcd0350 docs Vitor Santos Costa 2016-07-31 10:36:17 -05:00
  • f6a90c0cac skip early_print Vitor Santos Costa 2016-07-31 10:35:54 -05:00
  • 12664254e9 keep on trying to get this right Vitor Santos Costa 2016-07-31 10:35:18 -05:00
  • a21547d9d4 more files to consult Vitor Santos Costa 2016-07-31 10:34:54 -05:00
  • 9ac1b3f2c6 discontiguous Vitor Santos Costa 2016-07-31 10:34:24 -05:00
  • 9db06bcfe1 -B and fixes Vitor Santos Costa 2016-07-31 10:34:00 -05:00
  • 5db8e25735 must be early for boot Vitor Santos Costa 2016-07-31 10:33:20 -05:00
  • 77335f2ea0 split docs and user pred Vitor Santos Costa 2016-07-31 10:32:50 -05:00
  • 4477350d08 small fixes Vitor Santos Costa 2016-07-31 10:31:22 -05:00
  • 43993f2b08 use current dir Vitor Santos Costa 2016-07-31 10:30:15 -05:00
  • 14d8b7904f solid java testing Vitor Santos Costa 2016-07-31 10:29:56 -05:00
  • 19ec491d22 plit cidd testing Vitor Santos Costa 2016-07-31 10:29:36 -05:00
  • 7a7d36a3ef fixes Vitor Santos Costa 2016-07-31 10:29:15 -05:00
  • afc0f4386c new config Vitor Santos Costa 2016-07-31 10:28:56 -05:00
  • 8d19f397d4 android and encoding Vitor Santos Costa 2016-07-31 10:28:05 -05:00
  • 91120de170 script fixes: external Vitor Santos Costa 2016-07-31 10:27:18 -05:00
  • 0c305e8ce3 android Vitor Santos Costa 2016-07-31 10:26:36 -05:00
  • 9ad6bc3120 boot Vitor Santos Costa 2016-07-31 10:26:14 -05:00
  • a8f101cbcf malloc and android Vitor Santos Costa 2016-07-31 10:25:46 -05:00
  • d5ce45f09f indenting Vitor Santos Costa 2016-07-31 10:24:10 -05:00
  • 2213bc6f36 new atoms and functors Vitor Santos Costa 2016-07-31 10:23:19 -05:00
  • 460dfafcc8 improve C++ interface Vitor Santos Costa 2016-07-31 10:22:24 -05:00
  • be313a5b49 fixes Vitor Santos Costa 2016-07-31 10:21:45 -05:00
  • 468a2279c3 malloc Vitor Santos Costa 2016-07-31 10:21:09 -05:00
  • 4fa33de8a8 new make Vitor Santos Costa 2016-07-31 10:20:54 -05:00
  • 168d0b41ec rely on current dir Vitor Santos Costa 2016-07-31 10:20:36 -05:00
  • 591d5a8653 new make configuration Vitor Santos Costa 2016-07-31 10:19:58 -05:00