├── .gitignore ├── README.md ├── Semantics ├── AdministrativeSyntax.rkt ├── ConstUtilities.rkt ├── Semantics.rkt ├── SimpleOps.rkt ├── SizedOps.rkt ├── StoreUtilities.rkt ├── Tests │ └── SemanticTests.rkt └── Utilities.rkt ├── Syntax.pdf ├── Syntax.rkt ├── TODO.md ├── Utilities.rkt └── Validation ├── InstructionTyping.rkt ├── ModuleTyping.rkt ├── Tests ├── ModuleTypingTests.rkt ├── TestUtilities.rkt ├── TypecheckingTests.rkt └── ValidationTests.rkt ├── Typechecking.rkt ├── TypingSyntax.rkt └── Utilities.rkt /.gitignore: -------------------------------------------------------------------------------- 1 | *.bak 2 | *~ 3 | **/compiled 4 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/README.md -------------------------------------------------------------------------------- /Semantics/AdministrativeSyntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/AdministrativeSyntax.rkt -------------------------------------------------------------------------------- /Semantics/ConstUtilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/ConstUtilities.rkt -------------------------------------------------------------------------------- /Semantics/Semantics.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/Semantics.rkt -------------------------------------------------------------------------------- /Semantics/SimpleOps.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/SimpleOps.rkt -------------------------------------------------------------------------------- /Semantics/SizedOps.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/SizedOps.rkt -------------------------------------------------------------------------------- /Semantics/StoreUtilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/StoreUtilities.rkt -------------------------------------------------------------------------------- /Semantics/Tests/SemanticTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/Tests/SemanticTests.rkt -------------------------------------------------------------------------------- /Semantics/Utilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Semantics/Utilities.rkt -------------------------------------------------------------------------------- /Syntax.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Syntax.pdf -------------------------------------------------------------------------------- /Syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Syntax.rkt -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/TODO.md -------------------------------------------------------------------------------- /Utilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Utilities.rkt -------------------------------------------------------------------------------- /Validation/InstructionTyping.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/InstructionTyping.rkt -------------------------------------------------------------------------------- /Validation/ModuleTyping.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/ModuleTyping.rkt -------------------------------------------------------------------------------- /Validation/Tests/ModuleTypingTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/Tests/ModuleTypingTests.rkt -------------------------------------------------------------------------------- /Validation/Tests/TestUtilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/Tests/TestUtilities.rkt -------------------------------------------------------------------------------- /Validation/Tests/TypecheckingTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/Tests/TypecheckingTests.rkt -------------------------------------------------------------------------------- /Validation/Tests/ValidationTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/Tests/ValidationTests.rkt -------------------------------------------------------------------------------- /Validation/Typechecking.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/Typechecking.rkt -------------------------------------------------------------------------------- /Validation/TypingSyntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/TypingSyntax.rkt -------------------------------------------------------------------------------- /Validation/Utilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atgeller/WASM-Redex/HEAD/Validation/Utilities.rkt --------------------------------------------------------------------------------