New _Set definitions + verification of simulations in Script_set (!515) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

The 17.0 major release is coming on May 16, 2024! This version brings many exciting improvements to GitLab, but also removes some deprecated features. We are introducing three breaking change windows during which we expect breaking changes to be deployed to GitLab.com. You can read more about it on our blogpost . The first breaking change window begins 2024-04-22 09:00UTC and ends 2024-04-24 22:00UTC.

Guillaume Claret requested to merge guillaume-claret@clean-set-implementation into master May 26, 2022

We define _Set using Map directly, without the FArgs of functors.
Verification of the simulations of Script_set.

Fixes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/161

Edited Jun 10, 2022 by Guillaume Claret