c3d09c4 | Fabrizio Riguzzi | 13 June 2019, 17:05:10 UTC | version of mh close to amcmc | 13 June 2019, 17:05:10 UTC |
dada37e | Fabrizio Riguzzi | 07 June 2019, 06:49:08 UTC | alpha setting in lemur | 07 June 2019, 06:49:08 UTC |
d005956 | Fabrizio Riguzzi | 05 June 2019, 17:31:08 UTC | typo | 05 June 2019, 17:31:08 UTC |
0b8f501 | Fabrizio Riguzzi | 05 June 2019, 17:13:47 UTC | fixed warning | 05 June 2019, 17:13:47 UTC |
54f49c3 | Fabrizio Riguzzi | 01 June 2019, 12:08:04 UTC | graph drawing updated for new mcintyre | 01 June 2019, 12:08:04 UTC |
7bd809c | Fabrizio Riguzzi | 01 June 2019, 10:59:11 UTC | Merge branch 'new_tabling' | 01 June 2019, 10:59:11 UTC |
5f2dcbd | Damiano Azzolini | 01 June 2019, 10:29:10 UTC | new test for dt_vira_probs | 01 June 2019, 10:29:10 UTC |
7aa87e7 | Damiano Azzolini | 01 June 2019, 10:28:25 UTC | restored dt_weather | 01 June 2019, 10:28:25 UTC |
d16fbfd | Damiano Azzolini | 01 June 2019, 10:27:59 UTC | cleaned code, removed choice point | 01 June 2019, 10:27:59 UTC |
5aca500 | Fabrizio Riguzzi | 01 June 2019, 09:30:35 UTC | updated examples to new tabled version (no wrappers 'p tabled/n') | 01 June 2019, 09:30:35 UTC |
39e40a1 | Fabrizio Riguzzi | 01 June 2019, 08:29:42 UTC | singleton | 01 June 2019, 08:29:42 UTC |
b07fe60 | Fabrizio Riguzzi | 01 June 2019, 08:16:36 UTC | cplint working with new swipl tabling (no need to consider wrapper predicates 'p tabled'/n) | 01 June 2019, 08:16:36 UTC |
ca61696 | Damiano Azzolini | 29 May 2019, 20:54:59 UTC | removed old files | 29 May 2019, 20:54:59 UTC |
1e8cbbb | Damiano Azzolini | 29 May 2019, 20:52:17 UTC | Merge branch 'master' of https://github.com/friguzzi/cplint | 29 May 2019, 20:52:17 UTC |
3e2892f | Fabrizio Riguzzi | 29 May 2019, 16:32:49 UTC | Merge pull request #25 from friguzzi/dtproblog Dtproblog | 29 May 2019, 16:32:49 UTC |
e8ca1c2 | Damiano Azzolini | 29 May 2019, 14:08:35 UTC | fix conflicts with master | 29 May 2019, 14:08:35 UTC |
a26ebde | Damiano Azzolini | 26 May 2019, 14:25:06 UTC | rename predicates | 26 May 2019, 14:25:06 UTC |
2a7aa2f | Damiano Azzolini | 07 May 2019, 09:36:16 UTC | cleaned code | 07 May 2019, 09:36:16 UTC |
f365794 | Damiano Azzolini | 07 May 2019, 09:36:02 UTC | test pita | 07 May 2019, 09:36:02 UTC |
6446ac3 | Damiano Azzolini | 07 May 2019, 09:35:33 UTC | examples | 07 May 2019, 09:35:33 UTC |
fe60804 | Fabrizio Riguzzi | 02 May 2019, 21:45:28 UTC | reverted the last two commits | 02 May 2019, 21:45:28 UTC |
cc98567 | Fabrizio Riguzzi | 02 May 2019, 21:26:29 UTC | if the same sample is taken the old state is reused | 02 May 2019, 21:26:29 UTC |
804a3eb | Fabrizio Riguzzi | 02 May 2019, 21:24:09 UTC | fixed counting | 02 May 2019, 21:24:09 UTC |
a9f384a | Fabrizio Riguzzi | 28 April 2019, 13:22:36 UTC | alignment with xsb | 28 April 2019, 13:22:36 UTC |
ef39ea8 | Fabrizio Riguzzi | 28 April 2019, 07:38:46 UTC | alignment with xsb | 28 April 2019, 07:38:46 UTC |
077a951 | Fabrizio Riguzzi | 27 April 2019, 09:07:56 UTC | discrete dist only finite for lw (only dist that can change the derivation) | 27 April 2019, 09:07:56 UTC |
1d83746 | Fabrizio Riguzzi | 26 April 2019, 17:40:36 UTC | typo | 26 April 2019, 17:40:36 UTC |
4b6ec12 | Fabrizio Riguzzi | 26 April 2019, 17:39:29 UTC | typos | 26 April 2019, 17:39:29 UTC |
69b2567 | Fabrizio Riguzzi | 26 April 2019, 17:34:50 UTC | urls for examples with only e | 26 April 2019, 17:34:50 UTC |
3127b6c | Fabrizio Riguzzi | 26 April 2019, 17:29:39 UTC | examples of user def dist | 26 April 2019, 17:29:39 UTC |
ecb103c | Fabrizio Riguzzi | 26 April 2019, 17:25:22 UTC | user-defined distributions also in manual | 26 April 2019, 17:25:22 UTC |
0bfd854 | Fabrizio Riguzzi | 26 April 2019, 17:04:06 UTC | fixed doc on distributions | 26 April 2019, 17:04:06 UTC |
4d2fecc | Fabrizio Riguzzi | 26 April 2019, 15:47:07 UTC | user-defined distributions | 26 April 2019, 15:47:07 UTC |
9e6800d | Fabrizio Riguzzi | 26 April 2019, 14:44:30 UTC | meta passing all tests | 26 April 2019, 14:44:30 UTC |
df745e8 | Fabrizio Riguzzi | 26 April 2019, 13:58:30 UTC | refcotred code to metacall distributions, 1 kf test not passing | 26 April 2019, 13:58:30 UTC |
5a60f45 | Fabrizio Riguzzi | 26 April 2019, 08:29:49 UTC | all samples stored in the input module instead of in the mcintyre module | 26 April 2019, 08:29:49 UTC |
9e73eec | Fabrizio Riguzzi | 26 April 2019, 05:19:35 UTC | fixed variable extraction in gibbs to avoid choice points and ensure correctness | 26 April 2019, 05:19:35 UTC |
d9b98be | Fabrizio Riguzzi | 25 April 2019, 17:15:52 UTC | typos and refactoring | 25 April 2019, 17:15:52 UTC |
01257be | Fabrizio Riguzzi | 22 April 2019, 17:51:15 UTC | handling of memoization in prism | 22 April 2019, 17:51:15 UTC |
0e2060b | Damiano Azzolini | 11 April 2019, 10:32:33 UTC | examples, test and mod pita | 11 April 2019, 10:32:33 UTC |
bb408c9 | Damiano Azzolini | 01 April 2019, 09:18:12 UTC | term exp | 01 April 2019, 09:18:12 UTC |
32a5a52 | Damiano Azzolini | 28 March 2019, 23:12:50 UTC | term exp for utility and decision facts whit body | 28 March 2019, 23:12:50 UTC |
126bfde | Damiano Azzolini | 28 March 2019, 11:26:22 UTC | examples and commented code | 28 March 2019, 11:26:22 UTC |
8312b71 | Damiano Azzolini | 22 March 2019, 18:29:22 UTC | ret_strategy/6 | 22 March 2019, 18:29:22 UTC |
c1609c0 | Damiano Azzolini | 20 March 2019, 22:10:34 UTC | working with umbrella | 20 March 2019, 22:10:34 UTC |
36de664 | Damiano Azzolini | 15 March 2019, 17:19:04 UTC | fixes | 15 March 2019, 17:19:04 UTC |
b97be31 | Damiano Azzolini | 15 March 2019, 17:04:22 UTC | temp | 15 March 2019, 17:04:22 UTC |
0ffbd33 | Damiano Azzolini | 15 March 2019, 17:03:31 UTC | gitignore | 15 March 2019, 17:03:31 UTC |
bfa3ed2 | Fabrizio Riguzzi | 15 March 2019, 16:30:20 UTC | partial | 15 March 2019, 16:30:20 UTC |
8f63e33 | Damiano Azzolini | 14 March 2019, 20:47:19 UTC | rem assert | 14 March 2019, 20:47:19 UTC |
460740d | Damiano Azzolini | 14 March 2019, 20:44:37 UTC | removed comments | 14 March 2019, 20:44:37 UTC |
e36a38a | Damiano Azzolini | 13 March 2019, 16:27:25 UTC | fix umbrella example. solution: now returns a wrong solution | 13 March 2019, 16:27:25 UTC |
91f26d8 | Damiano Azzolini | 13 March 2019, 14:32:15 UTC | nothing works | 13 March 2019, 14:32:15 UTC |
8c6bf20 | Damiano Azzolini | 12 March 2019, 10:21:03 UTC | typos and umbrella example | 12 March 2019, 10:21:03 UTC |
acdef34 | Fabrizio Riguzzi | 07 March 2019, 18:42:38 UTC | viterbi_all for completing mp exp in viterbi.pl | 07 March 2019, 18:42:38 UTC |
e27d225 | Damiano Azzolini | 26 February 2019, 17:04:36 UTC | op and term expansion | 26 February 2019, 17:04:36 UTC |
9479f9b | Damiano Azzolini | 25 February 2019, 16:02:48 UTC | typos | 25 February 2019, 16:02:48 UTC |
db83108 | Fabrizio Riguzzi | 25 February 2019, 09:15:39 UTC | renamed preds | 25 February 2019, 09:15:39 UTC |
97d1f8e | Fabrizio Riguzzi | 25 February 2019, 09:13:37 UTC | start of dtproblog | 25 February 2019, 09:13:37 UTC |
d932224 | Fabrizio Riguzzi | 10 February 2019, 10:09:23 UTC | correct handling of causal queries (constraints were not on the correct vars) | 10 February 2019, 10:09:23 UTC |
0ff297c | Fabrizio Riguzzi | 19 January 2019, 22:04:46 UTC | aligned with xsb | 19 January 2019, 22:04:46 UTC |
cc08644 | Fabrizio Riguzzi | 19 January 2019, 21:41:06 UTC | remove term_expansion for set_pita | 19 January 2019, 21:41:06 UTC |
e865e20 | Fabrizio Riguzzi | 19 January 2019, 18:24:23 UTC | map/3 and new tests | 19 January 2019, 18:24:23 UTC |
a6ef290 | Fabrizio Riguzzi | 09 January 2019, 11:31:22 UTC | better link | 09 January 2019, 11:31:22 UTC |
9fa3327 | Fabrizio Riguzzi | 09 January 2019, 11:30:00 UTC | links for github pages | 09 January 2019, 11:30:00 UTC |
b6cc129 | Fabrizio Riguzzi | 04 January 2019, 12:21:36 UTC | bug in term_expansion | 04 January 2019, 12:21:36 UTC |
a0d6cc1 | Fabrizio Riguzzi | 24 December 2018, 09:46:36 UTC | renamed input_mod, removal at end_of_file | 24 December 2018, 09:46:36 UTC |
ff894f1 | Fabrizio Riguzzi | 10 December 2018, 15:10:37 UTC | typos | 10 December 2018, 15:10:37 UTC |
dd6b96d | Fabrizio Riguzzi | 05 December 2018, 17:48:24 UTC | FIXED: module spec in term exp of tab dir | 05 December 2018, 17:48:24 UTC |
685aa7e | Fabrizio Riguzzi | 03 December 2018, 14:01:38 UTC | updated man | 03 December 2018, 14:01:38 UTC |
6b1db14 | Fabrizio Riguzzi | 03 December 2018, 13:49:12 UTC | grammar | 03 December 2018, 13:49:12 UTC |
f5de7ef | Fabrizio Riguzzi | 03 December 2018, 10:08:33 UTC | ADDED: gaussian mixture DC ex | 03 December 2018, 10:08:33 UTC |
0867686 | Fabrizio Riguzzi | 25 November 2018, 10:58:48 UTC | updated manual to include alpha setting | 25 November 2018, 10:58:48 UTC |
fdfe2de | Fabrizio Riguzzi | 25 November 2018, 10:41:35 UTC | dirichlet initialization for slipcover | 25 November 2018, 10:41:35 UTC |
ac13bc1 | Fabrizio Riguzzi | 21 November 2018, 22:33:59 UTC | std_dev | 21 November 2018, 22:33:59 UTC |
cf9a11e | Fabrizio Riguzzi | 21 November 2018, 19:08:37 UTC | fixed var calc | 21 November 2018, 19:08:37 UTC |
a547b8b | Fabrizio Riguzzi | 21 November 2018, 18:48:53 UTC | fixed for the case of cplint in user space | 21 November 2018, 18:48:53 UTC |
daa119a | Fabrizio Riguzzi | 21 November 2018, 18:37:37 UTC | variance | 21 November 2018, 18:37:37 UTC |
90de186 | Fabrizio Riguzzi | 21 November 2018, 18:30:45 UTC | variance | 21 November 2018, 18:30:45 UTC |
6910f46 | Fabrizio Riguzzi | 21 November 2018, 18:04:25 UTC | testing of average | 21 November 2018, 18:04:25 UTC |
61b8ae6 | Fabrizio Riguzzi | 21 November 2018, 18:00:30 UTC | average moved to cplint_util | 21 November 2018, 18:00:30 UTC |
5176450 | Fabrizio Riguzzi | 21 November 2018, 17:59:50 UTC | term_expansion move to module system to handle the case that the pack folder is in the $HOME of SWIPL | 21 November 2018, 17:59:50 UTC |
82fd091 | Fabrizio Riguzzi | 08 November 2018, 15:12:32 UTC | fixed the examples (removed clpr) | 08 November 2018, 15:12:32 UTC |
889aef4 | Fabrizio Riguzzi | 08 November 2018, 15:10:10 UTC | mcintyre reexporting clpr | 08 November 2018, 15:10:10 UTC |
ee5d046 | Fabrizio Riguzzi | 05 November 2018, 18:38:56 UTC | DOC: comments in lemur | 05 November 2018, 18:38:56 UTC |
84565b2 | Fabrizio Riguzzi | 05 November 2018, 18:21:04 UTC | REFACTORING: slipcover now directly depends from bddem, removed the dependency on pita | 05 November 2018, 18:21:04 UTC |
8c0eee7 | Fabrizio Riguzzi | 05 November 2018, 18:16:17 UTC | REFACTORING: moved predicates onec/2,zeroc/2,andc/4,andcnf/4,bdd_notc/3, orc/3, ret_probc/3,equalityc/4, or_list/3, or_listc/3, from pita to bddem | 05 November 2018, 18:16:17 UTC |
bda9788 | Fabrizio Riguzzi | 05 November 2018, 18:09:04 UTC | removed loading of foreign lib bddem | 05 November 2018, 18:09:04 UTC |
4fa02e0 | Fabrizio Riguzzi | 05 November 2018, 18:06:45 UTC | DOC: removed pldoc for predicates defined in bddem | 05 November 2018, 18:06:45 UTC |
7b482ff | Fabrizio Riguzzi | 05 November 2018, 17:47:50 UTC | REFACTORING: of bddem init_test->init end_test->end init->init_em end->end_em init_bdd->init_ex end_bdd->end_ex | 05 November 2018, 17:47:50 UTC |
0ea5b3e | Fabrizio Riguzzi | 04 November 2018, 17:48:02 UTC | Merge branch 'master' of github.com:friguzzi/cplint | 04 November 2018, 17:48:02 UTC |
e4f6d17 | Fabrizio Riguzzi | 04 November 2018, 17:47:26 UTC | FIXED: handling of max of c3.js graphs | 04 November 2018, 17:47:26 UTC |
ef8f906 | Fabrizio Riguzzi | 04 November 2018, 15:05:18 UTC | testing info | 04 November 2018, 15:05:18 UTC |
6acd2b1 | Fabrizio Riguzzi | 04 November 2018, 14:59:04 UTC | version 4.5.0: bddem as a separate pack | 04 November 2018, 14:59:04 UTC |
80cdb00 | Fabrizio Riguzzi | 04 November 2018, 14:48:58 UTC | google group | 04 November 2018, 14:48:58 UTC |
40f5331 | Fabrizio Riguzzi | 04 November 2018, 14:45:05 UTC | typo | 04 November 2018, 14:45:05 UTC |
13f968c | Fabrizio Riguzzi | 04 November 2018, 14:42:26 UTC | better readme | 04 November 2018, 14:42:26 UTC |
789faf4 | Fabrizio Riguzzi | 04 November 2018, 14:33:10 UTC | updated README.md to include dependencies | 04 November 2018, 14:33:10 UTC |
3fcf1f2 | Fabrizio Riguzzi | 04 November 2018, 14:22:36 UTC | bddem in the requirements | 04 November 2018, 14:22:36 UTC |
bb71c53 | Fabrizio Riguzzi | 04 November 2018, 14:22:22 UTC | use of bddem in pita | 04 November 2018, 14:22:22 UTC |