Repo Added
|
Files
327
|
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 |