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

Commit Graph

  • 78473ddd2c Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-03-27 11:04:07 +0000
  • 7383ff79cc jupyter Vitor Santos Costa 2019-03-27 11:01:55 +0000
  • b7cd534d80 jupyter Vitor Santos Costa 2019-03-26 23:53:47 +0000
  • c0f7dfe3c3 jupyter Vitor Santos Costa 2019-03-26 15:34:42 +0000
  • 69fcc9494c jupyter Vitor Santos Costa 2019-03-26 09:40:54 +0000
  • 953667db21 bddss Vitor Santos Costa 2019-03-22 15:41:14 +0000
  • 25afc1477c modules Vitor Santos Costa 2019-03-21 09:02:43 +0000
  • 9980dd49a7 deb Vitor Santos Costa 2019-03-20 10:52:38 +0000
  • e626847e93 synch Vitor Santos Costa 2019-03-19 20:51:11 +0000
  • 044d455597 doc Vítor Santos Costa 2019-03-19 20:13:21 +0000
  • 96a40f1d50 jupyter Vitor Santos Costa 2019-03-19 18:42:17 +0000
  • 70a43ece1d jupyter Vitor Santos Costa 2019-03-18 14:47:29 +0000
  • e8d9e71a4e lbfgs Vitor Santos Costa 2019-03-17 23:01:48 +0000
  • d10589d60f Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/github/yap-6.3 Vitor Santos Costa 2019-03-15 12:39:05 +0000
  • 044329d115 bbdd Vitor Santos Costa 2019-03-15 12:38:09 +0000
  • 6825c3e2ac missing file Vítor Santos Costa 2019-03-14 03:11:06 +0000
  • e3c399af48 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/github/yap-6.3 Vitor Santos Costa 2019-03-14 02:13:28 +0000
  • e5e38551e0 missing file Vitor Santos Costa 2019-03-14 02:11:50 +0000
  • 47b13c3836 :Merge /home/vsc/yap Vítor Santos Costa 2019-03-12 15:57:40 +0000
  • 4afbc4461c problog Vitor Santos Costa 2019-03-12 10:51:39 +0000
  • 56c4220cf6 Merge /home/vsc/yap Vítor Santos Costa 2019-03-11 19:07:10 +0000
  • 4d2b18908d fixes Vítor Santos Costa 2019-03-11 19:05:39 +0000
  • ab56074bb1 assert(3) Vitor Santos Costa 2019-03-09 11:23:30 +0000
  • 9378622d42 current_prdicate/2 r Please enter the commit message for your changes. Lines starting Vítor Santos Costa 2019-03-09 06:50:09 +0000
  • 32a5158c6b problog Vitor Santos Costa 2019-03-06 10:49:55 +0000
  • 21ff73dd70 modules Vitor Santos Costa 2019-03-04 15:49:53 +0000
  • 7ab1624401 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-03-03 12:27:29 +0000
  • ae426a3b27 typos Vitor Santos Costa 2019-03-03 04:31:23 +0000
  • 5ec424645d typos Vitor Santos Costa 2019-03-03 04:31:10 +0000
  • 3f4fd7d7a3 silent Vitor Santos Costa 2019-03-03 02:19:34 +0000
  • ff61ab9953 debugger emulation Vitor Santos Costa 2019-03-03 02:13:51 +0000
  • 908cfe3b77 smallStuff Vitor Santos Costa 2019-03-03 02:01:39 +0000
  • 5ff09fbf26 indicators Vítor Santos Costa 2019-02-28 21:57:48 +0000
  • 8d30742d8f warnings Vitor Santos Costa 2019-02-27 15:54:20 +0000
  • facf7ae8cd small patches Vitor Santos Costa 2019-02-27 11:04:32 +0000
  • 2d65d0463c jupyter Vitor Santos Costa 2019-02-27 04:23:21 +0000
  • 5d7c6378e7 :Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-02-27 04:22:59 +0000
  • ccfbe3f809 various fixes Vitor Santos Costa 2019-02-21 21:03:44 +0000
  • 7dca1f1390 fixes Vítor Santos Costa 2019-02-21 20:19:31 +0000
  • 84721e1005 copy Vitor Santos Costa 2019-02-20 10:45:21 +0000
  • c248ef9ccf Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-02-19 15:56:26 +0000
  • cb0f5ec4db errors Vitor Santos Costa 2019-02-19 15:56:22 +0000
  • f483838610 overflows Vitor Santos Costa 2019-02-19 15:53:36 +0000
  • c792db26be fix tracer calls Vitor Santos Costa 2019-02-18 09:54:39 +0000
  • 79d2330e71 handle Z=[X,Z], X=y(X) Vitor Santos Costa 2019-02-17 23:19:26 +0000
  • 6a3c4bda79 fix Vitor Santos Costa 2019-02-17 07:58:06 +0000
  • 2c1565ac0e trees Vitor Santos Costa 2019-02-16 13:09:30 +0000
  • 5c41c509c0 fixes Vitor Santos Costa 2019-02-15 23:04:35 +0000
  • 1ef3f738ee more loops. Vítor Santos Costa 2019-02-15 21:09:58 +0000
  • 1bd2f0338c Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-02-15 13:51:22 +0000
  • 90f5720fb0 boot Vitor Santos Costa 2019-02-15 13:50:24 +0000
  • 244d04f90b :Merge /home/vsc/yap Vítor Santos Costa 2019-02-14 13:08:24 +0000
  • 4b5ae9331f clpbn Vitor Santos Costa 2019-02-14 09:08:15 +0000
  • 593877f39d fixes Vítor Santos Costa 2019-02-14 07:44:31 +0000
  • 302519868f loops Vitor Santos Costa 2019-02-14 00:38:14 +0000
  • 71940dec67 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-02-14 00:38:02 +0000
  • 394ecd4657 more PL fixes Vitor Santos Costa 2019-02-13 21:46:00 +0000
  • 76b4ddee9c fixes Vítor Santos Costa 2019-02-13 14:31:29 +0000
  • c4b78e161b moredeb Vitor Santos Costa 2019-02-13 09:44:24 +0000
  • 2c80e33c6a more fixes to threes, Vitor Santos Costa 2019-02-11 18:10:31 +0000
  • ac60bee30d loops Vitor Santos Costa 2019-02-11 09:28:46 +0000
  • 3fdc260ee6 fixes Vitor Santos Costa 2019-02-10 00:18:08 +0000
  • 24b6908225 write Vitor Santos Costa 2019-02-09 09:43:26 +0000
  • d0f05d3578 new Vitor Santos Costa 2019-02-08 15:01:12 +0000
  • 4678b2baee dbg Vitor Santos Costa 2019-02-08 09:33:07 +0000
  • 933db5bc7e deb Vitor Santos Costa 2019-02-06 15:08:25 +0000
  • 4092003cd6 deb Vitor Santos Costa 2019-02-06 00:08:15 +0000
  • e5945b8e8b deb Vitor Santos Costa 2019-02-05 13:59:33 +0000
  • 4bc0292ad6 fixes Vitor Santos Costa 2019-02-05 10:31:17 +0000
  • 3b8475f882 ptd0 Vítor Santos Costa 2019-02-04 22:10:30 +0000
  • cb4d17cb4f deb Vitor Santos Costa 2019-02-04 15:10:06 +0000
  • d874dc5857 fixes Vitor Santos Costa 2019-02-04 10:42:23 +0000
  • 7045b6ef36 cyclic_term/1 Vitor Santos Costa 2019-02-04 01:08:18 +0000
  • 208438f0d0 debugging rts Vitor Santos Costa 2019-02-03 21:35:12 +0000
  • 38610c0b0d rational trees Vítor Santos Costa 2019-02-02 22:33:18 +0000
  • fa96ffa932 loops Vítor Santos Costa 2019-02-01 13:14:33 +0000
  • ca2542c798 cou numbered vars Vitor Santos Costa 2019-01-31 16:40:41 +0000
  • b382c060e3 booting Vitor Santos Costa 2019-01-31 12:46:35 +0000
  • f6b16ca505 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-31 12:08:28 +0000
  • b71b4f6fca boot Vitor Santos Costa 2019-01-31 11:54:17 +0000
  • c1dc6b7fb2 boot Vitor Santos Costa 2019-01-31 11:52:03 +0000
  • f7ed109d1c debugging Vitor Santos Costa 2019-01-30 15:24:06 +0000
  • 847edfd432 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-30 11:18:09 +0000
  • 0507d80403 docs Vitor Santos Costa 2019-01-30 11:17:53 +0000
  • dfe0698f03 small booting fixes Vítor Santos Costa 2019-01-30 10:44:28 +0000
  • 55ea7d35a3 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-28 15:16:22 +0000
  • 09d8d07b7e ugh Vitor Santos Costa 2019-01-28 15:02:55 +0000
  • 7f71184785 bug Vitor Santos Costa 2019-01-27 23:54:02 +0000
  • 36fedfa321 fixes Vitor Santos Costa 2019-01-27 11:05:20 +0000
  • 13d764067f write Vitor Santos Costa 2019-01-27 10:11:56 +0000
  • 5ec9e31eb9 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-26 12:49:32 +0000
  • b395177faa fixes Vitor Santos Costa 2019-01-26 12:44:43 +0000
  • 700d6ae707 fixes Vitor Santos Costa 2019-01-25 13:54:02 +0000
  • 650653cc64 fixes Vitor Santos Costa 2019-01-25 08:57:13 +0000
  • bfe5fc2f49 tests on infinite terms. Vítor Santos Costa 2019-01-24 19:08:10 +0000
  • 93bb39d5f7 copy_term Vítor Santos Costa 2019-01-24 19:03:18 +0000
  • a3dd1a1520 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap Vitor Santos Costa 2019-01-24 13:28:07 +0000
  • 92089074f1 write_loops Vitor Santos Costa 2019-01-24 13:27:23 +0000
  • e0467d95d4 merge Vítor Santos Costa 2019-01-23 18:16:13 +0000
  • 2a090f3484 term to term Vitor Santos Costa 2019-01-23 14:31:31 +0000