Skip to content

Actions: sfiruch/SATInterface

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge .NET #109: Commit 0bde217 pushed by sfiruch
September 30, 2024 23:09 2m 33s master
master
September 30, 2024 23:09 2m 33s
add ReverseGameOfLife .NET #108: Commit b63ca87 pushed by sfiruch
September 30, 2024 20:48 2m 37s master
master
September 30, 2024 20:48 2m 37s
update CaDiCaL and Kissat .NET #107: Commit 4aa79fe pushed by sfiruch
August 5, 2024 12:53 2m 37s master
master
August 5, 2024 12:53 2m 37s
tuning .NET #106: Commit 76c6e04 pushed by sfiruch
March 20, 2024 11:08 2m 37s master
master
March 20, 2024 11:08 2m 37s
tuning .NET #105: Commit 695616b pushed by sfiruch
March 15, 2024 12:52 2m 40s master
master
March 15, 2024 12:52 2m 40s
address compiler messages .NET #104: Commit a3089c8 pushed by sfiruch
February 29, 2024 13:05 2m 30s master
master
February 29, 2024 13:05 2m 30s
add xor tests .NET #103: Commit 0f3253e pushed by sfiruch
February 29, 2024 12:47 2m 27s master
master
February 29, 2024 12:47 2m 27s
reenabled UIntCache .NET #102: Commit 2764daa pushed by sfiruch
February 27, 2024 10:56 2m 34s master
master
February 27, 2024 10:56 2m 34s
release 5.1.4 .NET #101: Commit e9242b5 pushed by sfiruch
February 23, 2024 14:53 2m 36s master
master
February 23, 2024 14:53 2m 36s
improved xor performance for SAT .NET #100: Commit f2d2efa pushed by sfiruch
February 20, 2024 15:06 3m 3s master
master
February 20, 2024 15:06 3m 3s
pass readonly struct with in .NET #99: Commit 35b07fa pushed by sfiruch
February 3, 2024 12:27 2m 47s master
master
February 3, 2024 12:27 2m 47s
version 5.1.3 .NET #98: Commit b903435 pushed by sfiruch
February 3, 2024 07:59 2m 41s master
master
February 3, 2024 07:59 2m 41s
clearer exceptions .NET #97: Commit b28ef77 pushed by sfiruch
January 24, 2024 21:43 2m 40s master
master
January 24, 2024 21:43 2m 40s
add test for privately reported issue .NET #96: Commit 54f650e pushed by sfiruch
January 14, 2024 20:11 2m 44s master
master
January 14, 2024 20:11 2m 44s
version 5.1.2: make public API easier to use .NET #95: Commit 1bc97d4 pushed by sfiruch
January 14, 2024 20:08 2m 36s master
master
January 14, 2024 20:08 2m 36s
Merge branch 'master' of https://github.com/deiruch/SATInterface .NET #94: Commit c15c8f1 pushed by sfiruch
November 27, 2023 09:47 2m 54s master
master
November 27, 2023 09:47 2m 54s
Update dotnet.yml to .NET 8 .NET #93: Commit d9dcb63 pushed by sfiruch
November 27, 2023 09:42 1m 28s master
master
November 27, 2023 09:42 1m 28s
update examples to .NET 8 .NET #92: Commit 2c11378 pushed by sfiruch
November 27, 2023 09:21 1m 16s master
master
November 27, 2023 09:21 1m 16s
fix borked tests .NET #91: Commit 1e6009c pushed by sfiruch
November 21, 2023 14:20 2m 43s master
master
November 21, 2023 14:20 2m 43s
crank the difficulty of brent eq .NET #90: Commit bac108b pushed by sfiruch
November 21, 2023 13:53 2m 28s master
master
November 21, 2023 13:53 2m 28s
version 5.1.0 .NET #89: Commit c1d3179 pushed by sfiruch
November 21, 2023 10:06 7m 11s master
master
November 21, 2023 10:06 7m 11s
better encoding .NET #88: Commit e61b810 pushed by sfiruch
November 21, 2023 10:06 2m 45s master
master
November 21, 2023 10:06 2m 45s
PHF for LE constrs .NET #87: Commit 13ccd11 pushed by sfiruch
September 24, 2023 08:44 4m 47s master
master
September 24, 2023 08:44 4m 47s
update tests .NET #86: Commit 91a23fd pushed by sfiruch
September 8, 2023 19:10 3m 6s master
master
September 8, 2023 19:10 3m 6s
fix missing using .NET #85: Commit ca223a9 pushed by sfiruch
September 5, 2023 13:50 3m 13s master
master
September 5, 2023 13:50 3m 13s