Permalink
Browse files

Merge remote-tracking branch 'origin/cleanup'

  • Loading branch information...
xrchz committed Feb 6, 2019
2 parents 0b669f7 + 62bcf98 commit 6bc8e267ebd128227cd90e1c9f9be4fd7f3bbb5a
Showing with 1 addition and 863 deletions.
  1. +0 −9 misc/README.md
  2. +0 −52 misc/alist_treeLib.sig
  3. +0 −351 misc/alist_treeLib.sml
  4. +0 −315 misc/alist_treeScript.sml
  5. +1 −136 misc/miscScript.sml
@@ -1,15 +1,6 @@
Auxiliary files providing glue between a standard HOL installation
and what we want to use for CakeML development.

[alist_treeLib.sml](alist_treeLib.sml):
Code to recall that some partial functions (of type 'a -> 'b option)
can be represented as sorted alists, and derive a fast conversion on
applications of those functions.

[alist_treeScript.sml](alist_treeScript.sml):
Definitions and theorems that support automation (the Lib file) for
fast insertion and lookup into association lists (alists).

[basicComputeLib.sml](basicComputeLib.sml):
Build a basic compset for evaluation in the logic.

This file was deleted.

Oops, something went wrong.
Oops, something went wrong.

0 comments on commit 6bc8e26

Please sign in to comment.