Default branch

master 175625f43c · don't unfold recursive defs if there is an uninterpreted subterm, #7671 · Updated 2025-12-10 08:26:21 +00:00

Branches

copilot/add-finite-set-constructors 7ab0049612 · Add documentation for finite set API · Updated 2025-10-21 20:29:12 +00:00	138 67
copilot/rename-set-select-to-filter 9373311baf · Merge branch 'finite-sets' into copilot/rename-set-select-to-filter · Updated 2025-10-18 10:10:11 +00:00	138 58
copilot/implement-fresh-value-algorithm 30812ec54d · Replace values.back() with values.get(N) as requested · Updated 2025-10-17 08:03:35 +00:00	138 51
revert-7981-copilot/add-finite-set-value-factory 858a3134fa · Revert "Add finite_set_value_factory for creating finite set values in model …" · Updated 2025-10-16 11:18:21 +00:00	111 1
copilot/add-finite-set-value-factory 0e068e4567 · Update finite_set_value_factory.cpp · Updated 2025-10-16 11:16:30 +00:00	116 15
copilot/update-finite-set-check-function a9a61912b9 · Merge branch 'finite-sets' into copilot/update-finite-set-check-function · Updated 2025-10-16 06:31:53 +00:00	138 41
copilot/update-finite-set-fully-interp c1665a5cad · Refine is_fully_interp implementation with SASSERT · Updated 2025-10-15 19:41:05 +00:00	138 39
copilot/add-rewrite-rules-finite-set-rewriter c502c62997 · Merge branch 'finite-sets' into copilot/add-rewrite-rules-finite-set-rewriter · Updated 2025-10-15 16:45:57 +00:00	138 37
copilot/complete-finite-set-header 624be326ad · Add placeholder methods for lemma instantiation · Updated 2025-10-15 12:54:39 +00:00	138 40
copilot/update-api-z3-mk-datatype-sort 6406265800 · Add polymorphic datatype example to C++ examples · Updated 2025-10-15 07:53:10 +00:00	117 11
copilot/implement-inverter-functions-finite-set-operators 356e631750 · Change OP_SET_UNION to OP_FINITE_SET_UNION · Updated 2025-10-14 15:48:19 +00:00	138 23
copilot/add-implementation-finite-set-axioms 20e59cd65c · Merge branch 'finite-sets' into copilot/add-implementation-finite-set-axioms · Updated 2025-10-14 15:16:15 +00:00	138 25
copilot/add-finite-set-rewriter 9a6897cbb0 · Update finite_set_rewriter.h · Updated 2025-10-14 15:12:40 +00:00	138 24
copilot/fix-dd97045b-5ca3-4f7b-8edf-c3764fc4e5fd ce8ef4f19e · Add mutex to warning.cpp for thread safety · Updated 2025-10-06 20:34:13 +00:00	137 2
copilot/fix-8720d50e-3ea8-4d98-8aed-98393b4b96aa b53896f6b3 · Add is_finite_set helper and parameter count validation · Updated 2025-10-06 16:16:25 +00:00	138 12
par d04433ef70 · config parameters · Updated 2025-09-20 17:44:49 +00:00	167 7
copilot/fix-7941 04d9f58713 · Complete max PB constraints optimization with tests · Updated 2025-09-19 21:29:24 +00:00	164 4
daily-test-improver-expr-context-simplifier-tests-92d84ac6eb401c41 2bb66adc06 · Add comprehensive test infrastructure for expression context simplifier · Updated 2025-09-19 14:36:11 +00:00	165 1
daily-test-improver-array-peq-tests-4dee5e83be600bcf 3c1a4be659 · Add comprehensive tests for array partial equality (array_peq) · Updated 2025-09-19 13:09:12 +00:00	165 1
daily-test-improver-ast-printer-tests-f01c21ee11444fc9 be8ea18a80 · Daily Test Coverage Improver: Add test infrastructure for AST printer module · Updated 2025-09-19 03:16:25 +00:00	165 1