From 83f29fdd79665858717790d3213a8dbbd6b693e3 Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Wed, 19 Jan 2022 16:56:24 +0000 Subject: Rename pseudocode file. This is anticipating the addition of pseudocode as a data type. That should make the denotational semantics much more performant, and allows the addition of new forms of semantics without duplicating effort. --- Everything.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Everything.agda') diff --git a/Everything.agda b/Everything.agda index f47f3b7..fe9deea 100644 --- a/Everything.agda +++ b/Everything.agda @@ -49,7 +49,7 @@ import Helium.Algebra.Ordered.StrictTotal.Structures import Helium.Algebra.Structures -- Definition of types and operations used by the Armv8-M pseudocode. -import Helium.Data.Pseudocode +import Helium.Data.Pseudocode.Types -- Definitions of a subset of Armv8-M instructions. import Helium.Instructions -- cgit v1.2.3