Skip to content

Actions: rems-project/sail

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
673 workflow run results
673 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Float: Introduce floating point api eq (#567) Test coverage #969: Commit 069bbcd pushed by Alasdair
June 13, 2024 23:16 13m 52s sail2
sail2
June 13, 2024 23:16 13m 52s
Fix register references in Sail->SV Test coverage #968: Commit 63ad7c3 pushed by Alasdair
June 13, 2024 18:17 14m 0s sail2
sail2
June 13, 2024 18:17 14m 0s
Additional Sail->SV fixes Test coverage #967: Pull request #585 opened by Alasdair
June 13, 2024 15:59 14m 0s sv_fixes
sv_fixes
June 13, 2024 15:59 14m 0s
Fix register references in Sail->SV Test coverage #966: Commit 48494ef pushed by Alasdair
June 13, 2024 15:58 14m 4s sv_fixes
sv_fixes
June 13, 2024 15:58 14m 4s
Coq: remove some obsolete ArithFact code Test coverage #965: Commit 173499e pushed by bacam
June 12, 2024 21:05 14m 29s sail2
sail2
June 12, 2024 21:05 14m 29s
Coq: remove some obsolete ArithFact code Test coverage #964: Pull request #584 opened by bacam
June 12, 2024 20:45 14m 35s bacam:coq-obsolete
bacam:coq-obsolete
June 12, 2024 20:45 14m 35s
Get some Sail->SV tests working again Test coverage #963: Commit 230772f pushed by Alasdair
June 12, 2024 19:04 14m 9s sail2
sail2
June 12, 2024 19:04 14m 9s
Get some Sail->SV tests working again Test coverage #962: Pull request #583 opened by Alasdair
June 12, 2024 17:55 13m 50s smt_fixes
smt_fixes
June 12, 2024 17:55 13m 50s
Get some Sail->SV tests working again Test coverage #961: Commit 0bdc07a pushed by Alasdair
June 12, 2024 17:55 13m 46s smt_fixes
smt_fixes
June 12, 2024 17:55 13m 46s
Fix sail-fmt block_comment indent Test coverage #959: Pull request #581 opened by trdthg
June 11, 2024 02:53 14m 12s trdthg:fix-fmt
trdthg:fix-fmt
June 11, 2024 02:53 14m 12s
Float: Introduce floating point api eq Test coverage #958: Pull request #567 synchronize by Incarnation-p-lee
June 11, 2024 02:47 13m 43s Incarnation-p-lee:panli/introduce-float-point-eq
Incarnation-p-lee:panli/introduce-float-point-eq
June 11, 2024 02:47 13m 43s
Refactor Sail->SMT backend and rework Sail->SV to share code (#580) Test coverage #957: Commit 1edb36b pushed by Alasdair
June 10, 2024 22:39 14m 7s sail2
sail2
June 10, 2024 22:39 14m 7s
Refactor Sail->SMT backend and rework Sail->SV to share code Test coverage #956: Pull request #580 synchronize by Alasdair
June 10, 2024 22:14 13m 40s new_smt
new_smt
June 10, 2024 22:14 13m 40s
Add pure if-then-else optimization to Sail->SMT Test coverage #955: Commit 72802df pushed by Alasdair
June 10, 2024 22:14 14m 25s new_smt
new_smt
June 10, 2024 22:14 14m 25s
Refactor Sail->SMT backend and rework Sail->SV to share code Test coverage #954: Pull request #580 synchronize by Alasdair
June 10, 2024 21:50 17m 0s new_smt
new_smt
June 10, 2024 21:50 17m 0s
Add pure if-then-else optimization to Sail->SMT Test coverage #953: Commit dd4247e pushed by Alasdair
June 10, 2024 21:50 16m 27s new_smt
new_smt
June 10, 2024 21:50 16m 27s
Refactor Sail->SMT backend and rework Sail->SV to share code Test coverage #952: Pull request #580 opened by Alasdair
June 10, 2024 16:00 15m 17s new_smt
new_smt
June 10, 2024 16:00 15m 17s
Refactor Sail->SMT backend and rework Sail->SV to share code Test coverage #951: Commit 9218c49 pushed by Alasdair
June 10, 2024 16:00 15m 12s new_smt
new_smt
June 10, 2024 16:00 15m 12s
Coq: correct corner case with implicit args in recursive calls Test coverage #950: Commit 59304f9 pushed by bacam
June 10, 2024 10:46 12m 52s sail2
sail2
June 10, 2024 10:46 12m 52s
Coq: correct corner case with implicit args in recursive calls Test coverage #949: Pull request #579 opened by bacam
June 10, 2024 10:06 12m 14s bacam:coq-proof-mode-rec
bacam:coq-proof-mode-rec
June 10, 2024 10:06 12m 14s
Lower precedence of "in" for set constraints Test coverage #948: Commit 3d66ddd pushed by bacam
June 7, 2024 15:45 14m 49s sail2
sail2
June 7, 2024 15:45 14m 49s
Lower precedence of "in" for set constraints Test coverage #947: Pull request #578 opened by bacam
June 7, 2024 15:30 13m 11s bacam:in_set_precedence
bacam:in_set_precedence
June 7, 2024 15:30 13m 11s
Add an attribute to display extra information during Jib IR generatio… Test coverage #946: Commit 92150fa pushed by Alasdair
June 7, 2024 15:12 13m 6s sail2
sail2
June 7, 2024 15:12 13m 6s
Fix sail fmt's handling of comments (#543) Test coverage #945: Commit e6494be pushed by Alasdair
June 7, 2024 14:54 12m 31s sail2
sail2
June 7, 2024 14:54 12m 31s
Add an attribute to display extra information during Jib IR generation Test coverage #944: Pull request #577 opened by Alasdair
June 7, 2024 14:47 12m 17s jib_debug
jib_debug
June 7, 2024 14:47 12m 17s