disc

finite-sets

copilot/fix-finite-set-decl-plugin

parallel

copilot/add-finite-set-constructors

lws

copilot/rename-set-select-to-filter

copilot/implement-fresh-value-algorithm

revert-7981-copilot/add-finite-set-value-factory

copilot/add-finite-set-value-factory

copilot/update-finite-set-check-function

copilot/update-finite-set-fully-interp

copilot/add-rewrite-rules-finite-set-rewriter

copilot/complete-finite-set-header

copilot/update-api-z3-mk-datatype-sort

copilot/implement-inverter-functions-finite-set-operators

copilot/add-implementation-finite-set-axioms

copilot/add-finite-set-rewriter

arie

copilot/fix-dd97045b-5ca3-4f7b-8edf-c3764fc4e5fd