Skip to content

Actions: uuverifiers/ostrich

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automaton parser Scala CI #69: Pull request #80 opened by OliverMa1
March 1, 2024 14:15 12m 31s automaton-parser
automaton-parser
March 1, 2024 14:15 12m 31s
implement some new propagation strategies Scala CI #68: Pull request #79 synchronize by OliverMa1
January 26, 2024 21:53 59s forward-propagation
forward-propagation
January 26, 2024 21:53 59s
second part of the fix Scala CI #67: Commit 144d54f pushed by pruemmer
January 26, 2024 09:09 2m 5s master
master
January 26, 2024 09:09 2m 5s
(somewhat) more reliably load the strings portofolios Scala CI #66: Commit 0130775 pushed by pruemmer
January 26, 2024 08:54 2m 4s master
master
January 26, 2024 08:54 2m 4s
changes that make compilation with Scala 2.13 easier Scala CI #65: Commit 814f5f3 pushed by pruemmer
January 24, 2024 16:39 2m 6s master
master
January 24, 2024 16:39 2m 6s
more Scala CI #64: Commit 6cff2e7 pushed by pruemmer
January 24, 2024 13:30 56s master
master
January 24, 2024 13:30 56s
links Scala CI #63: Commit 73a1908 pushed by pruemmer
January 15, 2024 09:32 2m 2s master
master
January 15, 2024 09:32 2m 2s
implement some new propagation strategies Scala CI #62: Pull request #79 synchronize by pruemmer
January 12, 2024 12:57 2m 25s forward-propagation
forward-propagation
January 12, 2024 12:57 2m 25s
implement some new propagation strategies Scala CI #61: Pull request #79 synchronize by pruemmer
January 12, 2024 08:17 2m 14s forward-propagation
forward-propagation
January 12, 2024 08:17 2m 14s
stable dependencies Scala CI #60: Commit b6ee312 pushed by pruemmer
January 12, 2024 08:01 2m 9s master
master
January 12, 2024 08:01 2m 9s
implement some new propagation strategies Scala CI #59: Pull request #79 synchronize by OliverMa1
January 11, 2024 20:24 49s forward-propagation
forward-propagation
January 11, 2024 20:24 49s
implement some new propagation strategies Scala CI #58: Pull request #79 synchronize by OliverMa1
January 11, 2024 16:07 45s forward-propagation
forward-propagation
January 11, 2024 16:07 45s
implement some new propagation strategies Scala CI #57: Pull request #79 synchronize by OliverMa1
January 11, 2024 16:03 49s forward-propagation
forward-propagation
January 11, 2024 16:03 49s
implement some new propagation strategies Scala CI #56: Pull request #79 synchronize by OliverMa1
January 11, 2024 15:54 44s forward-propagation
forward-propagation
January 11, 2024 15:54 44s
url Scala CI #55: Commit 7a649c9 pushed by pruemmer
January 10, 2024 10:20 50s master
master
January 10, 2024 10:20 50s
cleanup Scala CI #54: Commit 420e46d pushed by pruemmer
January 3, 2024 11:04 2m 21s master
master
January 3, 2024 11:04 2m 21s
support for str.< Scala CI #53: Commit 442db71 pushed by pruemmer
December 12, 2023 10:37 1m 59s master
master
December 12, 2023 10:37 1m 59s
Merge pull request #78 from uuverifiers/post-image Scala CI #52: Commit fc25cb9 pushed by pruemmer
December 12, 2023 10:22 1m 57s master
master
December 12, 2023 10:22 1m 57s
fix bug in postimage computation Scala CI #51: Pull request #78 opened by OliverMa1
December 12, 2023 09:34 1m 56s post-image
post-image
December 12, 2023 09:34 1m 56s
proof extraction Scala CI #50: Commit 5a836e5 pushed by pruemmer
November 30, 2023 13:57 2m 4s master
master
November 30, 2023 13:57 2m 4s
added a negative test Scala CI #49: Commit a403086 pushed by pruemmer
November 25, 2023 08:57 1m 59s master
master
November 25, 2023 08:57 1m 59s
add limited support for str.<= (constant on one side is supported) Scala CI #48: Pull request #77 synchronize by OliverMa1
November 23, 2023 16:51 1m 59s str-less-equal
str-less-equal
November 23, 2023 16:51 1m 59s
add limited support for str.<= (constant on one side is supported) Scala CI #47: Pull request #77 synchronize by OliverMa1
November 23, 2023 16:23 2m 0s str-less-equal
str-less-equal
November 23, 2023 16:23 2m 0s
add limited support for str.<= (constant on one side is supported) Scala CI #46: Pull request #77 opened by OliverMa1
November 23, 2023 15:40 2m 6s str-less-equal
str-less-equal
November 23, 2023 15:40 2m 6s
actually use the new shortest-match preops Scala CI #45: Commit 70d01e2 pushed by pruemmer
July 25, 2023 10:01 2m 41s master
master
July 25, 2023 10:01 2m 41s