From 72ad3245c6e621b1dbf17707493511f1405c87de Mon Sep 17 00:00:00 2001 From: rina Date: Wed, 19 Jun 2024 17:07:12 +1000 Subject: [PATCH] initialising jsoo --- web/dune | 11 +++++++++++ web/index.html | 9 +++++++++ web/js.ml | 4 ++++ 3 files changed, 24 insertions(+) create mode 100644 web/dune create mode 100644 web/index.html create mode 100644 web/js.ml diff --git a/web/dune b/web/dune new file mode 100644 index 00000000..0c1ced8f --- /dev/null +++ b/web/dune @@ -0,0 +1,11 @@ +(executable + (name js) + (modes js) + (modules js) + (libraries z3 libASLResources dune-site str zarith pprint zarith_stubs_js) + (js_of_ocaml (flags --debug-info --no-inline :standard \ --source-map-inline)) + ) + +(alias + (name default) + (deps js.bc.js index.html)) diff --git a/web/index.html b/web/index.html new file mode 100644 index 00000000..1288b982 --- /dev/null +++ b/web/index.html @@ -0,0 +1,9 @@ + + + + Cubes + + + + + diff --git a/web/js.ml b/web/js.ml new file mode 100644 index 00000000..8e5deaa9 --- /dev/null +++ b/web/js.ml @@ -0,0 +1,4 @@ +let () = + print_endline "hello from js"; + print_endline @@ Int.to_string @@ List.length LibASLResources.Res.Sites.aslfiles + (* print_endline @@ LibASL.Value.(pp_value @@ from_bitsLit "100") *)