Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

meta
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

0afa88bd

Commit 0afa88bd authored 2 years ago by Allan Blanchard

Downloads
- Patches
- Plain Diff

OCP-Indent + fix-syntax

parent 499452ba

No related branches found

No related tags found

No related merge requests found

Changes 12

Expand all Hide whitespace changes

Inline Side-by-side

Showing

meta_annotate.ml 21 additions, 21 deletions

meta_annotate.ml
meta_bindings.ml 4 additions, 4 deletions

meta_bindings.ml
meta_deduce.ml 31 additions, 31 deletions

meta_deduce.ml
meta_dispatch.ml 1 addition, 1 deletion

meta_dispatch.ml
meta_dispatch.mli 1 addition, 1 deletion

meta_dispatch.mli
meta_parse.ml 2 additions, 2 deletions

meta_parse.ml
meta_simplify.ml 5 additions, 5 deletions

meta_simplify.ml
meta_utils.ml 0 additions, 1 deletion

meta_utils.ml
proofs/meta_model.why 1 addition, 1 deletion

proofs/meta_model.why
share/model.slog 4 additions, 4 deletions

share/model.slog
share/setlog.pl 1559 additions, 1559 deletions

share/setlog.pl
share/setlog_rules.pl 26 additions, 26 deletions

share/setlog_rules.pl

with 1655 additions and 1656 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment