pmoura on master
Update `lgtunit` tool documenta… (compare)
pmoura on master
Update `lgtunit` tool documenta… (compare)
pmoura on master
Update `lgtunit` tool documenta… (compare)
pmoura on master
Update `tutor` tool for the new… Update SVG diagrams (compare)
pmoura on master
Add linter warnings for missing… (compare)
pmoura on master
Fix `lgtunit` tool QuickCheck i… Update SVG diagrams (compare)
pmoura on master
Fix `arbitrary` library categor… Update SVG diagrams (compare)
pmoura on master
Fix bug in the `arbitrary` libr… (compare)
pmoura on master
Fixes and performance improveme… Update SVG diagrams (compare)
pmoura on master
Change `diagrams` tool `omit_pa… Update SVG diagrams (compare)
pmoura on master
Code refactoring of the check f… (compare)
pmoura on master
Fix cases where predicate name … (compare)
pmoura on master
Improve performance of runtime … (compare)
pmoura on master
Fix `current_predicate/1` and `… (compare)
pmoura on master
Fix bug in previous commit wher… (compare)
pmoura on master
Add support for calls to the da… (compare)
pmoura on master
Fix bugs in the implementation … (compare)
pmoura on master
Update `ports_profiler` tool do… Update SVG diagrams (compare)
pmoura on master
Add support for printing clause… (compare)
pmoura on master
Update `errors` example to illu… (compare)
two2tree
a single file or a loader file?