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

Merge pull request #90 from uuverifiers/fix-str-reflexive Scala CI #94: Commit 80c8072 pushed by pruemmer
September 11, 2024 09:58 2m 15s master
master
September 11, 2024 09:58 2m 15s
fix reflexivity of strings Scala CI #93: Pull request #90 opened by OliverMa1
September 11, 2024 07:35 2m 15s fix-str-reflexive
fix-str-reflexive
September 11, 2024 07:35 2m 15s
fixed the last fix Scala CI #92: Commit 6e4977b pushed by pruemmer
September 10, 2024 19:49 2m 7s master
master
September 10, 2024 19:49 2m 7s
addressed bug #87; fixed the translation of str.prefixof to equations Scala CI #91: Commit 71e402f pushed by pruemmer
September 10, 2024 19:18 2m 6s master
master
September 10, 2024 19:18 2m 6s
updated versions Scala CI #90: Commit f41eab0 pushed by pruemmer
August 19, 2024 13:09 2m 11s master
master
August 19, 2024 13:09 2m 11s
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