Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

RefinedC
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

17bf873b

Commit 17bf873b authored 4 years ago by Rodolphe Lepigre

Downloads
- Patches
- Plain Diff

Fixing an extremely stupid front end bug.

parent 48ee6c03

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 5
Pipelines 2

Hide whitespace changes

Inline Side-by-side

Showing

examples/proofs/latch/generated_code.v 1 addition, 1 deletion

examples/proofs/latch/generated_code.v
examples/proofs/spinlock/generated_code.v 2 additions, 2 deletions

examples/proofs/spinlock/generated_code.v
examples/proofs/tests/generated_code.v 7 additions, 7 deletions

examples/proofs/tests/generated_code.v
frontend/ail_to_coq.ml 9 additions, 12 deletions

frontend/ail_to_coq.ml
tutorial/proofs/t06_struct/generated_code.v 1 addition, 1 deletion

tutorial/proofs/t06_struct/generated_code.v

with 20 additions and 23 deletions

Loading

Rodolphe Lepigre @lepigre
mentioned in merge request !17 (closed)
· 4 years ago

mentioned in merge request !17 (closed)

mentioned in merge request !17

Toggle commit list

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