HEAD | 68d041f | mc_particle_sample/4 available | 08 February 2024, 07:58:50 UTC |
refs/heads/abd_mp | 88f6a9e | fixed interaction between slipcover and pita | 12 August 2017, 15:37:01 UTC |
refs/heads/abduction | acfbd9b | Merge remote-tracking branch 'origin/master' into abduction | 29 October 2021, 07:15:56 UTC |
refs/heads/amcmc | f4b4b47 | resample correctly expresseed for lag>1 | 03 May 2019, 05:14:44 UTC |
refs/heads/assert | 7e7aae8 | samp->sampled, flattened | 29 October 2017, 08:54:35 UTC |
refs/heads/bagof | c3967ac | seems to be working | 27 February 2018, 21:43:56 UTC |
refs/heads/bddem_sampling | 9a4b7e3 | using sampling preds from bddem | 25 November 2018, 11:08:54 UTC |
refs/heads/dtproblog | 81d2681 | fix gc error | 07 June 2019, 12:04:02 UTC |
refs/heads/gibbs | 9cd3aaa | sample removal | 06 September 2018, 13:35:32 UTC |
refs/heads/gibbs_fix | 425ab7c | ADDED: Gibbs in manual | 10 September 2018, 11:41:06 UTC |
refs/heads/input_mod | c99bd01 | updated manual (removed test_lm..) | 04 July 2017, 14:00:23 UTC |
refs/heads/master | 68d041f | mc_particle_sample/4 available | 08 February 2024, 07:58:50 UTC |
refs/heads/meta | 4d2fecc | user-defined distributions | 26 April 2019, 15:47:07 UTC |
refs/heads/mh_amcmc | c3d09c4 | version of mh close to amcmc | 13 June 2019, 17:05:10 UTC |
refs/heads/multiple_paths | 524a39f | added tests for multiple paths | 11 August 2017, 17:38:56 UTC |
refs/heads/new_tabling | 5aca500 | updated examples to new tabled version (no wrappers 'p tabled/n') | 01 June 2019, 09:30:35 UTC |
refs/heads/newdoc | 938341b | fix folder docs | 24 June 2019, 08:11:10 UTC |
refs/heads/numbering | ae918fd | meta call working | 03 July 2017, 14:32:07 UTC |
refs/heads/pita_depth_bound_fix | 2130cf1 | fixed problem when answering query with depth_bound set to true | 10 October 2017, 12:54:41 UTC |
refs/heads/pita_ind_tabling | 1faad3d | pitaind with tabling. Not working because answers are considered extra times | 02 November 2017, 12:36:43 UTC |
refs/heads/simple_init | 1111024 | refactored C code | 04 November 2018, 09:32:41 UTC |
refs/heads/simplegibbs | b2b4b49 | simplified gibbs | 30 April 2019, 10:29:51 UTC |
refs/heads/slipcover-test-no-area | 4c5509e | test webhook 2 | 10 October 2016, 09:38:27 UTC |
refs/heads/slipcover_r | 4a21535 | moved test_r to cplint_r | 03 July 2017, 12:35:40 UTC |
refs/heads/tabling | ba6dbb9 | initial tab impl | 08 August 2017, 05:54:52 UTC |
refs/heads/tabling_alt | fa103e4 | tabling working | 08 August 2017, 08:21:04 UTC |
refs/heads/tabling_alt_full | 6e56441 | badly placed cut for table dir | 13 August 2017, 16:55:31 UTC |
refs/heads/tabling_alt_full_sc | 9dcdc84 | handling of depth bound | 15 October 2017, 06:16:05 UTC |
refs/tags/3.1.0 | 305ee49 | url for github releases | 25 November 2016, 07:41:26 UTC |
refs/tags/v.4.1.0 | 3731f74 | binary lib for linux | 04 November 2018, 09:42:41 UTC |
refs/tags/v3.1.0 | 305ee49 | url for github releases | 25 November 2016, 07:41:26 UTC |
refs/tags/v3.2.0 | 190fb62 | Merge pull request #8 from frnmst/master Added some predicates to the interface. | 09 December 2016, 13:46:34 UTC |
refs/tags/v4.0.0 | 97f2efa | correct version | 25 October 2018, 09:06:11 UTC |
refs/tags/v4.1.0 | 3731f74 | binary lib for linux | 04 November 2018, 09:42:41 UTC |
refs/tags/v4.5.0 | 6acd2b1 | version 4.5.0: bddem as a separate pack | 04 November 2018, 14:59:04 UTC |