History log of /seL4-l4v-10.1.1/HOL4/src/integer/testing/gen_bc_problem.sml
Revision Date Author Comments
# 99abe76d 13-Sep-2001 Michael Norrish <Michael.Norrish@nicta.com.au>

Total reorganisation of Cooper code. Two ..Core modules can be swapped
in and out of CooperShell to provide "shadow syntax" or my original
implementation of the core phases of the algorithm. Code currently littered
with profiler guff.


# 2f90b724 04-Sep-2001 Michael Norrish <Michael.Norrish@nicta.com.au>

A new program to generate integer problems to be fed to Cooper's algorithm
with larger coefficients than the problems generated by the existing
genproblem program.