Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
user avatar
- tag_true and tag_false moved to lustre_types
Pierre Loic Garoche authored 
- real constants are hidden in Real.ml{i} module
e8f55c25
History
user avatar e8f55c25
History
Name Last commit Last update