dannypsnl
/
classical-logic
65%
|
Repo Added
|
Files
9
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH develop
push
cover
249 of 382 relevant lines covered (65.18%)
0.65 hits per line
Relevant lines Covered
382
RELEVANT LINES
249
COVERED LINES
0.65
HITS PER LINE
Source Files on develop
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| #19 | develop | test skolemize | push |  dannypsnl |
cover | pending completion | |
| #18 | develop | explain in README misc formatting | push | dannypsnl |
cover | pending completion | |
| #17 | develop | enforce returns `#t` | push | dannypsnl |
cover | pending completion | |
| #16 | develop | unification and better output | push | dannypsnl |
cover | pending completion | |
| #15 | develop | complete fix fuse part | push | dannypsnl |
cover | pending completion | |
| #14 | develop | fix resolution the bug is came from unify same clause from too early, for different clausal, them should be removed on resolve | push | dannypsnl |
cover | pending completion | |
| #13 | develop | let K as KF's surface | push | dannypsnl |
cover | pending completion | |
| #12 | develop | fix skolemize | push | dannypsnl |
cover | pending completion | |
| #11 | develop | rename pass | push | dannypsnl |
cover | pending completion | |
| #10 | develop | unify resolution for different logic | push | dannypsnl |
cover | pending completion |