AST

leanprover · Aug 20, 2024 · cc991ae · cc991ae
1 parent 434ed0d
commit cc991ae
Show file tree

Hide file tree

Showing 9 changed files with 1 addition and 322 deletions.
diff --git a/SHerLOC/Basic.lean b/SHerLOC/Basic.lean
@@ -3,4 +3,4 @@ Copyright (c) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Jean-Baptiste Tristan
 -/
-import SHerLOC.Syntax.Basic
+import SHerLOC.AST.Basic
diff --git a/SHerLOC/Syntax/Basic.lean b/SHerLOC/Syntax/Basic.lean
diff --git a/SHerLOC/Syntax/Constants.lean b/SHerLOC/Syntax/Constants.lean
diff --git a/SHerLOC/Syntax/Functions.lean b/SHerLOC/Syntax/Functions.lean
diff --git a/SHerLOC/Syntax/Identifiers.lean b/SHerLOC/Syntax/Identifiers.lean
diff --git a/SHerLOC/Syntax/Operations.lean b/SHerLOC/Syntax/Operations.lean
diff --git a/SHerLOC/Syntax/Programs.lean b/SHerLOC/Syntax/Programs.lean
diff --git a/SHerLOC/Syntax/README.md b/SHerLOC/Syntax/README.md
diff --git a/SHerLOC/Syntax/Types.lean b/SHerLOC/Syntax/Types.lean