KenKundert / unit_propagation / 17715770573
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 17715770573 | main | add simplifications | push | Ken Kundert | github |
87.61 |
|
| 8446929526 | main | Fix numerous small issues | push | Ken Kundert | github |
93.63 |
|
| 8167517084 | main | add dup, swap, and error recovery | push | Ken Kundert | github |
100.0 |
|
| 8125682535 | main | nit | push | Ken Kundert | github |
100.0 |
|
| 8125663122 | main | nits | push | Ken Kundert | github |
100.0 |
|
| 8125584288 | main | nit | push | Ken Kundert | github |
100.0 |
|
| 8124785755 | main | rpn tweaks | push | Ken Kundert | github |
100.0 |
|
| 8124774699 | main | rpn tweaks | push | Ken Kundert | github |
100.0 |
|
| 8124740695 | main | badge nit | push | Ken Kundert | github |
100.0 |
|
| 8124727734 | main | nits | push | Ken Kundert | github |
100.0 |
|
| 8124680959 | main | improve the README | push | Ken Kundert | github |
100.0 |
|
| 8124604523 | main | various refinements and test improvements | push | Ken Kundert | github |
100.0 |
|
| 8118768991 | main | tweak readme | push | Ken Kundert | github |
65.36 |
|
| 8118624192 | main | nit | push | Ken Kundert | github |
65.36 |
|
| 8118540609 | main | bump version to 0.1 | push | Ken Kundert | github |
66.03 |