Added experimental support for backtracking. Still primitive, but it allows us to do some tests.
This branch now supports backtracking and the possibility of querying all the possible
narratives.
Tiny change: add a newline to output.
Added first version of CelfToGraph. The generation of the graph from the AST seems to be working.
Updated celf2graph
Added a new (functional) module to generate causality graphs.
CelfToGraph was changed to use this module.
Added celf2graph examples.
Changed Celf's location to a different module, so that Gwenn and Chris
can adapt it in their own installations. I need to improve this, though;
the location should come from a conf. file.
When graphs are generated, a file N.trace is created with the trace associated with the graph N.pdf.
The tool behaves gracefully when celf produces an error.
Fixed error with persistent actions. (It wasn't supported.)
Changed graph generation so that preserved resources are considered.
This is particularly useful in the context of Celf outputs, because in Celf, we cannot
consume persistent resources.
Added a basic testing mechanism to CausalityGraph.
Improved the output of the "link" command. It now shows counter-examples *and* examples (if any available).
Added newline character to traces.
Added preliminary support for boolean "link" queries.
Operators supported: ~, ||, &&
Checks for duplicate traces after loading a file.
The program now generates the .dot files (this should be made optional in the future).
I've added support for <=, =>, and <=> (same as ==) in the query language.
The query language now supports "exists <Action>". It is the same as Link init <Action>.
Added example used in the LPNMR13 paper (madamebovary.clf).
Added a few \n to output.