Skip to content

ELPI 1.0.4
Compare
Choose a tag to compare
@gares gares released this 12 Jun 15:46
· 1201 commits to master since this release
v1.0.4
8d4c381

New tracing facility -trace-only-pred to focus the trace on a set of predicates of interest.
Minor fixes to error messages.

Assets 2
Loading