Commit Graph

176 Commits

Author SHA1 Message Date
Vítor Santos Costa 552cefbcd0 fixes 2019-05-17 06:08:00 +01:00
Vitor Santos Costa 9ea395c031 modules 2019-04-08 13:16:21 +01:00
Vitor Santos Costa cab11f5205 droid vs myddas 2019-04-07 00:25:10 +01:00
Vitor Santos Costa 0f1eaa827a droid 2019-04-06 10:07:54 +01:00
Vitor Santos Costa 186c156a4a android 2019-04-05 23:52:34 +01:00
Vitor Santos Costa 30a332b671 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-04-05 18:47:11 +01:00
Vítor Santos Costa 0b5a5a33bb droid 2019-04-05 18:31:45 +01:00
Vitor Santos Costa d306a1bf0c plunit needs work 2019-04-05 16:56:01 +01:00
Vitor Santos Costa 4926067be9 shift modules around. 2019-03-31 11:46:17 +01:00
Vítor Santos Costa 3f9e57fc48 fixes in module flow
also:
  - user is everyone's parent;
  - system predicate <=> prolog:predicate
2019-03-30 10:37:16 +00:00
Vitor Santos Costa 29c004d62a android 2019-01-09 13:59:58 +00:00
Vitor Santos Costa 6451328782 myddas 2019-01-09 09:32:09 +00:00
Vitor Santos Costa 3fa4bfbcb2 flow 2018-12-14 14:53:39 +00:00
Vítor Santos Costa d0418167a1 droid 2018-12-07 16:22:17 +00:00
Vitor Santos Costa 9dc86c735b myddas 2018-11-26 09:16:52 +00:00
Vitor Santos Costa 66167abba6 myddas 2018-11-25 13:27:48 +00:00
Vitor Santos Costa b87f0c79e9 typos/ro 2018-11-24 10:35:19 +00:00
Vitor Santos Costa 0230ff35d1 debugger 2018-11-23 14:00:20 +00:00
Vitor Santos Costa 999de8df19 configuration fixes 2018-11-23 10:55:05 +00:00
Vitor Santos Costa 9be6eb9132 small bugs 2018-11-23 00:01:55 +00:00
Vitor Santos Costa 556fdefe83 myddas
docs
2018-11-22 11:48:47 +00:00
Vitor Santos Costa 17411a7384 progress 2018-11-17 23:39:55 +00:00
Vitor Santos Costa e89bc55b9f cmake 2018-11-16 14:02:56 +00:00
Vitor Santos Costa cb5dc1313a fix in numbervrs≈ 2018-11-08 02:33:36 +00:00
Vítor Santos Costa eb1dfc43b7 plunit 2018-11-06 22:53:47 +00:00
Vitor Santos Costa 76cfa609c2 listing 2018-11-04 10:55:58 +00:00
Vitor Santos Costa 8fcf3eb008 lbfgs
memory leaks with _output_
improve configure
2018-10-19 14:56:49 +01:00
Vitor Santos Costa 3d5303529f fix_warnings 2018-10-07 16:57:44 +01:00
Vitor Santos Costa 87c6971bb6 WIN32 2018-09-26 01:14:14 +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 55b2325b2e sqlite3 2018-07-31 22:13:30 +01:00
Vitor Santos Costa 52d69d3c06 droid 2018-07-15 13:46:26 +01:00
Vitor Santos Costa 3bf897c503 more 2018-07-03 12:42:33 +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