Skip to content

Actions: alpha-asp/Alpha

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Evolog: Permit actions in stratifiable part of input programs Build #630: Pull request #338 synchronize by madmike200590
May 26, 2024 15:23 1m 36s evolog-actions-new
evolog-actions-new
May 26, 2024 15:23 1m 36s
WIP: merge action implementation back into state from master Build #629: Commit 8191e89 pushed by madmike200590
May 26, 2024 15:23 1m 44s evolog-actions-new
evolog-actions-new
May 26, 2024 15:23 1m 44s
Evolog: Permit actions in stratifiable part of input programs Build #628: Pull request #338 synchronize by madmike200590
May 26, 2024 14:14 1m 39s evolog-actions-new
evolog-actions-new
May 26, 2024 14:14 1m 39s
merge branch origin/master into evolog-actions-new Build #627: Commit fac7e67 pushed by madmike200590
May 26, 2024 14:14 1m 41s evolog-actions-new
evolog-actions-new
May 26, 2024 14:14 1m 41s
add simple evolog examples Build #626: Commit 01c7038 pushed by madmike200590
May 26, 2024 14:01 19m 4s evolog-actions-new_mergeHelper
evolog-actions-new_mergeHelper
May 26, 2024 14:01 19m 4s
Evolog: Permit actions in stratifiable part of input programs Build #625: Pull request #338 synchronize by madmike200590
January 11, 2024 20:40 17m 24s evolog-actions-new
evolog-actions-new
January 11, 2024 20:40 17m 24s
add simple evolog examples Build #624: Commit 01c7038 pushed by madmike200590
January 11, 2024 20:40 20m 25s evolog-actions-new
evolog-actions-new
January 11, 2024 20:40 20m 25s
Evolog: Permit actions in stratifiable part of input programs Build #623: Pull request #338 synchronize by madmike200590
January 9, 2024 20:21 17m 52s evolog-actions-new
evolog-actions-new
January 9, 2024 20:21 17m 52s
Fix checkstyle violations Build #622: Commit 0bb76b1 pushed by madmike200590
January 9, 2024 20:21 20m 56s evolog-actions-new
evolog-actions-new
January 9, 2024 20:21 20m 56s
Evolog: Permit actions in stratifiable part of input programs Build #621: Pull request #338 synchronize by madmike200590
December 10, 2023 19:11 20m 25s evolog-actions-new
evolog-actions-new
December 10, 2023 19:11 20m 25s
fix FunctionTermImpl#equals s.t. also subtypes can be equal Build #620: Commit c7ec493 pushed by madmike200590
December 10, 2023 19:11 22m 49s evolog-actions-new
evolog-actions-new
December 10, 2023 19:11 22m 49s
Issue #221: WIP - try loading external atom jar using javassist inste… Build #619: Commit 73dd050 pushed by madmike200590
December 10, 2023 17:06 32m 6s issue-221_pluggable-externals
issue-221_pluggable-externals
December 10, 2023 17:06 32m 6s
Issue #221: additional - as of yet failing - test case for externally… Build #618: Commit 7da4ab0 pushed by madmike200590
December 1, 2023 20:49 1m 25s issue-221_pluggable-externals
issue-221_pluggable-externals
December 1, 2023 20:49 1m 25s
Issue #221 Basic backend implementation and tests for externally supp… Build #617: Commit 7d2819d pushed by madmike200590
December 1, 2023 17:54 31m 20s issue-221_pluggable-externals
issue-221_pluggable-externals
December 1, 2023 17:54 31m 20s
new method and basic test to load externals from jar file Build #616: Commit 9da5814 pushed by madmike200590
December 1, 2023 16:12 3m 49s issue-221_pluggable-externals
issue-221_pluggable-externals
December 1, 2023 16:12 3m 49s
Evolog: Permit actions in stratifiable part of input programs Build #615: Pull request #338 synchronize by madmike200590
December 1, 2023 14:14 20m 36s evolog-actions-new
evolog-actions-new
December 1, 2023 14:14 20m 36s
fix ParserTest - use updated type name InputProgram instead of ASPCor… Build #614: Commit 782c338 pushed by madmike200590
December 1, 2023 14:14 19m 51s evolog-actions-new
evolog-actions-new
December 1, 2023 14:14 19m 51s
Merge pull request #363 from alpha-asp/issue_362 Build #613: Commit 2b1dddb pushed by madmike200590
December 1, 2023 13:55 39m 16s master
master
December 1, 2023 13:55 39m 16s
Merge branch 'preprocessing' of https://github.com/alpha-asp/Alpha in… Build #612: Commit 9aa03ea pushed by mschmutzhart
November 21, 2023 21:11 45m 12s preprocessing
preprocessing
November 21, 2023 21:11 45m 12s
refactored SimplePreprocessing Build #611: Commit 451fdf3 pushed by mschmutzhart
August 1, 2023 19:34 1h 21m 32s preprocessing
preprocessing
August 1, 2023 19:34 1h 21m 32s
Grounder restart Build #610: Pull request #361 synchronize by paulbehofsics
July 30, 2023 14:19 2h 12m 9s grounder_restart
grounder_restart
July 30, 2023 14:19 2h 12m 9s
Remove extra log output Build #609: Commit b383996 pushed by paulbehofsics
July 30, 2023 14:19 2h 11m 52s grounder_restart
grounder_restart
July 30, 2023 14:19 2h 11m 52s
Grounder restart Build #608: Pull request #361 synchronize by paulbehofsics
July 26, 2023 17:29 2h 34m 49s grounder_restart
grounder_restart
July 26, 2023 17:29 2h 34m 49s
Add berkmin heuristic reset for reboot Build #607: Commit 8bfecd7 pushed by paulbehofsics
July 26, 2023 17:29 2h 30m 48s grounder_restart
grounder_restart
July 26, 2023 17:29 2h 30m 48s
Grounder restart Build #606: Pull request #361 synchronize by paulbehofsics
July 26, 2023 14:07 1h 18m 1s grounder_restart
grounder_restart
July 26, 2023 14:07 1h 18m 1s