Skip to content

Commit

Permalink
Paper sync
Browse files Browse the repository at this point in the history
  • Loading branch information
@robertzhidealx
robertzhidealx committed Oct 19, 2023
1 parent 7dca3ff commit 2714e37
Show file tree
Hide file tree
Showing 59 changed files with 2,820 additions and 2,141 deletions.
1 change: 0 additions & 1 deletion bisect.log
View file

This file was deleted.

4 changes: 1 addition & 3 deletions extract_stats/extract_stats.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,10 +21,8 @@ let () =
|> String.chop_suffix_if_exists ~suffix:"ms"
|> String.chop_suffix_if_exists ~suffix:" milliseconds"
|> Int.of_string ))
|> List.sort ~compare:(fun (fname1, _) (fname2, _) ->
|> List.sort_and_group ~compare:(fun (fname1, _) (fname2, _) ->
String.ascending fname1 fname2)
|> List.group ~break:(fun (fname1, _) (fname2, _) ->
String.(fname1 <> fname2))
|> List.map ~f:(fun group ->
group |> List.unzip |> fun (fnames, runtimes) ->
( List.hd_exn fnames,
Expand Down
76 changes: 76 additions & 0 deletions extract_stats/stats.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,76 @@
../ddpa/benchmark/results/experiment=monovariant--case=ack--analysis=ddpa--k=0: 89.400000
../ddpa/benchmark/results/experiment=monovariant--case=ack--analysis=p4f--k=0: 49.000000
../ddpa/benchmark/results/experiment=monovariant--case=blur--analysis=ddpa--k=0: 80.200000
../ddpa/benchmark/results/experiment=monovariant--case=blur--analysis=p4f--k=0: 76.600000
../ddpa/benchmark/results/experiment=monovariant--case=cpstak--analysis=ddpa--k=0: 927.400000
../ddpa/benchmark/results/experiment=monovariant--case=cpstak--analysis=p4f--k=0: 59.900000
../ddpa/benchmark/results/experiment=monovariant--case=deriv--analysis=ddpa--k=0: 3227.000000
../ddpa/benchmark/results/experiment=monovariant--case=deriv--analysis=p4f--k=0: 44.200000
../ddpa/benchmark/results/experiment=monovariant--case=eta--analysis=ddpa--k=0: 20.900000
../ddpa/benchmark/results/experiment=monovariant--case=eta--analysis=p4f--k=0: 51.800000
../ddpa/benchmark/results/experiment=monovariant--case=facehugger--analysis=ddpa--k=0: 79.100000
../ddpa/benchmark/results/experiment=monovariant--case=facehugger--analysis=p4f--k=0: 67.700000
../ddpa/benchmark/results/experiment=monovariant--case=flatten--analysis=ddpa--k=0: 707.100000
../ddpa/benchmark/results/experiment=monovariant--case=flatten--analysis=p4f--k=0: 37.800000
../ddpa/benchmark/results/experiment=monovariant--case=kcfa-2--analysis=ddpa--k=0: 25.600000
../ddpa/benchmark/results/experiment=monovariant--case=kcfa-2--analysis=p4f--k=0: 50.700000
../ddpa/benchmark/results/experiment=monovariant--case=kcfa-3--analysis=ddpa--k=0: 39.600000
../ddpa/benchmark/results/experiment=monovariant--case=kcfa-3--analysis=p4f--k=0: 61.300000
../ddpa/benchmark/results/experiment=monovariant--case=loop2-1--analysis=ddpa--k=0: 106.600000
../ddpa/benchmark/results/experiment=monovariant--case=loop2-1--analysis=p4f--k=0: 57.900000
../ddpa/benchmark/results/experiment=monovariant--case=map--analysis=ddpa--k=0: 182.800000
../ddpa/benchmark/results/experiment=monovariant--case=map--analysis=p4f--k=0: 64.700000
../ddpa/benchmark/results/experiment=monovariant--case=mj09--analysis=ddpa--k=0: 28.300000
../ddpa/benchmark/results/experiment=monovariant--case=mj09--analysis=p4f--k=0: 48.000000
../ddpa/benchmark/results/experiment=monovariant--case=primtest--analysis=ddpa--k=0: 413.400000
../ddpa/benchmark/results/experiment=monovariant--case=primtest--analysis=p4f--k=0: 109.800000
../ddpa/benchmark/results/experiment=monovariant--case=regex--analysis=ddpa--k=0: 26599.800000
../ddpa/benchmark/results/experiment=monovariant--case=regex--analysis=p4f--k=0: 117.700000
../ddpa/benchmark/results/experiment=monovariant--case=rsa--analysis=ddpa--k=0: 437.000000
../ddpa/benchmark/results/experiment=monovariant--case=rsa--analysis=p4f--k=0: 118.900000
../ddpa/benchmark/results/experiment=monovariant--case=sat-1--analysis=ddpa--k=0: 177.000000
../ddpa/benchmark/results/experiment=monovariant--case=sat-1--analysis=p4f--k=0: 70.000000
../ddpa/benchmark/results/experiment=monovariant--case=sat-2--analysis=ddpa--k=0: 855.800000
../ddpa/benchmark/results/experiment=monovariant--case=sat-2--analysis=p4f--k=0: 95.300000
../ddpa/benchmark/results/experiment=monovariant--case=sat-3--analysis=ddpa--k=0: 775.900000
../ddpa/benchmark/results/experiment=monovariant--case=sat-3--analysis=p4f--k=0: 104.000000
../ddpa/benchmark/results/experiment=monovariant--case=tak--analysis=ddpa--k=0: 190.600000
../ddpa/benchmark/results/experiment=monovariant--case=tak--analysis=p4f--k=0: 60.200000
../ddpa/benchmark/results/experiment=polyvariant--case=ack--analysis=ddpa--k=1: 287.500000
../ddpa/benchmark/results/experiment=polyvariant--case=ack--analysis=p4f--k=1: 112.600000
../ddpa/benchmark/results/experiment=polyvariant--case=blur--analysis=ddpa--k=1: 99.300000
../ddpa/benchmark/results/experiment=polyvariant--case=blur--analysis=p4f--k=1: 125.400000
../ddpa/benchmark/results/experiment=polyvariant--case=cpstak--analysis=ddpa--k=1: 2738.500000
../ddpa/benchmark/results/experiment=polyvariant--case=cpstak--analysis=p4f--k=1: 166.400000
../ddpa/benchmark/results/experiment=polyvariant--case=deriv--analysis=ddpa--k=1: 8607.200000
../ddpa/benchmark/results/experiment=polyvariant--case=deriv--analysis=p4f--k=1: 51.100000
../ddpa/benchmark/results/experiment=polyvariant--case=eta--analysis=ddpa--k=1: 20.400000
../ddpa/benchmark/results/experiment=polyvariant--case=eta--analysis=p4f--k=1: 61.400000
../ddpa/benchmark/results/experiment=polyvariant--case=facehugger--analysis=ddpa--k=1: 89.200000
../ddpa/benchmark/results/experiment=polyvariant--case=facehugger--analysis=p4f--k=1: 109.100000
../ddpa/benchmark/results/experiment=polyvariant--case=flatten--analysis=ddpa--k=1: 704.800000
../ddpa/benchmark/results/experiment=polyvariant--case=flatten--analysis=p4f--k=1: 42.600000
../ddpa/benchmark/results/experiment=polyvariant--case=kcfa-2--analysis=ddpa--k=5: 60.400000
../ddpa/benchmark/results/experiment=polyvariant--case=kcfa-2--analysis=p4f--k=1: 94.900000
../ddpa/benchmark/results/experiment=polyvariant--case=kcfa-3--analysis=ddpa--k=7: 90.200000
../ddpa/benchmark/results/experiment=polyvariant--case=kcfa-3--analysis=p4f--k=1: 250.100000
../ddpa/benchmark/results/experiment=polyvariant--case=loop2-1--analysis=ddpa--k=1: 198.800000
../ddpa/benchmark/results/experiment=polyvariant--case=loop2-1--analysis=p4f--k=1: 121.100000
../ddpa/benchmark/results/experiment=polyvariant--case=map--analysis=ddpa--k=1: 220.000000
../ddpa/benchmark/results/experiment=polyvariant--case=map--analysis=p4f--k=1: 142.800000
../ddpa/benchmark/results/experiment=polyvariant--case=mj09--analysis=ddpa--k=1: 45.300000
../ddpa/benchmark/results/experiment=polyvariant--case=mj09--analysis=p4f--k=1: 72.800000
../ddpa/benchmark/results/experiment=polyvariant--case=primtest--analysis=ddpa--k=1: 1266.200000
../ddpa/benchmark/results/experiment=polyvariant--case=primtest--analysis=p4f--k=1: 640.300000
../ddpa/benchmark/results/experiment=polyvariant--case=regex--analysis=ddpa--k=1: 82101.200000
../ddpa/benchmark/results/experiment=polyvariant--case=regex--analysis=p4f--k=1: 1920.400000
../ddpa/benchmark/results/experiment=polyvariant--case=rsa--analysis=ddpa--k=1: 1139.300000
../ddpa/benchmark/results/experiment=polyvariant--case=rsa--analysis=p4f--k=1: 3177.600000
../ddpa/benchmark/results/experiment=polyvariant--case=sat-1--analysis=ddpa--k=4: 728.600000
../ddpa/benchmark/results/experiment=polyvariant--case=sat-1--analysis=p4f--k=1: 236.400000
../ddpa/benchmark/results/experiment=polyvariant--case=sat-2--analysis=ddpa--k=14: 71416.000000
../ddpa/benchmark/results/experiment=polyvariant--case=sat-2--analysis=p4f--k=1: 32367.800000
../ddpa/benchmark/results/experiment=polyvariant--case=sat-3--analysis=ddpa--k=14: 47712.600000
../ddpa/benchmark/results/experiment=polyvariant--case=sat-3--analysis=p4f--k=1: 4627.600000
../ddpa/benchmark/results/experiment=polyvariant--case=tak--analysis=ddpa--k=1: 1131.500000
../ddpa/benchmark/results/experiment=polyvariant--case=tak--analysis=p4f--k=1: 166.700000
70 changes: 0 additions & 70 deletions interpreter/access_links/ast.ml
View file

This file was deleted.

112 changes: 0 additions & 112 deletions interpreter/access_links/interp.ml
View file

This file was deleted.

42 changes: 0 additions & 42 deletions interpreter/access_links/pp.ml
View file

This file was deleted.

Loading

0 comments on commit 2714e37

Please sign in to comment.