Skip to content

Actions: potassco/clingo-explaid

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create Documentation
run CI test #30: Pull request #8 opened by hweichelt
October 15, 2024 08:55 2m 37s feat/create_documentation
October 15, 2024 08:55 2m 37s
Merge pull request #7 from potassco/cleanup
deploy to pypi #15: Commit 0dcc453 pushed by hweichelt
October 7, 2024 12:36 2m 32s v1.1.0
October 7, 2024 12:36 2m 32s
Merge pull request #7 from potassco/cleanup
run CI test #29: Commit 0dcc453 pushed by hweichelt
October 7, 2024 12:34 1m 57s master
October 7, 2024 12:34 1m 57s
Removed code unrelated to API
run CI test #28: Pull request #7 opened by hweichelt
October 7, 2024 11:07 1m 43s cleanup
October 7, 2024 11:07 1m 43s
Added two simple API examples to README
run CI test #27: Commit 53c45a6 pushed by hweichelt
September 18, 2024 14:49 2m 40s master
September 18, 2024 14:49 2m 40s
fixed linting and typing
deploy to pypi #14: Commit a93a642 pushed by hweichelt
August 13, 2024 14:12 3m 41s v1.0.14
August 13, 2024 14:12 3m 41s
fixed linting and typing
run CI test #26: Commit a93a642 pushed by hweichelt
August 13, 2024 14:12 2m 33s master
August 13, 2024 14:12 2m 33s
Merge pull request #5 from potassco/core_fix
run CI test #25: Commit 4bd0d4c pushed by hweichelt
August 13, 2024 08:44 2m 18s master
August 13, 2024 08:44 2m 18s
Added return value to simplify
run CI test #24: Pull request #5 opened by susuhahnml
August 9, 2024 01:24 46m 32s core_fix
August 9, 2024 01:24 46m 32s
started implementing explain mode
run CI test #23: Commit be4eeef pushed by hweichelt
June 27, 2024 18:49 1m 58s master
June 27, 2024 18:49 1m 58s
Merge branch 'master' of github.com:krr-up/clingo-explaid
run CI test #22: Commit 24019a4 pushed by hweichelt
June 27, 2024 16:55 2m 20s master
June 27, 2024 16:55 2m 20s
disabled constants tab for now
deploy to pypi #13: Commit 2adbdac pushed by hweichelt
June 21, 2024 08:52 3m 18s v1.0.13
June 21, 2024 08:52 3m 18s
disabled constants tab for now
run CI test #21: Commit 2adbdac pushed by hweichelt
June 21, 2024 08:50 2m 22s master
June 21, 2024 08:50 2m 22s
Refactoring + Documenation
run CI test #20: Commit 0873cb3 pushed by hweichelt
June 20, 2024 17:18 2m 32s master
June 20, 2024 17:18 2m 32s
added MUS mode to textual gui
run CI test #19: Commit b309137 pushed by hweichelt
June 11, 2024 21:27 4m 38s master
June 11, 2024 21:27 4m 38s
Updated AssumptionTransformer
deploy to pypi #12: Commit e720cfa pushed by hweichelt
June 11, 2024 17:29 3m 30s v1.0.12
June 11, 2024 17:29 3m 30s
Updated AssumptionTransformer
run CI test #18: Commit e720cfa pushed by hweichelt
June 11, 2024 17:24 2m 42s master
June 11, 2024 17:24 2m 42s
split get_assumptions into symbols and literals
run CI test #17: Commit f161a94 pushed by hweichelt
June 11, 2024 13:24 2m 47s master
June 11, 2024 13:24 2m 47s
added back App type
deploy to pypi #11: Commit 2ede4df pushed by hweichelt
June 10, 2024 18:26 3m 17s v1.0.11
June 10, 2024 18:26 3m 17s
added back App type
run CI test #16: Commit 2ede4df pushed by hweichelt
June 5, 2024 18:54 2m 59s master
June 5, 2024 18:54 2m 59s
updated to newest textual version + footer
run CI test #15: Commit cb78289 pushed by hweichelt
June 5, 2024 18:52 3m 8s master
June 5, 2024 18:52 3m 8s
fixed linting and typing
run CI test #14: Commit 49eee4e pushed by hweichelt
June 4, 2024 16:05 2m 52s master
June 4, 2024 16:05 2m 52s
finished textual interface for show-decisions
run CI test #13: Commit 54475bd pushed by hweichelt
June 4, 2024 13:48 2m 37s master
June 4, 2024 13:48 2m 37s
work in progress: solver decision proagator for gui
run CI test #12: Commit a06ce44 pushed by hweichelt
May 25, 2024 17:46 2m 54s master
May 25, 2024 17:46 2m 54s
finished first prototype of textual interface
run CI test #11: Commit c129cc1 pushed by hweichelt
May 16, 2024 21:44 3m 2s master
May 16, 2024 21:44 3m 2s