Files: YAS index
- languages/.ueber
- languages/ANTLR/.hinzu
- languages/ANTLR/.ueber
- languages/ANTLR/README.md
- languages/ASL/.hinzu
- languages/ASL/.ueber
- languages/ASL/README.md
- languages/ASL/samples/101/companies.asl
- languages/ASL/samples/101/employees.asl
- languages/ASL/samples/101/functionality.asl
- languages/ASL/samples/101/salaries.asl
- languages/ASL/samples/adts/Java/functional/README.md
- languages/ASL/samples/adts/Java/functional/v1/Cons.java
- languages/ASL/samples/adts/Java/functional/v1/Demo.java
- languages/ASL/samples/adts/Java/functional/v1/List.java
- languages/ASL/samples/adts/Java/functional/v1/Nil.java
- languages/ASL/samples/adts/Java/functional/v2/Cons.java
- languages/ASL/samples/adts/Java/functional/v2/Demo.java
- languages/ASL/samples/adts/Java/functional/v2/List.java
- languages/ASL/samples/adts/Java/functional/v2/Nil.java
- languages/ASL/samples/adts/Java/imperative/README.md
- languages/ASL/samples/adts/Java/imperative/v1/Cons.java
- languages/ASL/samples/adts/Java/imperative/v1/Demo.java
- languages/ASL/samples/adts/Java/imperative/v1/List.java
- languages/ASL/samples/adts/Java/imperative/v2/Cons.java
- languages/ASL/samples/adts/Java/imperative/v2/Demo.java
- languages/ASL/samples/adts/Java/imperative/v2/List.java
- languages/ASL/samples/adts/Java/imperative/v3/Cons.java
- languages/ASL/samples/adts/Java/imperative/v3/Demo.java
- languages/ASL/samples/adts/Java/imperative/v3/List.java
- languages/ASL/samples/adts/bag.asl
- languages/ASL/samples/adts/bool.asl
- languages/ASL/samples/adts/int.asl
- languages/ASL/samples/adts/list.asl
- languages/ASL/samples/adts/lqueue1.asl
- languages/ASL/samples/adts/lqueue2.asl
- languages/ASL/samples/adts/lstack.asl
- languages/ASL/samples/adts/nat.asl
- languages/ASL/samples/adts/nat1.asl
- languages/ASL/samples/adts/pqueue.asl
- languages/ASL/samples/adts/queue.asl
- languages/ASL/samples/adts/set.asl
- languages/ASL/samples/adts/stack.asl
- languages/ASL/samples/attic/BIPL.asl
- languages/ASL/samples/sorting.asl
- languages/BAL/.hinzu
- languages/BAL/.ueber
- languages/BAL/Haskell/Language/BAL/Assembler.hs
- languages/BAL/Haskell/Language/BAL/Sample.hs
- languages/BAL/Haskell/Language/BAL/Syntax.hs
- languages/BAL/README.md
- languages/BCL/.hinzu
- languages/BCL/.ueber
- languages/BCL/README.md
- languages/BCL/as.esl
- languages/BCL/as.term
- languages/BCL/bclOk.pro
- languages/BFPL/.hinzu
- languages/BFPL/.ueber
- languages/BFPL/Haskell/Language/BFPL/Domains.hs
- languages/BFPL/Haskell/Language/BFPL/Inliner.hs
- languages/BFPL/Haskell/Language/BFPL/Interpreter.hs
- languages/BFPL/Haskell/Language/BFPL/Samples/Factorial.hs
- languages/BFPL/Haskell/Language/BFPL/Samples/Power.hs
- languages/BFPL/Haskell/Language/BFPL/Specializer.hs
- languages/BFPL/Haskell/Language/BFPL/Syntax.hs
- languages/BFPL/Haskell/Language/BFPL/TypeChecker.hs
- languages/BFPL/Haskell/Main.hs
- languages/BFPL/Prolog/.ueber
- languages/BFPL/Prolog/big-step/.ueber
- languages/BFPL/Prolog/big-step/evaluate.pro
- languages/BFPL/Prolog/big-step/op.pro
- languages/BFPL/Prolog/big-step/value.pro
- languages/BFPL/Prolog/denotational/.ueber
- languages/BFPL/Prolog/denotational/combinators.pro
- languages/BFPL/Prolog/denotational/expr.pro
- languages/BFPL/Prolog/denotational/op.pro
- languages/BFPL/Prolog/denotational/prog.pro
- languages/BFPL/Prolog/small-step/.ueber
- languages/BFPL/Prolog/small-step/closure.pro
- languages/BFPL/Prolog/small-step/normal.pro
- languages/BFPL/Prolog/small-step/op.pro
- languages/BFPL/Prolog/small-step/step.pro
- languages/BFPL/Prolog/small-step/substitution.pro
- languages/BFPL/Prolog/typing/.ueber
- languages/BFPL/Prolog/typing/expr.pro
- languages/BFPL/Prolog/typing/op.pro
- languages/BFPL/Prolog/typing/prog.pro
- languages/BFPL/README.md
- languages/BFPL/as-to-cs.pro
- languages/BFPL/as.esl
- languages/BFPL/as.term
- languages/BFPL/bfplAbstract.pro
- languages/BFPL/cs.egl
- languages/BFPL/cs.term
- languages/BFPL/ls.egl
- languages/BFPL/ls.term
- languages/BFPL/samples/.ueber
- languages/BFPL/samples/abs.bfpl
- languages/BFPL/samples/abs.term
- languages/BFPL/samples/factorial.bfpl
- languages/BFPL/samples/factorial.normal
- languages/BFPL/samples/factorial.term
- languages/BFPL/samples/factorial.value
- languages/BFPL/samples/power.bfpl
- languages/BFPL/samples/power.term
- languages/BFPL/samples/power.value
- languages/BGL/.hinzu
- languages/BGL/.ueber
- languages/BGL/Haskell/Language/BGL/BottomUpAcceptor.hs
- languages/BGL/Haskell/Language/BGL/CST.hs
- languages/BGL/Haskell/Language/BGL/Sample.hs
- languages/BGL/Haskell/Language/BGL/SampleWithGreediness.hs
- languages/BGL/Haskell/Language/BGL/SampleWithoutEpsilon.hs
- languages/BGL/Haskell/Language/BGL/Syntax.hs
- languages/BGL/Haskell/Language/BGL/TopDownAcceptor.hs
- languages/BGL/Haskell/Language/BGL/TopDownParser.hs
- languages/BGL/Haskell/Main.hs
- languages/BGL/README.md
- languages/BGL/api.pro
- languages/BGL/as.esl
- languages/BGL/as.term
- languages/BGL/astToCst.pro
- languages/BGL/bglAbstract.pro
- languages/BGL/bglAcceptBottomUp.pro
- languages/BGL/bglAcceptTopDown.pro
- languages/BGL/bglParseTopDown.pro
- languages/BGL/cs.egl
- languages/BGL/cs.term
- languages/BGL/cstToAst.pro
- languages/BGL/egl-to-bgl.pro
- languages/BGL/ls.egl
- languages/BGL/ls.term
- languages/BGL/unparse.pro
- languages/BIPL/.hinzu
- languages/BIPL/.ueber
- languages/BIPL/Haskell/.hinzu
- languages/BIPL/Haskell/Language/BIPL/.hinzu
- languages/BIPL/Haskell/Language/BIPL/Algebra/.hinzu
- languages/BIPL/Haskell/Language/BIPL/Algebra/Scheme.hs
- languages/BIPL/Haskell/Language/BIPL/Algebra/Signature.hs
- languages/BIPL/Haskell/Language/BIPL/Algebra/StandardInterpreter.hs
- languages/BIPL/Haskell/Language/BIPL/Analysis/.hinzu
- languages/BIPL/Haskell/Language/BIPL/Analysis/BasicAnalysis.hs
- languages/BIPL/Haskell/Language/BIPL/Analysis/Fix.hs
- languages/BIPL/Haskell/Language/BIPL/Analysis/RefinedAnalysis.hs
- languages/BIPL/Haskell/Language/BIPL/Analysis/Sample.hs
- languages/BIPL/Haskell/Language/BIPL/CS/.hinzu
- languages/BIPL/Haskell/Language/BIPL/CS/Combinators.hs
- languages/BIPL/Haskell/Language/BIPL/CS/Domains.hs
- languages/BIPL/Haskell/Language/BIPL/CS/Interpreter.hs
- languages/BIPL/Haskell/Language/BIPL/Compiler.hs
- languages/BIPL/Haskell/Language/BIPL/DS/.hinzu
- languages/BIPL/Haskell/Language/BIPL/DS/Combinators.hs
- languages/BIPL/Haskell/Language/BIPL/DS/Domains.hs
- languages/BIPL/Haskell/Language/BIPL/DS/Interpreter.hs
- languages/BIPL/Haskell/Language/BIPL/Domains.hs
- languages/BIPL/Haskell/Language/BIPL/Extraction.hs
- languages/BIPL/Haskell/Language/BIPL/Goto/.hinzu
- languages/BIPL/Haskell/Language/BIPL/Goto/Combinators.hs
- languages/BIPL/Haskell/Language/BIPL/Goto/Domains.hs
- languages/BIPL/Haskell/Language/BIPL/Goto/Interpreter.hs
- languages/BIPL/Haskell/Language/BIPL/Goto/Sample.hs
- languages/BIPL/Haskell/Language/BIPL/Goto/Syntax.hs
- languages/BIPL/Haskell/Language/BIPL/Interpreter.hs
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/.hinzu
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/Interpretation.hs
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/Scheme.hs
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/Signature.hs
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/TypeChecker.hs
- languages/BIPL/Haskell/Language/BIPL/Rename/.hinzu
- languages/BIPL/Haskell/Language/BIPL/Rename/Condition.hs
- languages/BIPL/Haskell/Language/BIPL/Rename/Transformation.hs
- languages/BIPL/Haskell/Language/BIPL/Sample.hs
- languages/BIPL/Haskell/Language/BIPL/Syntax.hs
- languages/BIPL/Haskell/Language/BIPL/TypeChecker.hs
- languages/BIPL/Haskell/Main.hs
- languages/BIPL/Prolog/.ueber
- languages/BIPL/Prolog/big-step/.ueber
- languages/BIPL/Prolog/big-step/evaluate.pro
- languages/BIPL/Prolog/big-step/execute.pro
- languages/BIPL/Prolog/div.store
- languages/BIPL/Prolog/small-step/.ueber
- languages/BIPL/Prolog/small-step/closure.pro
- languages/BIPL/Prolog/small-step/normal.pro
- languages/BIPL/Prolog/small-step/step.pro
- languages/BIPL/Prolog/store.pro
- languages/BIPL/README.md
- languages/BIPL/as.esl
- languages/BIPL/as.term
- languages/BIPL/biplAbstract.pro
- languages/BIPL/cs.egl
- languages/BIPL/cs.term
- languages/BIPL/ls.egl
- languages/BIPL/ls.term
- languages/BIPL/samples/.ueber
- languages/BIPL/samples/abs.bipl
- languages/BIPL/samples/abs.term
- languages/BIPL/samples/addmul.bipl
- languages/BIPL/samples/addmul.term
- languages/BIPL/samples/bracket.bipl
- languages/BIPL/samples/bracket.term
- languages/BIPL/samples/div.bipl
- languages/BIPL/samples/div.term
- languages/BIPL/samples/exp-loop.bipl
- languages/BIPL/samples/exp-loop.term
- languages/BIPL/samples/exp-sliced.bipl
- languages/BIPL/samples/exp-sliced.term
- languages/BIPL/samples/exp-unrolled.bipl
- languages/BIPL/samples/exp-unrolled.term
- languages/BIPL/samples/factorialV1.bipl
- languages/BIPL/samples/factorialV1.term
- languages/BIPL/samples/factorialV2.bipl
- languages/BIPL/samples/factorialV2.term
- languages/BIPL/samples/geq.bipl
- languages/BIPL/samples/geq.term
- languages/BIPL/samples/ifthen.bipl
- languages/BIPL/samples/ifthen.term
- languages/BIPL/samples/ifthenelse.bipl
- languages/BIPL/samples/ifthenelse.term
- languages/BL/.hinzu
- languages/BL/.ueber
- languages/BL/Haskell/Language/GBL/Resolution.hs
- languages/BL/Haskell/Language/GBL/Sample.hs
- languages/BL/Haskell/Language/GBL/Syntax.hs
- languages/BL/Haskell/Language/GBL/V2/Sample.hs
- languages/BL/Haskell/Language/GBL/V2/Syntax.hs
- languages/BL/Haskell/Language/TBL/Sample.hs
- languages/BL/Haskell/Language/TBL/Syntax.hs
- languages/BL/Haskell/Main.hs
- languages/BL/Java/org/softlang/gbl/Resolution.java
- languages/BL/Java/org/softlang/gbl/Sample.java
- languages/BL/Java/org/softlang/gbl/Syntax.java
- languages/BL/Java/org/softlang/tbl/Sample.java
- languages/BL/Java/org/softlang/tbl/Syntax.java
- languages/BL/README.md
- languages/BL/as.esl
- languages/BL/as.term
- languages/BL/blAbstract.pro
- languages/BL/blOk.pro
- languages/BL/blOne.pro
- languages/BL/blToTbl.pro
- languages/BL/cs.egl
- languages/BL/cs.term
- languages/BL/gbl.count
- languages/BL/gbl.graph
- languages/BL/gbl.mml
- languages/BL/gbl.term
- languages/BL/ls.egl
- languages/BL/ls.term
- languages/BL/samples/.ueber
- languages/BL/samples/empty.bl
- languages/BL/samples/empty.graph
- languages/BL/samples/empty.loc
- languages/BL/samples/empty.term
- languages/BL/samples/notOk1.bl
- languages/BL/samples/notOk1.term
- languages/BL/samples/notOk2.bl
- languages/BL/samples/notOk2.term
- languages/BL/samples/singleton.bl
- languages/BL/samples/singleton.graph
- languages/BL/samples/singleton.loc
- languages/BL/samples/singleton.term
- languages/BL/samples/small-world.bl
- languages/BL/samples/small-world.graph
- languages/BL/samples/small-world.loc
- languages/BL/samples/small-world.term
- languages/BL/samples/small-world.tree
- languages/BL/tbl.graph
- languages/BL/tbl.mml
- languages/BL/tbl.term
- languages/BL/tblToGbl.pro
- languages/BL/tblToGbl.term
- languages/BML/.hinzu
- languages/BML/.ueber
- languages/BML/Haskell/Language/BML/Machine.hs
- languages/BML/Haskell/Language/BML/Sample.hs
- languages/BML/Haskell/Language/BML/Syntax.hs
- languages/BML/README.md
- languages/BNL/.hinzu
- languages/BNL/.ueber
- languages/BNL/ANTLR/.ueber
- languages/BNL/ANTLR/BnlBnf.g4
- languages/BNL/ANTLR/BnlBnfConversion.g4
- languages/BNL/ANTLR/BnlEbnf.g4
- languages/BNL/ANTLR/BnlEbnfConversion.g4
- languages/BNL/ANTLR/README.md
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversion.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfSyntaxChecker.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfAcceptor.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversion.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfSyntaxChecker.java
- languages/BNL/EGL/.ueber
- languages/BNL/EGL/cs.egl
- languages/BNL/EGL/cs.term
- languages/BNL/EGL/ls.egl
- languages/BNL/EGL/ls.term
- languages/BNL/ESL/.ueber
- languages/BNL/ESL/as.esl
- languages/BNL/ESL/as.term
- languages/BNL/ESL/haskell/as.hs
- languages/BNL/ESL/java/Bit.java
- languages/BNL/ESL/java/Number.java
- languages/BNL/ESL/java/as.java
- languages/BNL/ESL/samples/.ueber
- languages/BNL/ESL/samples/10.term
- languages/BNL/ESL/samples/5comma25.term
- languages/BNL/Haskell/Language/BNL/BacktrackingAcceptor.hs
- languages/BNL/Haskell/Language/BNL/Conversion.hs
- languages/BNL/Haskell/Language/BNL/LookAheadAcceptor.hs
- languages/BNL/Haskell/Language/BNL/Parser.hs
- languages/BNL/Haskell/Language/BNL/Syntax.hs
- languages/BNL/Haskell/Main.hs
- languages/BNL/Haskell/README.md
- languages/BNL/JSON/schema.json
- languages/BNL/Java/Bit.java
- languages/BNL/Java/Bits.java
- languages/BNL/Java/Integer.java
- languages/BNL/Java/Many.java
- languages/BNL/Java/Number.java
- languages/BNL/Java/One.java
- languages/BNL/Java/Rational.java
- languages/BNL/Java/Rest.java
- languages/BNL/Java/Single.java
- languages/BNL/Java/Zero.java
- languages/BNL/Java/as.java
- languages/BNL/Prolog/.ueber
- languages/BNL/Prolog/as.pro
- languages/BNL/Prolog/bnlAcceptor.dcg
- languages/BNL/Prolog/bnlEvaluator.pro
- languages/BNL/Prolog/bnlFomula.pro
- languages/BNL/Prolog/bnlParser.dcg
- languages/BNL/Prolog/bnlTermToFormula.pro
- languages/BNL/Prolog/bnlTermToValue.pro
- languages/BNL/Prolog/bnlTermToValueS.pro
- languages/BNL/Prolog/bnlTextToFormula.dcg
- languages/BNL/Prolog/bnlTextToValue.dcg
- languages/BNL/Prolog/bnlTextToValueS.dcg
- languages/BNL/Prolog/scanner.pro
- languages/BNL/README.md
- languages/BNL/XML/sample.xml
- languages/BNL/as.bsl
- languages/BNL/as.term
- languages/BNL/cs.bgl
- languages/BNL/cs.dcg
- languages/BNL/cs.term
- languages/BNL/samples/.ueber
- languages/BNL/samples/10.bnl
- languages/BNL/samples/10.json
- languages/BNL/samples/10.term
- languages/BNL/samples/10.tokens
- languages/BNL/samples/10.tree
- languages/BNL/samples/5comma25.bnl
- languages/BNL/samples/5comma25.formula
- languages/BNL/samples/5comma25.json
- languages/BNL/samples/5comma25.term
- languages/BNL/samples/5comma25.tokens
- languages/BNL/samples/5comma25.tree
- languages/BNL/samples/5comma25.value
- languages/BOL/.hinzu
- languages/BOL/Haskell/LICENSE.md
- languages/BOL/Haskell/Language/BOL/Evaluator.hs
- languages/BOL/Haskell/Language/BOL/ICL.hs
- languages/BOL/Haskell/Language/BOL/PEvaluator.hs
- languages/BOL/Haskell/Language/BOL/PEvaluatorWithPaths.hs
- languages/BOL/Haskell/Language/BOL/Samples/Lt5.hs
- languages/BOL/Haskell/Language/BOL/Samples/PathExpr.hs
- languages/BOL/Haskell/Language/BOL/Syntax.hs
- languages/BOL/Haskell/Language/BOL/Translator.hs
- languages/BOL/Haskell/Main.hs
- languages/BOL/Haskell/README.md
- languages/BOL/Haskell/TestEvaluation.hs
- languages/BOL/Haskell/TestPEvaluation.hs
- languages/BOL/Haskell/TestPEvaluationWithPaths.hs
- languages/BOL/Haskell/TestTranslation.hs
- languages/BOL/README.md
- languages/BSL/.hinzu
- languages/BSL/.ueber
- languages/BSL/Haskell/Language/BSL/Conformance.hs
- languages/BSL/Haskell/Language/BSL/Sample.hs
- languages/BSL/Haskell/Language/BSL/Syntax.hs
- languages/BSL/Haskell/Main.hs
- languages/BSL/README.md
- languages/BSL/api.pro
- languages/BSL/as.esl
- languages/BSL/as.pro
- languages/BSL/as.term
- languages/BSL/bglToBsl.pro
- languages/BSL/bslAbstract.pro
- languages/BSL/bslConformance.pro
- languages/BSL/cs.egl
- languages/BSL/cs.term
- languages/BSL/esl-to-bsl.pro
- languages/BSL/ls.egl
- languages/BSL/ls.term
- languages/BSL/prefix-term.pro
- languages/BSL/sample.prefixTerm
- languages/BSL/sample.term
- languages/BSL/sample.tupleTerm
- languages/BSL/tuple-term.pro
- languages/BSTL/.hinzu
- languages/BSTL/.ueber
- languages/BSTL/Prolog/.ueber
- languages/BSTL/Prolog/bstlSig.pro
- languages/BSTL/Prolog/bstlTerm.pro
- languages/BSTL/README.md
- languages/BSTL/as.esl
- languages/BSTL/as.term
- languages/BSTL/framework.ueber
- languages/BSTL/tests/.ueber
- languages/BSTL/tests/sig1.bsl
- languages/BSTL/tests/sig1.term
- languages/BSTL/tests/sig2.bsl
- languages/BSTL/tests/sig2.term
- languages/BSTL/tests/term1.term
- languages/BSTL/tests/term2.term
- languages/BSTL/tests/trafo1.term
- languages/BSTL/tests/trafo1.ueber
- languages/BTL/.hinzu
- languages/BTL/.ueber
- languages/BTL/Haskell/Language/BTL/BigStep.hs
- languages/BTL/Haskell/Language/BTL/BigStepMaybe.hs
- languages/BTL/Haskell/Language/BTL/BigStepWithGuards.hs
- languages/BTL/Haskell/Language/BTL/Closure.hs
- languages/BTL/Haskell/Language/BTL/Dynamics.hs
- languages/BTL/Haskell/Language/BTL/Interpreter.hs
- languages/BTL/Haskell/Language/BTL/Sample.hs
- languages/BTL/Haskell/Language/BTL/SmallStep.hs
- languages/BTL/Haskell/Language/BTL/SmallStepWithGuards.hs
- languages/BTL/Haskell/Language/BTL/SmartSyntax.hs
- languages/BTL/Haskell/Language/BTL/Syntax.hs
- languages/BTL/Haskell/Language/BTL/TypeChecker.hs
- languages/BTL/Haskell/Language/BTL/TypeCheckerWithGuards.hs
- languages/BTL/Haskell/Language/BTL/Universal/Sample.hs
- languages/BTL/Haskell/Language/BTL/Universal/Term.hs
- languages/BTL/Haskell/Language/BTL/Value.hs
- languages/BTL/Haskell/Language/BTL/ValueExpr.hs
- languages/BTL/Haskell/Main.hs
- languages/BTL/JSON/README.md
- languages/BTL/JSON/sample.json
- languages/BTL/JSON/schema.json
- languages/BTL/Java/org/softlang/btl/Sample.java
- languages/BTL/Java/org/softlang/btl/Syntax.java
- languages/BTL/Prolog/.ueber
- languages/BTL/Prolog/btlBigstep.pro
- languages/BTL/Prolog/btlClosure.pro
- languages/BTL/Prolog/btlSmallstep.pro
- languages/BTL/Prolog/btlSyntax.pro
- languages/BTL/Prolog/btlTyping.pro
- languages/BTL/Prolog/btlValues.pro
- languages/BTL/README.md
- languages/BTL/XML/README.md
- languages/BTL/XML/sample.xml
- languages/BTL/as.bsl
- languages/BTL/as.term
- languages/BTL/cs.bgl
- languages/BTL/cs.term
- languages/BTL/ls.egl
- languages/BTL/sample.btl
- languages/BTL/sample.term
- languages/BTL/scanner.pro
- languages/BTL/type.term
- languages/BTL/value.term
- languages/DCG/.hinzu
- languages/DCG/.ueber
- languages/DCG/README.md
- languages/DDL/.hinzu
- languages/DDL/.ueber
- languages/DDL/README.md
- languages/DDL/as.esl
- languages/DDL/as.term
- languages/DDL/cs.egl
- languages/DDL/cs.term
- languages/DDL/ddlAbstract.pro
- languages/DDL/ddlEq.pro
- languages/DDL/ls.egl
- languages/DDL/ls.term
- languages/DGL/.hinzu
- languages/DGL/.ueber
- languages/DGL/README.md
- languages/DGL/as.esl
- languages/DGL/as.term
- languages/DGL/pp.pro
- languages/DGL/sample.dgl
- languages/DGL/sample.ppl
- languages/DGL/sample.term
- languages/DOT/.hinzu
- languages/DOT/.ueber
- languages/DOT/README.md
- languages/EFPL/.hinzu
- languages/EFPL/.ueber
- languages/EFPL/Prolog/.ueber
- languages/EFPL/Prolog/big-step/.ueber
- languages/EFPL/Prolog/big-step/evaluate.pro
- languages/EFPL/Prolog/efplAlpha.pro
- languages/EFPL/Prolog/efplTyping.pro
- languages/EFPL/Prolog/sample.value
- languages/EFPL/README.md
- languages/EFPL/as-to-cs.pro
- languages/EFPL/as.esl
- languages/EFPL/as.term
- languages/EFPL/cs.egl
- languages/EFPL/cs.term
- languages/EFPL/efplAbstract.pro
- languages/EFPL/ls.egl
- languages/EFPL/ls.term
- languages/EFPL/tests/.ueber
- languages/EFPL/tests/sample-past-inference.efpl
- languages/EFPL/tests/sample-past-inference.term
- languages/EFPL/tests/sample-past-specialization.efpl
- languages/EFPL/tests/sample-past-specialization.term
- languages/EFPL/tests/sample.efpl
- languages/EFPL/tests/sample.term
- languages/EGL/.hinzu
- languages/EGL/.ueber
- languages/EGL/Haskell/Language/EGL/Interpreter.hs
- languages/EGL/Haskell/Language/EGL/Lexer.hs
- languages/EGL/Haskell/Language/EGL/Parser.hs
- languages/EGL/Haskell/Language/EGL/Sample.hs
- languages/EGL/Haskell/Language/EGL/Syntax.hs
- languages/EGL/Haskell/Main.hs
- languages/EGL/README.md
- languages/EGL/api.pro
- languages/EGL/as.esl
- languages/EGL/as.term
- languages/EGL/cs.egl
- languages/EGL/cs.term
- languages/EGL/eglAbstract.pro
- languages/EGL/eglParser.pro
- languages/EGL/eglScannerfull.pro
- languages/EGL/eglScannerless.pro
- languages/EGL/ls.egl
- languages/EGL/ls.term
- languages/EGL/samples/.ueber
- languages/EGL/samples/ambiguity.egl
- languages/EGL/samples/ambiguity.term
- languages/EGL/samples/left-recursion.egl
- languages/EGL/samples/left-recursion.term
- languages/EGL/scanner.pro
- languages/EGTL/.hinzu
- languages/EGTL/.ueber
- languages/EGTL/README.md
- languages/EGTL/as.esl
- languages/EGTL/as.term
- languages/EGTL/cs.egl
- languages/EGTL/cs.term
- languages/EGTL/egtlAbstract.pro
- languages/EGTL/egtlExtension.pro
- languages/EGTL/egtlGeq.pro
- languages/EGTL/egtlInterpret.pro
- languages/EGTL/ls.egl
- languages/EGTL/ls.term
- languages/EGTL/samples/.ueber
- languages/EGTL/samples/bgl2egl.egtl
- languages/EGTL/samples/bgl2egl.term
- languages/EIPL/.hinzu
- languages/EIPL/.ueber
- languages/EIPL/ANTLR/EiplChecker.g4
- languages/EIPL/ANTLR/org/softlang/eipl/EiplChecker.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerBaseListener.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerLexer.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerListener.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerParser.java
- languages/EIPL/ANTLR/org/softlang/eipl/Env.java
- languages/EIPL/Prolog/.ueber
- languages/EIPL/Prolog/dynamic.output
- languages/EIPL/Prolog/dynamic.pro
- languages/EIPL/Prolog/mixed.output
- languages/EIPL/Prolog/mixed.pro
- languages/EIPL/Prolog/static.output
- languages/EIPL/Prolog/static.pro
- languages/EIPL/Prolog/typing.pro
- languages/EIPL/Prolog/undeclare.pro
- languages/EIPL/README.md
- languages/EIPL/as.esl
- languages/EIPL/as.term
- languages/EIPL/cs.egl
- languages/EIPL/cs.term
- languages/EIPL/eiplAbstract.pro
- languages/EIPL/ls.egl
- languages/EIPL/ls.term
- languages/EIPL/sample.eipl
- languages/EIPL/sample.term
- languages/EIPL/tests/.ueber
- languages/EIPL/tests/div.eipl
- languages/EIPL/tests/missing-proc-dec.eipl
- languages/EIPL/tests/missing-proc-dec.term
- languages/EIPL/tests/missing-var-dec.eipl
- languages/EIPL/tests/missing-var-dec.term
- languages/EIPL/tests/proc-clash.eipl
- languages/EIPL/tests/proc-clash.term
- languages/EIPL/tests/var-clash.eipl
- languages/EIPL/tests/var-clash.term
- languages/EL/.hinzu
- languages/EL/.ueber
- languages/EL/Haskell/Language/EL/All.hs
- languages/EL/Haskell/Language/EL/Lexer.hs
- languages/EL/Haskell/Language/EL/MoreRules.hs
- languages/EL/Haskell/Language/EL/Normalizer.hs
- languages/EL/Haskell/Language/EL/Parser.hs
- languages/EL/Haskell/Language/EL/QQ/Lexer.hs
- languages/EL/Haskell/Language/EL/QQ/MoreRules.hs
- languages/EL/Haskell/Language/EL/QQ/Parser.hs
- languages/EL/Haskell/Language/EL/QQ/Rules.hs
- languages/EL/Haskell/Language/EL/QQ/Rules/Associate.hs
- languages/EL/Haskell/Language/EL/QQ/Rules/Commute.hs
- languages/EL/Haskell/Language/EL/QQ/Rules/Simplify.hs
- languages/EL/Haskell/Language/EL/QQ/Syntax.hs
- languages/EL/Haskell/Language/EL/QuasiQuoter.hs
- languages/EL/Haskell/Language/EL/Rules.hs
- languages/EL/Haskell/Language/EL/Rules/Associate.hs
- languages/EL/Haskell/Language/EL/Rules/Commute.hs
- languages/EL/Haskell/Language/EL/Rules/Simplify.hs
- languages/EL/Haskell/Language/EL/Syntax.hs
- languages/EL/Haskell/Main.hs
- languages/EL/Prolog/.ueber
- languages/EL/Prolog/elRewrite.pro
- languages/EL/Prolog/qq/.ueber
- languages/EL/Prolog/qq/as.esl
- languages/EL/Prolog/qq/as.term
- languages/EL/Prolog/qq/cs.egl
- languages/EL/Prolog/qq/cs.term
- languages/EL/Prolog/qq/elqqAbstract.pro
- languages/EL/Prolog/qq/elqqQuasiQuoter.pro
- languages/EL/Prolog/qq/ls.egl
- languages/EL/Prolog/qq/ls.term
- languages/EL/Prolog/qq/rules/.ueber
- languages/EL/Prolog/qq/rules/elqqAssociate.pro
- languages/EL/Prolog/qq/rules/elqqCommute.pro
- languages/EL/Prolog/qq/rules/elqqSimplify.pro
- languages/EL/Prolog/qq/sample.elqq
- languages/EL/Prolog/qq/sample.term
- languages/EL/Prolog/rules/.ueber
- languages/EL/Prolog/rules/elAssociate.pro
- languages/EL/Prolog/rules/elCommute.pro
- languages/EL/Prolog/rules/elSimplify.pro
- languages/EL/README.md
- languages/EL/as.esl
- languages/EL/as.term
- languages/EL/cs.egl
- languages/EL/cs.term
- languages/EL/elAbstract.pro
- languages/EL/elEvaluate.pro
- languages/EL/elOps.pro
- languages/EL/ls.egl
- languages/EL/ls.term
- languages/EL/tests/.ueber
- languages/EL/tests/a-plus-b.el
- languages/EL/tests/a.el
- languages/EL/tests/a.term
- languages/EL/tests/deep-unit.el
- languages/EL/tests/left-associated.el
- languages/EL/tests/left-associated.term
- languages/EL/tests/mix-associated.el
- languages/EL/tests/mix-associated.term
- languages/EL/tests/needs-commute.el
- languages/EL/tests/needs-commute.term
- languages/EL/tests/needs-fullbu.el
- languages/EL/tests/needs-fullbu.term
- languages/EL/tests/no-vars.el
- languages/EL/tests/no-vars.term
- languages/EL/tests/no-vars.value
- languages/EL/tests/right-associated.el
- languages/EL/tests/right-associated.term
- languages/EL/tests/top-unit.el
- languages/EL/tests/top-unit.term
- languages/ESL/.hinzu
- languages/ESL/.ueber
- languages/ESL/README.md
- languages/ESL/api.pro
- languages/ESL/applied-term.pro
- languages/ESL/as.esl
- languages/ESL/as.pro
- languages/ESL/as.term
- languages/ESL/conformance.pro
- languages/ESL/cs.egl
- languages/ESL/cs.term
- languages/ESL/eslAbstract.pro
- languages/ESL/ls.egl
- languages/ESL/ls.term
- languages/FL/.hinzu
- languages/FL/.ueber
- languages/FL/NFL/.ueber
- languages/FL/NFL/atomToRef.config
- languages/FL/NFL/mm.graph
- languages/FL/NFL/mm.mml
- languages/FL/NFL/mm.term
- languages/FL/NFL/small-family.graph
- languages/FL/README.md
- languages/FL/RFL1/.ueber
- languages/FL/RFL1/dd.ddl
- languages/FL/RFL1/dd.term
- languages/FL/RFL1/empty-family.graph
- languages/FL/RFL1/mm.graph
- languages/FL/RFL1/mm.mml
- languages/FL/RFL1/mm.term
- languages/FL/RFL1/mmdiff.term
- languages/FL/RFL1/mminvdiff.term
- languages/FL/RFL1/singleton-family.graph
- languages/FL/RFL1/small-family.graph
- languages/FL/RFL1/termdiff.term
- languages/FL/RFL1/terminvdiff.term
- languages/FL/RFL2/.ueber
- languages/FL/RFL2/dd.ddl
- languages/FL/RFL2/dd.term
- languages/FL/RFL2/mm.graph
- languages/FL/RFL2/mm.mml
- languages/FL/RFL2/mm.term
- languages/FSML/.hinzu
- languages/FSML/.ueber
- languages/FSML/Haskell/.ueber
- languages/FSML/Haskell/FsmlAcceptor.hs
- languages/FSML/Haskell/Language/FSML/Acceptor.hs
- languages/FSML/Haskell/Language/FSML/ApplicativeParser.hs
- languages/FSML/Haskell/Language/FSML/BoolChecker.hs
- languages/FSML/Haskell/Language/FSML/CombinatorFormatter.hs
- languages/FSML/Haskell/Language/FSML/Domains.hs
- languages/FSML/Haskell/Language/FSML/Eq.hs
- languages/FSML/Haskell/Language/FSML/Extraction.hs
- languages/FSML/Haskell/Language/FSML/Interpreter.hs
- languages/FSML/Haskell/Language/FSML/Lexer.hs
- languages/FSML/Haskell/Language/FSML/Merge/Condition.hs
- languages/FSML/Haskell/Language/FSML/Merge/Sample.hs
- languages/FSML/Haskell/Language/FSML/Merge/Transformation.hs
- languages/FSML/Haskell/Language/FSML/MonadicParser.hs
- languages/FSML/Haskell/Language/FSML/Normalization.hs
- languages/FSML/Haskell/Language/FSML/QQ/Determinism.hs
- languages/FSML/Haskell/Language/FSML/QQ/DistinctIds.hs
- languages/FSML/Haskell/Language/FSML/QQ/Reachability.hs
- languages/FSML/Haskell/Language/FSML/QQ/ResolvableTargets.hs
- languages/FSML/Haskell/Language/FSML/QQ/Sample.hs
- languages/FSML/Haskell/Language/FSML/QQ/SingleInitial.hs
- languages/FSML/Haskell/Language/FSML/QuasiQuoter.hs
- languages/FSML/Haskell/Language/FSML/Rename/Condition.hs
- languages/FSML/Haskell/Language/FSML/Rename/Sample.hs
- languages/FSML/Haskell/Language/FSML/Rename/Transformation.hs
- languages/FSML/Haskell/Language/FSML/Sample.hs
- languages/FSML/Haskell/Language/FSML/SampleIO.hs
- languages/FSML/Haskell/Language/FSML/StringChecker.hs
- languages/FSML/Haskell/Language/FSML/StringTemplate/Sample.hs
- languages/FSML/Haskell/Language/FSML/StringTemplate/Syntax.hs
- languages/FSML/Haskell/Language/FSML/Syntax.hs
- languages/FSML/Haskell/Language/FSML/TemplateFormatter.hs
- languages/FSML/Haskell/Main.hs
- languages/FSML/JSON/tests/determinismNotOk.json
- languages/FSML/JSON/tests/resolutionNotOk.json
- languages/FSML/Java/.ueber
- languages/FSML/Java/Fsml.g4
- languages/FSML/Java/FsmlToObjects.g4
- languages/FSML/Java/FsmlToObjects2.g4
- languages/FSML/Java/org/softlang/fsml/Fsm.java
- languages/FSML/Java/org/softlang/fsml/FsmlAcceptor.java
- languages/FSML/Java/org/softlang/fsml/FsmlBaseListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlCGenerator.java
- languages/FSML/Java/org/softlang/fsml/FsmlDeterministismException.java
- languages/FSML/Java/org/softlang/fsml/FsmlDistinctIdsException.java
- languages/FSML/Java/org/softlang/fsml/FsmlException.java
- languages/FSML/Java/org/softlang/fsml/FsmlInfeasibleEventException.java
- languages/FSML/Java/org/softlang/fsml/FsmlInterpreter.java
- languages/FSML/Java/org/softlang/fsml/FsmlLexer.java
- languages/FSML/Java/org/softlang/fsml/FsmlListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlObservation.java
- languages/FSML/Java/org/softlang/fsml/FsmlObservationImpl.java
- languages/FSML/Java/org/softlang/fsml/FsmlParser.java
- languages/FSML/Java/org/softlang/fsml/FsmlResolutionException.java
- languages/FSML/Java/org/softlang/fsml/FsmlSingleInitialException.java
- languages/FSML/Java/org/softlang/fsml/FsmlSyntaxChecker.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2BaseListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2Lexer.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2Listener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2Parser.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsBaseListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsLexer.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsParser.java
- languages/FSML/Java/org/softlang/fsml/FunctionalSample.java
- languages/FSML/Java/org/softlang/fsml/ImperativeSample.java
- languages/FSML/Java/org/softlang/fsml/State.java
- languages/FSML/Java/org/softlang/fsml/Transition.java
- languages/FSML/Java/org/softlang/fsml/fluent/ActionStatePair.java
- languages/FSML/Java/org/softlang/fsml/fluent/Fsm.java
- languages/FSML/Java/org/softlang/fsml/fluent/FsmImpl.java
- languages/FSML/Java/org/softlang/fsml/fluent/FsmlInterpreter.java
- languages/FSML/Java/org/softlang/fsml/fluent/Sample.java
- languages/FSML/Java/org/softlang/fsml/tests/AcceptorTest.java
- languages/FSML/Java/org/softlang/fsml/tests/CGeneratorTest.java
- languages/FSML/Java/org/softlang/fsml/tests/FluentTest.java
- languages/FSML/Java/org/softlang/fsml/tests/FsmlParserTest.java
- languages/FSML/Java/org/softlang/fsml/tests/FsmlParserTest2.java
- languages/FSML/Java/org/softlang/fsml/tests/FsmlToObjectsTest.java
- languages/FSML/Java/org/softlang/fsml/tests/InfluentTest.java
- languages/FSML/Prolog/.ueber
- languages/FSML/Prolog/accept.pro
- languages/FSML/Prolog/dot/.ueber
- languages/FSML/Prolog/dot/sample.dgl
- languages/FSML/Prolog/dot/sample.ppl
- languages/FSML/Prolog/dot/sample.term
- languages/FSML/Prolog/fsmlConstraints.pro
- languages/FSML/Prolog/fsmlRename.pro
- languages/FSML/Prolog/generated/.ueber
- languages/FSML/Prolog/generated/Action.java
- languages/FSML/Prolog/generated/Demo.java
- languages/FSML/Prolog/generated/Handler.java
- languages/FSML/Prolog/generated/HandlerBase.java
- languages/FSML/Prolog/generated/Input.java
- languages/FSML/Prolog/generated/Pair.java
- languages/FSML/Prolog/generated/State.java
- languages/FSML/Prolog/generated/Stepper.java
- languages/FSML/Prolog/generated/StepperBase.java
- languages/FSML/Prolog/generated/baseline.txt
- languages/FSML/Prolog/sample.input
- languages/FSML/Prolog/sample.output
- languages/FSML/Prolog/simulation.pro
- languages/FSML/Prolog/to-dgl.pro
- languages/FSML/Prolog/to-java/.ueber
- languages/FSML/Prolog/to-java/action.pro
- languages/FSML/Prolog/to-java/as-to-cs.pro
- languages/FSML/Prolog/to-java/as.esl
- languages/FSML/Prolog/to-java/as.term
- languages/FSML/Prolog/to-java/input.pro
- languages/FSML/Prolog/to-java/sample.java
- languages/FSML/Prolog/to-java/sample.term
- languages/FSML/Prolog/to-java/state.pro
- languages/FSML/Prolog/to-java/stepper.pro
- languages/FSML/Python/.ueber
- languages/FSML/Python/Fsml.g4
- languages/FSML/Python/FsmlAcceptor.py
- languages/FSML/Python/FsmlCGenerator.py
- languages/FSML/Python/FsmlChecker.py
- languages/FSML/Python/FsmlConstraints.py
- languages/FSML/Python/FsmlExceptions.py
- languages/FSML/Python/FsmlInterpreter.py
- languages/FSML/Python/FsmlLexer.py
- languages/FSML/Python/FsmlListener.py
- languages/FSML/Python/FsmlModel.py
- languages/FSML/Python/FsmlParser.py
- languages/FSML/Python/FsmlPythonGenerator.py
- languages/FSML/Python/FsmlResolutionNotOk.py
- languages/FSML/Python/FsmlSample.py
- languages/FSML/Python/FsmlStepper.py
- languages/FSML/Python/FsmlTest.py
- languages/FSML/Python/FsmlToDot.py
- languages/FSML/Python/FsmlToJSON.py
- languages/FSML/Python/FsmlVisualizer.py
- languages/FSML/Python/LICENSE.md
- languages/FSML/Python/README.md
- languages/FSML/Python/dot/.ueber
- languages/FSML/Python/dot/sample.dot
- languages/FSML/Python/generated/Handler.py
- languages/FSML/Python/generated/Stepper.py
- languages/FSML/Python/sample.json
- languages/FSML/Python/tests/baselines/sample.json
- languages/FSML/README.md
- languages/FSML/as.esl
- languages/FSML/as.term
- languages/FSML/cs.egl
- languages/FSML/cs.term
- languages/FSML/fsmlAbstract.pro
- languages/FSML/ls.egl
- languages/FSML/ls.term
- languages/FSML/mm.graph
- languages/FSML/mm.mml
- languages/FSML/mm.term
- languages/FSML/sample.fsml
- languages/FSML/sample.graph
- languages/FSML/sample.term
- languages/FSML/tests/.ueber
- languages/FSML/tests/determinismNotOk.fsml
- languages/FSML/tests/determinismNotOk.term
- languages/FSML/tests/idsNotOk.fsml
- languages/FSML/tests/idsNotOk.term
- languages/FSML/tests/illegalSymbol.input
- languages/FSML/tests/infeasibleSymbol.input
- languages/FSML/tests/initialNotOk1.fsml
- languages/FSML/tests/initialNotOk1.term
- languages/FSML/tests/initialNotOk2.fsml
- languages/FSML/tests/initialNotOk2.term
- languages/FSML/tests/reachabilityNotOk.fsml
- languages/FSML/tests/reachabilityNotOk.term
- languages/FSML/tests/renaming.term
- languages/FSML/tests/resolutionNotOk.fsml
- languages/FSML/tests/resolutionNotOk.term
- languages/FSML/tests/sampleRenamed.fsml
- languages/FSML/tests/sampleRenamed.term
- languages/FSML/tests/simple.fsml
- languages/FSML/tests/simple.term
- languages/FSML/tests/syntaxError.fsml
- languages/HTML/.hinzu
- languages/HTML/.ueber
- languages/HTML/README.md
- languages/Haskell/.hinzu
- languages/Haskell/.ueber
- languages/Haskell/README.md
- languages/Hinzu/.hinzu
- languages/Hinzu/.ueber
- languages/Hinzu/README.md
- languages/Hinzu/as.esl
- languages/Hinzu/as.term
- languages/Hinzu/dump.term
- languages/Hinzu/hinzuDump.pro
- languages/Hinzu/hinzuInference.pro
- languages/Hinzu/hinzuReasoning.pro
- languages/Hinzu/hinzuToMd.pro
- languages/JSON/.hinzu
- languages/JSON/.ueber
- languages/JSON/README.md
- languages/Java/.hinzu
- languages/Java/.ueber
- languages/Java/README.md
- languages/LAL/.hinzu
- languages/LAL/.ueber
- languages/LAL/README.md
- languages/LAL/as.esl
- languages/LAL/as.term
- languages/LAL/config/.ueber
- languages/LAL/config/as.esl
- languages/LAL/config/as.term
- languages/LAL/cs.egl
- languages/LAL/cs.term
- languages/LAL/lalAbstract.pro
- languages/LAL/lalDeps.pro
- languages/LAL/lalNorm.pro
- languages/LAL/lalOk.pro
- languages/LAL/lalPp.pro
- languages/LAL/lalReuse.pro
- languages/LAL/lalTermEq.pro
- languages/LAL/lalTextEq.pro
- languages/LAL/lalUeber.pro
- languages/LAL/lib/.ueber
- languages/LAL/lib/application.deps
- languages/LAL/lib/application.lal
- languages/LAL/lib/application.lal2
- languages/LAL/lib/application.term
- languages/LAL/lib/application.term2
- languages/LAL/lib/bx/delta.deps
- languages/LAL/lib/bx/delta.lal
- languages/LAL/lib/bx/delta.lal2
- languages/LAL/lib/bx/delta.term
- languages/LAL/lib/bx/delta.term2
- languages/LAL/lib/bx/state.deps
- languages/LAL/lib/bx/state.lal
- languages/LAL/lib/bx/state.lal2
- languages/LAL/lib/bx/state.term
- languages/LAL/lib/bx/state.term2
- languages/LAL/lib/cast.deps
- languages/LAL/lib/cast.lal
- languages/LAL/lib/cast.lal2
- languages/LAL/lib/cast.term
- languages/LAL/lib/cast.term2
- languages/LAL/lib/composition.deps
- languages/LAL/lib/composition.lal
- languages/LAL/lib/composition.lal2
- languages/LAL/lib/composition.term
- languages/LAL/lib/composition.term2
- languages/LAL/lib/conformance.deps
- languages/LAL/lib/conformance.lal
- languages/LAL/lib/conformance.lal2
- languages/LAL/lib/conformance.term
- languages/LAL/lib/conformance.term2
- languages/LAL/lib/conformance/bnl.deps
- languages/LAL/lib/conformance/bnl.lal
- languages/LAL/lib/conformance/bnl.lal2
- languages/LAL/lib/conformance/bnl.term
- languages/LAL/lib/conformance/bnl.term2
- languages/LAL/lib/conformance/mathml.deps
- languages/LAL/lib/conformance/mathml.lal
- languages/LAL/lib/conformance/mathml.lal2
- languages/LAL/lib/conformance/mathml.term
- languages/LAL/lib/conformance/mathml.term2
- languages/LAL/lib/correspondence.deps
- languages/LAL/lib/correspondence.lal
- languages/LAL/lib/correspondence.lal2
- languages/LAL/lib/correspondence.term
- languages/LAL/lib/correspondence.term2
- languages/LAL/lib/correspondence/oneToOne.deps
- languages/LAL/lib/correspondence/oneToOne.lal
- languages/LAL/lib/correspondence/oneToOne.lal2
- languages/LAL/lib/correspondence/oneToOne.term
- languages/LAL/lib/correspondence/oneToOne.term2
- languages/LAL/lib/coupling.deps
- languages/LAL/lib/coupling.lal
- languages/LAL/lib/coupling.lal2
- languages/LAL/lib/coupling.term
- languages/LAL/lib/coupling.term2
- languages/LAL/lib/cx/.ueber
- languages/LAL/lib/cx/cotransformation.deps
- languages/LAL/lib/cx/cotransformation.lal
- languages/LAL/lib/cx/cotransformation.lal2
- languages/LAL/lib/cx/cotransformation.lalconfig
- languages/LAL/lib/cx/cotransformation.term
- languages/LAL/lib/cx/cotransformation.term2
- languages/LAL/lib/cx/delta.deps
- languages/LAL/lib/cx/delta.lal
- languages/LAL/lib/cx/delta.lal2
- languages/LAL/lib/cx/delta.term
- languages/LAL/lib/cx/delta.term2
- languages/LAL/lib/cx/invariant.deps
- languages/LAL/lib/cx/invariant.lal
- languages/LAL/lib/cx/invariant.lal2
- languages/LAL/lib/cx/invariant.term
- languages/LAL/lib/cx/invariant.term2
- languages/LAL/lib/cx/mapping.deps
- languages/LAL/lib/cx/mapping.lal
- languages/LAL/lib/cx/mapping.lal2
- languages/LAL/lib/cx/mapping.term
- languages/LAL/lib/cx/mapping.term2
- languages/LAL/lib/differencing.deps
- languages/LAL/lib/differencing.lal
- languages/LAL/lib/differencing.lal2
- languages/LAL/lib/differencing.term
- languages/LAL/lib/differencing.term2
- languages/LAL/lib/interpretation.deps
- languages/LAL/lib/interpretation.lal
- languages/LAL/lib/interpretation.lal2
- languages/LAL/lib/interpretation.term
- languages/LAL/lib/interpretation.term2
- languages/LAL/lib/language.deps
- languages/LAL/lib/language.lal
- languages/LAL/lib/language.lal2
- languages/LAL/lib/language.term
- languages/LAL/lib/language.term2
- languages/LAL/lib/language/mathml.deps
- languages/LAL/lib/language/mathml.lal
- languages/LAL/lib/language/mathml.lal2
- languages/LAL/lib/language/mathml.term
- languages/LAL/lib/language/mathml.term2
- languages/LAL/lib/membership.deps
- languages/LAL/lib/membership.lal
- languages/LAL/lib/membership.lal2
- languages/LAL/lib/membership.term
- languages/LAL/lib/membership.term2
- languages/LAL/lib/referencing.deps
- languages/LAL/lib/referencing.lal
- languages/LAL/lib/referencing.lal2
- languages/LAL/lib/referencing.term
- languages/LAL/lib/referencing.term2
- languages/LAL/lib/selection.deps
- languages/LAL/lib/selection.lal
- languages/LAL/lib/selection.lal2
- languages/LAL/lib/selection.term
- languages/LAL/lib/selection.term2
- languages/LAL/lib/traceability.deps
- languages/LAL/lib/traceability.lal
- languages/LAL/lib/traceability.lal2
- languages/LAL/lib/traceability.term
- languages/LAL/lib/traceability.term2
- languages/LAL/lib/traceability/refs.deps
- languages/LAL/lib/traceability/refs.lal
- languages/LAL/lib/traceability/refs.lal2
- languages/LAL/lib/traceability/refs.term
- languages/LAL/lib/traceability/refs.term2
- languages/LAL/lib/transformation.deps
- languages/LAL/lib/transformation.lal
- languages/LAL/lib/transformation.lal2
- languages/LAL/lib/transformation.term
- languages/LAL/lib/transformation.term2
- languages/LAL/ls.egl
- languages/LAL/ls.term
- languages/MLDF/.hinzu
- languages/MLDF/.ueber
- languages/MLDF/README.md
- languages/MLDF/mm.graph
- languages/MLDF/mm.mml
- languages/MLDF/mm.term
- languages/MMDL/.hinzu
- languages/MMDL/.ueber
- languages/MMDL/README.md
- languages/MMDL/as.esl
- languages/MMDL/as.term
- languages/MMDL/mmdlApply.pro
- languages/MMDL/mmdlDiff.pro
- languages/MMDL/mmdlInv.pro
- languages/MMDL/mmdlToDdl.pro
- languages/MML/.hinzu
- languages/MML/.ueber
- languages/MML/README.md
- languages/MML/api.pro
- languages/MML/as.esl
- languages/MML/as.pro
- languages/MML/as.term
- languages/MML/atom-to-ref/.ueber
- languages/MML/atom-to-ref/coupling.pro
- languages/MML/atom-to-ref/mmt.pro
- languages/MML/atom-to-ref/mt.pro
- languages/MML/conformance/.ueber
- languages/MML/conformance/cardinality.pro
- languages/MML/conformance/main.pro
- languages/MML/conformance/member.pro
- languages/MML/conformance/mml2pro.pro
- languages/MML/crud.pro
- languages/MML/cs.egl
- languages/MML/cs.term
- languages/MML/editing/.ueber
- languages/MML/editing/add-object.pro
- languages/MML/editing/lists.pro
- languages/MML/editing/new-object.pro
- languages/MML/editing/obj-add-key.pro
- languages/MML/editing/obj-remove-key.pro
- languages/MML/editing/remove-object.pro
- languages/MML/graph-chase.pro
- languages/MML/ls.egl
- languages/MML/ls.term
- languages/MML/mm.count
- languages/MML/mm.graph
- languages/MML/mm.mml
- languages/MML/mm.term
- languages/MML/mmlAbstract.pro
- languages/MML/mmlCount.pro
- languages/MML/mmlDdl.pro
- languages/MML/mmlEq.pro
- languages/MML/mmlToDdl.pro
- languages/MML/mmlTree.pro
- languages/MML/ok.pro
- languages/MML/recardinalize.pro
- languages/MML/relax-cardinality.pro
- languages/MML/subclass.pro
- languages/MML/term-chase.pro
- languages/MML/term-to-graph.pro
- languages/MML/tests/.ueber
- languages/MML/tests/mm1.graph
- languages/MML/tests/mm2.graph
- languages/MML/tests/mm3.graph
- languages/MML/tests/mm4.graph
- languages/MMTL/.hinzu
- languages/MMTL/.ueber
- languages/MMTL/README.md
- languages/MMTL/as.esl
- languages/MMTL/as.term
- languages/MMTL/mmTransform.pro
- languages/MMTL/mmValueToReference.pro
- languages/Markdown/.hinzu
- languages/Markdown/.ueber
- languages/Markdown/README.md
- languages/None/.hinzu
- languages/None/.ueber
- languages/None/README.md
- languages/PPL/.hinzu
- languages/PPL/.ueber
- languages/PPL/README.md
- languages/PPL/as.esl
- languages/PPL/as.term
- languages/PPL/pplRender.pro
- languages/PPL/tests/.ueber
- languages/PPL/tests/hbox.ppl
- languages/PPL/tests/hbox.txt
- languages/PPL/tests/hlist.ppl
- languages/PPL/tests/hseplist.ppl
- languages/PPL/tests/hseplist.txt
- languages/PPL/tests/indent.ppl
- languages/PPL/tests/indent.txt
- languages/PPL/tests/text.ppl
- languages/PPL/tests/text.txt
- languages/PPL/tests/vbox.ppl
- languages/PPL/tests/vbox.txt
- languages/PPL/tests/vlist.ppl
- languages/Prolog/.hinzu
- languages/Prolog/.ueber
- languages/Prolog/README.md
- languages/Prolog/eval.pro
- languages/Prolog/expr.pro
- languages/Python/.hinzu
- languages/Python/.ueber
- languages/Python/README.md
- languages/TDL/.hinzu
- languages/TDL/.ueber
- languages/TDL/README.md
- languages/TDL/as.esl
- languages/TDL/as.term
- languages/TDL/tdlApply.pro
- languages/TDL/tdlDiff.pro
- languages/TDL/tdlInv.pro
- languages/TLL/.hinzu
- languages/TLL/.ueber
- languages/TLL/Haskell/Language/TLL/Erasure.hs
- languages/TLL/Haskell/Language/TLL/Sample.hs
- languages/TLL/Haskell/Language/TLL/Syntax.hs
- languages/TLL/Haskell/Language/TLL/Typing.hs
- languages/TLL/Haskell/Main.hs
- languages/TLL/README.md
- languages/Term/.hinzu
- languages/Term/.ueber
- languages/Term/README.md
- languages/Term/dict/.ueber
- languages/Term/dict/abssyn.pro
- languages/Term/dict/dictConversion.pro
- languages/Term/dict/dictCrud.pro
- languages/Term/graph/.ueber
- languages/Term/graph/abssyn.pro
- languages/Term/graph/as-to-cs.pro
- languages/Term/graph/conversion.pro
- languages/Term/graph/crud.pro
- languages/Term/graph/graphDeref.pro
- languages/Term/graph/iterate.pro
- languages/Term/graph/normal.pro
- languages/Term/graph/search.pro
- languages/Text/.hinzu
- languages/Text/.ueber
- languages/Text/README.md
- languages/Text/textEq.pro
- languages/Text/textLoc.pro
- languages/ULL/.hinzu
- languages/ULL/.ueber
- languages/ULL/Haskell/Language/ULL/Closure.hs
- languages/ULL/Haskell/Language/ULL/Sample.hs
- languages/ULL/Haskell/Language/ULL/SmallStep.hs
- languages/ULL/Haskell/Language/ULL/Substitution.hs
- languages/ULL/Haskell/Language/ULL/Syntax.hs
- languages/ULL/Haskell/Language/ULL/Value.hs
- languages/ULL/Haskell/Main.hs
- languages/ULL/README.md
- languages/Ueber/.hinzu
- languages/Ueber/.ueber
- languages/Ueber/README.md
- languages/Ueber/as.esl
- languages/Ueber/as.term
- languages/Ueber/dump.term
- languages/Ueber/functions.dgl
- languages/Ueber/functions.ppl
- languages/Ueber/functions.term
- languages/Ueber/languages.dgl
- languages/Ueber/languages.ppl
- languages/Ueber/languages.term
- languages/Ueber/macros/README.md
- languages/Ueber/macros/bgl-and-bsl.pro
- languages/Ueber/macros/egl.pro
- languages/Ueber/macros/esl.pro
- languages/Ueber/macros/forall.pro
- languages/Ueber/macros/fxy.pro
- languages/Ueber/macros/graph.pro
- languages/Ueber/macros/include.pro
- languages/Ueber/macros/lal.pro
- languages/Ueber/macros/mml.pro
- languages/Ueber/macros/parse.pro
- languages/Ueber/macros/pickyParse.pro
- languages/Ueber/macros/ppl.pro
- languages/Ueber/macros/rules.pro
- languages/Ueber/macros/test.pro
- languages/Ueber/ueberApply.pro
- languages/Ueber/ueberDispatch.pro
- languages/Ueber/ueberDump.pro
- languages/Ueber/ueberEq.pro
- languages/Ueber/ueberFFI.pro
- languages/Ueber/ueberGraphFunctions.pro
- languages/Ueber/ueberGraphLanguages.pro
- languages/Ueber/ueberIO.pro
- languages/Ueber/ueberMain.pro
- languages/Ueber/ueberNorm.pro
- languages/Ueber/ueberOk.pro
- languages/Ueber/ueberReport.pro
- languages/Ueber/ueberSub.pro
- languages/Ueber/ueberVerify.pro
- languages/XML/.hinzu
- languages/XML/.ueber
- languages/XML/README.md
- samples/Haskell/Power.hs
- samples/Haskell/TestTypedPower.hs
- samples/Haskell/TestUntypedPower.hs
- samples/Haskell/TypedPower.hs
- samples/Haskell/UntypedPower.hs
- samples/obsolete/expr/.ueber
- samples/obsolete/expr/as.bsl
- samples/obsolete/expr/as.term
- samples/obsolete/expr/cs.bgl
- samples/obsolete/expr/cs.term
- samples/obsolete/expr/editing/.ueber
- samples/obsolete/expr/editing/classes.config
- samples/obsolete/expr/editing/classes.term
- samples/obsolete/expr/editing/new-expr.config
- samples/obsolete/expr/editing/new-expr.graph
- samples/obsolete/expr/exprRelaxed/.ueber
- samples/obsolete/expr/exprRelaxed/mm.graph
- samples/obsolete/expr/exprRelaxed/mm.mml
- samples/obsolete/expr/exprRelaxed/mm.term
- samples/obsolete/expr/exprRelaxed/sample.graph
- samples/obsolete/expr/mm.graph
- samples/obsolete/expr/mm.mml
- samples/obsolete/expr/mm.term
- samples/obsolete/expr/parsing/.ueber
- samples/obsolete/expr/sample.expr
- samples/obsolete/expr/sample.graph
- samples/obsolete/expr/sample.term
- samples/obsolete/expr/sample.tokens
- samples/obsolete/expr/sample.tree
- samples/obsolete/expr/scanner.pro
- samples/obsolete/figure/.ueber
- samples/obsolete/figure/as.esl
- samples/obsolete/figure/as.term
- samples/obsolete/figure/cs.egl
- samples/obsolete/figure/cs.term
- samples/obsolete/figure/figureAbstract.pro
- samples/obsolete/figure/ls.egl
- samples/obsolete/figure/ls.term
- samples/obsolete/figure/parsing/.ueber
- samples/obsolete/figure/parsing/README.md
- samples/obsolete/figure/parsing/sample.tokens
- samples/obsolete/figure/parsing/scanner.pro
- samples/obsolete/figure/pp.pro
- samples/obsolete/figure/sample.figure
- samples/obsolete/figure/sample.ppl
- samples/obsolete/figure/sample.term
- samples/xcoupled/README.md
- samples/xcoupled/input/cut.result.xml
- samples/xcoupled/input/sampleCompany.xml
- samples/xcoupled/jdom/CHANGES.txt
- samples/xcoupled/jdom/COMMITTERS.txt
- samples/xcoupled/jdom/LICENSE.txt
- samples/xcoupled/jdom/README.txt
- samples/xcoupled/output/cut.result.xml
- samples/xcoupled/output/sampleCompany.xml
- samples/xcoupled/slbook/xcoupled/JDOMUtilities.java
- samples/xcoupled/slbook/xcoupled/Operator.java
- samples/xcoupled/slbook/xcoupled/RenameElementName.java
- samples/xcoupled/slbook/xcoupled/Tests.java
- samples/xcoupled/slbook/xcoupled/xml/RenameElementNameXML.java
- samples/xcoupled/slbook/xcoupled/xsd/RenameElementNameXSD.java
- samples/xcoupled/slbook/xcoupled/xslt/RenameElementNameXSLT.java