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

Commit Graph

  • 6d018bbf2c sync master Vítor Santos Costa 2019-05-28 22:48:00 +0100
  • 92181e534e Merge https://github.com/vscosta/yap-6.3 Vítor Santos Costa 2019-05-28 22:42:17 +0100
  • d76fa9ca3d fix bad merge Vítor Santos Costa 2019-05-28 19:30:04 +0100
  • e6ffe9c2a0 lbfgs and Problog ex. Vitor Santos Costa 2019-05-27 15:34:24 +0100
  • ef8e9a2ea3 Problog testing: modules :( Vitor Santos Costa 2019-05-27 15:32:39 +0100
  • 07cd79ccb7 fix overflow handling in global variables fix use of must_be_callable. Vitor Santos Costa 2019-05-27 15:31:22 +0100
  • 8f8da92603 getting better Vitor Santos Costa 2019-05-25 11:19:29 +0100
  • 60adbb9a75 dbg Vitor Santos Costa 2019-05-25 09:06:55 +0100
  • ee12fea7cd write Vítor Santos Costa 2019-05-25 01:19:20 +0100
  • e96aea3340 wr Vitor Santos Costa 2019-05-24 15:26:21 +0100
  • db7047249c small fixes: Vítor Santos Costa 2019-05-23 23:40:19 +0100
  • 0036e3632e ovfl Vitor Santos Costa 2019-05-22 11:00:53 +0100
  • 402e6cab55 tmp Vitor Santos Costa 2019-05-22 01:21:50 +0100
  • 1a6e97655b - 0 char (from P Moura); - stack shifting - uninitialized pointers in jpl Vítor Santos Costa 2019-05-21 20:37:16 +0100
  • e7535dd2ee ovfl Vitor Santos Costa 2019-05-21 13:50:41 +0100
  • 8c3c3f921c debugger fixes; stack shifting init Vitor Santos Costa 2019-05-21 13:03:28 +0100
  • 52da71cee7 debugging Vitor Santos Costa 2019-05-20 08:25:50 +0100
  • 69dc2a963c debugger Vitor Santos Costa 2019-05-20 01:00:41 +0100
  • 0e47ddc802 prompt Vítor Santos Costa 2019-05-19 09:48:13 +0100
  • c3a254e44d deb_fixing Vítor Santos Costa 2019-05-18 09:47:17 +0100
  • 0949f6b494 scanner-parser interface - I Vitor Santos Costa 2019-05-17 17:49:30 +0100
  • 552cefbcd0 fixes Vítor Santos Costa 2019-05-17 06:08:00 +0100
  • ef226da706 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-05-16 13:25:04 +0100
  • 5382d4739c deb Vitor Santos Costa 2019-05-16 13:24:20 +0100
  • d3e3515a5f Merge /home/vsc/yap Vítor Santos Costa 2019-05-15 18:59:06 +0100
  • 920b63c6bc Merge https://github.com/vscosta/yap-6.3 Vítor Santos Costa 2019-05-15 18:54:04 +0100
  • ef3d435dec debugger cleanup - I Vitor Santos Costa 2019-05-15 18:51:50 +0100
  • 60890fbf0b python Vítor Santos Costa 2019-05-15 18:48:56 +0100
  • fb73f42d26 Merge /home/vsc/yap Vítor Santos Costa 2019-05-14 15:08:21 +0100
  • 203c064b03 merge Vítor Santos Costa 2019-05-14 15:06:12 +0100
  • babf3dd77d gecode Vitor Santos Costa 2019-05-12 15:40:29 +0100
  • 46b9b46bca debuggecode Vitor Santos Costa 2019-05-11 11:24:15 +0100
  • 4d395761a4 debugger Vítor Santos Costa 2019-05-10 03:05:40 +0100
  • e23055d4f0 gecode debugger. Vitor Santos Costa 2019-05-09 12:44:50 +0100
  • adf6ffd2a6 left-over Vitor Santos Costa 2019-05-04 10:45:42 +0100
  • 937189ab9e Merge /home/vsc/yap Vítor Santos Costa 2019-05-03 19:09:26 +0100
  • 008c091e3c yap4r Vítor Santos Costa 2019-05-03 19:08:47 +0100
  • 874f621477 ovfl Vitor Santos Costa 2019-05-03 12:40:47 +0100
  • 91a79d778b fix global overfloow. Vitor Santos Costa 2019-05-03 01:03:22 +0100
  • 644606d8bb Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-05-02 21:03:57 +0100
  • 86d6751c98 glucose-4 Vitor Santos Costa 2019-05-02 20:54:22 +0100
  • c91faf8bc3 fix tracing of functor/ arg fix leaks in Malloc handle overfows in globals. Vitor Santos Costa 2019-05-02 20:51:46 +0100
  • 7c16af4edf -Interface issues Vitor Santos Costa 2019-05-01 01:34:58 +0100
  • 54a222e5df call fixes Vitor Santos Costa 2019-04-27 11:55:22 -0500
  • 984cf8a07c loaddb Vitor Santos Costa 2019-04-25 14:02:28 -0500
  • dc5b90a643 compilation fixes Vitor Santos Costa 2019-04-25 19:02:01 +0100
  • 5f819fd7b4 Merge branch 'master' of 192.168.1.79:/Users/vsc/github/yap-6.5 Vitor Santos Costa 2019-04-25 16:15:55 +0100
  • b97338f84d reset excess change Vitor Santos Costa 2019-04-24 12:10:06 +0100
  • a87654b0b0 exec Vitor Santos Costa 2019-04-24 10:31:05 +0100
  • 71fc7238ff exec Vitor Santos Costa 2019-04-22 12:18:22 +0100
  • b1b6afe801 bee Vitor Santos Costa 2019-04-22 12:17:00 +0100
  • 16015bd8e6 bee Vitor Santos Costa 2019-04-22 12:15:21 +0100
  • 73b6dd4fac gecode 6.2 dbload Vitor Santos Costa 2019-04-20 13:27:37 +0100
  • 6a65977b0f reuse buffer Vitor Santos Costa 2019-04-20 12:49:35 +0100
  • 1f7835c5ef fix_dbload Vitor Santos Costa 2019-04-20 12:48:33 +0100
  • 9101620974 conda Vitor Santos Costa 2019-04-20 03:25:12 -0500
  • d8b4d1c878 fixes Vitor Santos Costa 2019-04-16 09:53:20 +0100
  • 7d85bbfa27 py Vítor Santos Costa 2019-04-13 14:05:31 +0100
  • 9172f2994b interfacing Vitor Santos Costa 2019-04-12 17:32:26 +0100
  • 8070e65354 goal Vitor Santos Costa 2019-04-12 10:48:01 +0100
  • e7a2195af6 6.1.1 Vitor Santos Costa 2019-04-12 10:44:17 +0100
  • 8da14e339a borders Vítor Santos Costa 2019-04-11 22:17:00 +0100
  • 1739529c8b recursuve_calling Vítor Santos Costa 2019-04-10 18:51:40 +0100
  • fda10395b8 c-interface Vitor Santos Costa 2019-04-09 18:06:27 +0100
  • 9ea395c031 modules Vitor Santos Costa 2019-04-08 13:16:21 +0100
  • 1cde9d0eed extras Vitor Santos Costa 2019-04-07 23:09:01 +0100
  • 31743139b0 R-interface Vitor Santos Costa 2019-04-07 00:46:30 +0100
  • cab11f5205 droid vs myddas Vitor Santos Costa 2019-04-07 00:25:10 +0100
  • 0f1eaa827a droid Vitor Santos Costa 2019-04-06 10:07:54 +0100
  • 186c156a4a android Vitor Santos Costa 2019-04-05 23:52:34 +0100
  • 30a332b671 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-04-05 18:47:11 +0100
  • 3bfaee9226 Merge /home/vsc/yap Vítor Santos Costa 2019-04-05 18:32:04 +0100
  • 0b5a5a33bb droid Vítor Santos Costa 2019-04-05 18:31:45 +0100
  • d306a1bf0c plunit needs work Vitor Santos Costa 2019-04-05 16:56:01 +0100
  • 07c8c6d7b1 docker Vítor Santos Costa 2019-04-05 10:53:03 +0100
  • d72770a18c lbfgs Vítor Santos Costa 2019-04-05 08:55:12 +0100
  • ead29987d6 lbfgs Vítor Santos Costa 2019-04-05 02:04:06 +0100
  • c840e9cabb Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-04-04 13:27:47 +0100
  • 13982dcc94 heap Vitor Santos Costa 2019-04-04 13:27:06 +0100
  • 299a1edf8b Merge /home/vsc/yap Vítor Santos Costa 2019-04-03 17:09:29 +0100
  • a237596736 fixes Vítor Santos Costa 2019-04-03 17:08:12 +0100
  • b5205f1193 droid Vitor Santos Costa 2019-04-03 15:46:47 +0100
  • 57cc6ab170 merge Merge /home/vsc/github/yap-6.3 Vitor Santos Costa 2019-04-03 15:15:33 +0100
  • c04298c1d7 r + lbfhs Vitor Santos Costa 2019-04-03 15:04:24 +0100
  • 134288da68 yapr Vítor Santos Costa 2019-04-03 10:39:22 +0100
  • 03232f53ce install Vítor Santos Costa 2019-04-03 10:30:12 +0100
  • 10307c27fe fixes Vitor Santos Costa 2019-04-02 15:32:50 +0100
  • f54989e03e Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-04-02 11:23:39 +0100
  • 644a9ad852 bug fixes Vitor Santos Costa 2019-04-02 11:22:01 +0100
  • 63a514cad5 yap4r Vítor Santos Costa 2019-04-02 10:27:37 +0100
  • 9156b90b66 bfgs Vitor Santos Costa 2019-04-01 13:40:17 +0100
  • b24df86cb0 debugger yap4r Vitor Santos Costa 2019-04-01 09:27:55 +0100
  • 2f1eb61cf9 yap4r Vitor Santos Costa 2019-03-31 23:23:04 +0100
  • 0112ad9c20 -temp fixes Vitor Santos Costa 2019-03-31 23:14:14 +0100
  • 4926067be9 shift modules around. Vitor Santos Costa 2019-03-31 11:46:17 +0100
  • 4dff2ad2ec allow (m:a)/i as indicator. Vitor Santos Costa 2019-03-31 11:45:03 +0100
  • 3f9e57fc48 fixes in module flow also: - user is everyone's parent; - system predicate <=> prolog:predicate Vítor Santos Costa 2019-03-30 10:37:16 +0000
  • 2af4dae017 ilbfgs Vitor Santos Costa 2019-03-29 14:37:03 +0000
  • de153bd479 errors Vitor Santos Costa 2019-03-28 14:06:16 +0000
  • c50367325e jupyter Vitor Santos Costa 2019-03-27 16:31:31 +0000