Skip to content

Actions: aaw/cnfc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add example of minimizing multiplications in matrix products Python package #116: Commit 43f3714 pushed by aaw
January 25, 2025 13:58 29s master
master
January 25, 2025 13:58 29s
bump version Python package #115: Commit b28436d pushed by aaw
January 19, 2025 13:37 28s master
master
January 19, 2025 13:37 28s
support restricted integer subtraction Python package #114: Commit e8a5c27 pushed by aaw
January 19, 2025 13:34 31s master
master
January 19, 2025 13:34 31s
removing a TODO that is TODONE Python package #113: Commit 8a638d6 pushed by aaw
January 18, 2025 21:44 32s master
master
January 18, 2025 21:44 32s
allow NumTrue/NumFalse to be used in more complicated expressions Python package #112: Commit bb29f79 pushed by aaw
January 18, 2025 21:41 31s master
master
January 18, 2025 21:41 31s
Make cardinality generators iterative so we don't get RecursionErrors Python package #111: Commit bfc58b8 pushed by aaw
January 11, 2025 15:28 29s master
master
January 11, 2025 15:28 29s
bump version Python package #110: Commit ae80188 pushed by aaw
January 5, 2025 15:40 25s master
master
January 5, 2025 15:40 25s
Fix bug spotted by stefahoelzl Python package #109: Commit 04e440a pushed by aaw
January 5, 2025 15:39 25s master
master
January 5, 2025 15:39 25s
bump version Python package #108: Commit 17a9300 pushed by aaw
January 5, 2025 13:27 26s master
master
January 5, 2025 13:27 26s
fix a bug in mod (incorrect intermediate result bitwidth estimate), s… Python package #107: Commit e21658b pushed by aaw
January 4, 2025 20:42 28s master
master
January 4, 2025 20:42 28s
fix link Python package #106: Commit dcf734a pushed by aaw
January 2, 2025 22:08 26s master
master
January 2, 2025 22:08 26s
add somewhat square sudoku example Python package #105: Commit ab87b72 pushed by aaw
January 2, 2025 22:07 30s master
master
January 2, 2025 22:07 30s
update examples index Python package #104: Commit 0201af0 pushed by aaw
November 29, 2024 15:00 37s master
master
November 29, 2024 15:00 37s
add strongly regular graph generator Python package #103: Commit 3e261be pushed by aaw
November 29, 2024 14:59 29s master
master
November 29, 2024 14:59 29s
update todo Python package #102: Commit 0cdac76 pushed by aaw
August 3, 2024 14:15 27s master
master
August 3, 2024 14:15 27s
Replace DPLL solver in tests with millisat, a CDCL solver. Enable all… Python package #101: Commit d259033 pushed by aaw
July 26, 2024 14:06 29s master
master
July 26, 2024 14:06 29s
adding some extras to altered states 2 example Python package #100: Commit 93cd508 pushed by aaw
July 2, 2024 11:45 24s master
master
July 2, 2024 11:45 24s
Support exponentiation and modular exponentiation Python package #99: Commit 9efcbc0 pushed by aaw
June 28, 2024 10:39 30s master
master
June 28, 2024 10:39 30s
update TODO Python package #98: Commit 4b777ba pushed by aaw
June 16, 2024 14:14 27s master
master
June 16, 2024 14:14 27s
add Jane St. altered states puzzles 1 and 2 Python package #97: Commit 2bbe43c pushed by aaw
June 10, 2024 11:14 28s master
master
June 10, 2024 11:14 28s
add jane st. number cross 4 example Python package #96: Commit a3f0f0f pushed by aaw
May 18, 2024 16:49 25s master
master
May 18, 2024 16:49 25s
add IsPalindrome for Integers Python package #95: Commit 72442e8 pushed by aaw
May 18, 2024 16:47 25s master
master
May 18, 2024 16:47 25s
TupleTernaryExpr should define its own length instead of inherit Python package #94: Commit cb315f6 pushed by aaw
May 9, 2024 10:59 25s master
master
May 9, 2024 10:59 25s
implement polymorphic If: implication with two params, ternary operat… Python package #93: Commit 342fba7 pushed by aaw
May 7, 2024 11:23 23s master
master
May 7, 2024 11:23 23s
bump version Python package #92: Commit 9e632f7 pushed by aaw
April 28, 2024 15:00 23s master
master
April 28, 2024 15:00 23s