Skip to content

Actions: bnediction/bonesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

marker reprogramming: extract relevant sub-network beforhand Tests #87: Commit f2e9c04 pushed by pauleve
December 5, 2023 22:07 46s master
master
December 5, 2023 22:07 46s
marker reprogramming: extract relevant sub-network beforhand Mirror master #34: Commit f2e9c04 pushed by pauleve
December 5, 2023 22:07 17s master
master
December 5, 2023 22:07 17s
0.6: CEGAR-based trapspace reprogramming .github/workflows/release.yml #10: Release v0.6.0 published by pauleve
November 28, 2023 09:14 7m 29s
November 28, 2023 09:14 7m 29s
readme Tests #86: Commit 4b05330 pushed by pauleve
November 28, 2023 09:07 57s v0.6.0
v0.6.0
November 28, 2023 09:07 57s
readme Tests #85: Commit 4b05330 pushed by pauleve
November 28, 2023 09:06 43s master
master
November 28, 2023 09:06 43s
readme Mirror master #33: Commit 4b05330 pushed by pauleve
November 28, 2023 09:06 17s master
master
November 28, 2023 09:06 17s
readme Mirror master #32: Commit ceaef9b pushed by pauleve
November 28, 2023 09:04 13s master
master
November 28, 2023 09:04 13s
readme Tests #84: Commit ceaef9b pushed by pauleve
November 28, 2023 09:04 50s master
master
November 28, 2023 09:04 50s
marker_reprogramming: add CEGAR implementation (default) Mirror master #31: Commit 02f5e32 pushed by pauleve
November 20, 2023 21:51 15s master
master
November 20, 2023 21:51 15s
marker_reprogramming: add CEGAR implementation (default) Tests #83: Commit 02f5e32 pushed by pauleve
November 20, 2023 21:51 48s master
master
November 20, 2023 21:51 48s
InfluenceGraph: support for exact='unsigned' to ignore sign Mirror master #30: Commit c632b3a pushed by pauleve
October 31, 2023 16:31 17s master
master
October 31, 2023 16:31 17s
InfluenceGraph: support for exact='unsigned' to ignore sign Tests #82: Commit c632b3a pushed by pauleve
October 31, 2023 16:31 1m 13s master
master
October 31, 2023 16:31 1m 13s
fix non_reach encoding in mutant context Mirror master #29: Commit 317643a pushed by pauleve
October 18, 2023 22:40 15s master
master
October 18, 2023 22:40 15s
fix non_reach encoding in mutant context Tests #81: Commit 317643a pushed by pauleve
October 18, 2023 22:40 1m 8s master
master
October 18, 2023 22:40 1m 8s
0.5.7: improve compatibility with mpbn .github/workflows/release.yml #9: Release v0.5.7 published by pauleve
August 30, 2023 12:28 9m 9s
August 30, 2023 12:28 9m 9s
improve compatibility with mpbn Tests #80: Commit 249a793 pushed by pauleve
August 30, 2023 12:25 1m 10s v0.5.7
v0.5.7
August 30, 2023 12:25 1m 10s
improve compatibility with mpbn Tests #79: Commit 249a793 pushed by pauleve
August 29, 2023 20:23 24s master
master
August 29, 2023 20:23 24s
improve compatibility with mpbn Mirror master #28: Commit 249a793 pushed by pauleve
August 29, 2023 20:23 14s master
master
August 29, 2023 20:23 14s