Skip to content

Actions: potassco/anthem

Actions

Build the application with Cargo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More test for the control language Build the application with Cargo #382: Pull request #181 synchronize by janheuer
January 10, 2025 08:17 1m 16s jan/control_language_tests
jan/control_language_tests
January 10, 2025 08:17 1m 16s
More test for the control language Build the application with Cargo #381: Pull request #181 opened by janheuer
January 10, 2025 08:00 1m 11s jan/control_language_tests
jan/control_language_tests
January 10, 2025 08:00 1m 11s
Fix parsing for theories, specifications and user guides beginning with empty line/comment Build the application with Cargo #380: Pull request #180 opened by janheuer
January 9, 2025 09:57 1m 7s jan/issue_127
jan/issue_127
January 9, 2025 09:57 1m 7s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #379: Pull request #172 synchronize by ZachJHansen
December 17, 2024 16:31 1m 12s tobias/simplifications_part1
tobias/simplifications_part1
December 17, 2024 16:31 1m 12s
Zach/timing2 Build the application with Cargo #378: Pull request #179 opened by ZachJHansen
December 11, 2024 17:38 1m 9s zach/timing2
zach/timing2
December 11, 2024 17:38 1m 9s
adding double negation elim to classical simplifications Build the application with Cargo #377: Pull request #178 opened by ZachJHansen
December 10, 2024 17:13 1m 12s zach/classical_simplifications
zach/classical_simplifications
December 10, 2024 17:13 1m 12s
a first draft for automated testing of tptp compliance Build the application with Cargo #376: Pull request #177 opened by ZachJHansen
December 6, 2024 22:54 1m 10s zach/automated_testing
zach/automated_testing
December 6, 2024 22:54 1m 10s
Implement substitute for SymbolicTerms Build the application with Cargo #375: Commit ecc2fa5 pushed by ZachJHansen
December 5, 2024 16:25 1m 12s master
master
December 5, 2024 16:25 1m 12s
Implementation of Ordered Completion Build the application with Cargo #374: Pull request #175 synchronize by janheuer
December 5, 2024 09:20 1m 8s jan/ordered_completion
jan/ordered_completion
December 5, 2024 09:20 1m 8s
Implementation of Ordered Completion Build the application with Cargo #373: Pull request #175 opened by janheuer
December 5, 2024 09:19 1m 24s jan/ordered_completion
jan/ordered_completion
December 5, 2024 09:19 1m 24s
Implement substitute for SymbolicTerms Build the application with Cargo #372: Pull request #173 synchronize by teiesti
December 4, 2024 22:44 1m 9s tobias/fix_substitute
tobias/fix_substitute
December 4, 2024 22:44 1m 9s
Implement substitute for SymbolicTerms Build the application with Cargo #371: Pull request #173 opened by teiesti
December 4, 2024 22:40 56s tobias/fix_substitute
tobias/fix_substitute
December 4, 2024 22:40 56s
Add more, hopefully rather uncontroversial simplifications Build the application with Cargo #370: Pull request #172 opened by teiesti
December 4, 2024 22:31 1m 11s tobias/simplifications_part1
tobias/simplifications_part1
December 4, 2024 22:31 1m 11s
Add parenthesis to TPTP formatting of unary and binary formulas Build the application with Cargo #369: Commit 4f59103 pushed by teiesti
December 4, 2024 20:45 1m 14s master
master
December 4, 2024 20:45 1m 14s
Add parenthesis to TPTP formatting of unary and binary formulas Build the application with Cargo #368: Pull request #170 synchronize by teiesti
December 4, 2024 20:42 1m 10s zach/tptp3
zach/tptp3
December 4, 2024 20:42 1m 10s
updating standard preamble names in docs Build the application with Cargo #367: Commit 8117e97 pushed by teiesti
December 4, 2024 14:43 1m 11s master
master
December 4, 2024 14:43 1m 11s
Add parenthesis to TPTP formatting of unary and binary formulas Build the application with Cargo #366: Pull request #170 opened by ZachJHansen
December 2, 2024 20:00 1m 10s zach/tptp3
zach/tptp3
December 2, 2024 20:00 1m 10s
updating standard preamble names in docs Build the application with Cargo #365: Pull request #169 opened by ZachJHansen
December 2, 2024 14:51 1m 15s zach/manual2
zach/manual2
December 2, 2024 14:51 1m 15s
Add more simplifications Build the application with Cargo #364: Pull request #164 synchronize by teiesti
November 29, 2024 08:13 52s tobias/simplifications
tobias/simplifications
November 29, 2024 08:13 52s
adding introduction to manual Build the application with Cargo #363: Commit cf011f1 pushed by teiesti
November 28, 2024 09:53 1m 9s master
master
November 28, 2024 09:53 1m 9s
adding introduction to manual Build the application with Cargo #362: Pull request #168 synchronize by teiesti
November 28, 2024 09:52 1m 7s zach/manual
zach/manual
November 28, 2024 09:52 1m 7s
formatting all variables with trailing _<SORT> for TPTP compliance (r… Build the application with Cargo #361: Commit b77a2ce pushed by teiesti
November 28, 2024 09:52 1m 7s master
master
November 28, 2024 09:52 1m 7s
formatting all variables with trailing _<SORT> for TPTP compliance Build the application with Cargo #360: Pull request #167 synchronize by teiesti
November 28, 2024 09:50 1m 8s zach/tptp2
zach/tptp2
November 28, 2024 09:50 1m 8s
naming TPTP formulas uniquely in a naive way (with counters) Build the application with Cargo #359: Commit d53ef72 pushed by teiesti
November 28, 2024 09:50 1m 9s master
master
November 28, 2024 09:50 1m 9s
adding introduction to manual Build the application with Cargo #358: Pull request #168 opened by ZachJHansen
November 22, 2024 20:34 2m 0s zach/manual
zach/manual
November 22, 2024 20:34 2m 0s