Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
osiris
Repository
Branches
Overview
Active
Stale
All
Active branches
effects-examples
e5911bcb
·
Simplified abstractions, removed explicit mentions of collections.
·
May 21, 2024
master
default
protected
e3be6031
·
Merge branch 'master' of gitlab.inria.fr:fpottier/osiris
·
May 07, 2024
expr-examples
ee3e3120
·
no need for protocol_wf
·
Apr 17, 2024
ocaml4
3f3170f6
·
Remove the list of references from TODO.md.
·
Apr 15, 2024
anonfun
bdceda92
·
Fixed proofs.
·
Apr 08, 2024
Stale branches
pure
e492144f
·
Typos.
·
Mar 17, 2023
bug2
286382d9
·
A bug in simpl.
·
Mar 23, 2023
wip_proper
b9e142d1
·
[refinement] cleanup of refinement.v
·
Apr 03, 2023
wp_def
b6f4bba1
·
Removal of the predicate [is_safe]
·
Apr 17, 2023
safe
fe6ac37c
·
minor tweak
·
Apr 21, 2023