Skip to content

Actions: uuverifiers/ostrich

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Avoid use of global Regex2PFA datastructures Scala CI #89: Commit 7996c8a pushed by pruemmer
July 23, 2024 15:24 2m 1s master
master
July 23, 2024 15:24 2m 1s
do not add any length information with option -length=off Scala CI #88: Commit 713021d pushed by pruemmer
July 16, 2024 09:15 2m 6s master
master
July 16, 2024 09:15 2m 6s
timeouts in length abstraction Scala CI #87: Commit f7f0aa8 pushed by pruemmer
June 10, 2024 12:24 2m 6s master
master
June 10, 2024 12:24 2m 6s
flags Scala CI #86: Commit c1419ca pushed by pruemmer
June 7, 2024 15:56 2m 10s master
master
June 7, 2024 15:56 2m 10s
âdd missing flags Scala CI #85: Commit b804e23 pushed by OliverMa1
June 7, 2024 12:01 2m 13s master
master
June 7, 2024 12:01 2m 13s
fix bug where unsat was returned for sat cases Scala CI #84: Commit 266d40d pushed by OliverMa1
June 7, 2024 11:26 2m 23s master
master
June 7, 2024 11:26 2m 23s
change flags Scala CI #83: Commit a1be3cd pushed by OliverMa1
June 4, 2024 11:27 2m 9s master
master
June 4, 2024 11:27 2m 9s
add RCP to portfolio Scala CI #82: Commit 3b88e0a pushed by pruemmer
June 4, 2024 10:47 2m 3s master
master
June 4, 2024 10:47 2m 3s
implement some new propagation strategies Scala CI #81: Pull request #79 synchronize by OliverMa1
June 4, 2024 09:29 2m 3s forward-propagation
forward-propagation
June 4, 2024 09:29 2m 3s
implement some new propagation strategies Scala CI #80: Pull request #79 synchronize by OliverMa1
May 29, 2024 14:56 2m 12s forward-propagation
forward-propagation
May 29, 2024 14:56 2m 12s
implement some new propagation strategies Scala CI #79: Pull request #79 synchronize by OliverMa1
May 29, 2024 09:46 2m 6s forward-propagation
forward-propagation
May 29, 2024 09:46 2m 6s
fix some warnings Scala CI #78: Commit 592f9a7 pushed by pruemmer
May 28, 2024 13:31 2m 14s master
master
May 28, 2024 13:31 2m 14s
hooks to add further functions to theory Scala CI #77: Commit 2f9d06b pushed by pruemmer
May 23, 2024 19:00 2m 8s master
master
May 23, 2024 19:00 2m 8s
implement some new propagation strategies Scala CI #76: Pull request #79 synchronize by OliverMa1
May 21, 2024 10:43 2m 33s forward-propagation
forward-propagation
May 21, 2024 10:43 2m 33s
further operator Scala CI #75: Commit e386836 pushed by pruemmer
April 8, 2024 13:39 2m 20s master
master
April 8, 2024 13:39 2m 20s
Ostrich is no longer restricted to straightline Scala CI #74: Commit 1accb51 pushed by pruemmer
March 25, 2024 17:20 2m 6s master
master
March 25, 2024 17:20 2m 6s
revised monadic length conversion code a bit Scala CI #73: Commit 1ca4851 pushed by pruemmer
March 25, 2024 17:18 2m 13s master
master
March 25, 2024 17:18 2m 13s
Automata length Scala CI #72: Pull request #82 opened by OliverMa1
March 22, 2024 17:05 2m 12s automata-length
automata-length
March 22, 2024 17:05 2m 12s
newest version of Princess Scala CI #71: Commit 5dd2e10 pushed by pruemmer
March 7, 2024 19:46 2m 12s master
master
March 7, 2024 19:46 2m 12s
Merge pull request #80 from uuverifiers/automaton-parser Scala CI #70: Commit 24d7ad3 pushed by pruemmer
March 5, 2024 08:00 2m 7s master
master
March 5, 2024 08:00 2m 7s
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