Organize code in src directory

formalsec · Feb 12, 2025 · a19724e · a19724e
1 parent ca7ff6b
commit a19724e
Show file tree

Hide file tree

Showing 42 changed files with 5 additions and 6 deletions.
diff --git a/bench/dune b/bench/dune
@@ -1 +1 @@
-(dirs plots runner2 explodejs-datasets)
+(dirs plots)
diff --git a/bin/cli.ml → src/bin/cli.ml b/bin/cli.ml → src/bin/cli.ml
diff --git a/bin/cmd_exploit.ml → src/bin/cmd_exploit.ml b/bin/cmd_exploit.ml → src/bin/cmd_exploit.ml
diff --git a/bin/cmd_full.ml → src/bin/cmd_full.ml b/bin/cmd_full.ml → src/bin/cmd_full.ml
diff --git a/bin/cmd_instrument.ml → src/bin/cmd_instrument.ml b/bin/cmd_instrument.ml → src/bin/cmd_instrument.ml
diff --git a/bin/cmd_run.ml → src/bin/cmd_run.ml b/bin/cmd_run.ml → src/bin/cmd_run.ml
diff --git a/bin/dune → src/bin/dune b/bin/dune → src/bin/dune
diff --git a/bin/main.ml → src/bin/main.ml b/bin/main.ml → src/bin/main.ml
diff --git a/src/cwe.ml → src/core/cwe.ml b/src/cwe.ml → src/core/cwe.ml
diff --git a/src/dune → src/core/dune b/src/dune → src/core/dune
@@ -1,8 +1,3 @@
-(library
- (public_name explode_js.prelude)
- (name explode_js_prelude)
- (modules explode_js_prelude))
-
 (library
  (name explode_js)
  (modules

diff --git a/src/esl_symbolic.js → src/core/esl_symbolic.js b/src/esl_symbolic.js → src/core/esl_symbolic.js
diff --git a/src/exploit_patterns.ml → src/core/exploit_patterns.ml b/src/exploit_patterns.ml → src/core/exploit_patterns.ml
diff --git a/src/graphjs.ml → src/core/graphjs.ml b/src/graphjs.ml → src/core/graphjs.ml
diff --git a/src/replay.ml → src/core/replay.ml b/src/replay.ml → src/core/replay.ml
diff --git a/src/replay_effect.ml → src/core/replay_effect.ml b/src/replay_effect.ml → src/core/replay_effect.ml
diff --git a/src/sites.ml → src/core/sites.ml b/src/sites.ml → src/core/sites.ml
diff --git a/src/sym_exec.ml → src/core/sym_exec.ml b/src/sym_exec.ml → src/core/sym_exec.ml
diff --git a/src/sym_failure.ml → src/core/sym_failure.ml b/src/sym_failure.ml → src/core/sym_failure.ml
diff --git a/src/sym_path_resolver.ml → src/core/sym_path_resolver.ml b/src/sym_path_resolver.ml → src/core/sym_path_resolver.ml
diff --git a/src/prelude/dune b/src/prelude/dune
@@ -0,0 +1,4 @@
+(library
+ (public_name explode_js.prelude)
+ (name explode_js_prelude)
+ (modules explode_js_prelude))
diff --git a/src/explode_js_prelude.ml → src/prelude/explode_js_prelude.ml b/src/explode_js_prelude.ml → src/prelude/explode_js_prelude.ml
diff --git a/bench/runner2/cmd_run.ml → src/runner/cmd_run.ml b/bench/runner2/cmd_run.ml → src/runner/cmd_run.ml
diff --git a/bench/runner2/cmd_web.ml → src/runner/cmd_web.ml b/bench/runner2/cmd_web.ml → src/runner/cmd_web.ml
diff --git a/bench/runner2/db.ml → src/runner/db.ml b/bench/runner2/db.ml → src/runner/db.ml
diff --git a/bench/runner2/dune → src/runner/dune b/bench/runner2/dune → src/runner/dune
diff --git a/bench/runner2/json_index.ml → src/runner/json_index.ml b/bench/runner2/json_index.ml → src/runner/json_index.ml
diff --git a/bench/runner2/main.ml → src/runner/main.ml b/bench/runner2/main.ml → src/runner/main.ml
diff --git a/bench/runner2/package.ml → src/runner/package.ml b/bench/runner2/package.ml → src/runner/package.ml
diff --git a/bench/runner2/run_action.ml → src/runner/run_action.ml b/bench/runner2/run_action.ml → src/runner/run_action.ml
diff --git a/bench/runner2/run_metadata.ml → src/runner/run_metadata.ml b/bench/runner2/run_metadata.ml → src/runner/run_metadata.ml
diff --git a/bench/runner2/run_proc.ml → src/runner/run_proc.ml b/bench/runner2/run_proc.ml → src/runner/run_proc.ml
diff --git a/bench/runner2/run_proc_result.ml → src/runner/run_proc_result.ml b/bench/runner2/run_proc_result.ml → src/runner/run_proc_result.ml
diff --git a/bench/runner2/run_result.ml → src/runner/run_result.ml b/bench/runner2/run_result.ml → src/runner/run_result.ml
diff --git a/bench/runner2/share.ml → src/runner/share.ml b/bench/runner2/share.ml → src/runner/share.ml
diff --git a/bench/runner2/static/css/normalize.css → src/runner/static/css/normalize.css b/bench/runner2/static/css/normalize.css → src/runner/static/css/normalize.css
diff --git a/bench/runner2/static/css/skeleton.css → src/runner/static/css/skeleton.css b/bench/runner2/static/css/skeleton.css → src/runner/static/css/skeleton.css
diff --git a/bench/runner2/syntax.ml → src/runner/syntax.ml b/bench/runner2/syntax.ml → src/runner/syntax.ml
diff --git a/bench/runner2/templates/404.html → src/runner/templates/404.html b/bench/runner2/templates/404.html → src/runner/templates/404.html
diff --git a/bench/runner2/templates/index.html → src/runner/templates/index.html b/bench/runner2/templates/index.html → src/runner/templates/index.html
diff --git a/bench/runner2/templates/output.html → src/runner/templates/output.html b/bench/runner2/templates/output.html → src/runner/templates/output.html
diff --git a/bench/runner2/templates/results.html → src/runner/templates/results.html b/bench/runner2/templates/results.html → src/runner/templates/results.html
diff --git a/bench/runner2/vulnerability.ml → src/runner/vulnerability.ml b/bench/runner2/vulnerability.ml → src/runner/vulnerability.ml
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		(dirs plots runner2 explodejs-datasets)
		(dirs plots)