Commit Graph

2390 Commits

Author SHA1 Message Date
Vitor Santos Costa ac41673000 simplify 2018-10-15 10:24:30 +01:00
Vitor Santos Costa 5d69b09688 Merge branch 'master' of github.com:vscosta/yap-6.3 2018-10-13 14:13:31 +01:00
Vitor Santos Costa 50fb5d21c0 floats 2018-10-13 14:13:07 +01:00
Vitor Santos Costa 9dac6e9612 Merge branch 'master' of https://github.com/vscosta/yap-6.3 2018-10-13 08:51:54 +01:00
Vitor Santos Costa e747b7f9c1 docs 2018-10-13 08:45:40 +01:00
Vitor Santos Costa a33f2be18b docs 2018-10-13 08:42:41 +01:00
Vítor Santos Costa 67cc23725f verbose vs verbosity 2018-10-11 07:47:28 +01:00
Vitor Santos Costa cb1c73c973 small fixes 2018-10-10 12:33:05 +01:00
Vítor Santos Costa 32266a8b98 problog 2018-10-10 09:39:04 +01:00
Vitor Santos Costa 9e3a768220 singles 2018-10-09 13:47:27 +01:00
Vitor Santos Costa 50feadc341 ifix 2018-10-08 13:51:17 +01:00
Vitor Santos Costa be12fb92d6 Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap 2018-10-07 17:00:51 +01:00
Vitor Santos Costa 3d5303529f fix_warnings 2018-10-07 16:57:44 +01:00
Vitor Santos Costa 6d0b702d1c small fixes 2018-10-07 14:27:01 +01:00
Vitor Santos Costa ba6e0728ae Merge 192.168.1.103:github/yap-6.3 2018-10-06 05:39:52 +01:00
Vitor Santos Costa 5ea98bcf53 LBFGS 2018-10-05 10:26:34 +01:00
Vitor Santos Costa 50b13a15a0 Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap 2018-09-30 00:12:13 +01:00
Vitor Santos Costa 724681dde8 fix 2018-09-29 12:51:06 +01:00
Vitor Santos Costa 990a86512d jpl 2018-09-26 11:46:26 +01:00
Vitor Santos Costa a01ba3383b hide 2018-09-26 01:16:07 +01:00
Vitor Santos Costa 87c6971bb6 WIN32 2018-09-26 01:14:14 +01:00
Vítor Santos Costa 13d609867c recover space on foreign exec 2018-09-21 13:31:22 +01:00
Vítor Santos Costa b6235d8ecd trust your head 2018-09-18 19:43:50 +01:00
Vítor Santos Costa a6e578090c C-interface 2018-09-18 19:27:10 +01:00
Vítor Santos Costa 29f79473e5 Problog 2018-09-14 21:17:43 +01:00
Vitor Santos Costa 9ec1ffb2c7 Merge ssh://xato/home/vsc/yap 2018-09-14 17:46:00 +01:00
Vitor Santos Costa 46a32fbd83 heap 2018-09-14 17:43:36 +01:00
Vitor Santos Costa f8d0703983 fixes 2018-09-14 11:28:24 +01:00
Vítor Santos Costa 290ee932ed problog 2018-09-13 17:08:26 +01:00
Vítor Santos Costa b64853fd1a Merge /home/vsc/yap 2018-09-13 17:08:12 +01:00
Vitor Santos Costa a079139060 lbfgs 2018-09-13 13:35:37 +01:00
Vítor Santos Costa 46247bca56 Merge /home/vsc/yap 2018-09-12 16:18:30 +01:00
Vitor Santos Costa 5c8f8457fa debugger 2018-09-10 17:06:13 +01:00
Vítor Santos Costa f6d8304fcf Problog 2018-08-31 20:03:00 +01:00
Vitor Santos Costa 1e7ee487b6 errors 2018-08-21 14:34:41 +01:00
Vitor Santos Costa 63e4b31787 python 2018-08-21 03:01:03 +01:00
Vitor Santos Costa d4eea0fbb4 :Merge /home/vsc/yap 2018-08-19 14:45:25 +01:00
Vitor Santos Costa 244ee465c4 python 2018-08-19 14:39:12 +01:00
Vitor Santos Costa dc6a21dbc5 rational trees, problog, lbfgs 2018-08-17 17:35:02 +01:00
Vitor Santos Costa ecab37f72c write infinite terms 2018-08-09 16:42:43 +01:00
Vítor Santos Costa 1fbd0c49ba compile 2018-08-08 20:46:47 +01:00
Vitor Santos Costa 1668763b19 Merge /home/vsc/github/yap-6.3 2018-08-07 21:49:03 +01:00
Vitor Santos Costa 05733938c1 android 2018-08-07 17:20:43 +01:00
Vitor Santos Costa f6596da27d Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-08-07 09:58:22 +01:00
Vitor Santos Costa a36a0e2e45 :wqMerge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-08-07 09:56:56 +01:00
Vitor Santos Costa 24014ded21 Merge ../../yap-6.3 2018-08-06 21:16:41 +01:00
Vitor Santos Costa 8f5fd1ddc2 6.4.1 2018-08-01 03:08:10 +01:00
Vitor Santos Costa cfaedf5db4 consult 2018-07-31 22:15:06 +01:00
Vitor Santos Costa 55b2325b2e sqlite3 2018-07-31 22:13:30 +01:00
Vitor Santos Costa 22cefb0b9c missing 2018-07-31 16:26:29 +01:00
Vitor Santos Costa 828a5ec1e9 jupyter 2018-07-31 15:18:56 +01:00
Vitor Santos Costa bf712034a9 jupyter 2018-07-27 11:11:04 +01:00
Vitor Santos Costa 436f1c205a jup 2018-07-24 20:18:41 +01:00
Vitor Santos Costa bac1b63080 ipython 2018-07-23 17:13:51 +01:00
Vitor Santos Costa b4201dd0f3 jupyter 2018-07-21 23:29:01 +01:00
Vitor Santos Costa 0c950ce5b3 jup 2018-07-21 12:08:09 +01:00
Vitor Santos Costa 562e9e5af3 jupyter 2018-07-21 01:56:48 +01:00
Vitor Santos Costa abc11dcfaa :fixes 2018-07-18 17:36:01 +01:00
Vitor Santos Costa e5748f3c9f error 2018-07-17 11:43:57 +01:00
Vitor Santos Costa 37992c77be trash 2018-07-16 08:47:11 +01:00
Vitor Santos Costa 69e0c739e8 Merge ../../yap-6.3 2018-07-15 13:46:58 +01:00
Vitor Santos Costa 52d69d3c06 droid 2018-07-15 13:46:26 +01:00
Vitor Santos Costa 4b3aedccb5 misc 2018-07-15 13:44:55 +01:00
Vitor Santos Costa 94621bf8f2 real 2018-07-15 13:43:29 +01:00
Vitor Santos Costa 4fff363436 fixes 2018-07-12 15:17:01 +01:00
Vítor Santos Costa c2e2ec8fcf Merge /home/vsc/yap 2018-07-11 19:32:04 +01:00
Vítor Santos Costa aed15571ff R 2018-07-11 19:26:02 +01:00
Vitor Santos Costa 2e8dd92d89 jupyter-related-fixes 2018-07-10 23:21:19 +01:00
Vitor Santos Costa 387d7cc3fb py 2018-07-09 01:59:55 +01:00
Vitor Santos Costa 064b84895e py 2018-07-09 01:57:13 +01:00
Vitor Santos Costa c93944192e py 2018-07-09 00:50:00 +01:00
Vitor Santos Costa 260dcbe754 python 2018-07-06 16:51:19 +01:00
Vitor Santos Costa 3bf897c503 more 2018-07-03 12:42:33 +01:00
Vitor Santos Costa 48540ccc78 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-07-03 00:08:30 +01:00
Vitor Santos Costa 176dc4bfb5 android. 2018-07-03 00:54:34 +01:00
Vitor Santos Costa e2a46cf423 droid 2018-07-03 00:08:19 +01:00
Vitor Santos Costa fd492b5b16 debug 2018-07-02 16:48:00 +01:00
Vitor Santos Costa 71aed8b870 error handling 2018-07-02 15:20:17 +01:00
Vitor Santos Costa 53de04c38f Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-06-30 16:31:40 +01:00
Vitor Santos Costa 5f96c07131 debugg 2018-06-30 14:33:32 +01:00
Vitor Santos Costa c5de0d647c fix 2018-06-30 00:57:41 +01:00
Vitor Santos Costa 6c1d3d1a95 :more db stuff 2018-06-28 12:48:29 +01:00
Vitor Santos Costa d3370ee141 modules 2018-06-28 01:45:42 +01:00
Vitor Santos Costa af1fcdac19 sqlite 2018-06-27 23:49:42 +01:00
Vitor Santos Costa 1caeb168e9 Merge /home/vsc/yap 2018-06-27 23:27:08 +01:00
Vitor Santos Costa cdd892c012 fix copy_term 2018-06-27 16:38:17 +01:00
Vitor Santos Costa 0c946038d5 fixes 2018-06-27 11:38:42 +01:00
Vitor Santos Costa 8911fea5ae 32 2018-06-26 15:35:47 +01:00
Vitor Santos Costa e97ea388f8 32 2018-06-26 15:35:38 +01:00
Vitor Santos Costa 0ca40875db fix_boot 2018-06-26 11:07:07 +01:00
Vitor Santos Costa edc7d2ceb4 droid 2018-06-25 13:44:09 +01:00
Vitor Santos Costa 81b165d3dc - Android fixes
- null pointers
2018-06-22 23:55:50 +01:00
Vitor Santos Costa 3e5cd4b4f1 Merge /home/vsc/yap 2018-06-18 12:17:10 +01:00
Vitor Santos Costa 18c74933af full dir 2018-06-18 12:16:36 +01:00
Vitor Santos Costa d5b96ef518 full dir 2018-06-18 12:15:53 +01:00
Vitor Santos Costa eb43305a38 merge 2018-06-18 12:13:33 +01:00
Vitor Santos Costa 41bea46575 docs 2018-06-18 10:51:01 +01:00
Vitor Santos Costa 7522e54a2e gecode 6.0.1 2018-06-18 10:28:17 +01:00
Vitor Santos Costa c092d0f62b fix Malloc over/underflow
remove trash
2018-06-18 10:25:17 +01:00
Vitor Santos Costa f0343fc62c merge droid 2018-06-15 13:55:31 +01:00
Vitor Santos Costa a4dd2efbe7 ;Merge ../../yap-6.3 2018-06-15 13:50:55 +01:00
Vitor Santos Costa 521a5df611 fixes 2018-06-15 11:09:04 +01:00
Vitor Santos Costa d2024c1aed state 2018-06-14 11:27:43 +01:00
Vitor Santos Costa 2d55f41ef6 docs 2018-06-05 11:20:39 +01:00
Vitor Santos Costa 40096b3fdc load 2018-06-03 23:59:17 +01:00
Vitor Santos Costa 840eb3b0fd debugging 2018-06-03 20:50:44 +01:00
Vitor Santos Costa 1201357017 ios 2018-06-03 12:07:38 +01:00
Vitor Santos Costa 72a703393f Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-06-02 23:05:33 +01:00
Vitor Santos Costa 19fef7d6ac notebook 2018-06-02 23:04:51 +01:00
Vitor Santos Costa 08ece03f4a more jupytr fixes 2018-06-02 10:36:04 +01:00
Vitor Santos Costa 94a826efcc jupyter 2018-06-01 13:22:13 +01:00
Vitor Santos Costa 725a0a692a jupyter 2018-06-01 08:37:25 +01:00
Vitor Santos Costa 7325407d23 debug 2018-05-31 00:15:48 +01:00
Vitor Santos Costa bbd0122fc3 docs & python: 2018-05-30 21:54:12 +01:00
Vitor Santos Costa 9afb5b07b2 meta 2018-05-30 13:07:45 +01:00
Vítor Santos Costa 8cfeb53e77 fixes to C interface 2018-05-30 08:12:51 +01:00
Vitor Santos Costa e9274ef5d3 debwq 2018-05-29 09:59:28 +01:00
Vitor Santos Costa 2415a2e58c debugging 2018-05-28 09:31:59 +01:00
Vitor Santos Costa b59af58616 Error handlng 2018-05-27 00:47:03 +01:00
Vítor Santos Costa 4fe08fd82a memory 2018-05-26 00:22:27 +01:00
Vitor Santos Costa c4a0d5766b debug 2018-05-25 12:30:31 +01:00
Vítor Santos Costa 8c3bea4bce Merge /home/vsc/yap 2018-05-24 21:48:08 +01:00
Vítor Santos Costa 7c934d3f40 virtual streams 2018-05-24 21:45:38 +01:00
Vitor Santos Costa bb2d06fac9 debugging 2018-05-24 12:00:10 +01:00
Vitor Santos Costa ebe4ba266e Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-05-22 21:55:15 +01:00
Vitor Santos Costa 30a3b72d62 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-05-22 21:40:22 +01:00
Vitor Santos Costa ce2185e162 cmake 2018-05-22 21:40:11 +01:00
Vítor Santos Costa 8607aee725 Errors in C++ 2018-05-22 21:33:34 +01:00
Vitor Santos Costa 9ea75834ff docs & compilation 2018-05-22 12:23:52 +01:00
Vitor Santos Costa 27b540b72b Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-05-22 00:27:54 +01:00
Vítor Santos Costa 03d8a64543 small fixes 2018-05-22 00:25:32 +01:00
Vitor Santos Costa b7a97a5b19 error handling 2018-05-21 14:45:24 +01:00
Vitor Santos Costa 518ce92bea docs 2018-05-20 18:40:56 +01:00
Vitor Santos Costa bdf7088665 docd 2018-05-20 00:47:27 +01:00
Vitor Santos Costa 1c293a9af4 docs 2018-04-27 13:01:08 +01:00
Vítor Santos Costa dfacbdcfd1 Merge /home/vsc/yap 2018-04-20 19:16:13 +01:00
Vítor Santos Costa c7995f276c docs 2018-04-20 14:59:17 +01:00
Vítor Santos Costa 1b27ef94bb gc 2018-04-18 15:45:14 +01:00
Vítor Santos Costa 6095fe6e00 error_handling 2018-04-18 15:13:11 +01:00
Vitor Santos Costa 3a44eb657d fixes 2018-04-03 18:31:51 +01:00
Vítor Santos Costa c1d81ea7c6 errors 2018-04-02 14:49:45 +01:00
Vitor Santos Costa 48bcffdce7 try to fix exceptions 2018-03-29 22:33:53 +01:00
Vitor Santos Costa 508e10d0be cleanup 2018-03-28 08:54:51 +01:00
Vítor Santos Costa e3ac349a0d droid 2018-03-26 23:12:48 +01:00
Vítor Santos Costa 05356df347 Merge 192.168.1.79:github/yap-6.3 2018-03-26 11:03:08 +01:00
Vitor Santos Costa e02884a94f error handling 2018-03-24 22:56:52 +00:00
Vitor Santos Costa 0b67a66533 fix dlls 2018-03-24 22:56:21 +00:00
Vitor Santos Costa 7e0611b526 fix typo (by Paulo Moura) 2018-03-23 19:17:20 +00:00
Vitor Santos Costa c2f2490fee Merge branch 'master' of github.com:vscosta/yap-6.3 2018-03-20 12:11:44 +00:00
Vítor Santos Costa ff149367e8 carry your own backall, and remove some debugging stuff 2018-03-20 00:57:27 +00:00
Vitor Santos Costa 98d52ba347 - install missing includes
- path handling  in python
- android-only stuff,
2018-03-19 23:01:55 +00:00
Vitor Santos Costa 1b2aa6417c Merge ../../yap-6.3 2018-03-19 16:45:32 +00:00
Vitor Santos Costa da68741b74 integrate backcall 2018-03-19 15:43:06 +00:00
Vitor Santos Costa 1ff06fd2e0 integrate backcall 2018-03-19 15:41:53 +00:00
Vitor Santos Costa 2e9be3d0d4 droid 2018-03-19 15:41:06 +00:00
Vitor Santos Costa 927a43933c pythonless 2018-03-19 14:26:29 +00:00
Vitor Santos Costa 8ab38125db gecide6_first_try 2018-03-19 11:43:41 +00:00
Vitor Santos Costa 9194fda6cc better_jupyter 2018-03-19 11:43:14 +00:00
Vitor Santos Costa 56f47acc49 malloc 2018-03-19 11:42:54 +00:00
Vitor Santos Costa 353690cc59 gecode6 2018-03-18 14:23:24 +00:00
Vítor Santos Costa af610dc16d locking 2018-03-18 00:44:08 +00:00
Vitor Santos Costa cc6eca6903 jupyter 2018-03-17 10:38:56 +00:00
Vitor Santos Costa c33a0d72db booting 2018-03-14 00:41:05 +00:00
Vitor Santos Costa 1a8c26b886 jupyter 2018-03-12 15:11:59 +00:00
Vitor Santos Costa 31fd3eb344 extensions 2018-03-02 21:18:24 +00:00
Vitor Santos Costa 3a36285bb2 jupyter 2018-02-26 21:38:19 +00:00
Vitor Santos Costa 530246688c jupyter 2018-02-25 00:29:08 +00:00
Vitor Santos Costa 4db414a05a Merge 192.168.1.79:github/yap-6.3 2018-02-24 14:43:31 +00:00
Vitor Santos Costa 82df9ce5b5 jupyter_dbug 2018-02-24 14:39:17 +00:00
Vitor Santos Costa f798372fb1 simplify boot
rename boot vars for consistency
small fixes
2018-02-23 14:07:21 +00:00
Vitor Santos Costa 13f36c1f67 Merge vcosta-laptop:github/yap-6.3 2018-02-21 17:41:20 +00:00
Vitor Santos Costa 1289899918 ExportMemory 2018-02-21 17:41:00 +00:00
Vitor Santos Costa 3e71d171e7 small 2018-02-20 22:59:17 +00:00
Vitor Santos Costa 7219992154 android 2018-02-15 00:02:44 +00:00
Vitor Santos Costa e93c01f8e0 asserts 2018-02-14 14:17:57 +00:00
Vitor Santos Costa fe496e840d android 2018-02-14 00:13:13 +00:00
Vitor Santos Costa 84aaa82dbe jupyter 2018-02-08 10:48:02 +00:00
Vitor Santos Costa 34c6ace8be fixes 2018-02-07 21:48:37 +00:00
Vitor Santos Costa 66db3d53f8 boot 2018-02-02 11:50:07 +00:00
Vitor Santos Costa 5ea47853ac jupyter 2018-02-01 14:55:09 +00:00
Vitor Santos Costa 24d895d100 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/github/yap-6.3 2018-02-01 01:59:42 +00:00
Vitor Santos Costa 741c5a1e10 python 2018-02-01 01:57:46 +00:00
Vitor Santos Costa 1cafba0529 meta & kernel 2018-02-01 01:44:34 +00:00
Vitor Santos Costa aaadd51309 sync 2018-01-29 15:24:32 +00:00
Vitor Santos Costa eb9cc69bfb :module 2018-01-27 11:40:40 +00:00
Vitor Santos Costa f3f524960c fixes 2018-01-27 10:17:27 +00:00
Vitor Santos Costa 4c25aa21c5 boot 2018-01-18 14:47:27 +00:00
Vitor Santos Costa 791484c132 inputhooks 2018-01-05 17:13:37 +00:00
Vitor Santos Costa 1cff18d1c0 inputhooks 2018-01-05 17:10:28 +00:00
Vitor Santos Costa 9c862c21bc jupyter 2018-01-05 16:57:38 +00:00
Vitor Santos Costa 814aa2bd4c python 2017-12-20 00:29:15 +00:00
Vitor Santos Costa 4a5002091f tmp 2017-12-14 18:40:22 +00:00
Vitor Santos Costa 6b03c96a78 anaconda, no goal expansion within call 2017-12-13 16:56:10 +00:00
Vitor Santos Costa 85f444cc94 android 2017-12-12 11:17:33 +00:00
Vitor Santos Costa 237430afb4 Merge /Users/vsc/github/yap-6.3 2017-12-11 17:22:24 +00:00
Vitor Santos Costa 5be3fe4555 access to libs 2017-12-11 04:01:11 +00:00
Vitor Santos Costa d348e8c563 ldd 2017-12-11 03:36:21 +00:00
Vitor Santos Costa 645b2c7d93 boot 2017-12-05 15:14:57 +00:00
Vitor Santos Costa b645f60405 Merge 192.168.1.103:github/YAPDroid/app/src/yap 2017-12-01 10:56:19 +00:00
Vitor Santos Costa 55f4767621 Merge 192.168.1.103:github/yap-6.3 2017-12-01 10:49:46 +00:00