-
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
Misc fixes
type: enhancement
Enhancement to an existing feature
type: refactor
Refactorings, code removal, etc
#239
by 4ever2
was merged Dec 29, 2023
Loading…
Move elm extraction
part: Elm
Issues and PRs related to Elm extraction
type: refactor
Refactorings, code removal, etc
#220
by 4ever2
was merged Apr 12, 2023
Loading…
Move rust extraction
part: Rust
Issues and PRs related to Rust extraction
type: refactor
Refactorings, code removal, etc
#219
by 4ever2
was merged Apr 11, 2023
Loading…
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…
CI refactor
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: refactor
Refactorings, code removal, etc
#202
by 4ever2
was merged Oct 18, 2022
Loading…
Fix warnings
type: refactor
Refactorings, code removal, etc
#198
by 4ever2
was merged Oct 3, 2022
Loading…
Extraction split
part: extraction
Issues and PRs related to extraction framework
type: refactor
Refactorings, code removal, etc
#194
by 4ever2
was merged Sep 1, 2022
Loading…
Porting ConCert to Metacoq v1.0+8.14
part: extraction
Issues and PRs related to extraction framework
type: refactor
Refactorings, code removal, etc
#187
by annenkov
was merged Aug 18, 2022
Loading…
Minor test refactoring
part: examples
Issues and PRs related to examples
type: refactor
Refactorings, code removal, etc
#170
by 4ever2
was merged May 23, 2022
Loading…
Rename Dexter contract
part: examples
Issues and PRs related to examples
type: refactor
Refactorings, code removal, etc
#169
by 4ever2
was merged May 22, 2022
Loading…
ProTip!
Updated in the last three days: updated:>2024-10-25.