This is stars and forks stats for /imdea-software/fcsl-pcm repository. As of 08 May, 2024 this repository has 22 stars and 10 forks.
The PCM library The PCM library provides a formalisation of Partial Commutative Monoids (PCMs), a common algebraic structure used in separation logic for verification of pointer-manipulating sequential and concurrent programs. The library provides lemmas for mechanised and automated reasoning about PCMs in the abstract, but also supports concrete common PCM instances, such as heaps, histories, and mutexes. This library relies on propositional and functional extentionality axioms. Meta Author(s): Aleksandar...
The PCM library The PCM library provides a formalisation of Partial Commutative Monoids (PCMs), a common algebraic structure used in separation logic for verification of pointer-manipulating sequential and concurrent programs. The library provides lemmas for mechanised and automated reasoning about PCMs in the abstract, but also supports concrete common PCM instances, such as heaps, histories, and mutexes. This library relies on propositional and functional extentionality axioms. Meta Author(s): Aleksandar...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
processone/tsung | ErlangPerlPython | 2.5k | 0 | 410 | 0 |
cloudentity/oauth2c | GoShellMakefile | 676 | 0 | 19 | 0 |
awslabs/eks-node-viewer | GoMakefileShell | 779 | 0 | 66 | 0 |
Sarik89/AUGUST-GCP_TEAM3 | HCLMakefile | 1 | 0 | 29 | 0 |
alin23/m1-panic | MakefileJavaScript | 48 | 0 | 2 | 0 |
gardener/machine-spec | MakefileGo | 0 | 0 | 3 | 0 |
beeyev/phpmyadmin-docker-lightweight | DockerfileMakefileShell | 15 | 0 | 0 | 0 |
nyoom-engineering/oxocarbon.nvim | FennelLuaMakefile | 775 | 0 | 43 | 0 |
m1guelpf/chatgpt-discord | GoMakefile | 281 | 0 | 56 | 0 |
wechaty/getting-started | JavaScriptMakefileDockerfile | 679 | 0 | 320 | 0 |