History log of /seL4-l4v-master/HOL4/src/boss/theory_tests/onelineScript.sml
Revision Date Author Comments
# 57b734c4 10-Jan-2020 Michael Norrish <michael.norrish@data61.csiro.au>

More test-cases for DefnBase.one_line_ify and a bug fix
# b00e7326 10-Jan-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Make DefnBase.one_line_ify closer to robust

It passes all of its current test-cases
# 7bac59b5 10-Jan-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Move DefnBase to src/coretypes, make progress with one_line_ify

DefnBase is now home to the updated literal-decider conversion