Skip to content

Actions: alegnani/verifactory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
added test for #20 Rust #34: Commit 6b26c3c pushed by alegnani
June 13, 2024 11:05 54s fix-unsoundness
fix-unsoundness
June 13, 2024 11:05 54s
reverse graph before simplifying, fixes #20 Rust #33: Commit c2636be pushed by alegnani
June 13, 2024 10:33 2m 34s fix-unsoundness
fix-unsoundness
June 13, 2024 10:33 2m 34s
updated flake Rust #32: Commit 0dfe644 pushed by alegnani
June 11, 2024 19:50 2m 41s z3-graph
z3-graph
June 11, 2024 19:50 2m 41s
Merge pull request #19 from zeskeertwee/threads Rust #31: Commit b70168d pushed by alegnani
June 11, 2024 15:45 45s feature/threads
feature/threads
June 11, 2024 15:45 45s
Merge pull request #17 from alegnani/ui_feature_16 Rust #30: Commit 61b0ce5 pushed by alegnani
June 11, 2024 14:25 2m 38s feature/threads
feature/threads
June 11, 2024 14:25 2m 38s
Implement threads for proving, working on #18 Rust #29: Pull request #19 opened by alegnani
June 11, 2024 14:20 2m 10s zeskeertwee:threads
zeskeertwee:threads
June 11, 2024 14:20 2m 10s
Merge pull request #17 from alegnani/ui_feature_16 Rust #28: Commit 61b0ce5 pushed by alegnani
February 11, 2024 10:55 2m 32s main
main
February 11, 2024 10:55 2m 32s
Added UI improvments for IO selection/deselection Rust #27: Pull request #17 synchronize by alegnani
February 11, 2024 10:52 47s ui_feature_16
ui_feature_16
February 11, 2024 10:52 47s
added shortcut hint Rust #26: Commit ec78543 pushed by alegnani
February 11, 2024 10:52 1m 7s ui_feature_16
ui_feature_16
February 11, 2024 10:52 1m 7s
Added UI improvments for IO selection/deselection Rust #25: Pull request #17 opened by alegnani
February 11, 2024 10:47 3m 3s ui_feature_16
ui_feature_16
February 11, 2024 10:47 3m 3s
added submenu for select all, fixes #16 Rust #24: Commit bd1ca0b pushed by alegnani
February 11, 2024 10:46 51s ui_feature_16
ui_feature_16
February 11, 2024 10:46 51s
added submenu for select all Rust #23: Commit 7f833e4 pushed by alegnani
February 11, 2024 10:42 2m 40s ui_feature_16
ui_feature_16
February 11, 2024 10:42 2m 40s
Merge pull request #13 from alegnani/release-v0.4.0 Publish release #5: Commit 362af99 pushed by alegnani
January 16, 2024 08:49 17m 16s v0.4.0
v0.4.0
January 16, 2024 08:49 17m 16s
Merge pull request #13 from alegnani/release-v0.4.0 Rust #22: Commit 362af99 pushed by alegnani
January 16, 2024 08:33 2m 42s main
main
January 16, 2024 08:33 2m 42s
Release v0.4.0 Rust #21: Pull request #13 opened by alegnani
January 16, 2024 08:23 2m 44s release-v0.4.0
release-v0.4.0
January 16, 2024 08:23 2m 44s
removed z3 from app dependencies Rust #20: Commit c5a6595 pushed by alegnani
January 15, 2024 10:38 2m 29s release-v0.4.0
release-v0.4.0
January 15, 2024 10:38 2m 29s
feature flag, lto and stripping Rust #19: Commit bfb6622 pushed by alegnani
January 15, 2024 10:37 2m 14s release-v0.4.0
release-v0.4.0
January 15, 2024 10:37 2m 14s
Split into lib and app Rust #18: Commit 181d531 pushed by alegnani
January 14, 2024 17:13 2m 25s release-v0.4.0
release-v0.4.0
January 14, 2024 17:13 2m 25s
Split into lib and app Rust #17: Commit ef5dd14 pushed by alegnani
January 14, 2024 17:07 2m 43s release-v0.4.0
release-v0.4.0
January 14, 2024 17:07 2m 43s
bumped all dependencies Rust #16: Commit 8f2ae94 pushed by alegnani
January 11, 2024 14:48 2m 34s release-v0.4.0
release-v0.4.0
January 11, 2024 14:48 2m 34s
fixed #12 Rust #15: Commit 039d56b pushed by alegnani
January 11, 2024 14:08 2m 4s release-v0.4.0
release-v0.4.0
January 11, 2024 14:08 2m 4s
added nix flake Rust #12: Commit 54c2ee6 pushed by alegnani
January 9, 2024 15:29 2m 19s main
main
January 9, 2024 15:29 2m 19s
Renamed to VeriFactory Publish release #4: Commit e6b4db8 pushed by alegnani
January 7, 2024 11:22 17m 31s v0.3.2
v0.3.2
January 7, 2024 11:22 17m 31s
Renamed to VeriFactory Rust #11: Commit e6b4db8 pushed by alegnani
January 7, 2024 11:17 1m 4s main
main
January 7, 2024 11:17 1m 4s
Renamed to VeriFactory Publish release #3: Commit 4fd1c88 pushed by alegnani
January 7, 2024 10:51 13m 44s v0.3.1
v0.3.1
January 7, 2024 10:51 13m 44s