Skip to content
  • artefact submission's avatar
    Update 83 files · a895bc93
    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