Skip to content

Actions: bnediction/bonesis

Actions

Mirror master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirrors.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

conda: use flexible channel Mirror master #53: Commit a40e7b4 pushed by pauleve
October 23, 2024 16:52 12s master
master
October 23, 2024 16:52 12s
add clingo 5.7 to tests Mirror master #52: Commit 5ee4429 pushed by pauleve
October 23, 2024 16:44 11s master
master
October 23, 2024 16:44 11s
update actions Mirror master #51: Commit fb2c7a5 pushed by pauleve
October 23, 2024 16:36 18s master
master
October 23, 2024 16:36 18s
follow AEON API changes (bug #6) Mirror master #50: Commit e9950a7 pushed by pauleve
October 22, 2024 16:51 17s master
master
October 22, 2024 16:51 17s
aeon: fix compat issue Mirror master #49: Commit 67f34b0 pushed by pauleve
June 25, 2024 09:21 16s master
master
June 25, 2024 09:21 16s
fix CEGAR reprogramming of ensemble of BNs Mirror master #48: Commit 3a1bb0e pushed by pauleve
June 20, 2024 22:25 17s master
master
June 20, 2024 22:25 17s
add support for CLINGO_OPTS envvar Mirror master #47: Commit cd2fc9e pushed by pauleve
June 14, 2024 20:58 12s master
master
June 14, 2024 20:58 12s
move to documentation Mirror master #46: Commit 60ca6da pushed by pauleve
April 30, 2024 08:59 12s master
master
April 30, 2024 08:59 12s
Create book.yml Mirror master #45: Commit c2ec17a pushed by pauleve
April 29, 2024 15:32 16s master
master
April 29, 2024 15:32 16s
support non-string nodes when parsing configurations from ASP facts Mirror master #44: Commit 1b8be11 pushed by pauleve
April 13, 2024 08:47 12s master
master
April 13, 2024 08:47 12s
language: add support for ObservationVar on left of nonreach operator Mirror master #43: Commit a3499d5 pushed by pauleve
March 28, 2024 14:43 13s master
master
March 28, 2024 14:43 13s
asp encoding: more predictable fresh identifiers Mirror master #42: Commit c9e30e3 pushed by pauleve
March 26, 2024 22:41 16s master
master
March 26, 2024 22:41 16s
nonreach: simpler encoding when right is an observation Mirror master #41: Commit 6fb47aa pushed by pauleve
March 6, 2024 21:57 16s master
master
March 6, 2024 21:57 16s
reach: simpler encoding when right is an observation Mirror master #40: Commit 9367d4a pushed by pauleve
March 6, 2024 21:18 16s master
master
March 6, 2024 21:18 16s
reach: simpler encoding when right is an observation Mirror master #39: Commit 40d74bf pushed by pauleve
March 6, 2024 21:10 12s master
master
March 6, 2024 21:10 12s
use solve handler only if it exists Mirror master #38: Commit 4dd8459 pushed by pauleve
January 23, 2024 11:14 11s master
master
January 23, 2024 11:14 11s
shut down resolution when limit is reached Mirror master #37: Commit a54fa4c pushed by pauleve
January 23, 2024 11:07 15s master
master
January 23, 2024 11:07 15s
sanitize node identifiers before mpbn conversion Mirror master #36: Commit 100e857 pushed by pauleve
January 22, 2024 22:37 17s master
master
January 22, 2024 22:37 17s
add option to fetch intermediate optimization results Mirror master #35: Commit c307a17 pushed by pauleve
January 19, 2024 09:59 14s master
master
January 19, 2024 09:59 14s
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
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
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
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
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