-
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
Piggy bank example
part: examples
Issues and PRs related to examples
type: feature
New feature request/implementation
#227
by laurahejn
was merged May 16, 2023
Loading…
Add make target for running QuickChick tests
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
part: testing
Issues and PRs related to the testing framework
type: feature
New feature request/implementation
#222
by 4ever2
was merged Apr 13, 2023
Loading…
Add quick make target
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: feature
New feature request/implementation
#221
by 4ever2
was merged Apr 13, 2023
Loading…
Piggy bank contract
part: examples
Issues and PRs related to examples
type: feature
New feature request/implementation
#205
by 4ever2
was merged Mar 6, 2023
Loading…
Contract Morphisms
part: execution
Issues and PRs related to the execution layer
type: feature
New feature request/implementation
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…
Build dependency graphs in CI
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: feature
New feature request/implementation
#184
by 4ever2
was merged Jun 27, 2022
Loading…
Dependency graphs
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: feature
New feature request/implementation
#178
by 4ever2
was merged Jun 23, 2022
Loading…
Dexter2 tests
part: examples
Issues and PRs related to examples
type: feature
New feature request/implementation
#172
by 4ever2
was merged May 25, 2022
Loading…
Dexter1 tests
part: examples
Issues and PRs related to examples
type: feature
New feature request/implementation
#171
by 4ever2
was merged May 24, 2022
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.