Repo Added
|
Files
324
|
Badge
Embed ▾
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 | web-flow | travis-ci-com | pending completion | |
483 | i11-interpreter-prover-verifier | formatting; | push | greenhat | travis-ci-com | pending completion | |
479 | i11-interpreter-prover-verifier | draft ErgoTree with segregated constant creation; | push | greenhat | travis-ci-com | pending completion | |
447 | i11-interpreter-prover-verifier | Merge 899878be6 into 4cfc8946e | Pull #70 | web-flow | travis-ci-com | pending completion | |
446 | i11-interpreter-prover-verifier | fix build; add Prover test for true prop; | push | greenhat | travis-ci-com | pending completion | |
433 | i11-interpreter-prover-verifier | Merge 3c2ac6bce into 7176d8519 | Pull #70 | web-flow | travis-ci-com | pending completion | |
432 | i11-interpreter-prover-verifier | draft Evaluator, Prover, Verifier; | push | greenhat | travis-ci-com | pending completion |