From 59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 22 Mar 2026 00:33:50 -0300 Subject: Sublanguages improvement & Coq experiment (#53) * separation and functor for sublanguages * add coq experiment for termination * fix tests with envelopes * add timestamp and print responses to server on terminal * remove coq experiment for trivial cases and rework gate * refactor nesting with let* * remove non-envelope sublang support and tests on server * manip_err duplication purge and better format as s-expr * abstract storage with dispatch for sublanguages * dead code and minor refactor due to old non-envelope parsing on subl * refactor server to use proper dml alg error and wire ephem relations * remove (schema) * change .gitignore to blacklist folders --- flake.nix | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'flake.nix') diff --git a/flake.nix b/flake.nix index 1976555..6a1e1a2 100644 --- a/flake.nix +++ b/flake.nix @@ -275,6 +275,10 @@ ppx_protocol_conv ppx_protocol_conv_xml_light ocamlPackages.earlybird + # Formal verification + legacyPackages.coq + legacyPackages.coqPackages.stdlib + legacyPackages.z3 ]; -- cgit v1.2.3