Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

osiris
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

Admin message

GitLab upgrade completed. Current version is 17.11.4.

68cfee34

Commit 68cfee34 authored 1 month ago by MADIOT Jean-Marie

Downloads
- Patches
- Plain Diff

several strategy renamings

parent 294ef6eb

No related branches found

No related tags found

Loading

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

coq-osiris/interp/extracted/extract.v 1 addition, 2 deletions

coq-osiris/interp/extracted/extract.v
coq-osiris/interp/interp.ml 5 additions, 5 deletions

coq-osiris/interp/interp.ml
coq-osiris/theories/semantics/eval_strat.v 72 additions, 72 deletions

coq-osiris/theories/semantics/eval_strat.v
coq-osiris/theories/semantics/run.v 22 additions, 22 deletions

coq-osiris/theories/semantics/run.v
coq-osiris/theories/semantics/strategy.v 32 additions, 29 deletions

coq-osiris/theories/semantics/strategy.v

with 132 additions and 130 deletions

Loading

MADIOT Jean-Marie @jmadiot
mentioned in commit 3b0caa8f
· 1 month ago

mentioned in commit 3b0caa8f

mentioned in commit 3b0caa8f1d3d5eb524a40dd12af96851c6e81e5b

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