| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix NI predicate computation | Federico Igne | 2020-11-14 | 1 | -0/+2 |
| * | Generalize axiom hashing for constant generation | Federico Igne | 2020-11-10 | 1 | -1/+18 |
| * | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -9/+1 |
| * | Simplify ProgramGenerator constructor | Federico Igne | 2020-10-09 | 1 | -0/+6 |
| * | Add method to parse a string into a Query | Federico Igne | 2020-09-23 | 1 | -12/+1 |
| * | Add full set of rules for filtering program | Federico Igne | 2020-09-08 | 1 | -2/+3 |
| * | Introduce naive fresh variable generator | Federico Igne | 2020-09-07 | 1 | -0/+8 |
| * | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -0/+24 |
| * | Generalise prefixes | Federico Igne | 2020-08-19 | 1 | -5/+14 |
| * | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -1/+7 |
| * | Refactor code into different files | Federico Igne | 2020-08-06 | 1 | -0/+17 |
