| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Required predicates (those that must be loaded when testing the program)
are now determined by analyzing the tested program.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Such errors are now handled in server.prolog_session.
|
|
Old version would return wrong values for programs with syntax errors.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
brother, and sister problems.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This practically completes famrel section without some details.
|
|
|
|
The test function is now expected to return a boolean indicating whether
the program is correct and a list of hint objects.
|
