summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefLibTestScript.sml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup a bit the HOL4 backend and implement eval_convSon Ho2023-06-041-1/+2
|
* Make good progress on generating code for HOL4Son Ho2023-06-041-6/+1
|
* Fix minor issuesSon Ho2023-06-041-4/+61
|
* Fix minor issuesSon Ho2023-06-041-4/+8
|
* Do more cleanupSon Ho2023-06-041-0/+29