Skip to content

Actions: dobios/btor2-opt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #18 from dobios/betterparser Python application #60: Commit 5a5e025 pushed by dobios
14s main
main
14s
added nix file Python application #59: Pull request #18 synchronize by dobios
19s betterparser
betterparser
19s
added nix file Python application #58: Pull request #18 opened by dobios
21s betterparser
betterparser
21s
bump version 0.2.2 -> 0.3.0 Python application #57: Commit 206c2da pushed by dobios
19s main
main
19s
Merge pull request #17 from dobios/betterparser Python application #56: Commit 22ad445 pushed by dobios
19s main
main
19s
Better Parsing Python application #55: Pull request #17 synchronize by dobios
20s betterparser
betterparser
20s
Better Parsing Python application #54: Pull request #17 synchronize by dobios
24s betterparser
betterparser
24s
Better Parsing Python application #53: Pull request #17 synchronize by dobios
26s betterparser
betterparser
26s
Better Parsing Python application #52: Pull request #17 synchronize by dobios
19s betterparser
betterparser
19s
Better Parsing Python application #51: Pull request #17 synchronize by dobios
15s betterparser
betterparser
15s
Better Parsing Python application #50: Pull request #17 synchronize by dobios
14s betterparser
betterparser
14s
Better Parsing Python application #49: Pull request #17 synchronize by dobios
15s betterparser
betterparser
15s
Better Parsing Python application #48: Pull request #17 synchronize by dobios
20s betterparser
betterparser
20s
Better Parsing Python application #47: Pull request #17 opened by dobios
15s betterparser
betterparser
15s
bump version 0.2.1 -> 0.2.2 Python application #46: Commit a89484c pushed by dobios
21s main
main
21s
Merge pull request #16 from sanchezocegueda/insts Python application #45: Commit 4f60c8f pushed by dobios
23s main
main
23s
Insts Python application #44: Pull request #16 synchronize by dobios
21s sanchezocegueda:insts
sanchezocegueda:insts
21s
Insts Python application #43: Pull request #16 synchronize by dobios
16s sanchezocegueda:insts
sanchezocegueda:insts
16s
Insts Python application #42: Pull request #16 opened by sanchezocegueda
18s sanchezocegueda:insts
sanchezocegueda:insts
18s
[WIP] Contract Replacement Pass Python application #41: Pull request #10 synchronize by dobios
21s contracts
contracts
21s
bump version 0.2.0 -> 0.2.1 Python application #40: Commit 5d38a57 pushed by dobios
19s main
main
19s
Merge pull request #15 from dobios/dobios-patch-1 Python application #39: Commit 19df685 pushed by dobios
22s main
main
22s
Update README.md Python application #38: Pull request #15 opened by dobios
18s dobios-patch-1
dobios-patch-1
18s
finished bug fixes from #14 Python application #37: Commit 17b8c48 pushed by dobios
20s main
main
20s
Merge pull request #14 from sanchezocegueda/main Python application #36: Commit 06de8c6 pushed by dobios
22s main
main
22s