|
Repo Added
|
Files
332
|
Badge
README BADGES
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 484 | i11-interpreter-prover-verifier | Merge ff0311ee8 into f8856950d | Pull #70 | travis-ci-com | pending completion | ||
| 483 | i11-interpreter-prover-verifier | formatting; | push | travis-ci-com | pending completion | ||
| 479 | i11-interpreter-prover-verifier | draft ErgoTree with segregated constant creation; | push | travis-ci-com | pending completion | ||
| 447 | i11-interpreter-prover-verifier | Merge 899878be6 into 4cfc8946e | Pull #70 | travis-ci-com | pending completion | ||
| 446 | i11-interpreter-prover-verifier | fix build; add Prover test for true prop; | push | travis-ci-com | pending completion | ||
| 433 | i11-interpreter-prover-verifier | Merge 3c2ac6bce into 7176d8519 | Pull #70 | travis-ci-com | pending completion | ||
| 432 | i11-interpreter-prover-verifier | draft Evaluator, Prover, Verifier; | push | travis-ci-com | pending completion |