-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: AU-COBRA/ConCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Extend CallFacts
part: execution
Issues and PRs related to the execution layer
type: enhancement
Enhancement to an existing feature
#174
by 4ever2
was merged Jun 15, 2022
Loading…
Contract execution errors
part: execution
Issues and PRs related to the execution layer
type: feature
New feature request/implementation
#193
by 4ever2
was merged Sep 1, 2022
Loading…
Contract Morphisms
part: execution
Issues and PRs related to the execution layer
type: feature
New feature request/implementation
Refactor and fixes
part: execution
Issues and PRs related to the execution layer
type: refactor
Refactorings, code removal, etc
#206
by 4ever2
was merged Mar 6, 2023
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-09-28.