LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Python

proofcov

A tool for measuring proof-based coverage

PythonEmerging

Stars

—

Forks

—

Contributors

1

Last push

6mo ago

Recent commits

Latest commits.

Ignore TCAS source files
dd43349Peter Backeman6mo ago
Merge branch 'main' of https://github.com/ptrbman/proofcov
9a64dfcPeter Backeman6mo ago
Update tcas experiment to validate against sliced versions
6a17a24Peter Backeman6mo ago
Add core enumeration support
aad4a32Peter Backeman6mo ago
Add some examples
0d6742ePeter Backeman6mo ago

Add example of non-trace behaviour

196cac1Peter Backeman6mo ago

Add example of non-trace behaviour from paper

d4a1356Peter Backeman6mo ago

Fix bug with missing PHI-node in nested empty if-else

cee649aPeter Backeman6mo ago

Top contributors

Builders behind this project.