reorganise project

ethereum · Nov 9, 2023 · 81db3c6 · 81db3c6
1 parent 3d8ad0b
commit 81db3c6
Show file tree

Hide file tree

Showing 24 changed files with 0 additions and 0 deletions.
diff --git a/src/act.cabal → act.cabal b/src/act.cabal → act.cabal
diff --git a/src/CLI.hs → src/Act/CLI.hs b/src/CLI.hs → src/Act/CLI.hs
diff --git a/src/Consistency.hs → src/Act/Consistency.hs b/src/Consistency.hs → src/Act/Consistency.hs
diff --git a/src/Coq.hs → src/Act/Coq.hs b/src/Coq.hs → src/Act/Coq.hs
diff --git a/src/Dev.hs → src/Act/Dev.hs b/src/Dev.hs → src/Act/Dev.hs
diff --git a/src/Enrich.hs → src/Act/Enrich.hs b/src/Enrich.hs → src/Act/Enrich.hs
diff --git a/src/Error.hs → src/Act/Error.hs b/src/Error.hs → src/Act/Error.hs
diff --git a/src/HEVM.hs → src/Act/HEVM.hs b/src/HEVM.hs → src/Act/HEVM.hs
diff --git a/src/Lex.x → src/Act/Lex.x b/src/Lex.x → src/Act/Lex.x
diff --git a/src/Makefile → src/Act/Makefile b/src/Makefile → src/Act/Makefile
diff --git a/src/Parse.y → src/Act/Parse.y b/src/Parse.y → src/Act/Parse.y
diff --git a/src/Print.hs → src/Act/Print.hs b/src/Print.hs → src/Act/Print.hs
diff --git a/src/SMT.hs → src/Act/SMT.hs b/src/SMT.hs → src/Act/SMT.hs
diff --git a/src/Syntax.hs → src/Act/Syntax.hs b/src/Syntax.hs → src/Act/Syntax.hs
diff --git a/src/Syntax/Annotated.hs → src/Act/Syntax/Annotated.hs b/src/Syntax/Annotated.hs → src/Act/Syntax/Annotated.hs
diff --git a/src/Syntax/TimeAgnostic.hs → src/Act/Syntax/TimeAgnostic.hs b/src/Syntax/TimeAgnostic.hs → src/Act/Syntax/TimeAgnostic.hs
diff --git a/src/Syntax/Timing.hs → src/Act/Syntax/Timing.hs b/src/Syntax/Timing.hs → src/Act/Syntax/Timing.hs
diff --git a/src/Syntax/Typed.hs → src/Act/Syntax/Typed.hs b/src/Syntax/Typed.hs → src/Act/Syntax/Typed.hs
diff --git a/src/Syntax/Types.hs → src/Act/Syntax/Types.hs b/src/Syntax/Types.hs → src/Act/Syntax/Types.hs
diff --git a/src/Syntax/Untyped.hs → src/Act/Syntax/Untyped.hs b/src/Syntax/Untyped.hs → src/Act/Syntax/Untyped.hs
diff --git a/src/Type.hs → src/Act/Type.hs b/src/Type.hs → src/Act/Type.hs
diff --git a/src/hie.yaml → src/Act/hie.yaml b/src/hie.yaml → src/Act/hie.yaml
diff --git a/src/main/Main.hs → src/Act/main/Main.hs b/src/main/Main.hs → src/Act/main/Main.hs
diff --git a/src/test/Test.hs → src/Test/Main.hs b/src/test/Test.hs → src/Test/Main.hs