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

Add a Predicate node to the ASP and FOL syntax trees Build the application with Cargo #82: Pull request #44 opened by teiesti
December 8, 2023 15:58 2m 25s tobias/fol_predicates
tobias/fol_predicates
December 8, 2023 15:58 2m 25s
Add the gamma translation Build the application with Cargo #81: Pull request #42 synchronize by teiesti
December 7, 2023 16:54 53s tobias/gamma
tobias/gamma
December 7, 2023 16:54 53s
Add the gamma translation Build the application with Cargo #80: Pull request #42 synchronize by teiesti
December 7, 2023 13:45 46s tobias/gamma
tobias/gamma
December 7, 2023 13:45 46s
Add the gamma translation Build the application with Cargo #79: Pull request #42 opened by teiesti
December 7, 2023 13:42 54s tobias/gamma
tobias/gamma
December 7, 2023 13:42 54s
Use impl Trait instead of a generic type argument Build the application with Cargo #78: Commit cb25ed4 pushed by ZachJHansen
December 1, 2023 14:56 54s master
master
December 1, 2023 14:56 54s
Add a convenience feature that applies a function recursively (in post-order) to a tree Build the application with Cargo #77: Pull request #41 synchronize by teiesti
December 1, 2023 13:34 57s tobias/convenience_apply
tobias/convenience_apply
December 1, 2023 13:34 57s
Add a convenience feature that applies a function recursively (in post-order) to a tree Build the application with Cargo #76: Pull request #41 synchronize by teiesti
December 1, 2023 13:25 1m 1s tobias/convenience_apply
tobias/convenience_apply
December 1, 2023 13:25 1m 1s
Add a convenience feature that applies a function recursively (in post-order) to a tree Build the application with Cargo #75: Pull request #41 opened by teiesti
December 1, 2023 13:22 1m 4s tobias/convenience_apply
tobias/convenience_apply
December 1, 2023 13:22 1m 4s
Sort variables used in quantifications Build the application with Cargo #74: Pull request #39 synchronize by teiesti
November 30, 2023 01:05 2m 8s tobias/sort_variables_in_quantification
tobias/sort_variables_in_quantification
November 30, 2023 01:05 2m 8s
Fixing the n>1 bug by re-ordering atom and comparison within the fol … Build the application with Cargo #73: Commit e408732 pushed by teiesti
November 30, 2023 01:04 48s master
master
November 30, 2023 01:04 48s
Fixing the n>1 bug by re-ordering atom and comparison within the fol … Build the application with Cargo #72: Pull request #40 opened by ZachJHansen
November 29, 2023 17:38 56s zach/parsing_bug
zach/parsing_bug
November 29, 2023 17:38 56s
Sort variables used in quantifications Build the application with Cargo #71: Pull request #39 opened by teiesti
November 29, 2023 15:51 54s tobias/sort_variables_in_quantification
tobias/sort_variables_in_quantification
November 29, 2023 15:51 54s
Zach/integrate tau star Build the application with Cargo #70: Pull request #37 opened by ZachJHansen
November 28, 2023 20:41 1m 7s zach/integrate_tau_star
zach/integrate_tau_star
November 28, 2023 20:41 1m 7s
Zach/ast changes Build the application with Cargo #69: Pull request #36 synchronize by ZachJHansen
November 28, 2023 17:40 55s zach/ast_changes
zach/ast_changes
November 28, 2023 17:40 55s
Zach/ast changes Build the application with Cargo #68: Pull request #36 opened by ZachJHansen
November 28, 2023 17:28 48s zach/ast_changes
zach/ast_changes
November 28, 2023 17:28 48s
Move UnboxedFormula in a separate module for convenience features Build the application with Cargo #67: Commit 2573625 pushed by ZachJHansen
November 23, 2023 16:37 51s master
master
November 23, 2023 16:37 51s
Add a first batch of simplifications Build the application with Cargo #66: Pull request #35 synchronize by teiesti
November 22, 2023 22:14 53s tobias/simplifications
tobias/simplifications
November 22, 2023 22:14 53s
Add a first batch of simplifications Build the application with Cargo #65: Pull request #35 synchronize by teiesti
November 18, 2023 04:47 49s tobias/simplifications
tobias/simplifications
November 18, 2023 04:47 49s
Add a first batch of simplifications Build the application with Cargo #64: Pull request #35 opened by teiesti
November 18, 2023 04:39 45s tobias/simplifications
tobias/simplifications
November 18, 2023 04:39 45s
Add variable-methods to the FOL nodes Build the application with Cargo #63: Commit 54d65e2 pushed by teiesti
November 14, 2023 17:26 48s master
master
November 14, 2023 17:26 48s
Add various helper methods to the syntax tree Build the application with Cargo #62: Pull request #33 opened by teiesti
November 14, 2023 17:24 52s tobias/syntax_tree_helpers
tobias/syntax_tree_helpers
November 14, 2023 17:24 52s
Change the minimum supported Rust version to 1.70.0 Build the application with Cargo #61: Commit decae59 pushed by teiesti
November 14, 2023 16:44 1m 1s master
master
November 14, 2023 16:44 1m 1s
Change the minimum supported Rust version to 1.70.0 Build the application with Cargo #60: Pull request #32 opened by teiesti
November 14, 2023 14:48 51s tobias/msrv
tobias/msrv
November 14, 2023 14:48 51s
Adding tests for TRUTH logical primitive Build the application with Cargo #59: Commit 31f7ac9 pushed by teiesti
November 14, 2023 14:44 6m 25s master
master
November 14, 2023 14:44 6m 25s
Add TRUE as a logical primitive to the target language Build the application with Cargo #58: Pull request #31 opened by teiesti
November 14, 2023 14:36 5m 46s tobias/truth
tobias/truth
November 14, 2023 14:36 5m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-11-14 or the other filters available.