Update

INRIA · Nov 14, 2024 · 8ef6cd2 · 8ef6cd2
1 parent 842e458
commit 8ef6cd2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/config.ml b/config.ml
@@ -0,0 +1,4 @@
+let version = "2024"
+let subversion = "dev"
+let stdlib = "/Users/pouzet/article/paper/lustre/hybrid/zelus_git/github/zelus.2024.git/_build/install/default/share/zelus"
+let date = "2024-10-28-7:22"
diff --git a/src/ctests/good/t_3.zci b/src/ctests/good/t_3.zci