Add colibri2 support#57

Merged

filipeom merged 14 commits intoformalsec:mainfrom

hra687261:use_colibri2

Jan 27, 2024

Commits on Jan 27, 2024

Add colibri2 support
hra687261
committed
Update encoding.opam.template

filipeom
authored and
hra687261
committed
Update encoding.opam

filipeom
authored and
hra687261
committed
Update encoding.opam.template

filipeom
authored and
hra687261
committed
Update encoding.opam

filipeom
authored and
hra687261
committed
Update encoding.opam

filipeom
authored and
hra687261
committed
Update encoding.opam

filipeom
authored and
hra687261
committed
Make colibri2 compatible with ocaml 5.1.0
hra687261
committed
fix colibri2 pin
hra687261
committed
Add `git+` to the pin
hra687261
committed
more colibri2 pin fix attempts
hra687261
committed
more colibri2 pin fix attempts
hra687261
committed
update opam file
hra687261
committed
Update colibri2_mappings to use ht_expr
hra687261
committed