Skip to content

Actions: tudo-aqua/konstraints

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
648 workflow runs
648 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Basic model generation CI/CD #23: Commit 578cd88 pushed by laurenzlevi
March 6, 2024 12:19 5m 39s new-architecture
new-architecture
March 6, 2024 12:19 5m 39s
DeclareSort prototype CI/CD #22: Commit 90d80a3 pushed by laurenzlevi
March 4, 2024 11:17 5m 28s new-architecture
new-architecture
March 4, 2024 11:17 5m 28s
Implemented theory of Arrays CI/CD #21: Commit e5a607f pushed by laurenzlevi
March 1, 2024 12:39 5m 36s new-architecture
new-architecture
March 1, 2024 12:39 5m 36s
Implemented sort signature CI/CD #20: Commit ad287c7 pushed by laurenzlevi
March 1, 2024 11:12 6m 7s new-architecture
new-architecture
March 1, 2024 11:12 6m 7s
Implemented string theory declarations CI/CD #19: Commit d33e72b pushed by laurenzlevi
February 29, 2024 14:55 7m 3s new-architecture
new-architecture
February 29, 2024 14:55 7m 3s
Basic QF_FP tests CI/CD #18: Commit b7f7850 pushed by laurenzlevi
February 28, 2024 15:04 5m 35s new-architecture
new-architecture
February 28, 2024 15:04 5m 35s
Applied spotless CI/CD #17: Commit e707ca1 pushed by laurenzlevi
February 28, 2024 13:22 7m 10s new-architecture
new-architecture
February 28, 2024 13:22 7m 10s
Fixed misuse of Expression.symbol CI/CD #16: Commit b1fb1b0 pushed by laurenzlevi
February 28, 2024 13:20 6m 1s new-architecture
new-architecture
February 28, 2024 13:20 6m 1s
Implemented Z3 integration for floating point CI/CD #15: Commit 2e16084 pushed by laurenzlevi
February 27, 2024 15:10 6m 5s new-architecture
new-architecture
February 27, 2024 15:10 6m 5s
Implemented floating point theory declarations CI/CD #14: Commit 106338c pushed by laurenzlevi
February 27, 2024 12:39 5m 33s new-architecture
new-architecture
February 27, 2024 12:39 5m 33s
Implemented theory of floating points CI/CD #13: Commit d11c526 pushed by laurenzlevi
February 27, 2024 10:27 7m 22s new-architecture
new-architecture
February 27, 2024 10:27 7m 22s
Implemented theory of Reals_Ints CI/CD #12: Commit d031df2 pushed by laurenzlevi
February 26, 2024 14:42 6m 50s new-architecture
new-architecture
February 26, 2024 14:42 6m 50s
Implemented theory of reals CI/CD #11: Commit e2b259f pushed by laurenzlevi
February 26, 2024 13:58 9m 52s new-architecture
new-architecture
February 26, 2024 13:58 9m 52s
Implemented theory of ints CI/CD #10: Commit cba1e68 pushed by laurenzlevi
February 26, 2024 12:35 6m 32s new-architecture
new-architecture
February 26, 2024 12:35 6m 32s
Created new packages theories and smt CI/CD #9: Commit 79bc2c5 pushed by laurenzlevi
February 26, 2024 09:19 3m 25s new-architecture
new-architecture
February 26, 2024 09:19 3m 25s
Implemented better parsing error messages CI/CD #8: Commit a45e7fc pushed by laurenzlevi
February 16, 2024 14:42 3m 35s new-architecture
new-architecture
February 16, 2024 14:42 3m 35s
Spotless CI/CD #7: Commit 8d5cc18 pushed by laurenzlevi
February 15, 2024 14:02 4m 9s new-architecture
new-architecture
February 15, 2024 14:02 4m 9s
Implemented function indices CI/CD #6: Commit 50562ab pushed by laurenzlevi
February 6, 2024 16:38 4m 14s new-architecture
new-architecture
February 6, 2024 16:38 4m 14s
Index function proof of concept CI/CD #5: Commit 4e72d9e pushed by laurenzlevi
January 30, 2024 10:16 3m 47s new-architecture
new-architecture
January 30, 2024 10:16 3m 47s
Added parsing function CI/CD #4: Commit b7d38d4 pushed by laurenzlevi
January 22, 2024 10:22 3m 36s new-architecture
new-architecture
January 22, 2024 10:22 3m 36s
Added several commands CI/CD #3: Commit 46c224e pushed by laurenzlevi
January 19, 2024 15:20 4m 49s new-architecture
new-architecture
January 19, 2024 15:20 4m 49s
Experimental error message generation CI/CD #2: Commit cd19555 pushed by laurenzlevi
January 16, 2024 09:57 3m 8s new-architecture
new-architecture
January 16, 2024 09:57 3m 8s
fix import order CI/CD #1: Commit 82d5be8 pushed by no-preserve-root
December 20, 2023 15:41 3m 45s new-architecture
new-architecture
December 20, 2023 15:41 3m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-12-20 or the other filters available.