├── .gitignore ├── Changes ├── LICENSE ├── META ├── Makefile ├── README.md ├── _tags ├── benchmarks ├── README.md ├── intexp │ ├── README.md │ ├── data │ │ ├── gen.py │ │ ├── intexp.1048576 │ │ ├── intexp.1310720 │ │ ├── intexp.1572864 │ │ ├── intexp.1835008 │ │ ├── intexp.2097152 │ │ ├── intexp.262144 │ │ ├── intexp.524288 │ │ └── intexp.786432 │ ├── intexp_benchmark.ml │ ├── intexp_lexer.mll │ ├── intexp_parser.mly │ ├── intexp_staged_combinator_parser.ml │ ├── intexp_tokens.ml │ ├── intexp_tokens.mli │ ├── intexp_tokens_base.ml │ └── intexp_unstaged_combinator_parser.ml ├── json │ ├── README.md │ ├── data │ │ ├── 1002194915835744256.json │ │ ├── 1006616961999089664.json │ │ ├── 1008507220764577792.json │ │ ├── 1009418896204615682.json │ │ ├── 1009420018654859269.json │ │ ├── 1009787926706900993.json │ │ ├── 1009808171429449729.json │ │ ├── 1009913257694556166.json │ │ ├── 1009914672651427840.json │ │ ├── 1009915721374150657.json │ │ ├── 1010149382946197504.json │ │ ├── 1016382069172326401.json │ │ ├── 1019252521498501120.json │ │ ├── 1050047249567416326.json │ │ ├── 1060215684033114114.json │ │ ├── 610545051098157056.json │ │ ├── 610545993495347201.json │ │ ├── 610546457666392064.json │ │ ├── 610556629415636992.json │ │ ├── 610565708095754241.json │ │ ├── 610578171377909760.json │ │ ├── 610843045160816642.json │ │ ├── 610843570166104065.json │ │ ├── 610878673323958272.json │ │ ├── 610881265055698944.json │ │ ├── 610931585404268544.json │ │ ├── 610937861085343744.json │ │ ├── 610948619324166144.json │ │ ├── 611216498061774850.json │ │ ├── 611221217924681728.json │ │ ├── 611222445429690368.json │ │ ├── 611275980863221760.json │ │ ├── 611310291243167744.json │ │ ├── 643925629226758145.json │ │ ├── 652187175849730048.json │ │ ├── 652506844959768576.json │ │ ├── 662332262583660544.json │ │ ├── 666986429453570048.json │ │ ├── 667744313829253121.json │ │ ├── 673918957867241472.json │ │ ├── 690662268263124993.json │ │ ├── 704361508579311616.json │ │ ├── 705050007548747776.json │ │ ├── 705066189396037633.json │ │ ├── 705468692641878016.json │ │ ├── 709384125334089728.json │ │ ├── 710882487702925312.json │ │ ├── 714935000651534336.json │ │ ├── 714935145346629632.json │ │ ├── 715010313972625408.json │ │ ├── 718532159980441600.json │ │ ├── 734395464053870595.json │ │ ├── 735515881686458368.json │ │ ├── 738055144735002625.json │ │ ├── 738057002929270784.json │ │ ├── 739103680574676992.json │ │ ├── 740563099460227072.json │ │ ├── 740979352834215936.json │ │ ├── 742491535929794560.json │ │ ├── 742736737508544512.json │ │ ├── 742736824821391362.json │ │ ├── 742744532844875777.json │ │ ├── 742751144905080832.json │ │ ├── 742753156027711488.json │ │ ├── 742754844688023552.json │ │ ├── 742780717873012736.json │ │ ├── 742858275784253441.json │ │ ├── 742859988398280709.json │ │ ├── 743084998362681344.json │ │ ├── 743108093727232001.json │ │ ├── 743109231100854274.json │ │ ├── 743109466514591745.json │ │ ├── 743110273318326272.json │ │ ├── 743112702852141058.json │ │ ├── 743114378493337601.json │ │ ├── 743119082581430274.json │ │ ├── 743120112970956800.json │ │ ├── 743124335376818177.json │ │ ├── 743125607710523392.json │ │ ├── 743125738069491712.json │ │ ├── 743140200755302401.json │ │ ├── 743153863297884160.json │ │ ├── 743195043188477953.json │ │ ├── 743217789905711104.json │ │ ├── 743454007339814912.json │ │ ├── 743473085873946625.json │ │ ├── 743474595391410176.json │ │ ├── 743478439651377153.json │ │ ├── 743478540826357760.json │ │ ├── 743479021028073472.json │ │ ├── 743479424289406976.json │ │ ├── 743482276311228419.json │ │ ├── 743487377209860096.json │ │ ├── 743498151265394688.json │ │ ├── 743504307631202305.json │ │ ├── 743524924556357632.json │ │ ├── 743550076241358849.json │ │ ├── 743554125166612480.json │ │ ├── 743560459777773569.json │ │ ├── 743567484049993728.json │ │ ├── 743580553434148864.json │ │ ├── 743582760036507648.json │ │ ├── 743587489407860736.json │ │ ├── 743590764085575680.json │ │ ├── 743592638121598976.json │ │ ├── 743597003674771456.json │ │ ├── 743606774368972800.json │ │ ├── 743663982888660992.json │ │ ├── 743696911907971072.json │ │ ├── 743705538681155584.json │ │ ├── 743713625005654016.json │ │ ├── 743818288338112512.json │ │ ├── 743832698402144257.json │ │ ├── 743833102909202432.json │ │ ├── 743833390537838593.json │ │ ├── 743833994190426112.json │ │ ├── 743849285003804672.json │ │ ├── 743852058697031681.json │ │ ├── 743858688918593537.json │ │ ├── 743868957015216128.json │ │ ├── 743881821193019393.json │ │ ├── 743914166667214848.json │ │ ├── 743915917394878465.json │ │ ├── 743916473584750592.json │ │ ├── 779821815057317889.json │ │ ├── 779823263480512512.json │ │ ├── 781741860175872000.json │ │ ├── 793594057071230976.json │ │ ├── 796144462451867649.json │ │ ├── 798590449560784896.json │ │ ├── 798673101886099457.json │ │ ├── 798902332830482432.json │ │ ├── 801173741409439748.json │ │ ├── 816343819465752578.json │ │ ├── 823583161053376512.json │ │ ├── 824780041175367680.json │ │ ├── 833705083686752256.json │ │ ├── 833722900330975237.json │ │ ├── 840713567955484672.json │ │ ├── 841615971001520130.json │ │ ├── 846475507831058432.json │ │ ├── 849302317216272387.json │ │ ├── 854149212405207045.json │ │ ├── 854420118281105408.json │ │ ├── 857493227242479616.json │ │ ├── 857975217163038720.json │ │ ├── 867953403787304961.json │ │ ├── 870634438140493824.json │ │ ├── 876068990602407937.json │ │ ├── 876376328605401088.json │ │ ├── 876835255566643200.json │ │ ├── 877062558456401920.json │ │ ├── 877190891039019009.json │ │ ├── 877437885347135488.json │ │ ├── 877856421949329408.json │ │ ├── 877976514297380864.json │ │ ├── 879488996707098624.json │ │ ├── 902674868897857536.json │ │ ├── 904048312638205952.json │ │ ├── 904817786001776640.json │ │ ├── 917531717111615494.json │ │ ├── 926105120927920128.json │ │ ├── 931310927219060736.json │ │ ├── 931697091465924613.json │ │ ├── 936710024675635200.json │ │ ├── 938132725801914368.json │ │ ├── 950529005169487872.json │ │ ├── 951512281312935938.json │ │ ├── 965073992938934272.json │ │ ├── 965375971833430016.json │ │ ├── 966854613654786049.json │ │ ├── 972192134660059143.json │ │ ├── 974043991162392577.json │ │ ├── 974310832237694977.json │ │ ├── 979369086756016128.json │ │ ├── 979370488337223680.json │ │ ├── 979475722191466496.json │ │ ├── 981933571291021313.json │ │ ├── 991114495245324288.json │ │ ├── 996046728783523841.json │ │ ├── README.md │ │ ├── all.json │ │ ├── build.sh │ │ ├── collect_100.json │ │ ├── collect_120.json │ │ ├── collect_140.json │ │ ├── collect_160.json │ │ ├── collect_180.json │ │ ├── collect_20.json │ │ ├── collect_40.json │ │ ├── collect_60.json │ │ └── collect_80.json │ ├── json_benchmark.ml │ ├── json_lexer.mll │ ├── json_parser.mly │ ├── json_staged_combinator_parser.ml │ ├── json_tokens.ml │ ├── json_tokens.mli │ ├── json_tokens_base.ml │ └── json_unstaged_combinator_parser.ml ├── pgn │ ├── README.md │ ├── data │ │ ├── 1610-1899.pgn │ │ ├── 1610-1899_125k.pgn │ │ ├── 1610-1899_1MB.pgn │ │ ├── 1610-1899_250k.pgn │ │ ├── 1610-1899_2MB.pgn │ │ ├── 1610-1899_32k.pgn │ │ ├── 1610-1899_500k.pgn │ │ ├── 1610-1899_64k.pgn │ │ └── README.md │ ├── pgn_benchmark.ml │ ├── pgn_lexer.mll │ ├── pgn_parser.mly │ ├── pgn_staged_combinator_parser.ml │ ├── pgn_tokens.ml │ ├── pgn_tokens.mli │ ├── pgn_tokens_base.ml │ └── pgn_unstaged_combinator_parser.ml ├── ppm │ ├── README.md │ ├── data │ │ ├── README.md │ │ ├── popl2019_twitter_avatar.jpg │ │ ├── popl2019_twitter_avatar_10x10.ppm │ │ ├── popl2019_twitter_avatar_113x113.ppm │ │ ├── popl2019_twitter_avatar_14x14.ppm │ │ ├── popl2019_twitter_avatar_160x160.ppm │ │ ├── popl2019_twitter_avatar_20x20.ppm │ │ ├── popl2019_twitter_avatar_226x226.ppm │ │ ├── popl2019_twitter_avatar_28x28.ppm │ │ ├── popl2019_twitter_avatar_40x40.ppm │ │ ├── popl2019_twitter_avatar_56x56.ppm │ │ └── popl2019_twitter_avatar_80x80.ppm │ ├── ppm_benchmark.ml │ ├── ppm_lexer.mll │ ├── ppm_parser.mly │ ├── ppm_staged_combinator_parser.ml │ ├── ppm_tokens.ml │ ├── ppm_tokens.mli │ ├── ppm_tokens_base.ml │ └── ppm_unstaged_combinator_parser.ml └── sexp │ ├── README.md │ ├── data │ ├── gen.py │ ├── sexp.1048576 │ ├── sexp.1310720 │ ├── sexp.1572864 │ ├── sexp.1835008 │ ├── sexp.2097152 │ ├── sexp.262144 │ ├── sexp.524288 │ └── sexp.786432 │ ├── sexp_benchmark.ml │ ├── sexp_lexer.mll │ ├── sexp_parser.mly │ ├── sexp_staged_combinator_parser.ml │ ├── sexp_tokens.ml │ ├── sexp_tokens.mli │ ├── sexp_tokens_base.ml │ └── sexp_unstaged_combinator_parser.ml ├── lib ├── .gitignore ├── asp.ml ├── asp.mli ├── asp.mllib ├── asp_staged.ml ├── asp_staged.mli ├── asp_stream_ir.ml ├── asp_stream_ir.mli ├── asp_streamcode.ml ├── asp_streamcode.mli ├── asp_types.ml ├── asp_unstaged.ml ├── asp_unstaged.mli ├── asp_utilities.ml ├── asp_utilities.mli ├── asp_utilities_staged.ml └── asp_utilities_staged.mli ├── lib_test ├── brackets.bad ├── brackets.ok ├── test.ml └── test_int_exp.ml ├── myocamlbuild.ml ├── opam └── pldi-artifact ├── Dockerfile ├── Makefile ├── README.md └── files ├── .ocamlinit └── intexp-output.txt /.gitignore: -------------------------------------------------------------------------------- 1 | *.native 2 | *~ 3 | _build/ 4 | -------------------------------------------------------------------------------- /Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/Changes -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/LICENSE -------------------------------------------------------------------------------- /META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/META -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/_tags -------------------------------------------------------------------------------- /benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/README.md -------------------------------------------------------------------------------- /benchmarks/intexp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/README.md -------------------------------------------------------------------------------- /benchmarks/intexp/data/gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/gen.py -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.1048576: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.1048576 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.1310720: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.1310720 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.1572864: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.1572864 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.1835008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.1835008 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.2097152: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.2097152 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.262144: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.262144 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.524288: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.524288 -------------------------------------------------------------------------------- /benchmarks/intexp/data/intexp.786432: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/data/intexp.786432 -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_benchmark.ml -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_lexer.mll -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_parser.mly -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_staged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_staged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_tokens.ml -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_tokens.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_tokens.mli -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_tokens_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_tokens_base.ml -------------------------------------------------------------------------------- /benchmarks/intexp/intexp_unstaged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/intexp/intexp_unstaged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/json/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/README.md -------------------------------------------------------------------------------- /benchmarks/json/data/1002194915835744256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1002194915835744256.json -------------------------------------------------------------------------------- /benchmarks/json/data/1006616961999089664.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1006616961999089664.json -------------------------------------------------------------------------------- /benchmarks/json/data/1008507220764577792.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1008507220764577792.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009418896204615682.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009418896204615682.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009420018654859269.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009420018654859269.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009787926706900993.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009787926706900993.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009808171429449729.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009808171429449729.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009913257694556166.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009913257694556166.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009914672651427840.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009914672651427840.json -------------------------------------------------------------------------------- /benchmarks/json/data/1009915721374150657.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1009915721374150657.json -------------------------------------------------------------------------------- /benchmarks/json/data/1010149382946197504.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1010149382946197504.json -------------------------------------------------------------------------------- /benchmarks/json/data/1016382069172326401.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1016382069172326401.json -------------------------------------------------------------------------------- /benchmarks/json/data/1019252521498501120.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1019252521498501120.json -------------------------------------------------------------------------------- /benchmarks/json/data/1050047249567416326.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1050047249567416326.json -------------------------------------------------------------------------------- /benchmarks/json/data/1060215684033114114.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/1060215684033114114.json -------------------------------------------------------------------------------- /benchmarks/json/data/610545051098157056.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610545051098157056.json -------------------------------------------------------------------------------- /benchmarks/json/data/610545993495347201.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610545993495347201.json -------------------------------------------------------------------------------- /benchmarks/json/data/610546457666392064.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610546457666392064.json -------------------------------------------------------------------------------- /benchmarks/json/data/610556629415636992.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610556629415636992.json -------------------------------------------------------------------------------- /benchmarks/json/data/610565708095754241.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610565708095754241.json -------------------------------------------------------------------------------- /benchmarks/json/data/610578171377909760.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610578171377909760.json -------------------------------------------------------------------------------- /benchmarks/json/data/610843045160816642.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610843045160816642.json -------------------------------------------------------------------------------- /benchmarks/json/data/610843570166104065.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610843570166104065.json -------------------------------------------------------------------------------- /benchmarks/json/data/610878673323958272.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610878673323958272.json -------------------------------------------------------------------------------- /benchmarks/json/data/610881265055698944.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610881265055698944.json -------------------------------------------------------------------------------- /benchmarks/json/data/610931585404268544.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610931585404268544.json -------------------------------------------------------------------------------- /benchmarks/json/data/610937861085343744.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610937861085343744.json -------------------------------------------------------------------------------- /benchmarks/json/data/610948619324166144.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/610948619324166144.json -------------------------------------------------------------------------------- /benchmarks/json/data/611216498061774850.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/611216498061774850.json -------------------------------------------------------------------------------- /benchmarks/json/data/611221217924681728.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/611221217924681728.json -------------------------------------------------------------------------------- /benchmarks/json/data/611222445429690368.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/611222445429690368.json -------------------------------------------------------------------------------- /benchmarks/json/data/611275980863221760.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/611275980863221760.json -------------------------------------------------------------------------------- /benchmarks/json/data/611310291243167744.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/611310291243167744.json -------------------------------------------------------------------------------- /benchmarks/json/data/643925629226758145.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/643925629226758145.json -------------------------------------------------------------------------------- /benchmarks/json/data/652187175849730048.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/652187175849730048.json -------------------------------------------------------------------------------- /benchmarks/json/data/652506844959768576.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/652506844959768576.json -------------------------------------------------------------------------------- /benchmarks/json/data/662332262583660544.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/662332262583660544.json -------------------------------------------------------------------------------- /benchmarks/json/data/666986429453570048.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/666986429453570048.json -------------------------------------------------------------------------------- /benchmarks/json/data/667744313829253121.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/667744313829253121.json -------------------------------------------------------------------------------- /benchmarks/json/data/673918957867241472.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/673918957867241472.json -------------------------------------------------------------------------------- /benchmarks/json/data/690662268263124993.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/690662268263124993.json -------------------------------------------------------------------------------- /benchmarks/json/data/704361508579311616.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/704361508579311616.json -------------------------------------------------------------------------------- /benchmarks/json/data/705050007548747776.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/705050007548747776.json -------------------------------------------------------------------------------- /benchmarks/json/data/705066189396037633.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/705066189396037633.json -------------------------------------------------------------------------------- /benchmarks/json/data/705468692641878016.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/705468692641878016.json -------------------------------------------------------------------------------- /benchmarks/json/data/709384125334089728.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/709384125334089728.json -------------------------------------------------------------------------------- /benchmarks/json/data/710882487702925312.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/710882487702925312.json -------------------------------------------------------------------------------- /benchmarks/json/data/714935000651534336.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/714935000651534336.json -------------------------------------------------------------------------------- /benchmarks/json/data/714935145346629632.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/714935145346629632.json -------------------------------------------------------------------------------- /benchmarks/json/data/715010313972625408.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/715010313972625408.json -------------------------------------------------------------------------------- /benchmarks/json/data/718532159980441600.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/718532159980441600.json -------------------------------------------------------------------------------- /benchmarks/json/data/734395464053870595.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/734395464053870595.json -------------------------------------------------------------------------------- /benchmarks/json/data/735515881686458368.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/735515881686458368.json -------------------------------------------------------------------------------- /benchmarks/json/data/738055144735002625.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/738055144735002625.json -------------------------------------------------------------------------------- /benchmarks/json/data/738057002929270784.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/738057002929270784.json -------------------------------------------------------------------------------- /benchmarks/json/data/739103680574676992.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/739103680574676992.json -------------------------------------------------------------------------------- /benchmarks/json/data/740563099460227072.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/740563099460227072.json -------------------------------------------------------------------------------- /benchmarks/json/data/740979352834215936.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/740979352834215936.json -------------------------------------------------------------------------------- /benchmarks/json/data/742491535929794560.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742491535929794560.json -------------------------------------------------------------------------------- /benchmarks/json/data/742736737508544512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742736737508544512.json -------------------------------------------------------------------------------- /benchmarks/json/data/742736824821391362.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742736824821391362.json -------------------------------------------------------------------------------- /benchmarks/json/data/742744532844875777.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742744532844875777.json -------------------------------------------------------------------------------- /benchmarks/json/data/742751144905080832.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742751144905080832.json -------------------------------------------------------------------------------- /benchmarks/json/data/742753156027711488.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742753156027711488.json -------------------------------------------------------------------------------- /benchmarks/json/data/742754844688023552.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742754844688023552.json -------------------------------------------------------------------------------- /benchmarks/json/data/742780717873012736.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742780717873012736.json -------------------------------------------------------------------------------- /benchmarks/json/data/742858275784253441.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742858275784253441.json -------------------------------------------------------------------------------- /benchmarks/json/data/742859988398280709.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/742859988398280709.json -------------------------------------------------------------------------------- /benchmarks/json/data/743084998362681344.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743084998362681344.json -------------------------------------------------------------------------------- /benchmarks/json/data/743108093727232001.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743108093727232001.json -------------------------------------------------------------------------------- /benchmarks/json/data/743109231100854274.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743109231100854274.json -------------------------------------------------------------------------------- /benchmarks/json/data/743109466514591745.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743109466514591745.json -------------------------------------------------------------------------------- /benchmarks/json/data/743110273318326272.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743110273318326272.json -------------------------------------------------------------------------------- /benchmarks/json/data/743112702852141058.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743112702852141058.json -------------------------------------------------------------------------------- /benchmarks/json/data/743114378493337601.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743114378493337601.json -------------------------------------------------------------------------------- /benchmarks/json/data/743119082581430274.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743119082581430274.json -------------------------------------------------------------------------------- /benchmarks/json/data/743120112970956800.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743120112970956800.json -------------------------------------------------------------------------------- /benchmarks/json/data/743124335376818177.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743124335376818177.json -------------------------------------------------------------------------------- /benchmarks/json/data/743125607710523392.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743125607710523392.json -------------------------------------------------------------------------------- /benchmarks/json/data/743125738069491712.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743125738069491712.json -------------------------------------------------------------------------------- /benchmarks/json/data/743140200755302401.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743140200755302401.json -------------------------------------------------------------------------------- /benchmarks/json/data/743153863297884160.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743153863297884160.json -------------------------------------------------------------------------------- /benchmarks/json/data/743195043188477953.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743195043188477953.json -------------------------------------------------------------------------------- /benchmarks/json/data/743217789905711104.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743217789905711104.json -------------------------------------------------------------------------------- /benchmarks/json/data/743454007339814912.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743454007339814912.json -------------------------------------------------------------------------------- /benchmarks/json/data/743473085873946625.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743473085873946625.json -------------------------------------------------------------------------------- /benchmarks/json/data/743474595391410176.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743474595391410176.json -------------------------------------------------------------------------------- /benchmarks/json/data/743478439651377153.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743478439651377153.json -------------------------------------------------------------------------------- /benchmarks/json/data/743478540826357760.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743478540826357760.json -------------------------------------------------------------------------------- /benchmarks/json/data/743479021028073472.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743479021028073472.json -------------------------------------------------------------------------------- /benchmarks/json/data/743479424289406976.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743479424289406976.json -------------------------------------------------------------------------------- /benchmarks/json/data/743482276311228419.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743482276311228419.json -------------------------------------------------------------------------------- /benchmarks/json/data/743487377209860096.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743487377209860096.json -------------------------------------------------------------------------------- /benchmarks/json/data/743498151265394688.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743498151265394688.json -------------------------------------------------------------------------------- /benchmarks/json/data/743504307631202305.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743504307631202305.json -------------------------------------------------------------------------------- /benchmarks/json/data/743524924556357632.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743524924556357632.json -------------------------------------------------------------------------------- /benchmarks/json/data/743550076241358849.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743550076241358849.json -------------------------------------------------------------------------------- /benchmarks/json/data/743554125166612480.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743554125166612480.json -------------------------------------------------------------------------------- /benchmarks/json/data/743560459777773569.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743560459777773569.json -------------------------------------------------------------------------------- /benchmarks/json/data/743567484049993728.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743567484049993728.json -------------------------------------------------------------------------------- /benchmarks/json/data/743580553434148864.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743580553434148864.json -------------------------------------------------------------------------------- /benchmarks/json/data/743582760036507648.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743582760036507648.json -------------------------------------------------------------------------------- /benchmarks/json/data/743587489407860736.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743587489407860736.json -------------------------------------------------------------------------------- /benchmarks/json/data/743590764085575680.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743590764085575680.json -------------------------------------------------------------------------------- /benchmarks/json/data/743592638121598976.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743592638121598976.json -------------------------------------------------------------------------------- /benchmarks/json/data/743597003674771456.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743597003674771456.json -------------------------------------------------------------------------------- /benchmarks/json/data/743606774368972800.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743606774368972800.json -------------------------------------------------------------------------------- /benchmarks/json/data/743663982888660992.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743663982888660992.json -------------------------------------------------------------------------------- /benchmarks/json/data/743696911907971072.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743696911907971072.json -------------------------------------------------------------------------------- /benchmarks/json/data/743705538681155584.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743705538681155584.json -------------------------------------------------------------------------------- /benchmarks/json/data/743713625005654016.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743713625005654016.json -------------------------------------------------------------------------------- /benchmarks/json/data/743818288338112512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743818288338112512.json -------------------------------------------------------------------------------- /benchmarks/json/data/743832698402144257.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743832698402144257.json -------------------------------------------------------------------------------- /benchmarks/json/data/743833102909202432.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743833102909202432.json -------------------------------------------------------------------------------- /benchmarks/json/data/743833390537838593.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743833390537838593.json -------------------------------------------------------------------------------- /benchmarks/json/data/743833994190426112.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743833994190426112.json -------------------------------------------------------------------------------- /benchmarks/json/data/743849285003804672.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743849285003804672.json -------------------------------------------------------------------------------- /benchmarks/json/data/743852058697031681.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743852058697031681.json -------------------------------------------------------------------------------- /benchmarks/json/data/743858688918593537.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743858688918593537.json -------------------------------------------------------------------------------- /benchmarks/json/data/743868957015216128.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743868957015216128.json -------------------------------------------------------------------------------- /benchmarks/json/data/743881821193019393.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743881821193019393.json -------------------------------------------------------------------------------- /benchmarks/json/data/743914166667214848.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743914166667214848.json -------------------------------------------------------------------------------- /benchmarks/json/data/743915917394878465.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743915917394878465.json -------------------------------------------------------------------------------- /benchmarks/json/data/743916473584750592.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/743916473584750592.json -------------------------------------------------------------------------------- /benchmarks/json/data/779821815057317889.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/779821815057317889.json -------------------------------------------------------------------------------- /benchmarks/json/data/779823263480512512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/779823263480512512.json -------------------------------------------------------------------------------- /benchmarks/json/data/781741860175872000.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/781741860175872000.json -------------------------------------------------------------------------------- /benchmarks/json/data/793594057071230976.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/793594057071230976.json -------------------------------------------------------------------------------- /benchmarks/json/data/796144462451867649.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/796144462451867649.json -------------------------------------------------------------------------------- /benchmarks/json/data/798590449560784896.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/798590449560784896.json -------------------------------------------------------------------------------- /benchmarks/json/data/798673101886099457.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/798673101886099457.json -------------------------------------------------------------------------------- /benchmarks/json/data/798902332830482432.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/798902332830482432.json -------------------------------------------------------------------------------- /benchmarks/json/data/801173741409439748.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/801173741409439748.json -------------------------------------------------------------------------------- /benchmarks/json/data/816343819465752578.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/816343819465752578.json -------------------------------------------------------------------------------- /benchmarks/json/data/823583161053376512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/823583161053376512.json -------------------------------------------------------------------------------- /benchmarks/json/data/824780041175367680.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/824780041175367680.json -------------------------------------------------------------------------------- /benchmarks/json/data/833705083686752256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/833705083686752256.json -------------------------------------------------------------------------------- /benchmarks/json/data/833722900330975237.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/833722900330975237.json -------------------------------------------------------------------------------- /benchmarks/json/data/840713567955484672.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/840713567955484672.json -------------------------------------------------------------------------------- /benchmarks/json/data/841615971001520130.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/841615971001520130.json -------------------------------------------------------------------------------- /benchmarks/json/data/846475507831058432.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/846475507831058432.json -------------------------------------------------------------------------------- /benchmarks/json/data/849302317216272387.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/849302317216272387.json -------------------------------------------------------------------------------- /benchmarks/json/data/854149212405207045.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/854149212405207045.json -------------------------------------------------------------------------------- /benchmarks/json/data/854420118281105408.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/854420118281105408.json -------------------------------------------------------------------------------- /benchmarks/json/data/857493227242479616.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/857493227242479616.json -------------------------------------------------------------------------------- /benchmarks/json/data/857975217163038720.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/857975217163038720.json -------------------------------------------------------------------------------- /benchmarks/json/data/867953403787304961.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/867953403787304961.json -------------------------------------------------------------------------------- /benchmarks/json/data/870634438140493824.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/870634438140493824.json -------------------------------------------------------------------------------- /benchmarks/json/data/876068990602407937.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/876068990602407937.json -------------------------------------------------------------------------------- /benchmarks/json/data/876376328605401088.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/876376328605401088.json -------------------------------------------------------------------------------- /benchmarks/json/data/876835255566643200.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/876835255566643200.json -------------------------------------------------------------------------------- /benchmarks/json/data/877062558456401920.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/877062558456401920.json -------------------------------------------------------------------------------- /benchmarks/json/data/877190891039019009.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/877190891039019009.json -------------------------------------------------------------------------------- /benchmarks/json/data/877437885347135488.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/877437885347135488.json -------------------------------------------------------------------------------- /benchmarks/json/data/877856421949329408.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/877856421949329408.json -------------------------------------------------------------------------------- /benchmarks/json/data/877976514297380864.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/877976514297380864.json -------------------------------------------------------------------------------- /benchmarks/json/data/879488996707098624.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/879488996707098624.json -------------------------------------------------------------------------------- /benchmarks/json/data/902674868897857536.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/902674868897857536.json -------------------------------------------------------------------------------- /benchmarks/json/data/904048312638205952.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/904048312638205952.json -------------------------------------------------------------------------------- /benchmarks/json/data/904817786001776640.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/904817786001776640.json -------------------------------------------------------------------------------- /benchmarks/json/data/917531717111615494.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/917531717111615494.json -------------------------------------------------------------------------------- /benchmarks/json/data/926105120927920128.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/926105120927920128.json -------------------------------------------------------------------------------- /benchmarks/json/data/931310927219060736.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/931310927219060736.json -------------------------------------------------------------------------------- /benchmarks/json/data/931697091465924613.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/931697091465924613.json -------------------------------------------------------------------------------- /benchmarks/json/data/936710024675635200.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/936710024675635200.json -------------------------------------------------------------------------------- /benchmarks/json/data/938132725801914368.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/938132725801914368.json -------------------------------------------------------------------------------- /benchmarks/json/data/950529005169487872.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/950529005169487872.json -------------------------------------------------------------------------------- /benchmarks/json/data/951512281312935938.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/951512281312935938.json -------------------------------------------------------------------------------- /benchmarks/json/data/965073992938934272.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/965073992938934272.json -------------------------------------------------------------------------------- /benchmarks/json/data/965375971833430016.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/965375971833430016.json -------------------------------------------------------------------------------- /benchmarks/json/data/966854613654786049.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/966854613654786049.json -------------------------------------------------------------------------------- /benchmarks/json/data/972192134660059143.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/972192134660059143.json -------------------------------------------------------------------------------- /benchmarks/json/data/974043991162392577.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/974043991162392577.json -------------------------------------------------------------------------------- /benchmarks/json/data/974310832237694977.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/974310832237694977.json -------------------------------------------------------------------------------- /benchmarks/json/data/979369086756016128.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/979369086756016128.json -------------------------------------------------------------------------------- /benchmarks/json/data/979370488337223680.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/979370488337223680.json -------------------------------------------------------------------------------- /benchmarks/json/data/979475722191466496.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/979475722191466496.json -------------------------------------------------------------------------------- /benchmarks/json/data/981933571291021313.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/981933571291021313.json -------------------------------------------------------------------------------- /benchmarks/json/data/991114495245324288.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/991114495245324288.json -------------------------------------------------------------------------------- /benchmarks/json/data/996046728783523841.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/996046728783523841.json -------------------------------------------------------------------------------- /benchmarks/json/data/README.md: -------------------------------------------------------------------------------- 1 | Corpus of JSON Twitter messages (see build.sh) 2 | -------------------------------------------------------------------------------- /benchmarks/json/data/all.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/all.json -------------------------------------------------------------------------------- /benchmarks/json/data/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/build.sh -------------------------------------------------------------------------------- /benchmarks/json/data/collect_100.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_100.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_120.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_120.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_140.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_140.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_160.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_160.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_180.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_180.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_20.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_40.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_40.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_60.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_60.json -------------------------------------------------------------------------------- /benchmarks/json/data/collect_80.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/data/collect_80.json -------------------------------------------------------------------------------- /benchmarks/json/json_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_benchmark.ml -------------------------------------------------------------------------------- /benchmarks/json/json_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_lexer.mll -------------------------------------------------------------------------------- /benchmarks/json/json_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_parser.mly -------------------------------------------------------------------------------- /benchmarks/json/json_staged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_staged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/json/json_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_tokens.ml -------------------------------------------------------------------------------- /benchmarks/json/json_tokens.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_tokens.mli -------------------------------------------------------------------------------- /benchmarks/json/json_tokens_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_tokens_base.ml -------------------------------------------------------------------------------- /benchmarks/json/json_unstaged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/json/json_unstaged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/pgn/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/README.md -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_125k.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_125k.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_1MB.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_1MB.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_250k.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_250k.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_2MB.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_2MB.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_32k.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_32k.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_500k.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_500k.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/1610-1899_64k.pgn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/1610-1899_64k.pgn -------------------------------------------------------------------------------- /benchmarks/pgn/data/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/data/README.md -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_benchmark.ml -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_lexer.mll -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_parser.mly -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_staged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_staged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_tokens.ml -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_tokens.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_tokens.mli -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_tokens_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_tokens_base.ml -------------------------------------------------------------------------------- /benchmarks/pgn/pgn_unstaged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/pgn/pgn_unstaged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/ppm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/README.md -------------------------------------------------------------------------------- /benchmarks/ppm/data/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/README.md -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar.jpg -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_10x10.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_10x10.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_113x113.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_113x113.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_14x14.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_14x14.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_160x160.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_160x160.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_20x20.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_20x20.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_226x226.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_226x226.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_28x28.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_28x28.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_40x40.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_40x40.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_56x56.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_56x56.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/data/popl2019_twitter_avatar_80x80.ppm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/data/popl2019_twitter_avatar_80x80.ppm -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_benchmark.ml -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_lexer.mll -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_parser.mly -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_staged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_staged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_tokens.ml -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_tokens.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_tokens.mli -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_tokens_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_tokens_base.ml -------------------------------------------------------------------------------- /benchmarks/ppm/ppm_unstaged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/ppm/ppm_unstaged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/sexp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/README.md -------------------------------------------------------------------------------- /benchmarks/sexp/data/gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/gen.py -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.1048576: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.1048576 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.1310720: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.1310720 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.1572864: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.1572864 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.1835008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.1835008 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.2097152: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.2097152 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.262144: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.262144 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.524288: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.524288 -------------------------------------------------------------------------------- /benchmarks/sexp/data/sexp.786432: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/data/sexp.786432 -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_benchmark.ml -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_lexer.mll -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_parser.mly -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_staged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_staged_combinator_parser.ml -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_tokens.ml -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_tokens.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_tokens.mli -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_tokens_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_tokens_base.ml -------------------------------------------------------------------------------- /benchmarks/sexp/sexp_unstaged_combinator_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/benchmarks/sexp/sexp_unstaged_combinator_parser.ml -------------------------------------------------------------------------------- /lib/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/.gitignore -------------------------------------------------------------------------------- /lib/asp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp.ml -------------------------------------------------------------------------------- /lib/asp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp.mli -------------------------------------------------------------------------------- /lib/asp.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp.mllib -------------------------------------------------------------------------------- /lib/asp_staged.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_staged.ml -------------------------------------------------------------------------------- /lib/asp_staged.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_staged.mli -------------------------------------------------------------------------------- /lib/asp_stream_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_stream_ir.ml -------------------------------------------------------------------------------- /lib/asp_stream_ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_stream_ir.mli -------------------------------------------------------------------------------- /lib/asp_streamcode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_streamcode.ml -------------------------------------------------------------------------------- /lib/asp_streamcode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_streamcode.mli -------------------------------------------------------------------------------- /lib/asp_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_types.ml -------------------------------------------------------------------------------- /lib/asp_unstaged.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_unstaged.ml -------------------------------------------------------------------------------- /lib/asp_unstaged.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_unstaged.mli -------------------------------------------------------------------------------- /lib/asp_utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_utilities.ml -------------------------------------------------------------------------------- /lib/asp_utilities.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_utilities.mli -------------------------------------------------------------------------------- /lib/asp_utilities_staged.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_utilities_staged.ml -------------------------------------------------------------------------------- /lib/asp_utilities_staged.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib/asp_utilities_staged.mli -------------------------------------------------------------------------------- /lib_test/brackets.bad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib_test/brackets.bad -------------------------------------------------------------------------------- /lib_test/brackets.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib_test/brackets.ok -------------------------------------------------------------------------------- /lib_test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib_test/test.ml -------------------------------------------------------------------------------- /lib_test/test_int_exp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/lib_test/test_int_exp.ml -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/opam -------------------------------------------------------------------------------- /pldi-artifact/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/pldi-artifact/Dockerfile -------------------------------------------------------------------------------- /pldi-artifact/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/pldi-artifact/Makefile -------------------------------------------------------------------------------- /pldi-artifact/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/pldi-artifact/README.md -------------------------------------------------------------------------------- /pldi-artifact/files/.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/pldi-artifact/files/.ocamlinit -------------------------------------------------------------------------------- /pldi-artifact/files/intexp-output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/ocaml-asp/HEAD/pldi-artifact/files/intexp-output.txt --------------------------------------------------------------------------------