Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hopefully nobody is using the app yet for self-study….
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Required predicates (those that must be loaded when testing the program)
are now determined by analyzing the tested program.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Old version would return wrong values for programs with syntax errors.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|