Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

I

isabelle_contrib
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

cbb96cf3

Commit cbb96cf3 authored 3 years ago by Frédéric Tuong

Downloads
- Patches
- Plain Diff

upgrade to Isabelle2021

parent 0325e84b

No related branches found

No related tags found

No related merge requests found

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

Citadelle/ROOT 9 additions, 1 deletion

Citadelle/ROOT
Citadelle/src/compiler/Generator_dynamic_sequential.thy 48 additions, 38 deletions

Citadelle/src/compiler/Generator_dynamic_sequential.thy
Citadelle/src/compiler_citadelle/Generator_dynamic_concurrent.thy 48 additions, 38 deletions

...e/src/compiler_citadelle/Generator_dynamic_concurrent.thy
Citadelle/src/compiler_citadelle/Generator_dynamic_export_testing.thy 33 additions, 27 deletions

...c/compiler_citadelle/Generator_dynamic_export_testing.thy
Citadelle/src/compiler_citadelle_c/ex/C_Model_ex_hol.thy 15 additions, 1 deletion

Citadelle/src/compiler_citadelle_c/ex/C_Model_ex_hol.thy
Citadelle/src/compiler_citadelle_c/ex/C_Model_ex_meta.thy 15 additions, 2 deletions

Citadelle/src/compiler_citadelle_c/ex/C_Model_ex_meta.thy
Citadelle/src/compiler_generic/toy_example/embedding/Generator_dynamic_sequential.thy 12 additions, 11 deletions

...ic/toy_example/embedding/Generator_dynamic_sequential.thy
Citadelle/src/compiler_misc/meta/Printer_init.thy 23 additions, 17 deletions

Citadelle/src/compiler_misc/meta/Printer_init.thy

with 203 additions and 135 deletions

Loading

Frédéric Tuong @frederictuong
mentioned in commit 292c71b0
· 3 years ago

mentioned in commit 292c71b0

mentioned in commit 292c71b051ceaaebecdf2a43a81bdbcdea275f0b

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