From f90206e57e3224205391e46d68096ea0f9efb348 Mon Sep 17 00:00:00 2001
From: Henri Saudubray <henri.saudubray@proton.me>
Date: Fri, 4 Apr 2025 14:02:11 +0200
Subject: [PATCH] chore: init repo

---
 .gitignore        |  1 +
 README.md         |  3 +++
 TODO.md           |  5 +++++
 bin/dune          |  4 ++++
 bin/main.ml       |  1 +
 dune-project      | 21 +++++++++++++++++++++
 hsim.opam         | 29 +++++++++++++++++++++++++++++
 lib/dune          |  2 ++
 test/dune         |  2 ++
 test/test_hsim.ml |  0
 10 files changed, 68 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 README.md
 create mode 100644 TODO.md
 create mode 100644 bin/dune
 create mode 100644 bin/main.ml
 create mode 100644 dune-project
 create mode 100644 hsim.opam
 create mode 100644 lib/dune
 create mode 100644 test/dune
 create mode 100644 test/test_hsim.ml

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..e35d885
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+_build
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7e411d3
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Hsim
+
+A hybrid system simulation semantics.
diff --git a/TODO.md b/TODO.md
new file mode 100644
index 0000000..f2613fc
--- /dev/null
+++ b/TODO.md
@@ -0,0 +1,5 @@
+# TODO
+
+- define hybrid systems as synchronous systems on streams of functions
+- define the abstract solver interface
+- implement the main simulation function
diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..253531d
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,4 @@
+(executable
+ (public_name hsim)
+ (name main)
+ (libraries hsim))
diff --git a/bin/main.ml b/bin/main.ml
new file mode 100644
index 0000000..7bf6048
--- /dev/null
+++ b/bin/main.ml
@@ -0,0 +1 @@
+let () = print_endline "Hello, World!"
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..18fcc9d
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,21 @@
+(lang dune 3.17)
+(using menhir 3.0)
+
+(name hsim)
+(license "GPL-3.0-or-later")
+
+(authors     "Henri Saudubray")
+(maintainers "henri.saudubray@proton.me")
+
+(source     (uri https://codeberg.org/17maiga/hsim))
+(homepage    https://codeberg.org/17maiga/hsim)
+(bug_reports https://codeberg.org/17maiga/hsim/issues)
+
+(generate_opam_files true)
+
+(documentation https://url/to/documentation)
+
+(package
+ (name hsim)
+ (synopsis "An executable semantics for the simulation of hybrid systems")
+ (depends ocaml))
diff --git a/hsim.opam b/hsim.opam
new file mode 100644
index 0000000..316a89c
--- /dev/null
+++ b/hsim.opam
@@ -0,0 +1,29 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "An executable semantics for the simulation of hybrid systems"
+maintainer: ["henri.saudubray@proton.me"]
+authors: ["Henri Saudubray"]
+license: "GPL-3.0-or-later"
+homepage: "https://codeberg.org/17maiga/hsim"
+doc: "https://url/to/documentation"
+bug-reports: "https://codeberg.org/17maiga/hsim/issues"
+depends: [
+  "dune" {>= "3.17"}
+  "ocaml"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "https://codeberg.org/17maiga/hsim"
diff --git a/lib/dune b/lib/dune
new file mode 100644
index 0000000..b00369f
--- /dev/null
+++ b/lib/dune
@@ -0,0 +1,2 @@
+(library
+ (name hsim))
diff --git a/test/dune b/test/dune
new file mode 100644
index 0000000..78e8da2
--- /dev/null
+++ b/test/dune
@@ -0,0 +1,2 @@
+(test
+ (name test_hsim))
diff --git a/test/test_hsim.ml b/test/test_hsim.ml
new file mode 100644
index 0000000..e69de29