Skip to content

Actions: alpha-asp/Alpha

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

enhancement: more specific type for action result in action witness d… Build #655: Commit 171d2c8 pushed by madmike200590
October 30, 2024 19:18 15m 59s evolog-modules
evolog-modules
October 30, 2024 19:18 15m 59s
enhancement: use more specific type for action result term Build #654: Commit 6ed327d pushed by madmike200590
October 30, 2024 19:14 16m 40s evolog-modules
evolog-modules
October 30, 2024 19:14 16m 40s
enhancement: add newline when writing strings to output stream Build #653: Commit ec18c5e pushed by madmike200590
September 28, 2024 12:13 16m 27s evolog-modules
evolog-modules
September 28, 2024 12:13 16m 27s
bugfix: permit enum directives in modules Build #652: Commit be6854e pushed by madmike200590
September 15, 2024 15:31 16m 12s evolog-modules
evolog-modules
September 15, 2024 15:31 16m 12s
Enhancement: new external to get all matches plus their bounds of a r… Build #651: Commit 712f263 pushed by madmike200590
August 21, 2024 19:27 17m 40s evolog-modules
evolog-modules
August 21, 2024 19:27 17m 40s
Bugfix: add toString for EnumerationAtom Build #650: Commit 119e2b1 pushed by madmike200590
August 9, 2024 14:06 16m 20s evolog-modules
evolog-modules
August 9, 2024 14:06 16m 20s
Evolog Modules: module-based implementation of bin-packing problem in… Build #649: Commit 1dcdbf0 pushed by madmike200590
August 7, 2024 13:44 19m 54s evolog-modules
evolog-modules
August 7, 2024 13:44 19m 54s
Evolog Modules: aggregate terms into list using aggregate literal Build #648: Commit 3540762 pushed by madmike200590
August 6, 2024 16:09 17m 52s evolog-modules
evolog-modules
August 6, 2024 16:09 17m 52s
Evolog Modules: Add parsing for list collection aggregate Build #647: Commit d1f349e pushed by madmike200590
August 1, 2024 18:32 19m 10s evolog-modules
evolog-modules
August 1, 2024 18:32 19m 10s
Evolog Modules: Fix bugs where module definitions do not get passed o… Build #646: Commit 8bf77b3 pushed by madmike200590
July 29, 2024 13:53 16m 53s evolog-modules
evolog-modules
July 29, 2024 13:53 16m 53s
Evolog Modules: Finish ModuleLinker implementation. Build #645: Commit 13010e0 pushed by madmike200590
July 26, 2024 13:33 1m 48s evolog-modules
evolog-modules
July 26, 2024 13:33 1m 48s
Evolog Modules: Draft implementation of ModuleLinker, which construct… Build #644: Commit d410ad1 pushed by madmike200590
July 25, 2024 21:58 17m 50s evolog-modules
evolog-modules
July 25, 2024 21:58 17m 50s
Evolog Modules: Permit external atom interpretations to return Set<Li… Build #643: Commit f338eeb pushed by madmike200590
July 25, 2024 21:23 18m 5s evolog-modules
evolog-modules
July 25, 2024 21:23 18m 5s
Evolog Modules: Revert to single-predicate module input Build #642: Commit 60b819f pushed by madmike200590
July 24, 2024 16:37 16m 17s evolog-modules
evolog-modules
July 24, 2024 16:37 16m 17s
Evolog Modules: Permit 0..n input predicates in module definitions. Build #641: Commit 761331c pushed by madmike200590
July 24, 2024 16:29 19m 48s evolog-modules
evolog-modules
July 24, 2024 16:29 19m 48s
Evolog Modules: Unit test for ModuleAtomImpl Build #640: Commit 90d3faf pushed by madmike200590
July 24, 2024 15:13 17m 21s evolog-modules
evolog-modules
July 24, 2024 15:13 17m 21s
Evolog Modules: Parsing of module literals Build #639: Commit 49233d9 pushed by madmike200590
July 24, 2024 14:13 18m 40s evolog-modules
evolog-modules
July 24, 2024 14:13 18m 40s
Improvement: End2End-Tests using ASP unit tests Build #638: Commit 2b4f19d pushed by madmike200590
July 24, 2024 09:28 12m 47s evolog-modules
evolog-modules
July 24, 2024 09:28 12m 47s
Evolog Modules: Parsing of module definitions Build #637: Commit fd9f6a7 pushed by madmike200590
July 24, 2024 08:19 16m 43s evolog-modules
evolog-modules
July 24, 2024 08:19 16m 43s
Evolog: Permit actions in stratifiable part of input programs Build #636: Pull request #338 synchronize by madmike200590
July 23, 2024 09:03 19m 35s evolog-actions-new
evolog-actions-new
July 23, 2024 09:03 19m 35s
Fix tests after merging changes from master Build #635: Commit aad5520 pushed by madmike200590
July 23, 2024 09:03 16m 40s evolog-actions-new
evolog-actions-new
July 23, 2024 09:03 16m 40s
Evolog: Permit actions in stratifiable part of input programs Build #634: Pull request #338 synchronize by madmike200590
July 22, 2024 11:21 12m 38s evolog-actions-new
evolog-actions-new
July 22, 2024 11:21 12m 38s
Fix tests after merging master Build #633: Commit 173f664 pushed by madmike200590
July 22, 2024 11:21 12m 11s evolog-actions-new
evolog-actions-new
July 22, 2024 11:21 12m 11s
Evolog: Permit actions in stratifiable part of input programs Build #632: Pull request #338 synchronize by madmike200590
July 7, 2024 16:17 1m 55s evolog-actions-new
evolog-actions-new
July 7, 2024 16:17 1m 55s
WIP: fix tests after merging action implementation into latest master… Build #631: Commit 133553f pushed by madmike200590
July 7, 2024 16:17 2m 1s evolog-actions-new
evolog-actions-new
July 7, 2024 16:17 2m 1s