Skip to content

Actions: hezzel/cora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor typo fix Java-21 CI Build&Test with Gradle #111: Commit bd99bd2 pushed by hezzel
1m 5s master
master
1m 5s
Minor typo fix Java-21 CI Build&Test with Gradle #110: Commit bd99bd2 pushed by hezzel
1m 2s development
development
1m 2s
Removed all use of preview features in JVM 21, so it works in a commo… Java-21 CI Build&Test with Gradle #109: Commit 8449f99 pushed by hezzel
1m 9s development
development
1m 9s
Fixed a bug in the dependency graph computation Java-21 CI Build&Test with Gradle #108: Commit 6c231d8 pushed by hezzel
1m 10s development
development
1m 10s
Fixed a bug in the dependency graph computation Java-21 CI Build&Test with Gradle #107: Commit 6c231d8 pushed by hezzel
1m 16s master
master
1m 16s
Added an SMT-solver setup test into the main functionality. Java-21 CI Build&Test with Gradle #106: Commit 20b94c2 pushed by hezzel
1m 14s master
master
1m 14s
Added an SMT-solver setup test into the main functionality. Java-21 CI Build&Test with Gradle #105: Commit 20b94c2 pushed by hezzel
1m 14s development
development
1m 14s
Bugfix in the theory arguments processor Java-21 CI Build&Test with Gradle #104: Commit 5b92abd pushed by hezzel
4m 51s development
development
4m 51s
Added context and post-context deletion / disprove into the auto comm… Java-21 CI Build&Test with Gradle #103: Commit db9b2bd pushed by hezzel
1m 19s master
master
1m 19s
Added context and post-context deletion / disprove into the auto comm… Java-21 CI Build&Test with Gradle #102: Commit db9b2bd pushed by hezzel
1m 15s development
development
1m 15s
Moved functionality from context and disprove to automation. Java-21 CI Build&Test with Gradle #101: Commit 28d30bd pushed by hezzel
1m 19s development
development
1m 19s
Added the auto command and connected simplify, hypothesis and hdelete… Java-21 CI Build&Test with Gradle #100: Commit 47fb392 pushed by hezzel
1m 17s development
development
1m 17s
Added AutoHypothesis Java-21 CI Build&Test with Gradle #99: Commit 6614284 pushed by hezzel
1m 11s development
development
1m 11s
Renamed rules and equation positions. Java-21 CI Build&Test with Gradle #98: Commit 9500e90 pushed by hezzel
1m 14s development
development
1m 14s
Unit testing the full AutoSimplifier Java-21 CI Build&Test with Gradle #97: Commit dd89572 pushed by hezzel
1m 16s development
development
1m 16s
Finished moving ConstrainedReductionHelper over to ConstrainedSimplif… Java-21 CI Build&Test with Gradle #96: Commit 18122f9 pushed by hezzel
1m 7s development
development
1m 7s
Moving functionality from ConstrainedReductionHelper into Constrained… Java-21 CI Build&Test with Gradle #95: Commit 96b320c pushed by hezzel
1m 4s development
development
1m 4s
Started automation of simplify Java-21 CI Build&Test with Gradle #94: Commit 0d7d868 pushed by hezzel
1m 6s development
development
1m 6s
Updated tailup to match the paper version Java-21 CI Build&Test with Gradle #93: Commit abff304 pushed by hezzel
1m 19s development
development
1m 19s
Updating 'replaceable' package to match master branch (to fix massive… Java-21 CI Build&Test with Gradle #92: Commit a133263 pushed by hezzel
1m 2s development
development
1m 2s
Finished disprove command. Java-21 CI Build&Test with Gradle #91: Commit ddcfcfb pushed by hezzel
1m 0s development
development
1m 0s
Connected the non-theory form of disprove. Java-21 CI Build&Test with Gradle #90: Commit 4b41fda pushed by hezzel
1m 3s development
development
1m 3s
Making progress on disprove (not finished yet) Java-21 CI Build&Test with Gradle #89: Commit 1cf80aa pushed by hezzel
1m 5s development
development
1m 5s
Implemented generalise command Java-21 CI Build&Test with Gradle #88: Commit 4a9a769 pushed by hezzel
1m 5s development
development
1m 5s
Avoided unnecessary renaming-copying in rwinduction module. Java-21 CI Build&Test with Gradle #87: Commit 1a8019a pushed by hezzel
57s development
development
57s