├── .github └── workflows │ ├── bolts-CI-verification.yml │ ├── bolts-CI.yml │ └── setup │ └── action.yml ├── .gitignore ├── .scalafmt.conf ├── LICENSE ├── README.md ├── WIP ├── ExtendedEuclidGCD.scala ├── Huffman-looping.scala ├── LambdaEvaluator │ └── ExplicitSubstitution.scala ├── SET │ ├── Axioms.scala │ └── Basic.scala ├── ScalaList │ ├── ScalaList.scala │ └── UseList.scala ├── Terverak │ ├── .scalafix.conf │ ├── .scalafmt.conf │ ├── README.md │ ├── src │ │ └── main │ │ │ └── scala │ │ │ └── terverak │ │ │ ├── card │ │ │ ├── AlienCardsData.scala │ │ │ ├── BoardSelectionForCardEffect.scala │ │ │ ├── Card.scala │ │ │ ├── CardEffect.scala │ │ │ ├── CardEffects.scala │ │ │ ├── CardEffectsBoost.scala │ │ │ ├── CardEffectsDamage.scala │ │ │ ├── CardEffectsDraw.scala │ │ │ ├── CardEffectsHeal.scala │ │ │ ├── CardEffectsMana.scala │ │ │ ├── CardSubtype.scala │ │ │ ├── CardsData.scala │ │ │ ├── FilterForMinions.scala │ │ │ ├── GemCardsData.scala │ │ │ ├── MinionCardAttribute.scala │ │ │ ├── MinionCardAttributesData.scala │ │ │ ├── OtherCardsData.scala │ │ │ ├── PlanetCardsData.scala │ │ │ └── TargetTypeForCardEffect.scala │ │ │ ├── deckCollection │ │ │ ├── CardsCatalog.scala │ │ │ ├── Deck.scala │ │ │ ├── DeckCreation.scala │ │ │ └── User.scala │ │ │ ├── play │ │ │ ├── DeckZone.scala │ │ │ ├── DiscardZone.scala │ │ │ ├── Game.scala │ │ │ ├── Hand.scala │ │ │ ├── IdObject.scala │ │ │ ├── Minion.scala │ │ │ ├── MinionBoard.scala │ │ │ └── Player.scala │ │ │ └── utils │ │ │ └── StringUtils.scala │ ├── stainless.conf │ └── verify.sh ├── algorithms │ └── sorting │ │ └── QuickSortSizeOccur.scala ├── bloxorz │ └── Bloxorz.scala ├── cached-memory │ └── CachedMemory.scala ├── computable-languages │ └── ComputableLanguage.scala ├── coq │ ├── ADTInvariants1.scala │ ├── Anonymous.scala │ ├── BooleanOps.scala │ ├── Matching.scala │ ├── MyTuple2.scala │ ├── MyTuple4.scala │ ├── README.md │ ├── SetTest.scala │ └── Sets2.scala ├── game2048 │ └── Game2048.scala ├── gcd │ └── gcd.scala ├── infinite-structures │ ├── README.md │ └── coinductive-language │ │ └── Main.scala ├── int │ ├── BitInteger.scala │ └── BitIntegerInt.scala ├── seqs │ └── ArrayList.scala └── software-foundations │ └── sf1-logical-foundations │ ├── Fixpoint.scala │ ├── Languages.scala │ └── Streams.scala ├── algorithms ├── aggregate-correct │ └── AggregateDef.scala ├── extended-gcd │ └── MoreExtendedEuclidGCD.scala ├── fulcrum │ └── Fulcrum.scala ├── leftpad │ ├── LeftPad.scala │ └── Theorem.scala ├── lzw │ ├── .gitignore │ ├── LZWa.scala │ ├── Makefile │ ├── input.txt │ ├── stainless.conf │ └── test-genc.sh ├── reachabilityChecker │ └── ReachabilityChecker.scala └── sorting │ ├── InsertionSortArray.scala │ ├── InsertionSortListOfT.scala │ └── QuickSortListOfBigInt.scala ├── caching ├── CachedFunction.scala ├── stainless.conf └── verify.sh ├── data-structures ├── amortized-queue1 │ └── AmortizedQueue.scala ├── amortized-queue2 │ └── Queue2.scala ├── bitstream │ ├── bitstream.scala │ ├── example-output.txt │ ├── stainless.conf │ └── utils.scala ├── bitstream_esa │ ├── asn1jvm.scala │ ├── asn1jvm_Bitstream.scala │ ├── asn1jvm_Helper.scala │ ├── asn1jvm_Verification.scala │ ├── stainless.conf │ └── verify.sh ├── iarray │ ├── IArrayDoublyWrapped.scala │ ├── IArrays.scala │ └── r ├── lisp │ └── Lisp.scala ├── maps │ ├── .gitignore │ └── mutablemaps │ │ ├── .gitignore │ │ ├── .scalafmt.conf │ │ ├── README.md │ │ ├── VCs_summary_nocache.csv │ │ ├── build.sbt │ │ ├── generate_smt_queries.py │ │ ├── project │ │ ├── build.properties │ │ └── plugins.sbt │ │ ├── src │ │ └── main │ │ │ └── scala │ │ │ ├── benchmark │ │ │ ├── HashMapBenchmark.scala │ │ │ └── VerifiedMapBenchmark.scala │ │ │ └── com │ │ │ └── mutablemaps │ │ │ └── map │ │ │ ├── BuggyNewMaskComputation.scala │ │ │ ├── EfficientFill.scala │ │ │ ├── ListLongMap-onlyCode.scala │ │ │ ├── ListLongMap.scala │ │ │ ├── ListMap.scala │ │ │ ├── Main.scala │ │ │ ├── MutableHashMap.scala │ │ │ ├── MutableLongMap.scala │ │ │ ├── MutableLongMapOpti.scala │ │ │ ├── MutableMapsInterface.scala │ │ │ ├── OptimisedChecks.scala │ │ │ └── OrderedListMap.scala │ │ ├── stainless.conf │ │ └── verify.sh ├── sets │ └── mutablesets │ │ ├── .gitignore │ │ ├── .scalafmt.conf │ │ ├── build.sbt │ │ ├── project │ │ ├── build.properties │ │ └── plugins.sbt │ │ ├── src │ │ └── main │ │ │ └── scala │ │ │ └── ch │ │ │ └── epfl │ │ │ ├── map │ │ │ ├── ListLongMap.scala │ │ │ ├── ListMap.scala │ │ │ ├── MutableHashMap.scala │ │ │ ├── MutableLongMap.scala │ │ │ └── MutableMapsInterface.scala │ │ │ └── set │ │ │ ├── Main.scala │ │ │ ├── MutableHashSet.scala │ │ │ └── MutableSetsInterface.scala │ │ ├── stainless.conf │ │ └── verify.sh ├── sorted-array │ ├── SortedArray.scala │ ├── TotalOrder.scala │ └── stainless.conf ├── trees │ ├── concrope │ │ └── ConcRope.scala │ ├── redblack │ │ ├── RedBlackTree.scala │ │ └── StrictlyOrderedList.scala │ └── simple-conc │ │ ├── BalanceConc.scala │ │ └── SimpleConc.scala ├── uarray │ └── UArrayExample.scala └── wrappers │ └── SimpleArray │ └── SimpleArray.scala ├── expression-compiler ├── ExpressionCompiler.scala ├── run-eval └── run-verify ├── fp-principles ├── example │ └── example.scala ├── functional-sets │ └── FunSets.scala ├── huffman-coding │ └── Huffman.scala ├── object-oriented-sets │ └── TweetSet.scala └── recursion │ └── recfun.scala ├── install_stainless_and_solvers.sh ├── lexers ├── dfa │ ├── ListUtils.scala │ ├── VerifiedDFA.scala │ └── VerifiedLexer.scala └── regex │ ├── .DS_Store │ └── verifiedlexer │ ├── .gitignore │ ├── .scalafmt.conf │ ├── README.md │ ├── asprof-run.sh │ ├── benchmark_results │ ├── Benchmark Data Analysis.ipynb │ ├── extract_data.sh │ ├── extract_to_coqlex.py │ ├── from_coqlex │ │ └── Comparison │ │ │ └── JSON │ │ │ ├── .gitignore │ │ │ ├── Lexers │ │ │ ├── CoqLex │ │ │ │ ├── .gitignore │ │ │ │ ├── compile.sh │ │ │ │ ├── json_lexer.vl │ │ │ │ └── main.ml │ │ │ ├── Verbatim │ │ │ │ ├── .gitignore │ │ │ │ ├── common.ml │ │ │ │ ├── compile.sh │ │ │ │ ├── instance.ml │ │ │ │ ├── instance.mli │ │ │ │ └── sem_driver.ml │ │ │ ├── VerbatimSC │ │ │ │ ├── .gitignore │ │ │ │ ├── common.ml │ │ │ │ ├── compile.sh │ │ │ │ ├── instance.ml │ │ │ │ ├── instance.mli │ │ │ │ └── sem_driver.ml │ │ │ ├── VerbatimSt │ │ │ │ ├── .gitignore │ │ │ │ ├── common.ml │ │ │ │ ├── compile.sh │ │ │ │ ├── instance.ml │ │ │ │ ├── instance.mli │ │ │ │ └── sem_driver.ml │ │ │ ├── flex │ │ │ │ ├── .gitignore │ │ │ │ ├── compile.sh │ │ │ │ ├── global.h │ │ │ │ └── json_lexer.l │ │ │ └── ocamllex │ │ │ │ ├── .gitignore │ │ │ │ ├── compile.sh │ │ │ │ ├── json_lexer.mll │ │ │ │ └── main.ml │ │ │ ├── data-large │ │ │ ├── 24200.json │ │ │ └── 242000.json │ │ │ ├── data-medium │ │ │ └── 2420.json │ │ │ ├── data-small │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ │ │ ├── plot.py │ │ │ ├── plot.sh │ │ │ └── results │ │ │ ├── CoqLex │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ │ │ ├── Verbatim │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ │ │ ├── VerbatimSC │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ │ │ ├── VerbatimSt │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ │ │ ├── ZipLex │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ │ │ └── ocamllex │ │ │ ├── 102.json │ │ │ ├── 122.json │ │ │ ├── 142.json │ │ │ ├── 162.json │ │ │ ├── 182.json │ │ │ ├── 2.json │ │ │ ├── 202.json │ │ │ ├── 22.json │ │ │ ├── 222.json │ │ │ ├── 242.json │ │ │ ├── 42.json │ │ │ ├── 62.json │ │ │ └── 82.json │ ├── latest │ │ ├── json_lexer_benchmark_wi_5_i_5_laraserver4.txt │ │ ├── json_manipulation_benchmark_wi_5_i_5_laraserver4.txt │ │ ├── lexerregex_benchmark_wi_5_i_5_laraserver4.txt │ │ └── regex_benchmark_wi_5_i_5_laraserver4.txt │ ├── raw │ │ ├── results_07.10.2025 │ │ │ ├── json_manipulation_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── lexerregex_benchmark_wi_5_i_5_laraserver4.txt │ │ │ └── regex_benchmark_wi_5_i_5_laraserver4.txt │ │ ├── results_08.10.2025 │ │ │ ├── json_lexer_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── json_manipulation_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── lexerregex_benchmark_wi_5_i_5_laraserver4.txt │ │ │ └── regex_benchmark_wi_5_i_5_laraserver4.txt │ │ ├── results_23.09.2025 │ │ │ ├── json_lexer_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── json_lexerregex_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── json_manipulation_benchmark_wi_5_i_5_laraserver4.txt │ │ │ └── json_regex_benchmark_wi_5_i_5_laraserver4.txt │ │ ├── results_25.09.2025 │ │ │ ├── json_lexer_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── json_manipulation_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── lexerregex_benchmark_wi_5_i_5_laraserver4.txt │ │ │ └── regex_benchmark_wi_5_i_5_laraserver4.txt │ │ └── results_30.09.2025 │ │ │ ├── json_lexer_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── json_manipulation_benchmark_wi_5_i_5_laraserver4.txt │ │ │ ├── lexerregex_benchmark_wi_5_i_5_laraserver4.txt │ │ │ └── regex_benchmark_wi_5_i_5_laraserver4.txt │ ├── requirements.txt │ └── trim_result_files.py │ ├── build.sbt │ ├── lib │ └── scallion-assembly-0.6.1.jar │ ├── project │ ├── build.properties │ └── plugins.sbt │ ├── run_benchmarks.sh │ ├── src │ └── main │ │ └── scala │ │ ├── com │ │ └── ziplex │ │ │ ├── benchmark │ │ │ ├── AmyLexerBenchmark.scala │ │ │ ├── JsonLexerBenchmark.scala │ │ │ ├── JsonManipulationBenchmark.scala │ │ │ ├── LongVsBigIntMicroBenchmark.scala │ │ │ ├── PythonLexerBenchmark.scala │ │ │ ├── RegexBenchmark.scala │ │ │ ├── SilexAmyLexer.scala │ │ │ └── res │ │ │ │ ├── generated-amy │ │ │ │ ├── generate.py │ │ │ │ ├── generated_code_000529chars.amy │ │ │ │ ├── generated_code_001058chars.amy │ │ │ │ ├── generated_code_001587chars.amy │ │ │ │ ├── generated_code_002116chars.amy │ │ │ │ ├── generated_code_002645chars.amy │ │ │ │ ├── generated_code_003174chars.amy │ │ │ │ ├── generated_code_003703chars.amy │ │ │ │ ├── generated_code_004232chars.amy │ │ │ │ ├── generated_code_004761chars.amy │ │ │ │ ├── generated_code_005290chars.amy │ │ │ │ ├── generated_code_005819chars.amy │ │ │ │ ├── generated_code_006348chars.amy │ │ │ │ ├── generated_code_006877chars.amy │ │ │ │ ├── generated_code_007406chars.amy │ │ │ │ ├── generated_code_007935chars.amy │ │ │ │ ├── generated_code_008464chars.amy │ │ │ │ ├── generated_code_008993chars.amy │ │ │ │ ├── generated_code_009522chars.amy │ │ │ │ ├── generated_code_010051chars.amy │ │ │ │ ├── generated_code_010580chars.amy │ │ │ │ ├── generated_code_011109chars.amy │ │ │ │ ├── generated_code_011638chars.amy │ │ │ │ ├── generated_code_012167chars.amy │ │ │ │ ├── generated_code_012696chars.amy │ │ │ │ ├── generated_code_013225chars.amy │ │ │ │ ├── generated_code_013754chars.amy │ │ │ │ ├── generated_code_014283chars.amy │ │ │ │ ├── generated_code_014812chars.amy │ │ │ │ ├── generated_code_015341chars.amy │ │ │ │ ├── generated_code_015870chars.amy │ │ │ │ ├── generated_code_016399chars.amy │ │ │ │ ├── generated_code_016928chars.amy │ │ │ │ ├── generated_code_017457chars.amy │ │ │ │ ├── generated_code_017986chars.amy │ │ │ │ ├── generated_code_018515chars.amy │ │ │ │ ├── generated_code_019044chars.amy │ │ │ │ ├── generated_code_019573chars.amy │ │ │ │ ├── generated_code_020102chars.amy │ │ │ │ ├── generated_code_020631chars.amy │ │ │ │ ├── generated_code_021160chars.amy │ │ │ │ ├── generated_code_021689chars.amy │ │ │ │ ├── generated_code_022218chars.amy │ │ │ │ ├── generated_code_022747chars.amy │ │ │ │ ├── generated_code_023276chars.amy │ │ │ │ ├── generated_code_023805chars.amy │ │ │ │ ├── generated_code_024334chars.amy │ │ │ │ ├── generated_code_024863chars.amy │ │ │ │ ├── generated_code_025392chars.amy │ │ │ │ ├── generated_code_025921chars.amy │ │ │ │ ├── generated_code_026450chars.amy │ │ │ │ ├── generated_code_026979chars.amy │ │ │ │ ├── generated_code_027508chars.amy │ │ │ │ ├── generated_code_028037chars.amy │ │ │ │ ├── generated_code_028566chars.amy │ │ │ │ ├── generated_code_029095chars.amy │ │ │ │ ├── generated_code_029624chars.amy │ │ │ │ ├── generated_code_030153chars.amy │ │ │ │ ├── generated_code_030682chars.amy │ │ │ │ ├── generated_code_031211chars.amy │ │ │ │ ├── generated_code_031740chars.amy │ │ │ │ ├── generated_code_032269chars.amy │ │ │ │ ├── generated_code_032798chars.amy │ │ │ │ ├── generated_code_033327chars.amy │ │ │ │ ├── generated_code_033856chars.amy │ │ │ │ ├── generated_code_034385chars.amy │ │ │ │ ├── generated_code_034914chars.amy │ │ │ │ ├── generated_code_035443chars.amy │ │ │ │ ├── generated_code_035972chars.amy │ │ │ │ ├── generated_code_036501chars.amy │ │ │ │ ├── generated_code_037030chars.amy │ │ │ │ ├── generated_code_037559chars.amy │ │ │ │ ├── generated_code_038088chars.amy │ │ │ │ ├── generated_code_038617chars.amy │ │ │ │ ├── generated_code_039146chars.amy │ │ │ │ ├── generated_code_039675chars.amy │ │ │ │ ├── generated_code_040204chars.amy │ │ │ │ ├── generated_code_040733chars.amy │ │ │ │ ├── generated_code_041262chars.amy │ │ │ │ └── generated_code_041791chars.amy │ │ │ │ ├── json-manip │ │ │ │ ├── 0001_2079chars.json │ │ │ │ ├── 0001_2079chars.json.847tokens │ │ │ │ ├── 0002_4157chars.json │ │ │ │ ├── 0002_4157chars.json.1693tokens │ │ │ │ ├── 0010_20776chars.json │ │ │ │ ├── 0010_20776chars.json.8461tokens │ │ │ │ ├── 0015_31167chars.json │ │ │ │ ├── 0015_31167chars.json.12691tokens │ │ │ │ ├── 0020_41560chars.json │ │ │ │ ├── 0020_41560chars.json.16921tokens │ │ │ │ ├── 0025_51950chars.json │ │ │ │ ├── 0025_51950chars.json.21151tokens │ │ │ │ ├── 0030_62339chars.json │ │ │ │ ├── 0030_62339chars.json.25381tokens │ │ │ │ ├── 0035_72724chars.json │ │ │ │ ├── 0035_72724chars.json.29611tokens │ │ │ │ ├── 0050_103898chars.json │ │ │ │ ├── 0050_103898chars.json.42301tokens │ │ │ │ ├── 0070_145455chars.json │ │ │ │ ├── 0070_145455chars.json.59221tokens │ │ │ │ ├── 0090_187013chars.json │ │ │ │ ├── 0090_187013chars.json.76141tokens │ │ │ │ ├── 0120_249345chars.json │ │ │ │ ├── 0120_249345chars.json.101521tokens │ │ │ │ ├── 0150_311687chars.json │ │ │ │ ├── 0150_311687chars.json.126901tokens │ │ │ │ ├── 0200_415578chars.json │ │ │ │ ├── 0200_415578chars.json.169201tokens │ │ │ │ ├── 0300_623361chars.json │ │ │ │ ├── 0300_623361chars.json.253801tokens │ │ │ │ ├── 0400_831171chars.json │ │ │ │ ├── 0400_831171chars.json.338401tokens │ │ │ │ ├── 0500_1038945chars.json │ │ │ │ ├── 0500_1038945chars.json.423001tokens │ │ │ │ ├── 0700_1454528chars.json │ │ │ │ ├── 0900_1870102chars.json │ │ │ │ ├── 1200_2493458chars.json │ │ │ │ ├── 1500_3116843chars.json │ │ │ │ ├── 2000_4155777chars.json │ │ │ │ ├── 3000_6233659chars.json │ │ │ │ ├── 4000_8311543chars.json │ │ │ │ ├── 5000_10389457chars.json │ │ │ │ ├── 7000_14545249chars.json │ │ │ │ ├── 9000_18700977chars.json │ │ │ │ ├── generate.py │ │ │ │ └── template.json │ │ │ │ └── json │ │ │ │ ├── 102_23677chars.json │ │ │ │ ├── 122_28308chars.json │ │ │ │ ├── 142_32958chars.json │ │ │ │ ├── 162_37599chars.json │ │ │ │ ├── 182_42231chars.json │ │ │ │ ├── 202_46879chars.json │ │ │ │ ├── 222_51521chars.json │ │ │ │ ├── 22_5115chars.json │ │ │ │ ├── 24200_5615404chars.json │ │ │ │ ├── 2420_561544chars.json │ │ │ │ ├── 242_56154chars.json │ │ │ │ ├── 2_456chars.json │ │ │ │ ├── 42_9755chars.json │ │ │ │ ├── 62_14377chars.json │ │ │ │ └── 82_19037chars.json │ │ │ ├── example │ │ │ ├── AmyLexer.scala │ │ │ ├── JSONLexer.scala │ │ │ ├── JsonManipulation.scala │ │ │ ├── PythonLexer.scala │ │ │ ├── Utils.scala │ │ │ ├── UtilsCaches.scala │ │ │ ├── res │ │ │ │ ├── amy │ │ │ │ │ ├── ADT_864chars.amy │ │ │ │ │ ├── BinaryTree_952chars.amy │ │ │ │ │ ├── Calculator_962chars.amy │ │ │ │ │ ├── Comments_324chars.amy │ │ │ │ │ ├── Compute_230chars.amy │ │ │ │ │ ├── ExpressionTree_1176chars.amy │ │ │ │ │ ├── Factorial_275chars.amy │ │ │ │ │ ├── Factorial_275chars.amy.tokens │ │ │ │ │ ├── FullBenchmark_1852chars.amy │ │ │ │ │ ├── Hello_56chars.amy │ │ │ │ │ ├── IOAndError_267chars.amy │ │ │ │ │ ├── ListProcessing_649chars.amy │ │ │ │ │ ├── MutualRec_296chars.amy │ │ │ │ │ ├── NestedMatch_451chars.amy │ │ │ │ │ ├── NestedMatch_duplicated_commented_907chars.amy │ │ │ │ │ ├── Rec_66chars.amy │ │ │ │ │ ├── Ultimate_3811chars.amy │ │ │ │ │ └── Ultimate_duplicated_commented_7629chars.amy │ │ │ │ ├── json │ │ │ │ │ └── example-for-sorting.json │ │ │ │ └── python │ │ │ │ │ ├── AsyncDemo_426chars.py │ │ │ │ │ ├── BigString_113chars.py │ │ │ │ │ ├── CommandMatcher_660chars.py │ │ │ │ │ ├── EventSim20x_42063chars.py │ │ │ │ │ ├── EventSim_2002chars.py │ │ │ │ │ ├── Factorial_168chars.py │ │ │ │ │ ├── FizzBuzz_245chars.py │ │ │ │ │ ├── Micro_1chars.py │ │ │ │ │ ├── MultiLineString_323chars.py │ │ │ │ │ ├── ParseNumbers_708chars.py │ │ │ │ │ ├── Pipeline_413chars.py │ │ │ │ │ ├── PrimeSieve_458chars.py │ │ │ │ │ ├── Simple_26chars.py │ │ │ │ │ ├── TimedFib_679chars.py │ │ │ │ │ ├── TinyPlus_164chars.py │ │ │ │ │ ├── Vector2D_802chars.py │ │ │ │ │ └── WordStats_346chars.py │ │ │ └── zipper.worksheet.sc │ │ │ ├── lexer │ │ │ ├── LexerInterface.scala │ │ │ ├── Main.scala │ │ │ ├── OptimisedChecks.scala │ │ │ ├── Utils.scala │ │ │ ├── Vector.scala │ │ │ ├── VerifiedLexer.scala │ │ │ └── VerifiedRegex.scala │ │ │ └── map │ │ │ ├── ListLongMap.scala │ │ │ ├── ListMap.scala │ │ │ ├── MutableHashMap.scala │ │ │ ├── MutableLongMap.scala │ │ │ ├── MutableMapsInterface.scala │ │ │ └── OptimisedChecks.scala │ │ └── test.worksheet.sc │ ├── stainless.conf │ ├── verify.sh │ └── verify_dev.sh ├── modularity ├── MiniMutableSet.scala ├── MiniMutableSetInterface.scala ├── MutableSet.scala ├── MutableSetInterface.scala └── stainless.conf ├── qoi ├── .gitignore ├── README.md ├── fmcad2022.pdf ├── genc │ ├── Makefile │ ├── genc-bridge.c │ ├── genc-bridge.h │ ├── genc-qoibench.c │ ├── genc-qoiconv.c │ ├── qoi.h │ ├── run-bench.sh │ ├── stb_image.h │ ├── stb_image_write.h │ └── test-genc.sh ├── images │ ├── Bridalveil_Fall_and_valley.png │ ├── Bridalveil_Fall_and_valley.qoi │ ├── Central_Bern_from_north.png │ ├── Central_Bern_from_north.qoi │ ├── Chiffchaff_Phylloscopus_collybita.png │ ├── Chiffchaff_Phylloscopus_collybita.qoi │ ├── Chocolate_Hills_overview.png │ ├── Chocolate_Hills_overview.qoi │ ├── Eyjafjallajokull_sous_les_aurores_boreales.png │ ├── Eyjafjallajokull_sous_les_aurores_boreales.qoi │ ├── Linze_Zhangye_Gansu_China_panoramio_4.png │ ├── Linze_Zhangye_Gansu_China_panoramio_4.qoi │ ├── Plaigne_2.png │ ├── Plaigne_2.qoi │ └── README.md ├── stainless.conf ├── unannotated │ ├── README.md │ ├── common.scala │ ├── decoder.scala │ └── encoder.scala ├── verified │ ├── README.md │ ├── common.scala │ ├── decoder.scala │ └── encoder.scala └── verify.sh ├── run-one-test.sh ├── run-tests.sh ├── software-foundations ├── README.md └── sf1-logical-foundations │ ├── Basics.scala │ └── Induction.scala ├── stainless.conf.nightly ├── system-f ├── Reduction.scala ├── SystemF.scala ├── Transformations.scala ├── Typing.scala ├── Utils.scala └── stainless.conf ├── tctests.txt ├── tutorials ├── add-digits │ └── AddDigits.scala ├── arith-lang-sound │ ├── ArithLangSound.scala │ └── TimeoutArithLangSound.scala ├── asplos2022 │ ├── 01-zip │ │ └── zip.scala │ ├── 02-stack │ │ ├── Stack.scala │ │ ├── StackAliased.scala │ │ ├── stainless.conf │ │ ├── verify-StackAliased.sh │ │ └── verify.sh │ └── 03-rgba │ │ ├── .gitignore │ │ ├── Pixel.scala │ │ ├── SPixel.scala │ │ ├── common.scala │ │ ├── gcc.sh │ │ ├── genc.sh │ │ ├── main.c │ │ ├── stainless.conf │ │ ├── verify-common.sh │ │ ├── verify-pixel.sh │ │ └── verify-spixel.sh ├── binary-search │ ├── search-question.txt │ ├── search.scala │ └── stainless.conf ├── const-fold │ ├── ConstFold.scala │ └── stainless.conf ├── dispenser │ ├── Dispenser.scala │ └── stainless.conf ├── explicit-memory │ └── ExplicitMemory.scala ├── first-tutorial │ └── FirstTutorial.scala ├── fmcad2021 │ ├── alt-diffs │ │ └── Diffs.scala │ ├── binary-search │ │ └── BinarySearch1Solution.scala │ └── find-index │ │ └── FindIndexOptionIff.scala ├── futures │ └── PossibleFutures.scala ├── inductive-witnesses │ └── TransitiveClosure.scala ├── isbn │ └── ISBN.scala ├── krakow2020 │ ├── DiffsEquiv.scala │ ├── DiffsLaws.scala │ ├── IntSet.scala │ ├── IntSetInv.scala │ ├── Krakow2020LambdaDays.pdf │ ├── ListDiffsInt.scala │ ├── ListDiffsTerminates.scala │ ├── PosIncreasing.scala │ ├── PosIncreasing2.scala │ ├── Sym.scala │ ├── used.stainless.conf │ └── working │ │ ├── ListDiffsInt.scala │ │ └── stainless.conf ├── memory │ └── Memory.scala ├── simple-transform │ └── TransformSimple.scala └── termination │ └── OverflowFun.scala └── verify_all.sh /.github/workflows/bolts-CI-verification.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/.github/workflows/bolts-CI-verification.yml -------------------------------------------------------------------------------- /.github/workflows/bolts-CI.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/.github/workflows/bolts-CI.yml -------------------------------------------------------------------------------- /.github/workflows/setup/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/.github/workflows/setup/action.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/.gitignore -------------------------------------------------------------------------------- /.scalafmt.conf: -------------------------------------------------------------------------------- 1 | version = "3.7.15" 2 | runner.dialect = scala3 -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/README.md -------------------------------------------------------------------------------- /WIP/ExtendedEuclidGCD.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/ExtendedEuclidGCD.scala -------------------------------------------------------------------------------- /WIP/Huffman-looping.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Huffman-looping.scala -------------------------------------------------------------------------------- /WIP/LambdaEvaluator/ExplicitSubstitution.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/LambdaEvaluator/ExplicitSubstitution.scala -------------------------------------------------------------------------------- /WIP/SET/Axioms.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/SET/Axioms.scala -------------------------------------------------------------------------------- /WIP/SET/Basic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/SET/Basic.scala -------------------------------------------------------------------------------- /WIP/ScalaList/ScalaList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/ScalaList/ScalaList.scala -------------------------------------------------------------------------------- /WIP/ScalaList/UseList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/ScalaList/UseList.scala -------------------------------------------------------------------------------- /WIP/Terverak/.scalafix.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/.scalafix.conf -------------------------------------------------------------------------------- /WIP/Terverak/.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/.scalafmt.conf -------------------------------------------------------------------------------- /WIP/Terverak/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/README.md -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/AlienCardsData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/AlienCardsData.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/BoardSelectionForCardEffect.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/BoardSelectionForCardEffect.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/Card.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/Card.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffect.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffect.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffects.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffects.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffectsBoost.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffectsBoost.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffectsDamage.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffectsDamage.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffectsDraw.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffectsDraw.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffectsHeal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffectsHeal.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardEffectsMana.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardEffectsMana.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardSubtype.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardSubtype.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/CardsData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/CardsData.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/FilterForMinions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/FilterForMinions.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/GemCardsData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/GemCardsData.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/MinionCardAttribute.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/MinionCardAttribute.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/MinionCardAttributesData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/MinionCardAttributesData.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/OtherCardsData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/OtherCardsData.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/PlanetCardsData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/PlanetCardsData.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/card/TargetTypeForCardEffect.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/card/TargetTypeForCardEffect.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/deckCollection/CardsCatalog.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/deckCollection/CardsCatalog.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/deckCollection/Deck.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/deckCollection/Deck.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/deckCollection/DeckCreation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/deckCollection/DeckCreation.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/deckCollection/User.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/deckCollection/User.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/DeckZone.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/DeckZone.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/DiscardZone.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/DiscardZone.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/Game.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/Game.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/Hand.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/Hand.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/IdObject.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/IdObject.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/Minion.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/Minion.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/MinionBoard.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/MinionBoard.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/play/Player.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/play/Player.scala -------------------------------------------------------------------------------- /WIP/Terverak/src/main/scala/terverak/utils/StringUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/src/main/scala/terverak/utils/StringUtils.scala -------------------------------------------------------------------------------- /WIP/Terverak/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/stainless.conf -------------------------------------------------------------------------------- /WIP/Terverak/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/Terverak/verify.sh -------------------------------------------------------------------------------- /WIP/algorithms/sorting/QuickSortSizeOccur.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/algorithms/sorting/QuickSortSizeOccur.scala -------------------------------------------------------------------------------- /WIP/bloxorz/Bloxorz.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/bloxorz/Bloxorz.scala -------------------------------------------------------------------------------- /WIP/cached-memory/CachedMemory.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/cached-memory/CachedMemory.scala -------------------------------------------------------------------------------- /WIP/computable-languages/ComputableLanguage.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/computable-languages/ComputableLanguage.scala -------------------------------------------------------------------------------- /WIP/coq/ADTInvariants1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/ADTInvariants1.scala -------------------------------------------------------------------------------- /WIP/coq/Anonymous.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/Anonymous.scala -------------------------------------------------------------------------------- /WIP/coq/BooleanOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/BooleanOps.scala -------------------------------------------------------------------------------- /WIP/coq/Matching.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/Matching.scala -------------------------------------------------------------------------------- /WIP/coq/MyTuple2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/MyTuple2.scala -------------------------------------------------------------------------------- /WIP/coq/MyTuple4.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/MyTuple4.scala -------------------------------------------------------------------------------- /WIP/coq/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/README.md -------------------------------------------------------------------------------- /WIP/coq/SetTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/SetTest.scala -------------------------------------------------------------------------------- /WIP/coq/Sets2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/coq/Sets2.scala -------------------------------------------------------------------------------- /WIP/game2048/Game2048.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/game2048/Game2048.scala -------------------------------------------------------------------------------- /WIP/gcd/gcd.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/gcd/gcd.scala -------------------------------------------------------------------------------- /WIP/infinite-structures/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/infinite-structures/README.md -------------------------------------------------------------------------------- /WIP/infinite-structures/coinductive-language/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/infinite-structures/coinductive-language/Main.scala -------------------------------------------------------------------------------- /WIP/int/BitInteger.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/int/BitInteger.scala -------------------------------------------------------------------------------- /WIP/int/BitIntegerInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/int/BitIntegerInt.scala -------------------------------------------------------------------------------- /WIP/seqs/ArrayList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/seqs/ArrayList.scala -------------------------------------------------------------------------------- /WIP/software-foundations/sf1-logical-foundations/Fixpoint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/software-foundations/sf1-logical-foundations/Fixpoint.scala -------------------------------------------------------------------------------- /WIP/software-foundations/sf1-logical-foundations/Languages.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/software-foundations/sf1-logical-foundations/Languages.scala -------------------------------------------------------------------------------- /WIP/software-foundations/sf1-logical-foundations/Streams.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/WIP/software-foundations/sf1-logical-foundations/Streams.scala -------------------------------------------------------------------------------- /algorithms/aggregate-correct/AggregateDef.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/aggregate-correct/AggregateDef.scala -------------------------------------------------------------------------------- /algorithms/extended-gcd/MoreExtendedEuclidGCD.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/extended-gcd/MoreExtendedEuclidGCD.scala -------------------------------------------------------------------------------- /algorithms/fulcrum/Fulcrum.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/fulcrum/Fulcrum.scala -------------------------------------------------------------------------------- /algorithms/leftpad/LeftPad.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/leftpad/LeftPad.scala -------------------------------------------------------------------------------- /algorithms/leftpad/Theorem.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/leftpad/Theorem.scala -------------------------------------------------------------------------------- /algorithms/lzw/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/lzw/.gitignore -------------------------------------------------------------------------------- /algorithms/lzw/LZWa.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/lzw/LZWa.scala -------------------------------------------------------------------------------- /algorithms/lzw/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/lzw/Makefile -------------------------------------------------------------------------------- /algorithms/lzw/input.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/lzw/input.txt -------------------------------------------------------------------------------- /algorithms/lzw/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/lzw/stainless.conf -------------------------------------------------------------------------------- /algorithms/lzw/test-genc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/lzw/test-genc.sh -------------------------------------------------------------------------------- /algorithms/reachabilityChecker/ReachabilityChecker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/reachabilityChecker/ReachabilityChecker.scala -------------------------------------------------------------------------------- /algorithms/sorting/InsertionSortArray.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/sorting/InsertionSortArray.scala -------------------------------------------------------------------------------- /algorithms/sorting/InsertionSortListOfT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/sorting/InsertionSortListOfT.scala -------------------------------------------------------------------------------- /algorithms/sorting/QuickSortListOfBigInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/algorithms/sorting/QuickSortListOfBigInt.scala -------------------------------------------------------------------------------- /caching/CachedFunction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/caching/CachedFunction.scala -------------------------------------------------------------------------------- /caching/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/caching/stainless.conf -------------------------------------------------------------------------------- /caching/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/caching/verify.sh -------------------------------------------------------------------------------- /data-structures/amortized-queue1/AmortizedQueue.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/amortized-queue1/AmortizedQueue.scala -------------------------------------------------------------------------------- /data-structures/amortized-queue2/Queue2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/amortized-queue2/Queue2.scala -------------------------------------------------------------------------------- /data-structures/bitstream/bitstream.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream/bitstream.scala -------------------------------------------------------------------------------- /data-structures/bitstream/example-output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream/example-output.txt -------------------------------------------------------------------------------- /data-structures/bitstream/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream/stainless.conf -------------------------------------------------------------------------------- /data-structures/bitstream/utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream/utils.scala -------------------------------------------------------------------------------- /data-structures/bitstream_esa/asn1jvm.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream_esa/asn1jvm.scala -------------------------------------------------------------------------------- /data-structures/bitstream_esa/asn1jvm_Bitstream.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream_esa/asn1jvm_Bitstream.scala -------------------------------------------------------------------------------- /data-structures/bitstream_esa/asn1jvm_Helper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream_esa/asn1jvm_Helper.scala -------------------------------------------------------------------------------- /data-structures/bitstream_esa/asn1jvm_Verification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream_esa/asn1jvm_Verification.scala -------------------------------------------------------------------------------- /data-structures/bitstream_esa/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream_esa/stainless.conf -------------------------------------------------------------------------------- /data-structures/bitstream_esa/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/bitstream_esa/verify.sh -------------------------------------------------------------------------------- /data-structures/iarray/IArrayDoublyWrapped.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/iarray/IArrayDoublyWrapped.scala -------------------------------------------------------------------------------- /data-structures/iarray/IArrays.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/iarray/IArrays.scala -------------------------------------------------------------------------------- /data-structures/iarray/r: -------------------------------------------------------------------------------- 1 | stainless --strict-arithmetic=false IArrayExample.scala 2 | -------------------------------------------------------------------------------- /data-structures/lisp/Lisp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/lisp/Lisp.scala -------------------------------------------------------------------------------- /data-structures/maps/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/.gitignore -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/.gitignore -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/.scalafmt.conf -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/README.md -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/VCs_summary_nocache.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/VCs_summary_nocache.csv -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/build.sbt -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/generate_smt_queries.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/generate_smt_queries.py -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.9.6 2 | -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/project/plugins.sbt -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/benchmark/HashMapBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/benchmark/HashMapBenchmark.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/benchmark/VerifiedMapBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/benchmark/VerifiedMapBenchmark.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/BuggyNewMaskComputation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/BuggyNewMaskComputation.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/EfficientFill.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/EfficientFill.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListLongMap-onlyCode.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListLongMap-onlyCode.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListLongMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListLongMap.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListMap.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/Main.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableHashMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableHashMap.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableLongMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableLongMap.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableLongMapOpti.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableLongMapOpti.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableMapsInterface.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableMapsInterface.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/OptimisedChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/OptimisedChecks.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/OrderedListMap.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/OrderedListMap.scala -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/stainless.conf -------------------------------------------------------------------------------- /data-structures/maps/mutablemaps/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/maps/mutablemaps/verify.sh -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/.gitignore -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/.scalafmt.conf -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/build.sbt -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.9.6 2 | -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/project/plugins.sbt -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/map/ListLongMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListLongMap.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/map/ListMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListMap.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/map/MutableHashMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableHashMap.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/map/MutableLongMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableLongMap.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/map/MutableMapsInterface.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableMapsInterface.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/set/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/src/main/scala/ch/epfl/set/Main.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/set/MutableHashSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/src/main/scala/ch/epfl/set/MutableHashSet.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/src/main/scala/ch/epfl/set/MutableSetsInterface.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/src/main/scala/ch/epfl/set/MutableSetsInterface.scala -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/stainless.conf -------------------------------------------------------------------------------- /data-structures/sets/mutablesets/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sets/mutablesets/verify.sh -------------------------------------------------------------------------------- /data-structures/sorted-array/SortedArray.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sorted-array/SortedArray.scala -------------------------------------------------------------------------------- /data-structures/sorted-array/TotalOrder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sorted-array/TotalOrder.scala -------------------------------------------------------------------------------- /data-structures/sorted-array/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/sorted-array/stainless.conf -------------------------------------------------------------------------------- /data-structures/trees/concrope/ConcRope.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/trees/concrope/ConcRope.scala -------------------------------------------------------------------------------- /data-structures/trees/redblack/RedBlackTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/trees/redblack/RedBlackTree.scala -------------------------------------------------------------------------------- /data-structures/trees/redblack/StrictlyOrderedList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/trees/redblack/StrictlyOrderedList.scala -------------------------------------------------------------------------------- /data-structures/trees/simple-conc/BalanceConc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/trees/simple-conc/BalanceConc.scala -------------------------------------------------------------------------------- /data-structures/trees/simple-conc/SimpleConc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/trees/simple-conc/SimpleConc.scala -------------------------------------------------------------------------------- /data-structures/uarray/UArrayExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/uarray/UArrayExample.scala -------------------------------------------------------------------------------- /data-structures/wrappers/SimpleArray/SimpleArray.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/data-structures/wrappers/SimpleArray/SimpleArray.scala -------------------------------------------------------------------------------- /expression-compiler/ExpressionCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/expression-compiler/ExpressionCompiler.scala -------------------------------------------------------------------------------- /expression-compiler/run-eval: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/expression-compiler/run-eval -------------------------------------------------------------------------------- /expression-compiler/run-verify: -------------------------------------------------------------------------------- 1 | stainless ExpressionCompiler.scala --watch 2 | 3 | -------------------------------------------------------------------------------- /fp-principles/example/example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/fp-principles/example/example.scala -------------------------------------------------------------------------------- /fp-principles/functional-sets/FunSets.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/fp-principles/functional-sets/FunSets.scala -------------------------------------------------------------------------------- /fp-principles/huffman-coding/Huffman.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/fp-principles/huffman-coding/Huffman.scala -------------------------------------------------------------------------------- /fp-principles/object-oriented-sets/TweetSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/fp-principles/object-oriented-sets/TweetSet.scala -------------------------------------------------------------------------------- /fp-principles/recursion/recfun.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/fp-principles/recursion/recfun.scala -------------------------------------------------------------------------------- /install_stainless_and_solvers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/install_stainless_and_solvers.sh -------------------------------------------------------------------------------- /lexers/dfa/ListUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/dfa/ListUtils.scala -------------------------------------------------------------------------------- /lexers/dfa/VerifiedDFA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/dfa/VerifiedDFA.scala -------------------------------------------------------------------------------- /lexers/dfa/VerifiedLexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/dfa/VerifiedLexer.scala -------------------------------------------------------------------------------- /lexers/regex/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/.DS_Store -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/.gitignore -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/.scalafmt.conf -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/README.md -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/asprof-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/asprof-run.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/Benchmark Data Analysis.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/Benchmark Data Analysis.ipynb -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/extract_data.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/extract_data.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/extract_to_coqlex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/extract_to_coqlex.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/.gitignore: -------------------------------------------------------------------------------- 1 | *.png 2 | TODO.md 3 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | 3 | !.gitignore 4 | !main.ml 5 | !compile.sh 6 | !json_lexer.vl 7 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/compile.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/json_lexer.vl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/json_lexer.vl -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/CoqLex/main.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/.gitignore -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/common.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/compile.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/instance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/instance.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/instance.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/instance.mli -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/sem_driver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/Verbatim/sem_driver.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/.gitignore -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/common.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/compile.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/instance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/instance.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/instance.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/instance.mli -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/sem_driver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSC/sem_driver.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/.gitignore -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/common.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/compile.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/instance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/instance.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/instance.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/instance.mli -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/sem_driver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/VerbatimSt/sem_driver.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | 3 | !.gitignore 4 | !json_lexer.l 5 | !global.h 6 | !compile.sh 7 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/compile.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/global.h -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/json_lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/flex/json_lexer.l -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/.gitignore -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/compile.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/json_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/json_lexer.mll -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/Lexers/ocamllex/main.ml -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-large/24200.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-large/24200.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-large/242000.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-large/242000.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-medium/2420.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-medium/2420.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/data-small/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/plot.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/plot.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/plot.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/CoqLex/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/Verbatim/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSC/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/VerbatimSt/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ZipLex/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/102.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/122.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/142.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/162.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/182.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/2.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/202.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/22.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/222.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/242.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/42.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/62.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/62.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/from_coqlex/Comparison/JSON/results/ocamllex/82.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/latest/json_lexer_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/latest/json_lexer_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/latest/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/latest/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/latest/lexerregex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/latest/lexerregex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/latest/regex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/latest/regex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_07.10.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_07.10.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_07.10.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_07.10.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_07.10.2025/regex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_07.10.2025/regex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/regex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_08.10.2025/regex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_lexerregex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_lexerregex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_regex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_23.09.2025/json_regex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/regex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_25.09.2025/regex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/json_lexer_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/json_manipulation_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/lexerregex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/regex_benchmark_wi_5_i_5_laraserver4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/raw/results_30.09.2025/regex_benchmark_wi_5_i_5_laraserver4.txt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/requirements.txt: -------------------------------------------------------------------------------- 1 | numpy==2.1.3 2 | matplotlib==3.9.2 -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/benchmark_results/trim_result_files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/benchmark_results/trim_result_files.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/build.sbt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/lib/scallion-assembly-0.6.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/lib/scallion-assembly-0.6.1.jar -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.9.8 2 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/project/plugins.sbt -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/run_benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/run_benchmarks.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/AmyLexerBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/AmyLexerBenchmark.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/JsonLexerBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/JsonLexerBenchmark.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/JsonManipulationBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/JsonManipulationBenchmark.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/LongVsBigIntMicroBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/LongVsBigIntMicroBenchmark.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/PythonLexerBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/PythonLexerBenchmark.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/RegexBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/RegexBenchmark.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/SilexAmyLexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/SilexAmyLexer.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generate.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_000529chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_000529chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_001058chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_001058chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_001587chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_001587chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_002116chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_002116chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_002645chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_002645chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_003174chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_003174chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_003703chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_003703chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_004232chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_004232chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_004761chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_004761chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_005290chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_005290chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_005819chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_005819chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_006348chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_006348chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_006877chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_006877chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_007406chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_007406chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_007935chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_007935chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_008464chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_008464chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_008993chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_008993chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_009522chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_009522chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_010051chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_010051chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_010580chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_010580chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_011109chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_011109chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_011638chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_011638chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_012167chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_012167chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_012696chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_012696chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_013225chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_013225chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_013754chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_013754chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_014283chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_014283chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_014812chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_014812chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_015341chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_015341chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_015870chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_015870chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_016399chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_016399chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_016928chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_016928chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_017457chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_017457chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_017986chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_017986chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_018515chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_018515chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_019044chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_019044chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_019573chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_019573chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_020102chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_020102chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_020631chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_020631chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_021160chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_021160chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_021689chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_021689chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_022218chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_022218chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_022747chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_022747chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_023276chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_023276chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_023805chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_023805chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_024334chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_024334chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_024863chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_024863chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_025392chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_025392chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_025921chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_025921chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_026450chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_026450chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_026979chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_026979chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_027508chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_027508chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_028037chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_028037chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_028566chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_028566chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_029095chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_029095chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_029624chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_029624chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_030153chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_030153chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_030682chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_030682chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_031211chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_031211chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_031740chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_031740chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_032269chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_032269chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_032798chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_032798chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_033327chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_033327chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_033856chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_033856chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_034385chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_034385chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_034914chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_034914chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_035443chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_035443chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_035972chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_035972chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_036501chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_036501chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_037030chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_037030chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_037559chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_037559chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_038088chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_038088chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_038617chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_038617chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_039146chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_039146chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_039675chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_039675chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_040204chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_040204chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_040733chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_040733chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_041262chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_041262chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_041791chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/generated-amy/generated_code_041791chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0001_2079chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0001_2079chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0001_2079chars.json.847tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0002_4157chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0002_4157chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0002_4157chars.json.1693tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0010_20776chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0010_20776chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0010_20776chars.json.8461tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0015_31167chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0015_31167chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0015_31167chars.json.12691tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0020_41560chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0020_41560chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0020_41560chars.json.16921tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0025_51950chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0025_51950chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0025_51950chars.json.21151tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0030_62339chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0030_62339chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0030_62339chars.json.25381tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0035_72724chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0035_72724chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0035_72724chars.json.29611tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0050_103898chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0050_103898chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0050_103898chars.json.42301tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0070_145455chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0070_145455chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0070_145455chars.json.59221tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0090_187013chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0090_187013chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0090_187013chars.json.76141tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0120_249345chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0120_249345chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0120_249345chars.json.101521tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0150_311687chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0150_311687chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0150_311687chars.json.126901tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0200_415578chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0200_415578chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0200_415578chars.json.169201tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0300_623361chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0300_623361chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0300_623361chars.json.253801tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0400_831171chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0400_831171chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0400_831171chars.json.338401tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0500_1038945chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0500_1038945chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0500_1038945chars.json.423001tokens: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0700_1454528chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0700_1454528chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0900_1870102chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/0900_1870102chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/1200_2493458chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/1200_2493458chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/1500_3116843chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/1500_3116843chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/2000_4155777chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/2000_4155777chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/3000_6233659chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/3000_6233659chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/4000_8311543chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/4000_8311543chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/5000_10389457chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/5000_10389457chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/7000_14545249chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/7000_14545249chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/9000_18700977chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/9000_18700977chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/generate.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/template.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json-manip/template.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/102_23677chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/102_23677chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/122_28308chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/122_28308chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/142_32958chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/142_32958chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/162_37599chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/162_37599chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/182_42231chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/182_42231chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/202_46879chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/202_46879chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/222_51521chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/222_51521chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/22_5115chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/22_5115chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/24200_5615404chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/24200_5615404chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/2420_561544chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/2420_561544chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/242_56154chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/242_56154chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/2_456chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/2_456chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/42_9755chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/42_9755chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/62_14377chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/62_14377chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/82_19037chars.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/benchmark/res/json/82_19037chars.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/AmyLexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/AmyLexer.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/JSONLexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/JSONLexer.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/JsonManipulation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/JsonManipulation.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/PythonLexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/PythonLexer.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/Utils.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/UtilsCaches.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/UtilsCaches.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/ADT_864chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/ADT_864chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/BinaryTree_952chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/BinaryTree_952chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Calculator_962chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Calculator_962chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Comments_324chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Comments_324chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Compute_230chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Compute_230chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/ExpressionTree_1176chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/ExpressionTree_1176chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Factorial_275chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Factorial_275chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Factorial_275chars.amy.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Factorial_275chars.amy.tokens -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/FullBenchmark_1852chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/FullBenchmark_1852chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Hello_56chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Hello_56chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/IOAndError_267chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/IOAndError_267chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/ListProcessing_649chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/ListProcessing_649chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/MutualRec_296chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/MutualRec_296chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/NestedMatch_451chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/NestedMatch_451chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/NestedMatch_duplicated_commented_907chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/NestedMatch_duplicated_commented_907chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Rec_66chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Rec_66chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Ultimate_3811chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Ultimate_3811chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Ultimate_duplicated_commented_7629chars.amy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/amy/Ultimate_duplicated_commented_7629chars.amy -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/json/example-for-sorting.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/json/example-for-sorting.json -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/AsyncDemo_426chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/AsyncDemo_426chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/BigString_113chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/BigString_113chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/CommandMatcher_660chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/CommandMatcher_660chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/EventSim20x_42063chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/EventSim20x_42063chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/EventSim_2002chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/EventSim_2002chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Factorial_168chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Factorial_168chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/FizzBuzz_245chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/FizzBuzz_245chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Micro_1chars.py: -------------------------------------------------------------------------------- 1 | x -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/MultiLineString_323chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/MultiLineString_323chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/ParseNumbers_708chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/ParseNumbers_708chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Pipeline_413chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Pipeline_413chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/PrimeSieve_458chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/PrimeSieve_458chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Simple_26chars.py: -------------------------------------------------------------------------------- 1 | def f(x): 2 | return x + 1 -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/TimedFib_679chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/TimedFib_679chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/TinyPlus_164chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/TinyPlus_164chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Vector2D_802chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/Vector2D_802chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/WordStats_346chars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/res/python/WordStats_346chars.py -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/zipper.worksheet.sc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/example/zipper.worksheet.sc -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/LexerInterface.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/LexerInterface.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/Main.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/OptimisedChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/OptimisedChecks.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/Utils.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/Vector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/Vector.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/VerifiedLexer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/VerifiedLexer.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/VerifiedRegex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/com/ziplex/lexer/VerifiedRegex.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/map/ListLongMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../../data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListLongMap.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/map/ListMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../../data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/ListMap.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/map/MutableHashMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../../data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableHashMap.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/map/MutableLongMap.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../../data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableLongMap.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/map/MutableMapsInterface.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../../data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/MutableMapsInterface.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/com/ziplex/map/OptimisedChecks.scala: -------------------------------------------------------------------------------- 1 | ../../../../../../../../../data-structures/maps/mutablemaps/src/main/scala/com/mutablemaps/map/OptimisedChecks.scala -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/src/main/scala/test.worksheet.sc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/src/main/scala/test.worksheet.sc -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/stainless.conf -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/verify.sh -------------------------------------------------------------------------------- /lexers/regex/verifiedlexer/verify_dev.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/lexers/regex/verifiedlexer/verify_dev.sh -------------------------------------------------------------------------------- /modularity/MiniMutableSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/modularity/MiniMutableSet.scala -------------------------------------------------------------------------------- /modularity/MiniMutableSetInterface.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/modularity/MiniMutableSetInterface.scala -------------------------------------------------------------------------------- /modularity/MutableSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/modularity/MutableSet.scala -------------------------------------------------------------------------------- /modularity/MutableSetInterface.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/modularity/MutableSetInterface.scala -------------------------------------------------------------------------------- /modularity/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/modularity/stainless.conf -------------------------------------------------------------------------------- /qoi/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/.gitignore -------------------------------------------------------------------------------- /qoi/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/README.md -------------------------------------------------------------------------------- /qoi/fmcad2022.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/fmcad2022.pdf -------------------------------------------------------------------------------- /qoi/genc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/Makefile -------------------------------------------------------------------------------- /qoi/genc/genc-bridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/genc-bridge.c -------------------------------------------------------------------------------- /qoi/genc/genc-bridge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/genc-bridge.h -------------------------------------------------------------------------------- /qoi/genc/genc-qoibench.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/genc-qoibench.c -------------------------------------------------------------------------------- /qoi/genc/genc-qoiconv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/genc-qoiconv.c -------------------------------------------------------------------------------- /qoi/genc/qoi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/qoi.h -------------------------------------------------------------------------------- /qoi/genc/run-bench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/run-bench.sh -------------------------------------------------------------------------------- /qoi/genc/stb_image.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/stb_image.h -------------------------------------------------------------------------------- /qoi/genc/stb_image_write.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/stb_image_write.h -------------------------------------------------------------------------------- /qoi/genc/test-genc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/genc/test-genc.sh -------------------------------------------------------------------------------- /qoi/images/Bridalveil_Fall_and_valley.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Bridalveil_Fall_and_valley.png -------------------------------------------------------------------------------- /qoi/images/Bridalveil_Fall_and_valley.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Bridalveil_Fall_and_valley.qoi -------------------------------------------------------------------------------- /qoi/images/Central_Bern_from_north.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Central_Bern_from_north.png -------------------------------------------------------------------------------- /qoi/images/Central_Bern_from_north.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Central_Bern_from_north.qoi -------------------------------------------------------------------------------- /qoi/images/Chiffchaff_Phylloscopus_collybita.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Chiffchaff_Phylloscopus_collybita.png -------------------------------------------------------------------------------- /qoi/images/Chiffchaff_Phylloscopus_collybita.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Chiffchaff_Phylloscopus_collybita.qoi -------------------------------------------------------------------------------- /qoi/images/Chocolate_Hills_overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Chocolate_Hills_overview.png -------------------------------------------------------------------------------- /qoi/images/Chocolate_Hills_overview.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Chocolate_Hills_overview.qoi -------------------------------------------------------------------------------- /qoi/images/Eyjafjallajokull_sous_les_aurores_boreales.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Eyjafjallajokull_sous_les_aurores_boreales.png -------------------------------------------------------------------------------- /qoi/images/Eyjafjallajokull_sous_les_aurores_boreales.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Eyjafjallajokull_sous_les_aurores_boreales.qoi -------------------------------------------------------------------------------- /qoi/images/Linze_Zhangye_Gansu_China_panoramio_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Linze_Zhangye_Gansu_China_panoramio_4.png -------------------------------------------------------------------------------- /qoi/images/Linze_Zhangye_Gansu_China_panoramio_4.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Linze_Zhangye_Gansu_China_panoramio_4.qoi -------------------------------------------------------------------------------- /qoi/images/Plaigne_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Plaigne_2.png -------------------------------------------------------------------------------- /qoi/images/Plaigne_2.qoi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/Plaigne_2.qoi -------------------------------------------------------------------------------- /qoi/images/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/images/README.md -------------------------------------------------------------------------------- /qoi/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/stainless.conf -------------------------------------------------------------------------------- /qoi/unannotated/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/unannotated/README.md -------------------------------------------------------------------------------- /qoi/unannotated/common.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/unannotated/common.scala -------------------------------------------------------------------------------- /qoi/unannotated/decoder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/unannotated/decoder.scala -------------------------------------------------------------------------------- /qoi/unannotated/encoder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/unannotated/encoder.scala -------------------------------------------------------------------------------- /qoi/verified/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/verified/README.md -------------------------------------------------------------------------------- /qoi/verified/common.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/verified/common.scala -------------------------------------------------------------------------------- /qoi/verified/decoder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/verified/decoder.scala -------------------------------------------------------------------------------- /qoi/verified/encoder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/verified/encoder.scala -------------------------------------------------------------------------------- /qoi/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/qoi/verify.sh -------------------------------------------------------------------------------- /run-one-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/run-one-test.sh -------------------------------------------------------------------------------- /run-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/run-tests.sh -------------------------------------------------------------------------------- /software-foundations/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/software-foundations/README.md -------------------------------------------------------------------------------- /software-foundations/sf1-logical-foundations/Basics.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/software-foundations/sf1-logical-foundations/Basics.scala -------------------------------------------------------------------------------- /software-foundations/sf1-logical-foundations/Induction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/software-foundations/sf1-logical-foundations/Induction.scala -------------------------------------------------------------------------------- /stainless.conf.nightly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/stainless.conf.nightly -------------------------------------------------------------------------------- /system-f/Reduction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/system-f/Reduction.scala -------------------------------------------------------------------------------- /system-f/SystemF.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/system-f/SystemF.scala -------------------------------------------------------------------------------- /system-f/Transformations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/system-f/Transformations.scala -------------------------------------------------------------------------------- /system-f/Typing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/system-f/Typing.scala -------------------------------------------------------------------------------- /system-f/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/system-f/Utils.scala -------------------------------------------------------------------------------- /system-f/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/system-f/stainless.conf -------------------------------------------------------------------------------- /tctests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tctests.txt -------------------------------------------------------------------------------- /tutorials/add-digits/AddDigits.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/add-digits/AddDigits.scala -------------------------------------------------------------------------------- /tutorials/arith-lang-sound/ArithLangSound.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/arith-lang-sound/ArithLangSound.scala -------------------------------------------------------------------------------- /tutorials/arith-lang-sound/TimeoutArithLangSound.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/arith-lang-sound/TimeoutArithLangSound.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/01-zip/zip.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/01-zip/zip.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/02-stack/Stack.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/02-stack/Stack.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/02-stack/StackAliased.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/02-stack/StackAliased.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/02-stack/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/02-stack/stainless.conf -------------------------------------------------------------------------------- /tutorials/asplos2022/02-stack/verify-StackAliased.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/02-stack/verify-StackAliased.sh -------------------------------------------------------------------------------- /tutorials/asplos2022/02-stack/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/02-stack/verify.sh -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/.gitignore -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/Pixel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/Pixel.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/SPixel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/SPixel.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/common.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/common.scala -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/gcc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/gcc.sh -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/genc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/genc.sh -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/main.c -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/stainless.conf -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/verify-common.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/verify-common.sh -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/verify-pixel.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/verify-pixel.sh -------------------------------------------------------------------------------- /tutorials/asplos2022/03-rgba/verify-spixel.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/asplos2022/03-rgba/verify-spixel.sh -------------------------------------------------------------------------------- /tutorials/binary-search/search-question.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/binary-search/search-question.txt -------------------------------------------------------------------------------- /tutorials/binary-search/search.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/binary-search/search.scala -------------------------------------------------------------------------------- /tutorials/binary-search/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/binary-search/stainless.conf -------------------------------------------------------------------------------- /tutorials/const-fold/ConstFold.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/const-fold/ConstFold.scala -------------------------------------------------------------------------------- /tutorials/const-fold/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/const-fold/stainless.conf -------------------------------------------------------------------------------- /tutorials/dispenser/Dispenser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/dispenser/Dispenser.scala -------------------------------------------------------------------------------- /tutorials/dispenser/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/dispenser/stainless.conf -------------------------------------------------------------------------------- /tutorials/explicit-memory/ExplicitMemory.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/explicit-memory/ExplicitMemory.scala -------------------------------------------------------------------------------- /tutorials/first-tutorial/FirstTutorial.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/first-tutorial/FirstTutorial.scala -------------------------------------------------------------------------------- /tutorials/fmcad2021/alt-diffs/Diffs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/fmcad2021/alt-diffs/Diffs.scala -------------------------------------------------------------------------------- /tutorials/fmcad2021/binary-search/BinarySearch1Solution.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/fmcad2021/binary-search/BinarySearch1Solution.scala -------------------------------------------------------------------------------- /tutorials/fmcad2021/find-index/FindIndexOptionIff.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/fmcad2021/find-index/FindIndexOptionIff.scala -------------------------------------------------------------------------------- /tutorials/futures/PossibleFutures.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/futures/PossibleFutures.scala -------------------------------------------------------------------------------- /tutorials/inductive-witnesses/TransitiveClosure.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/inductive-witnesses/TransitiveClosure.scala -------------------------------------------------------------------------------- /tutorials/isbn/ISBN.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/isbn/ISBN.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/DiffsEquiv.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/DiffsEquiv.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/DiffsLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/DiffsLaws.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/IntSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/IntSet.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/IntSetInv.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/IntSetInv.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/Krakow2020LambdaDays.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/Krakow2020LambdaDays.pdf -------------------------------------------------------------------------------- /tutorials/krakow2020/ListDiffsInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/ListDiffsInt.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/ListDiffsTerminates.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/ListDiffsTerminates.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/PosIncreasing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/PosIncreasing.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/PosIncreasing2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/PosIncreasing2.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/Sym.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/Sym.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/used.stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/used.stainless.conf -------------------------------------------------------------------------------- /tutorials/krakow2020/working/ListDiffsInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/working/ListDiffsInt.scala -------------------------------------------------------------------------------- /tutorials/krakow2020/working/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/krakow2020/working/stainless.conf -------------------------------------------------------------------------------- /tutorials/memory/Memory.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/memory/Memory.scala -------------------------------------------------------------------------------- /tutorials/simple-transform/TransformSimple.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/simple-transform/TransformSimple.scala -------------------------------------------------------------------------------- /tutorials/termination/OverflowFun.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/tutorials/termination/OverflowFun.scala -------------------------------------------------------------------------------- /verify_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/epfl-lara/bolts/HEAD/verify_all.sh --------------------------------------------------------------------------------