Skip to content

Instantly share code, notes, and snippets.

View shubhamkumar13's full-sized avatar
πŸ˜‘
is existing

shubham shubhamkumar13

πŸ˜‘
is existing
View GitHub Profile
@shubhamkumar13
shubhamkumar13 / run_config.json
Created July 26, 2021 07:51
run config with coq benchmarks only
{
"wrappers": [
{
"name": "orun",
"command": "orun -o %{output} -- taskset --cpu-list 5 %{command}"
},
{
"name": "perfstat",
"command": "perf stat -o %{output} -- taskset --cpu-list 5 %{command}"
},
#=== ERROR while compiling uutf.1.0.2 =========================================#
# context 2.0.6 | linux/x86_64 | ocaml-base-compiler.4.14.0+trunk | file:///home/shubham/sandmark/dependencies
# path ~/sandmark/_opam/4.14.0+trunk/.opam-switch/build/uutf.1.0.2
# command ~/sandmark/_opam/4.14.0+trunk/bin/ocaml pkg/pkg.ml build --pinned false --with-cmdliner true
# exit-code 1
# env-file ~/sandmark/_opam/log/uutf-22013-249b10.env
# output-file ~/sandmark/_opam/log/uutf-22013-249b10.out
### output ###
# [...]
# Alert deprecated: Bytes.create
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
β”Œβ”€ The following actions failed
β”‚ Ξ» build astring 0.8.5
β”‚ Ξ» build base64 3.4.0
β”‚ Ξ» build fmt 0.8.9
β”‚ Ξ» build mtime 1.2.0
β”‚ Ξ» build ocaml-migrate-parsetree 2.1.0+stock
β”‚ Ξ» build ocplib-endian 1.1
β”‚ Ξ» build react 1.2.1
β”‚ Ξ» build rresult 0.6.0
@shubhamkumar13
shubhamkumar13 / 414_domains_parallel.log
Last active July 29, 2021 14:16
414_trunk_sandmark_update_logs
make: 'multicore_parallel_run_config_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered_2domains.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit 1b6fa1fce3bd339e85b87a4e4a2d914072034620
Author: shubhamkumar13 <[email protected]>
Date: Wed Jul 28 14:25:52 2021 +0530
remove previous version of ocamlfind
make: 'multicore_parallel_run_config_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered_2domains.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit a419843226837b55cae8482b489dedfd58ff8865
Author: Shakthi Kannan <[email protected]>
Date: Thu May 27 22:19:18 2021 +0530
56 benchmarks build for 4.13.0+trunk with dune.2.8.1
@shubhamkumar13
shubhamkumar13 / omp.patch
Created August 4, 2021 12:27
omp_414_patch
diff --git a/src/ast_414.ml b/src/ast_414.ml
new file mode 100644
index 0000000..151fe2a
--- /dev/null
+++ b/src/ast_414.ml
@@ -0,0 +1,1033 @@
+(**************************************************************************)
+(* *)
+(* OCaml Migrate Parsetree *)
+(* *)
@shubhamkumar13
shubhamkumar13 / gencopy_error.log
Created August 4, 2021 18:17
error while using gencopy
(base) β”” ~/ocaml-migrate-parsetree M β€Ί π—ˆπ—‡ β€Ί experimental-414-trunk
β€Ί dune build tools/gencopy.exe
File "tools/gencopy.ml", line 79, characters 43-74:
79 | Pat.construct ?loc ?attrs (lid ?loc s) (may_tuple ?loc Pat.tuple args)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type Parsetree.pattern option
but an expression was expected of type
(str list * Parsetree.pattern) option
Type Parsetree.pattern is not compatible with type
str list * Parsetree.pattern
@shubhamkumar13
shubhamkumar13 / dsl.scm
Created August 16, 2021 00:47
SDF dsl exercise
(define (spread-combine h f g)
(let ((n (get-arity f)) (m (get-arity g)))
(let ((t (+ n m)))
(define (the-combination . args)
(assert (= (length args) t))
(h (apply f (list-head args n))
(apply g (list-tail args n))
)
)
(restrict-arity the-combination t)
@shubhamkumar13
shubhamkumar13 / sdf_help.scm
Created August 17, 2021 06:20
biwascheme shenanigans
(define (append* . args)
(map (lambda (x) (if (list? x) (car x) x)) (apply append args))
)
(define (append-map proc lst) (apply append (map proc lst)))
diff --git a/ast/supported_version/supported_version.ml b/ast/supported_version/supported_version.ml
index b90d7e8..1cd4373 100644
--- a/ast/supported_version/supported_version.ml
+++ b/ast/supported_version/supported_version.ml
@@ -13,6 +13,7 @@ let all =
; 4, 11
; 4, 12
; 4, 13
+ ; 4, 14
]