Default branch

master 38a346fa1b · change logic NRA->ALL in log_lemma · Updated 2025-11-01 18:47:30 +00:00

Branches

parallel 863d0e3e5e · remove extra field in on_clause · Updated 2025-11-01 15:53:08 +00:00	51 27
copilot/extend-api-support-finite-sets f234acd7d9 · Add FiniteSetSort files to CMakeLists.txt build configurations · Updated 2025-10-30 15:47:32 +00:00	51 116
arie 706aff74ff · fixup comparison with bounds · Updated 2025-10-30 15:26:13 +00:00	68 79
argnd 657e8c9da7 · fix param evaluation non-determinism · Updated 2025-10-30 15:09:06 +00:00	12 22
finite-sets 98090fbf50 · Add finite_set API bindings for ML, TypeScript, and Julia (#8005) · Updated 2025-10-30 10:15:01 +00:00	51 126
copilot/add-api-functions-finite-set 1bde31d695 · Add finite_set API functions to Julia bindings · Updated 2025-10-30 01:46:22 +00:00	51 114
copilot/add-finite-set-operators 973123aa8d · Improve documentation for Z3_OP_FINITE_SET_EXT and Z3_OP_FINITE_SET_MAP_INVERSE · Updated 2025-10-29 23:51:59 +00:00	51 114
copilot/add-mklastindexof-method 0678c8b889 · Delete examples/java/TestJavaAPICompleteness.java · Updated 2025-10-28 22:46:37 +00:00	12 4
upoly f8a1f98fce · try Lazard project · Updated 2025-10-26 19:15:50 +00:00	12 3
copilot/fix-finite-set-decl-plugin 0fcb0b6492 · Fix unit tests for infinite base sorts · Updated 2025-10-22 12:45:37 +00:00	51 66
copilot/add-finite-set-constructors 7ab0049612 · Add documentation for finite set API · Updated 2025-10-21 20:29:12 +00:00	51 67
lws 0baaa3f9ce · relax an assert · Updated 2025-10-18 21:44:23 +00:00	217 101
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	51 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	51 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	24 1
copilot/add-finite-set-value-factory 0e068e4567 · Update finite_set_value_factory.cpp · Updated 2025-10-16 11:16:30 +00:00	29 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	51 41
copilot/update-finite-set-fully-interp c1665a5cad · Refine is_fully_interp implementation with SASSERT · Updated 2025-10-15 19:41:05 +00:00	51 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	51 37
copilot/complete-finite-set-header 624be326ad · Add placeholder methods for lemma instantiation · Updated 2025-10-15 12:54:39 +00:00	51 40