Default branch

master 459629c662 · bugfixes to ho_matcher · Updated 2026-05-24 01:06:04 +00:00

Branches

daily-backlog-burner-issue-templates-a5164506b19a6d1c 8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00	2186 1
daily-backlog-burner/add-clang-format-b2c2bf893132649d be174cef87 · Add .clang-format file for consistent C++ code formatting · Updated 2025-09-17 01:34:15 +00:00	2193 1
daily-perf-improver-699a33043be4ab3a 7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00	2202 4
ilana ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00	2364 104
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	3233 1
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	3492 436
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	3829 1660
synth 8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors	4238 45
xor 8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors	4944 65
smtmus ec1a04bbb5 · merge · Updated 2022-01-07 20:57:39 +00:00    mirrors	6120 19
rs 4028ffa995 · merge · Updated 2020-03-03 02:16:07 +00:00    mirrors	9326 2