├── .gitattributes ├── .github └── workflows │ └── scala.yml ├── .gitignore ├── AdditionalExample.md ├── BOILERPLATE ├── LICENSE ├── NOTICE ├── README.md ├── bin ├── cleanAll.sh ├── publish.sh ├── publishLocal.sh └── testAll.sh ├── core └── src │ ├── main │ ├── scala-2.11 │ │ └── shims.scala │ ├── scala-2.12 │ │ └── shims.scala │ └── scala │ │ └── squid │ │ ├── StaticOptimizer.scala │ │ ├── ir │ │ ├── BaseInterpreter.scala │ │ ├── EmbeddedClass.scala │ │ ├── FixPointRuleBasedTransformer.scala │ │ ├── FixPointTransformer.scala │ │ ├── IRException.scala │ │ ├── OnlineOptimizer.scala │ │ ├── PrettyPrinter.scala │ │ ├── RuleBasedTransformer.scala │ │ ├── RuntimeSymbols.scala │ │ ├── RuntimeSymbolsBase.scala │ │ ├── SimpleRuleBasedTransformer.scala │ │ ├── Transformer.scala │ │ └── Variance.scala │ │ ├── lang │ │ ├── Base.scala │ │ ├── CrossStageEnabled.scala │ │ ├── Definitions.scala │ │ ├── EffectfulReification.scala │ │ ├── InspectableBase.scala │ │ ├── IntermediateBase.scala │ │ ├── Optimizer.scala │ │ └── TypingBase.scala │ │ ├── lib │ │ ├── Annotations.scala │ │ ├── matching.scala │ │ └── package.scala │ │ ├── quasi │ │ ├── ClassEmbedding.scala │ │ ├── ClassLifting.scala │ │ ├── EmbeddingException.scala │ │ ├── MetaBases.scala │ │ ├── ModularEmbedding.scala │ │ ├── PgrmBuilder.scala │ │ ├── QuasiBase.scala │ │ ├── QuasiConfig.scala │ │ ├── QuasiEmbedder.scala │ │ ├── QuasiMacros.scala │ │ ├── QuasiTypeEmbedder.scala │ │ └── ScopeAnalyser.scala │ │ ├── runtime │ │ └── ScalaReflectSurgeon.scala │ │ ├── statics │ │ ├── CompileTime.scala │ │ └── package.scala │ │ └── utils │ │ ├── CollectionUtils.scala │ │ ├── Debug.scala │ │ ├── EitherOrBoth.scala │ │ ├── Lazy.scala │ │ ├── MacroShared.scala │ │ ├── MacroUtils.scala │ │ ├── Testing.scala │ │ ├── TraceDebug.scala │ │ ├── Tuple2List.scala │ │ ├── algo │ │ ├── Tableaux.scala │ │ └── package.scala │ │ ├── meta │ │ └── UniverseHelpers.scala │ │ ├── package.scala │ │ ├── serial │ │ └── package.scala │ │ └── typing │ │ └── package.scala │ └── test │ └── scala │ ├── HPair.scala │ └── squid │ ├── Dummies.scala │ ├── MacroTesters.scala │ ├── lib │ └── MatchingTests.scala │ ├── statics │ └── CompileTimeTests.scala │ └── utils │ ├── CollectionUtilsTest.scala │ ├── MiscTests.scala │ └── typing │ └── SingletonTypeTests.scala ├── core_macros └── src │ └── main │ └── scala │ └── BaseInterpreterMacros.scala ├── doc ├── Intermediate_Representations.md ├── Limitations.md ├── README.md ├── Transformers.md ├── internal │ ├── Perfs.md │ ├── README.md │ ├── Symbols.md │ ├── Troubleshooting.md │ ├── Types.md │ ├── design │ │ ├── Code Types.md │ │ ├── Effectful Reification.md │ │ ├── Typing Pattern Matching.md │ │ └── future │ │ │ └── Hygienic Context Polymorphism.md │ └── ir │ │ ├── IR Extensions.md │ │ └── Transformations.md ├── reference │ ├── Quasiquotes.md │ └── experimental │ │ └── Transformation_Control.md └── tuto │ └── Quasiquotes.md ├── example └── src │ ├── main │ └── scala │ │ ├── example │ │ ├── CombinedOptimsTests.scala │ │ ├── ListOptims.scala │ │ ├── PowOptim.scala │ │ ├── TupleVarOptim.scala │ │ ├── VarNormalizer.scala │ │ └── doc │ │ │ ├── FixPoint.scala │ │ │ ├── IR.scala │ │ │ ├── IntermediateRepresentations.scala │ │ │ └── IntroExample.scala │ │ ├── experimentation │ │ └── stagerwr │ │ │ ├── Embedding.scala │ │ │ ├── MyOptimizer.scala │ │ │ ├── Optimizer.scala │ │ │ └── Power.scala │ │ └── sfusion │ │ ├── README.md │ │ ├── Sequence.scala │ │ ├── algo │ │ └── package.scala │ │ ├── compiler │ │ ├── Compiler.scala │ │ ├── ImplFlowOptimizer.scala │ │ └── TestCompiler.scala │ │ ├── impl │ │ └── package.scala │ │ └── package.scala │ └── test │ └── scala │ ├── example │ ├── StaticOptim.scala │ ├── TupleVarTests.scala │ └── doc │ │ └── IntroExampleTest.scala │ ├── sfusion │ ├── HighLevel.scala │ ├── ImplTests.scala │ ├── OptimTests.scala │ └── Timings.scala │ ├── stagerwr │ └── StaticOptim.scala │ └── stagerwr2 │ └── StaticOptTests.scala ├── example_gen └── test │ └── sfusion │ ├── Basics.scala │ ├── FlatMapInFlatMap.scala │ ├── FlatMapThenFlatMap.scala │ ├── JoinLines.scala │ ├── JoinLinesComplexs.scala │ ├── MapThenFlatMap.scala │ ├── Sieve.scala │ └── ZipFlatmapLinear.scala ├── project ├── assembly.sbt ├── build.properties └── plugins.sbt ├── site └── src │ └── main │ ├── resources │ └── microsite │ │ └── data │ │ └── menu.yml │ └── tut │ ├── index.html │ ├── reference.md │ ├── tutorial.md │ └── tutorial │ ├── 0-getting-started.md │ ├── 1-basics.md │ ├── 2-staging.md │ ├── 3-matching.md │ ├── 4-rewriting.md │ ├── 5-advanced.md │ └── 6-debugging.md └── src ├── main └── scala │ └── squid │ ├── FoldTupleVarOptim.scala │ ├── FoldTupleVarOptimNew.scala │ ├── IR.scala │ ├── OptimTestDSL.scala │ ├── TestDSL.scala │ ├── anf │ ├── analysis │ │ ├── BinOpBase.scala │ │ ├── BlockHelpers.scala │ │ └── ControlFlowBase.scala │ └── transfo │ │ ├── DeadCodeElimination.scala │ │ ├── LogicNormalizer.scala │ │ ├── StandardNormalizer.scala │ │ └── VarFlattening.scala │ ├── ir │ ├── AST.scala │ ├── ASTHelpers.scala │ ├── ASTReinterpreter.scala │ ├── BindingNormalizer.scala │ ├── ClassEmbedder.scala │ ├── CrossStageAST.scala │ ├── CurryEncoding.scala │ ├── EffectfulASTReification.scala │ ├── Liftable.scala │ ├── Lowering.scala │ ├── ScalaTyping.scala │ ├── SchedulingANF.scala │ ├── SimpleANF.scala │ ├── SimpleAST.scala │ ├── SimpleEffects.scala │ ├── TypeChangingCodeTransformer.scala │ └── ViaASTQuasiConfig.scala │ ├── lang │ └── ScalaCore.scala │ └── spec │ └── Bag.scala └── test └── scala └── squid ├── CompileTimeTests2.scala ├── MyFunSuite.scala ├── anf ├── ANFOnlineRewritingTests.scala ├── ANFRewritingTests.scala ├── EffectSystemTests.scala ├── InliningTests.scala ├── NormalizationTests.scala ├── RewritingTests.scala ├── SchedulingTests.scala ├── SimpleANFTests.scala ├── TransformationControlTests.scala ├── analysis │ ├── BinaryOpsTests.scala │ ├── BlockExtrTests.scala │ └── ControlFlowTests.scala └── transfo │ ├── BooleanFlowTests.scala │ └── TypeChangingTransfo.scala ├── classembed ├── ClassEmbeddingTests.scala ├── DirectSymbolAccessTests.scala ├── MyClass.scala ├── MyGenClass.scala └── geom │ ├── Vector.scala │ └── package.scala ├── classlift ├── ClassLiftingTests.scala ├── MyClass.scala └── MyClass2.scala ├── feature ├── Analyse.scala ├── Antiquotation.scala ├── AutomaticTypeUnquoting.scala ├── BasicEmbedding.scala ├── Binders.scala ├── CrossQuotationTests.scala ├── CrossStageTests.scala ├── FreeVariables.scala ├── FreeVariablesNewSyntax.scala ├── Functions.scala ├── Genericity.scala ├── HigherOrderPatternVariables.scala ├── ImplicitLiftingTests.scala ├── InheritedDefs.scala ├── Matching.scala ├── NestedQuoting.scala ├── OpenCodeTests.scala ├── PatMatTypeCoercion.scala ├── PrettyPrinting.scala ├── QuasiConfigTests.scala ├── Quasicode.scala ├── RepEquality.scala ├── RepeatedHoles.scala ├── Run.scala ├── Subs.scala ├── TermRewriting.scala ├── TrickyTypes.scala ├── TypeImplicits.scala ├── TypeMatching.scala ├── Varargs.scala ├── VariableFunctionsInsertion.scala ├── VariableSymbolTests.scala └── VirtualizedConstructs.scala ├── functional ├── CompilationTests.scala ├── FoldTupleVarOptims.scala ├── FoldTupleVarOptimsNew.scala ├── FunBodyXion.scala ├── ListFunctionOptims.scala ├── MultiStage.scala ├── PartiallyEvaluatedStructures.scala ├── PowRewrites.scala ├── RecursiveExtrusion.scala ├── Soundness.scala └── StagingPower.scala ├── ir ├── BindingNormalizerTests.scala ├── EffectfulReificationTests.scala ├── InterpreterTests.scala ├── OfflineTransformerTest.scala ├── OnlineTransfo.scala ├── PrettyPrinterTests.scala ├── StaticExecTests.scala └── TransformerTest.scala └── package.scala /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/scala.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/.github/workflows/scala.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/.gitignore -------------------------------------------------------------------------------- /AdditionalExample.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/AdditionalExample.md -------------------------------------------------------------------------------- /BOILERPLATE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/BOILERPLATE -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- 1 | Copyright 2017 EPFL Data Lab (data.epfl.ch) 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/README.md -------------------------------------------------------------------------------- /bin/cleanAll.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/bin/cleanAll.sh -------------------------------------------------------------------------------- /bin/publish.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/bin/publish.sh -------------------------------------------------------------------------------- /bin/publishLocal.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/bin/publishLocal.sh -------------------------------------------------------------------------------- /bin/testAll.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/bin/testAll.sh -------------------------------------------------------------------------------- /core/src/main/scala-2.11/shims.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala-2.11/shims.scala -------------------------------------------------------------------------------- /core/src/main/scala-2.12/shims.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala-2.12/shims.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/StaticOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/StaticOptimizer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/BaseInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/BaseInterpreter.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/EmbeddedClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/EmbeddedClass.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/FixPointRuleBasedTransformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/FixPointRuleBasedTransformer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/FixPointTransformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/FixPointTransformer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/IRException.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/IRException.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/OnlineOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/OnlineOptimizer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/PrettyPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/PrettyPrinter.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/RuleBasedTransformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/RuleBasedTransformer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/RuntimeSymbols.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/RuntimeSymbols.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/RuntimeSymbolsBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/RuntimeSymbolsBase.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/SimpleRuleBasedTransformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/SimpleRuleBasedTransformer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/Transformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/Transformer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/ir/Variance.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/ir/Variance.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/Base.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/Base.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/CrossStageEnabled.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/CrossStageEnabled.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/Definitions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/Definitions.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/EffectfulReification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/EffectfulReification.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/InspectableBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/InspectableBase.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/IntermediateBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/IntermediateBase.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/Optimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/Optimizer.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lang/TypingBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lang/TypingBase.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lib/Annotations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lib/Annotations.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lib/matching.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lib/matching.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/lib/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/lib/package.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/ClassEmbedding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/ClassEmbedding.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/ClassLifting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/ClassLifting.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/EmbeddingException.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/EmbeddingException.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/MetaBases.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/MetaBases.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/ModularEmbedding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/ModularEmbedding.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/PgrmBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/PgrmBuilder.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/QuasiBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/QuasiBase.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/QuasiConfig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/QuasiConfig.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/QuasiEmbedder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/QuasiEmbedder.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/QuasiMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/QuasiMacros.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/QuasiTypeEmbedder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/QuasiTypeEmbedder.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/quasi/ScopeAnalyser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/quasi/ScopeAnalyser.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/runtime/ScalaReflectSurgeon.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/runtime/ScalaReflectSurgeon.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/statics/CompileTime.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/statics/CompileTime.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/statics/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/statics/package.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/CollectionUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/CollectionUtils.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/Debug.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/Debug.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/EitherOrBoth.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/EitherOrBoth.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/Lazy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/Lazy.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/MacroShared.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/MacroShared.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/MacroUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/MacroUtils.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/Testing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/Testing.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/TraceDebug.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/TraceDebug.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/Tuple2List.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/Tuple2List.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/algo/Tableaux.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/algo/Tableaux.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/algo/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/algo/package.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/meta/UniverseHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/meta/UniverseHelpers.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/package.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/serial/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/serial/package.scala -------------------------------------------------------------------------------- /core/src/main/scala/squid/utils/typing/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/main/scala/squid/utils/typing/package.scala -------------------------------------------------------------------------------- /core/src/test/scala/HPair.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/HPair.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/Dummies.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/Dummies.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/MacroTesters.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/MacroTesters.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/lib/MatchingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/lib/MatchingTests.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/statics/CompileTimeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/statics/CompileTimeTests.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/utils/CollectionUtilsTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/utils/CollectionUtilsTest.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/utils/MiscTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/utils/MiscTests.scala -------------------------------------------------------------------------------- /core/src/test/scala/squid/utils/typing/SingletonTypeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core/src/test/scala/squid/utils/typing/SingletonTypeTests.scala -------------------------------------------------------------------------------- /core_macros/src/main/scala/BaseInterpreterMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/core_macros/src/main/scala/BaseInterpreterMacros.scala -------------------------------------------------------------------------------- /doc/Intermediate_Representations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/Intermediate_Representations.md -------------------------------------------------------------------------------- /doc/Limitations.md: -------------------------------------------------------------------------------- 1 | # Known Limitations of Squid 2 | 3 | TODO 4 | -------------------------------------------------------------------------------- /doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/README.md -------------------------------------------------------------------------------- /doc/Transformers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/Transformers.md -------------------------------------------------------------------------------- /doc/internal/Perfs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/Perfs.md -------------------------------------------------------------------------------- /doc/internal/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/README.md -------------------------------------------------------------------------------- /doc/internal/Symbols.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/Symbols.md -------------------------------------------------------------------------------- /doc/internal/Troubleshooting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/Troubleshooting.md -------------------------------------------------------------------------------- /doc/internal/Types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/Types.md -------------------------------------------------------------------------------- /doc/internal/design/Code Types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/design/Code Types.md -------------------------------------------------------------------------------- /doc/internal/design/Effectful Reification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/design/Effectful Reification.md -------------------------------------------------------------------------------- /doc/internal/design/Typing Pattern Matching.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/design/Typing Pattern Matching.md -------------------------------------------------------------------------------- /doc/internal/design/future/Hygienic Context Polymorphism.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/design/future/Hygienic Context Polymorphism.md -------------------------------------------------------------------------------- /doc/internal/ir/IR Extensions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/ir/IR Extensions.md -------------------------------------------------------------------------------- /doc/internal/ir/Transformations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/internal/ir/Transformations.md -------------------------------------------------------------------------------- /doc/reference/Quasiquotes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/reference/Quasiquotes.md -------------------------------------------------------------------------------- /doc/reference/experimental/Transformation_Control.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/reference/experimental/Transformation_Control.md -------------------------------------------------------------------------------- /doc/tuto/Quasiquotes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/doc/tuto/Quasiquotes.md -------------------------------------------------------------------------------- /example/src/main/scala/example/CombinedOptimsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/CombinedOptimsTests.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/ListOptims.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/ListOptims.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/PowOptim.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/PowOptim.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/TupleVarOptim.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/TupleVarOptim.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/VarNormalizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/VarNormalizer.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/doc/FixPoint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/doc/FixPoint.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/doc/IR.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/doc/IR.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/doc/IntermediateRepresentations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/doc/IntermediateRepresentations.scala -------------------------------------------------------------------------------- /example/src/main/scala/example/doc/IntroExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/example/doc/IntroExample.scala -------------------------------------------------------------------------------- /example/src/main/scala/experimentation/stagerwr/Embedding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/experimentation/stagerwr/Embedding.scala -------------------------------------------------------------------------------- /example/src/main/scala/experimentation/stagerwr/MyOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/experimentation/stagerwr/MyOptimizer.scala -------------------------------------------------------------------------------- /example/src/main/scala/experimentation/stagerwr/Optimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/experimentation/stagerwr/Optimizer.scala -------------------------------------------------------------------------------- /example/src/main/scala/experimentation/stagerwr/Power.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/experimentation/stagerwr/Power.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/README.md -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/Sequence.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/Sequence.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/algo/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/algo/package.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/compiler/Compiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/compiler/Compiler.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/compiler/ImplFlowOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/compiler/ImplFlowOptimizer.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/compiler/TestCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/compiler/TestCompiler.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/impl/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/impl/package.scala -------------------------------------------------------------------------------- /example/src/main/scala/sfusion/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/main/scala/sfusion/package.scala -------------------------------------------------------------------------------- /example/src/test/scala/example/StaticOptim.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/example/StaticOptim.scala -------------------------------------------------------------------------------- /example/src/test/scala/example/TupleVarTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/example/TupleVarTests.scala -------------------------------------------------------------------------------- /example/src/test/scala/example/doc/IntroExampleTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/example/doc/IntroExampleTest.scala -------------------------------------------------------------------------------- /example/src/test/scala/sfusion/HighLevel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/sfusion/HighLevel.scala -------------------------------------------------------------------------------- /example/src/test/scala/sfusion/ImplTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/sfusion/ImplTests.scala -------------------------------------------------------------------------------- /example/src/test/scala/sfusion/OptimTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/sfusion/OptimTests.scala -------------------------------------------------------------------------------- /example/src/test/scala/sfusion/Timings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/sfusion/Timings.scala -------------------------------------------------------------------------------- /example/src/test/scala/stagerwr/StaticOptim.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/stagerwr/StaticOptim.scala -------------------------------------------------------------------------------- /example/src/test/scala/stagerwr2/StaticOptTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example/src/test/scala/stagerwr2/StaticOptTests.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/Basics.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/Basics.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/FlatMapInFlatMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/FlatMapInFlatMap.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/FlatMapThenFlatMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/FlatMapThenFlatMap.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/JoinLines.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/JoinLines.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/JoinLinesComplexs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/JoinLinesComplexs.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/MapThenFlatMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/MapThenFlatMap.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/Sieve.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/Sieve.scala -------------------------------------------------------------------------------- /example_gen/test/sfusion/ZipFlatmapLinear.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/example_gen/test/sfusion/ZipFlatmapLinear.scala -------------------------------------------------------------------------------- /project/assembly.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/project/assembly.sbt -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.3.8 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- 1 | addSbtPlugin("com.47deg" % "sbt-microsites" % "0.7.18") 2 | -------------------------------------------------------------------------------- /site/src/main/resources/microsite/data/menu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/resources/microsite/data/menu.yml -------------------------------------------------------------------------------- /site/src/main/tut/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/index.html -------------------------------------------------------------------------------- /site/src/main/tut/reference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/reference.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/0-getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/0-getting-started.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/1-basics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/1-basics.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/2-staging.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/2-staging.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/3-matching.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/3-matching.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/4-rewriting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/4-rewriting.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/5-advanced.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/5-advanced.md -------------------------------------------------------------------------------- /site/src/main/tut/tutorial/6-debugging.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/site/src/main/tut/tutorial/6-debugging.md -------------------------------------------------------------------------------- /src/main/scala/squid/FoldTupleVarOptim.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/FoldTupleVarOptim.scala -------------------------------------------------------------------------------- /src/main/scala/squid/FoldTupleVarOptimNew.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/FoldTupleVarOptimNew.scala -------------------------------------------------------------------------------- /src/main/scala/squid/IR.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/IR.scala -------------------------------------------------------------------------------- /src/main/scala/squid/OptimTestDSL.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/OptimTestDSL.scala -------------------------------------------------------------------------------- /src/main/scala/squid/TestDSL.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/TestDSL.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/analysis/BinOpBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/analysis/BinOpBase.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/analysis/BlockHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/analysis/BlockHelpers.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/analysis/ControlFlowBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/analysis/ControlFlowBase.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/transfo/DeadCodeElimination.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/transfo/DeadCodeElimination.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/transfo/LogicNormalizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/transfo/LogicNormalizer.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/transfo/StandardNormalizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/transfo/StandardNormalizer.scala -------------------------------------------------------------------------------- /src/main/scala/squid/anf/transfo/VarFlattening.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/anf/transfo/VarFlattening.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/AST.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/AST.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/ASTHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/ASTHelpers.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/ASTReinterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/ASTReinterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/BindingNormalizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/BindingNormalizer.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/ClassEmbedder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/ClassEmbedder.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/CrossStageAST.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/CrossStageAST.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/CurryEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/CurryEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/EffectfulASTReification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/EffectfulASTReification.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/Liftable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/Liftable.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/Lowering.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/Lowering.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/ScalaTyping.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/ScalaTyping.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/SchedulingANF.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/SchedulingANF.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/SimpleANF.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/SimpleANF.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/SimpleAST.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/SimpleAST.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/SimpleEffects.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/SimpleEffects.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/TypeChangingCodeTransformer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/TypeChangingCodeTransformer.scala -------------------------------------------------------------------------------- /src/main/scala/squid/ir/ViaASTQuasiConfig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/ir/ViaASTQuasiConfig.scala -------------------------------------------------------------------------------- /src/main/scala/squid/lang/ScalaCore.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/lang/ScalaCore.scala -------------------------------------------------------------------------------- /src/main/scala/squid/spec/Bag.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/main/scala/squid/spec/Bag.scala -------------------------------------------------------------------------------- /src/test/scala/squid/CompileTimeTests2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/CompileTimeTests2.scala -------------------------------------------------------------------------------- /src/test/scala/squid/MyFunSuite.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/MyFunSuite.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/ANFOnlineRewritingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/ANFOnlineRewritingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/ANFRewritingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/ANFRewritingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/EffectSystemTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/EffectSystemTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/InliningTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/InliningTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/NormalizationTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/NormalizationTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/RewritingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/RewritingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/SchedulingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/SchedulingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/SimpleANFTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/SimpleANFTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/TransformationControlTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/TransformationControlTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/analysis/BinaryOpsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/analysis/BinaryOpsTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/analysis/BlockExtrTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/analysis/BlockExtrTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/analysis/ControlFlowTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/analysis/ControlFlowTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/transfo/BooleanFlowTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/transfo/BooleanFlowTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/anf/transfo/TypeChangingTransfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/anf/transfo/TypeChangingTransfo.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classembed/ClassEmbeddingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classembed/ClassEmbeddingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classembed/DirectSymbolAccessTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classembed/DirectSymbolAccessTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classembed/MyClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classembed/MyClass.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classembed/MyGenClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classembed/MyGenClass.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classembed/geom/Vector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classembed/geom/Vector.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classembed/geom/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classembed/geom/package.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classlift/ClassLiftingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classlift/ClassLiftingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classlift/MyClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classlift/MyClass.scala -------------------------------------------------------------------------------- /src/test/scala/squid/classlift/MyClass2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/classlift/MyClass2.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Analyse.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Analyse.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Antiquotation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Antiquotation.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/AutomaticTypeUnquoting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/AutomaticTypeUnquoting.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/BasicEmbedding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/BasicEmbedding.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Binders.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Binders.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/CrossQuotationTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/CrossQuotationTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/CrossStageTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/CrossStageTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/FreeVariables.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/FreeVariables.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/FreeVariablesNewSyntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/FreeVariablesNewSyntax.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Functions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Functions.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Genericity.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Genericity.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/HigherOrderPatternVariables.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/HigherOrderPatternVariables.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/ImplicitLiftingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/ImplicitLiftingTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/InheritedDefs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/InheritedDefs.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Matching.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Matching.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/NestedQuoting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/NestedQuoting.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/OpenCodeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/OpenCodeTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/PatMatTypeCoercion.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/PatMatTypeCoercion.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/PrettyPrinting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/PrettyPrinting.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/QuasiConfigTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/QuasiConfigTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Quasicode.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Quasicode.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/RepEquality.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/RepEquality.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/RepeatedHoles.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/RepeatedHoles.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Run.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Run.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Subs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Subs.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/TermRewriting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/TermRewriting.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/TrickyTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/TrickyTypes.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/TypeImplicits.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/TypeImplicits.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/TypeMatching.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/TypeMatching.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/Varargs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/Varargs.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/VariableFunctionsInsertion.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/VariableFunctionsInsertion.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/VariableSymbolTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/VariableSymbolTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/feature/VirtualizedConstructs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/feature/VirtualizedConstructs.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/CompilationTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/CompilationTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/FoldTupleVarOptims.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/FoldTupleVarOptims.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/FoldTupleVarOptimsNew.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/FoldTupleVarOptimsNew.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/FunBodyXion.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/FunBodyXion.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/ListFunctionOptims.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/ListFunctionOptims.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/MultiStage.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/MultiStage.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/PartiallyEvaluatedStructures.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/PartiallyEvaluatedStructures.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/PowRewrites.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/PowRewrites.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/RecursiveExtrusion.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/RecursiveExtrusion.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/Soundness.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/Soundness.scala -------------------------------------------------------------------------------- /src/test/scala/squid/functional/StagingPower.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/functional/StagingPower.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/BindingNormalizerTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/BindingNormalizerTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/EffectfulReificationTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/EffectfulReificationTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/InterpreterTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/InterpreterTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/OfflineTransformerTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/OfflineTransformerTest.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/OnlineTransfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/OnlineTransfo.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/PrettyPrinterTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/PrettyPrinterTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/StaticExecTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/StaticExecTests.scala -------------------------------------------------------------------------------- /src/test/scala/squid/ir/TransformerTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/ir/TransformerTest.scala -------------------------------------------------------------------------------- /src/test/scala/squid/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfldata/squid/HEAD/src/test/scala/squid/package.scala --------------------------------------------------------------------------------