Skip to main content

Browse the archive

https://github.com/friguzzi/cplint
19 February 2024, 09:40:01 UTC
sort by:
Revision Author Date Message Commit Date
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
3b6b1f7 Fabrizio Riguzzi 04 November 2018, 14:19:19 UTC remove bddem, moved to pack bddem 04 November 2018, 14:19:19 UTC
3731f74 Fabrizio Riguzzi 04 November 2018, 09:42:41 UTC binary lib for linux 04 November 2018, 09:42:41 UTC
2c7bc4d Fabrizio Riguzzi 04 November 2018, 09:37:46 UTC Merge branch 'master' of github.com:friguzzi/cplint 04 November 2018, 09:37:46 UTC
da8b6a5 Fabrizio Riguzzi 04 November 2018, 09:37:05 UTC updated version and binary for windows to reflect the new C interface 04 November 2018, 09:37:05 UTC
1111024 Fabrizio Riguzzi 04 November 2018, 09:32:41 UTC refactored C code 04 November 2018, 09:32:41 UTC
55b2cbd Fabrizio Riguzzi 04 November 2018, 09:23:22 UTC DOC: added documentation for all modules, renaming predicates when in conflict 04 November 2018, 09:23:22 UTC
07ebd55 Fabrizio Riguzzi 04 November 2018, 07:26:40 UTC removed randomize predicates 04 November 2018, 07:26:40 UTC
afbdd01 Fabrizio Riguzzi 04 November 2018, 07:23:23 UTC lemur working again 04 November 2018, 07:23:23 UTC
a3e689c Fabrizio Riguzzi 03 November 2018, 17:58:37 UTC FIXED: parameter and structure learning working after update for handling individual parameters 03 November 2018, 17:58:37 UTC
9005d10 Fabrizio Riguzzi 03 November 2018, 17:15:29 UTC sorting of rules 03 November 2018, 17:15:29 UTC
0d70014 Fabrizio Riguzzi 03 November 2018, 17:04:44 UTC parameter learning working again (correct handling of individual parameters) 03 November 2018, 17:04:44 UTC
323b652 Fabrizio Riguzzi 03 November 2018, 07:01:38 UTC new add_var, pita working 03 November 2018, 07:01:38 UTC
a2e8d43 Fabrizio Riguzzi 02 November 2018, 18:31:46 UTC prolog part 02 November 2018, 18:31:46 UTC
16c4eb4 Fabrizio Riguzzi 02 November 2018, 17:07:45 UTC removed useless clauses for process_body_db 02 November 2018, 17:07:45 UTC
ac5104a Fabrizio Riguzzi 02 November 2018, 16:56:23 UTC handling of t(..) parameters in the case of failing of grounding 02 November 2018, 16:56:23 UTC
aef8ec0 Fabrizio Riguzzi 27 October 2018, 17:45:50 UTC dependency graph 27 October 2018, 17:45:50 UTC
18a767d Fabrizio Riguzzi 27 October 2018, 13:27:03 UTC format 27 October 2018, 13:27:03 UTC
e7cd13d Fabrizio Riguzzi 27 October 2018, 13:13:15 UTC comments in bitcoin exs 27 October 2018, 13:13:15 UTC
050bd0c Fabrizio Riguzzi 26 October 2018, 08:42:56 UTC correct indication of the shell 26 October 2018, 08:42:56 UTC
97f2efa Fabrizio Riguzzi 25 October 2018, 09:06:11 UTC correct version 25 October 2018, 09:06:11 UTC
c00d1f1 Fabrizio Riguzzi 25 October 2018, 09:04:42 UTC typo 25 October 2018, 09:04:42 UTC
7b9a6b1 Fabrizio Riguzzi 25 October 2018, 09:03:33 UTC windows compilation instructions 25 October 2018, 09:03:33 UTC
695e3f9 Fabrizio Riguzzi 25 October 2018, 08:52:13 UTC version 4.0 with binary for windows updated 25 October 2018, 08:52:13 UTC
a4f6b72 Fabrizio Riguzzi 25 October 2018, 08:38:38 UTC bddem.dll on windows working 25 October 2018, 08:38:38 UTC
a375f3a Fabrizio Riguzzi 25 October 2018, 07:53:59 UTC bddem.dll built with djgpp 25 October 2018, 07:53:59 UTC
9e6fd11 Fabrizio Riguzzi 25 October 2018, 06:48:38 UTC windows binaries 25 October 2018, 06:48:38 UTC
99719a8 Fabrizio Riguzzi 21 October 2018, 09:43:22 UTC ADDED: bitcoin and binomial ex and test 21 October 2018, 09:43:22 UTC
d0fc5a9 Fabrizio Riguzzi 12 October 2018, 17:46:42 UTC Merge branch 'damianoazzolini-master' 12 October 2018, 17:46:42 UTC
ae51610 Fabrizio Riguzzi 12 October 2018, 17:46:23 UTC Merge branch 'master' of https://github.com/damianoazzolini/cplint into damianoazzolini-master 12 October 2018, 17:46:23 UTC
5d4b762 Fabrizio Riguzzi 11 October 2018, 09:17:08 UTC reverted changes made by Elena to EM 11 October 2018, 09:17:08 UTC
8fb2d36 Fabrizio Riguzzi 11 October 2018, 09:09:47 UTC lemur for new EM 11 October 2018, 09:09:47 UTC
8f5ec3c Fabrizio Riguzzi 11 October 2018, 08:59:54 UTC Merge branch 'master' of github.com:friguzzi/cplint 11 October 2018, 08:59:54 UTC
9068e39 Fabrizio Riguzzi 11 October 2018, 08:58:27 UTC reverted changes made by Elena to EM 11 October 2018, 08:58:27 UTC
f19119b Fabrizio Riguzzi 21 September 2018, 15:54:28 UTC Merge pull request #23 from ebellodi/master bddem.c - make_query_var 21 September 2018, 15:54:28 UTC
8d4e07f ebellodi 21 September 2018, 14:16:40 UTC Add files via upload make_query_var fixed (for mpe experiments with pita) 21 September 2018, 14:16:40 UTC
425ab7c Fabrizio Riguzzi 10 September 2018, 11:41:06 UTC ADDED: Gibbs in manual 10 September 2018, 11:41:06 UTC
b84e4c9 Fabrizio Riguzzi 10 September 2018, 08:56:10 UTC ADDED: blocked Gibbs sampling 10 September 2018, 08:56:10 UTC
e44cd28 Fabrizio Riguzzi 10 September 2018, 06:58:44 UTC FIXED: correct handling of saved samples for mh and gibbs 10 September 2018, 06:58:44 UTC
db08578 Fabrizio Riguzzi 09 September 2018, 17:18:28 UTC deleting or not samples after restore 09 September 2018, 17:18:28 UTC
1fed611 Fabrizio Riguzzi 07 September 2018, 15:16:54 UTC gibbs correct with resampling of removed variables if not sampled 07 September 2018, 15:16:54 UTC
9cd3aaa Fabrizio Riguzzi 06 September 2018, 13:35:32 UTC sample removal 06 September 2018, 13:35:32 UTC
367fd80 Fabrizio Riguzzi 26 August 2018, 14:39:11 UTC ENHANCED: avoid double storage of sample in Gibbs evidence sampling 26 August 2018, 14:39:11 UTC
b873b1a Fabrizio Riguzzi 26 August 2018, 13:53:04 UTC FIXED: correct sampling of evidence 26 August 2018, 13:53:04 UTC
b621397 Fabrizio Riguzzi 26 August 2018, 09:58:49 UTC ADDED: Gibbs sampling: inference, argument sampling, expectations 26 August 2018, 09:58:49 UTC
e816f2c Fabrizio Riguzzi 24 August 2018, 09:00:22 UTC indication of features in examples 24 August 2018, 09:00:22 UTC
7b89aa4 Fabrizio Riguzzi 24 August 2018, 08:09:09 UTC comments for all exported preds 24 August 2018, 08:09:09 UTC
7c5d923 Fabrizio Riguzzi 24 August 2018, 05:47:11 UTC new linux lib 24 August 2018, 05:47:11 UTC
23740e4 Fabrizio Riguzzi 24 August 2018, 05:45:24 UTC new comments for randomize/2, simplified code, added testing for restartable calls 24 August 2018, 05:45:24 UTC
eb58a6a Fabrizio Riguzzi 24 August 2018, 05:24:00 UTC learning restartable from the same session 24 August 2018, 05:24:00 UTC
b15721b Fabrizio Riguzzi 23 August 2018, 17:53:31 UTC lib for linux 64bit 23 August 2018, 17:53:31 UTC
c51f383 Fabrizio Riguzzi 23 August 2018, 15:57:22 UTC format in manual 23 August 2018, 15:57:22 UTC
d830eaa Fabrizio Riguzzi 23 August 2018, 06:25:18 UTC test file for initial par 23 August 2018, 06:25:18 UTC
3d4cc90 Fabrizio Riguzzi 23 August 2018, 06:24:29 UTC fixed paramters + intial parameters 23 August 2018, 06:24:29 UTC
1628499 Fabrizio Riguzzi 22 August 2018, 20:23:37 UTC initial working version 22 August 2018, 20:23:37 UTC
91ab0b5 Fabrizio Riguzzi 22 August 2018, 18:05:32 UTC midway, tunable working 22 August 2018, 18:05:32 UTC
ffdd6af Fabrizio Riguzzi 22 August 2018, 08:16:06 UTC term_exp_int working 22 August 2018, 08:16:06 UTC
08ca46c Fabrizio Riguzzi 22 August 2018, 07:55:43 UTC rule with extra arg for tunable 22 August 2018, 07:55:43 UTC
7c27cdb Fabrizio Riguzzi 22 August 2018, 07:25:16 UTC test for ind pars 22 August 2018, 07:25:16 UTC
5bea698 Fabrizio Riguzzi 22 August 2018, 07:18:17 UTC handling of modules+test 22 August 2018, 07:18:17 UTC
252135a Fabrizio Riguzzi 22 August 2018, 06:15:17 UTC parameters for clause groundings 22 August 2018, 06:15:17 UTC
308ed84 Fabrizio Riguzzi 16 August 2018, 10:48:43 UTC graph pred without option arg 16 August 2018, 10:48:43 UTC
cdfa73e Fabrizio Riguzzi 16 August 2018, 09:46:03 UTC pred versions without options 16 August 2018, 09:46:03 UTC
425f0be Fabrizio Riguzzi 16 August 2018, 06:11:08 UTC update to latest vers of bayesian est ex 16 August 2018, 06:11:08 UTC
69d9bdd Fabrizio Riguzzi 16 August 2018, 06:10:07 UTC update to latest ver of bayesian est ex 16 August 2018, 06:10:07 UTC
9d87ffb Fabrizio Riguzzi 16 August 2018, 06:08:53 UTC uniform, discrete and finite ann working also for clauses with body 16 August 2018, 06:08:53 UTC
100b1f4 Fabrizio Riguzzi 15 August 2018, 15:25:26 UTC poisson bug in restoring samples 15 August 2018, 15:25:26 UTC
69cfc2f Fabrizio Riguzzi 13 August 2018, 08:22:34 UTC typos 13 August 2018, 08:22:34 UTC
6efd479 Fabrizio Riguzzi 13 August 2018, 08:21:22 UTC ok with random vars instantiated in queries 13 August 2018, 08:21:22 UTC
95532bc Fabrizio Riguzzi 10 August 2018, 16:27:40 UTC typos 10 August 2018, 16:27:40 UTC
57ea71a Fabrizio Riguzzi 03 August 2018, 14:03:51 UTC typos 03 August 2018, 14:03:51 UTC
aa65818 Fabrizio Riguzzi 06 July 2018, 12:19:26 UTC metacomb with tabling 06 July 2018, 12:19:26 UTC
34f86ea Fabrizio Riguzzi 06 July 2018, 11:24:18 UTC new graphics api 06 July 2018, 11:24:18 UTC
4c2c7de Fabrizio Riguzzi 06 July 2018, 11:02:53 UTC meta working again 06 July 2018, 11:02:53 UTC
d033b26 Fabrizio Riguzzi 06 July 2018, 10:57:00 UTC prob_meta 06 July 2018, 10:57:00 UTC
0c287b7 Fabrizio Riguzzi 03 July 2018, 16:54:02 UTC slipcover for tab with as 03 July 2018, 16:54:02 UTC
38c81d9 Fabrizio Riguzzi 02 July 2018, 10:07:23 UTC Merge branch 'master' of github.com:friguzzi/cplint 02 July 2018, 10:07:23 UTC
e7802ce Fabrizio Riguzzi 02 July 2018, 10:02:20 UTC all tests working except meta 02 July 2018, 10:02:20 UTC
b64aabf Fabrizio Riguzzi 02 July 2018, 09:00:31 UTC answer subs in pita working except for meta 02 July 2018, 09:00:31 UTC
f90fa2c rzese 24 May 2018, 08:20:54 UTC Fixed tabling error 24 May 2018, 08:20:54 UTC
7c8658f Damiano Azzolini 15 May 2018, 17:38:04 UTC Added exponential and pascal distribution 15 May 2018, 17:38:04 UTC
babdd8e Fabrizio Riguzzi 09 May 2018, 17:08:45 UTC Merge branch 'master' of github.com:friguzzi/cplint 09 May 2018, 17:08:45 UTC
6299bfc Fabrizio Riguzzi 09 May 2018, 17:07:04 UTC removed gcc 7 warnings for bddem.c 09 May 2018, 17:07:04 UTC
86d4fc1 Fabrizio Riguzzi 06 April 2018, 08:36:36 UTC det-semidet-nondet info 06 April 2018, 08:36:36 UTC
4cffb21 Fabrizio Riguzzi 05 April 2018, 14:32:06 UTC new api manual 05 April 2018, 14:32:06 UTC
bb42772 Fabrizio Riguzzi 05 April 2018, 14:31:29 UTC modes of preds 05 April 2018, 14:31:29 UTC
04c7227 Fabrizio Riguzzi 05 April 2018, 13:13:48 UTC removal of samples of tabled goals 05 April 2018, 13:13:48 UTC
9f819dd Fabrizio Riguzzi 05 April 2018, 13:13:34 UTC new api 05 April 2018, 13:13:34 UTC
880004a Fabrizio Riguzzi 05 April 2018, 10:03:09 UTC test var_objdb 05 April 2018, 10:03:09 UTC
31aea96 Fabrizio Riguzzi 05 April 2018, 05:15:57 UTC mc_prob/2 meta 05 April 2018, 05:15:57 UTC
fa2ddb6 Fabrizio Riguzzi 04 April 2018, 18:26:38 UTC options for densities 04 April 2018, 18:26:38 UTC
1e6eb28 Fabrizio Riguzzi 04 April 2018, 18:19:58 UTC particle filtering with tabling 04 April 2018, 18:19:58 UTC
26d3ab9 Fabrizio Riguzzi 04 April 2018, 17:59:49 UTC removed safe_prim for util 04 April 2018, 17:59:49 UTC
01941c4 Fabrizio Riguzzi 04 April 2018, 16:00:08 UTC Merge branch 'master' of github.com:friguzzi/cplint 04 April 2018, 16:00:08 UTC
back to top