mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 01:43:35 +00:00
e87e0a9eeb
grade_lib/test_grades.m:
This program can repeatedly invoke the library with all possible
combinations of selected sets of settings, and print the result.
grade_lib/Mmakefile:
Add the new executable as a Mercury main module.
grade_lib/grade_setup.m:
Make the library easier to use by packaging all components of the solver
state into a single data structure.
grade_lib/grade_solver.m:
Conform to the change in grade_setup.m.
Provide a mechanism to put a prefix before each line when printing things
out.
grade_lib/choose_grade.m:
Conform to the change in grade_setup.m.
grade_lib/grade_spec.m:
Avoid using the same name ("none") as a solver var value for more than one
solver var.