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

Commit Graph

  • a6d709dabf copy_term Vitor Santos Costa 2019-01-22 19:32:19 +0000
  • 8ce648422a Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-22 19:32:07 +0000
  • c682058942 xmas Vitor Santos Costa 2019-01-22 03:08:26 +0000
  • daa86e9c34 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-22 01:59:13 +0000
  • 17a75d79ff metas Vitor Santos Costa 2019-01-22 01:47:07 +0000
  • 1c4e272b1d merge Vitor Santos Costa 2019-01-21 21:42:27 +0000
  • 36b376d447 merge Vítor Santos Costa 2019-01-21 19:51:54 +0000
  • e83d1f9d43 : Vítor Santos Costa 2019-01-21 18:54:14 +0000
  • 4aaad2b221 Merge /home/vsc/github/yapdroid/join_yap/yap Vítor Santos Costa 2019-01-21 18:53:43 +0000
  • 86decdddde modules Vitor Santos Costa 2019-01-21 01:11:42 +0000
  • 8e2864c0cf offshore Vitor Santos Costa 2019-01-18 20:36:50 +0000
  • 670bfd421d meta Vitor Santos Costa 2019-01-18 03:49:42 +0000
  • c21c0079dc Merge /home/vsc/yap Vítor Santos Costa 2019-01-09 17:45:12 +0000
  • 29c004d62a android Vitor Santos Costa 2019-01-09 13:59:58 +0000
  • 6451328782 myddas Vitor Santos Costa 2019-01-09 09:32:09 +0000
  • c2ebd2857c Android related patches simpify meta-processing. Vitor Santos Costa 2019-01-07 14:59:20 +0000
  • 9e1a2ad41e fix term predicates Vitor Santos Costa 2019-01-07 14:59:08 +0000
  • 3f1c2352f3 jpl fixes Vitor Santos Costa 2018-12-28 17:44:28 +0000
  • 3699a715ce yapi Vitor Santos Costa 2018-12-23 15:38:56 +0000
  • d08c56fb56 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-12-21 22:53:47 +0000
  • 664c17f3b3 tuples Vitor Santos Costa 2018-12-21 22:51:52 +0000
  • 7c1a6c9cef Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-12-21 22:45:52 +0000
  • 92994fb0e4 debugging Vitor Santos Costa 2018-12-21 22:44:18 +0000
  • 31423fcf90 yapi Vitor Santos Costa 2018-12-21 20:57:53 +0000
  • f0a6018a00 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-12-21 20:57:10 +0000
  • 5b96e59311 yapi Vitor Santos Costa 2018-12-16 02:25:48 +0000
  • 37d5dcedc1 yapi Vitor Santos Costa 2018-12-16 02:21:54 +0000
  • 3fa4bfbcb2 flow Vitor Santos Costa 2018-12-14 14:53:39 +0000
  • 890f77d698 Merge ../../yapdroid/YAPDROID_libs/yap_lib_project/yap Vitor Santos Costa 2018-12-14 11:37:20 +0000
  • e66c3ab7cc :wMerge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-12-14 10:43:24 +0000
  • 705cb09f8d droid Vitor Santos Costa 2018-12-14 10:40:01 +0000
  • 44be8cf600 android Vítor Santos Costa 2018-12-14 10:29:12 +0000
  • 473132c3ec yapi Vitor Santos Costa 2018-12-12 00:39:17 +0000
  • 7e84455117 yap Vitor Santos Costa 2018-12-11 12:50:52 +0000
  • afe5780fc1 bad chars? Vitor Santos Costa 2018-12-11 08:16:54 +0000
  • 13a6cc8ece fix prolog mode Vitor Santos Costa 2018-12-10 22:55:52 +0000
  • 18e437f038 yapi Vitor Santos Costa 2018-12-10 22:40:12 +0000
  • ad57c3cad0 Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vítor Santos Costa 2018-12-07 19:24:14 +0000
  • d0418167a1 droid Vítor Santos Costa 2018-12-07 16:22:17 +0000
  • 1797e5132e yap_kernel Vitor Santos Costa 2018-12-05 09:09:19 +0000
  • 45f388156c :wqMerge branch 'master' of /home/vsc/github/YAPDroid/app/src/../../../yap-6.3 Vítor Santos Costa 2018-11-30 18:09:56 +0000
  • 6372151bf1 docs Vitor Santos Costa 2018-11-29 13:56:06 +0000
  • 000c9c0968 Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vitor Santos Costa 2018-11-29 03:03:16 +0000
  • 87a568291b docs Vitor Santos Costa 2018-11-29 03:00:58 +0000
  • b73a1f05ba Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vitor Santos Costa 2018-11-27 10:32:44 +0000
  • 3d8858954d docs Vitor Santos Costa 2018-11-27 10:32:06 +0000
  • 3a8738a7db gecode-6.1 Vitor Santos Costa 2018-11-26 12:51:30 +0000
  • 9dc86c735b myddas Vitor Santos Costa 2018-11-26 09:16:52 +0000
  • 66167abba6 myddas Vitor Santos Costa 2018-11-25 13:27:48 +0000
  • b87f0c79e9 typos/ro Vitor Santos Costa 2018-11-24 10:35:19 +0000
  • 4f7a5809d5 Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vitor Santos Costa 2018-11-24 10:25:05 +0000
  • 286432a849 warnings Vitor Santos Costa 2018-11-24 10:23:52 +0000
  • 91a5f0d1c3 swicompat Vitor Santos Costa 2018-11-24 10:13:59 +0000
  • 81e37d5ce0 Merge /home/vsc/yap Vítor Santos Costa 2018-11-23 16:12:42 +0000
  • 0230ff35d1 debugger Vitor Santos Costa 2018-11-23 14:00:20 +0000
  • 999de8df19 configuration fixes Vitor Santos Costa 2018-11-23 10:55:05 +0000
  • 9be6eb9132 small bugs Vitor Santos Costa 2018-11-23 00:01:55 +0000
  • 5fdd481d6c merge Vitor Santos Costa 2018-11-22 13:48:21 +0000
  • b7cdaa10ec Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-11-22 11:50:09 +0000
  • 556fdefe83 myddas docs Vitor Santos Costa 2018-11-22 11:48:47 +0000
  • e2863854a9 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-11-22 10:24:22 +0000
  • e528893b73 fixes to interface code Vitor Santos Costa 2018-11-22 10:23:35 +0000
  • cb8c37ce56 droid Vitor Santos Costa 2018-11-21 00:48:53 +0000
  • 40633a3f83 Merge ../../yap-6.3 Vitor Santos Costa 2018-11-17 23:56:48 +0000
  • 17411a7384 progress Vitor Santos Costa 2018-11-17 23:39:55 +0000
  • 9b31c93a46 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2018-11-17 06:23:18 +0000
  • e89bc55b9f cmake Vitor Santos Costa 2018-11-16 14:02:56 +0000
  • 27227b75c7 Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vítor Santos Costa 2018-11-15 15:40:01 +0000
  • 2df29817c8 warnings Vítor Santos Costa 2018-11-15 15:39:33 +0000
  • 50e1d90085 warnings Vítor Santos Costa 2018-11-15 15:38:40 +0000
  • fc65bd6924 missin comma Vitor Santos Costa 2018-11-15 09:18:22 +0000
  • 4fed99c0aa ismall bugs && docs Vitor Santos Costa 2018-11-14 09:35:24 +0000
  • cb5dc1313a fix in numbervrs≈ Vitor Santos Costa 2018-11-08 02:33:36 +0000
  • 337bf7b136 Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap Vitor Santos Costa 2018-11-06 23:19:51 +0000
  • b1635505ef Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap Vitor Santos Costa 2018-11-06 23:02:33 +0000
  • eb1dfc43b7 plunit Vítor Santos Costa 2018-11-06 22:53:47 +0000
  • d297a8834e bad case in #if Vítor Santos Costa 2018-11-06 22:49:11 +0000
  • 8d226bbfde fix buggy jubk Vítor Santos Costa 2018-11-06 22:47:44 +0000
  • 54e16f6f19 Merge /home/vsc/yap Vítor Santos Costa 2018-11-06 16:50:42 +0000
  • 55ebeb7dd8 fix numbervars Vitor Santos Costa 2018-11-05 01:24:08 +0000
  • 76cfa609c2 listing Vitor Santos Costa 2018-11-04 10:55:58 +0000
  • a1f8631844 reset Vitor Santos Costa 2018-11-03 10:49:35 +0000
  • 0f313755cc top Vitor Santos Costa 2018-11-02 17:16:18 +0000
  • 4a0dd26ecb hide´ Vitor Santos Costa 2018-11-02 15:32:05 +0000
  • a6090a61ab metas Vitor Santos Costa 2018-11-02 12:14:04 +0000
  • 52bb6a92f1 Merge /home/vsc/yap Vítor Santos Costa 2018-10-31 13:57:37 +0000
  • 8e1945ad63 fix uninit field improve lbfgs Vítor Santos Costa 2018-10-31 13:56:27 +0000
  • 004bbef62b errors Vitor Santos Costa 2018-10-31 00:35:49 +0000
  • a491f71cb0 stack Vitor Santos Costa 2018-10-29 13:32:29 +0000
  • 0d8e28af3e Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap Vitor Santos Costa 2018-10-29 13:32:15 +0000
  • 670c2cbf13 errors Vitor Santos Costa 2018-10-29 10:42:36 +0000
  • 5b21bc118f errirs Vitor Santos Costa 2018-10-29 10:24:32 +0000
  • ebd4dffed3 error Vitor Santos Costa 2018-10-28 10:10:40 +0000
  • 7381bf0d84 debuggere Vitor Santos Costa 2018-10-27 21:06:43 +0100
  • a7fe5683a8 debugging Vitor Santos Costa 2018-10-25 18:03:54 +0100
  • 408c15f5eb Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap Vitor Santos Costa 2018-10-25 15:49:49 +0100
  • 563b642672 debug Vitor Santos Costa 2018-10-25 13:57:18 +0100
  • e163ccb6c0 Merge branch 'master' of https://github.com/vscosta/yap-6.3 Vítor Santos Costa 2018-10-24 21:58:47 +0100
  • f0260d2978 fix debugger crssh Vítor Santos Costa 2018-10-24 21:45:41 +0100
  • 3df0110947 cleanups for mac Vitor Santos Costa 2018-10-24 13:15:19 +0100