| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Write answers to output file | Federico Igne | 2021-09-29 | 1 | -2/+1 |
| * | Add JSON format for CQ answers | Federico Igne | 2021-09-29 | 1 | -3/+17 |
| * | Add Apache License 2.0 | Federico Igne | 2021-06-30 | 1 | -0/+16 |
| * | Keep track of answer multiplicity | Federico Igne | 2020-12-09 | 1 | -7/+14 |
| * | Merge branch 'master' into logger | Federico Igne | 2020-12-08 | 1 | -3/+9 |
| |\ | |||||
| | * | Include literals in instances of `Named` internal predicate | Federico Igne | 2020-12-08 | 1 | -3/+9 |
| * | | Add diagnostics for (un)filtered answer ratio | Federico Igne | 2020-12-07 | 1 | -0/+3 |
| |/ | |||||
| * | Update answers pretty printer | Federico Igne | 2020-12-07 | 1 | -2/+7 |
| * | Change answer pritty printer to use CSV-like syntax | Federico Igne | 2020-12-06 | 1 | -4/+8 |
| * | Rename `boolean` as `bcq` | Federico Igne | 2020-11-23 | 1 | -6/+5 |
| * | Add wrapper class for (boolean) conjunctive queries | Federico Igne | 2020-11-19 | 1 | -0/+29 |
