-
artefact submission authored
- /kotlin_bench/KLazyBool.kt - /kotlin_bench/KArithmetics.kt - /kotlin_bench/KArithmetics2.kt - /kotlin_bench/KArray.kt - /kotlin_bench/KBoolTest.kt - /kotlin_bench/KCheckNull.kt - /kotlin_bench/KConditional.kt - /kotlin_bench/KConstantEq.kt - /kotlin_bench/KDeadCode.kt - /kotlin_bench/KDeref.kt - /kotlin_bench/KForArray.kt - /kotlin_bench/KFunctionCall.kt - /kotlin_bench/KLoopFor.kt - /kotlin_bench/KLoopForBigStep.kt - /kotlin_bench/KLoopForSideEffect.kt - /kotlin_bench/KLoopWhile.kt - /kotlin_bench/KMemArithmetics.kt - /kotlin_bench/KMemBasic.kt - /kotlin_bench/KMemLoopWhile.kt - /kotlin_bench/KMemNestedWhile.kt - /kotlin_bench/KNestedWhile.kt - /kotlin_bench/KObjArray.kt - /kotlin_bench/KRecursion.kt - /kotlin_bench/KSwitch.kt - /kotlin_bench/KTerminalRecursion.kt - /java_bench/JNestedFor.java - /java_bench/JLoopForBackward.java - /java_bench/JContinue.java - /java_bench/JConditionallyInit.java - /java_bench/JLazyBool.java - /java_bench/JTerminalRecursion.java - /java_bench/JSwitch.java - /java_bench/JRecursion.java - /java_bench/JNestedWhile.java - /java_bench/JMemNestedWhile.java - /java_bench/JMemLoopWhile.java - /java_bench/JLoopForSideEffect.java - /java_bench/JMemBasic.java - /java_bench/JMemArithmetics.java - /java_bench/JLoopWhile.java - /java_bench/JLoopForBigStep.java - /java_bench/JLoopFor.java - /java_bench/JFunctionCall.java - /java_bench/JForArray.java - /java_bench/JObjArray.java - /java_bench/JDeref.java - /java_bench/JDeadCode.java - /java_bench/JConditional.java - /java_bench/JCheckNull.java - /java_bench/JConstantEq.java - /java_bench/JBoolTest.java - /java_bench/JArray.java - /java_bench/JArithmetics2.java - /java_bench/JArithmetics.java - /prototype/lib/eqsat.ml - /prototype/lib/egraph.ml - /prototype/lib/nodify.ml - /prototype/lib/term.ml - /prototype/lib/egraph.mli - /prototype/lib/thetamerger.ml - /prototype/lib/dot.ml - /prototype/lib/term.mli - /prototype/lib/thetamerger.mli - /prototype/lib/nodify.mli - /prototype/lib/rulesLexer.ml - /prototype/lib/rulesGrammar.mly - /prototype/lib/rule.mli - /prototype/lib/rule.ml - /prototype/lib/programLexer.mli - /prototype/lib/programLexer.ml - /prototype/lib/programGrammar.mly - /prototype/lib/program.mli - /prototype/lib/program.ml - /prototype/lib/piperules.ml - /prototype/lib/parser.mli - /prototype/lib/parser.ml - /prototype/lib/eqsat.mli - /prototype/lib/dynarray.mli - /prototype/lib/dynarray.ml - /prototype/bin/hardcoded_rules.ml - /prototype/bin/tv.ml - /prototype/bin/parse_rules.ml - /README.md
a895bc93