SOL/lib/vm.mli, branch masterresiduation: open membership returns residual constraints2026-07-12T01:12:53+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T01:12:53+00:000886f3c71cf8551e4f8b3726654003a4f29645f0
working vm: parser, admission with totality checks, solver and repl2026-07-11T06:07:56+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:07:56+00:00c530682030e80ee2de2c263471e5eda7a3392e84