mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-27 13:39:49 +00:00
Code Activity
z3/src
History
Exact
copilot-swe-agent[bot] 6d5ec41708 Remove z3str3 theory solver files and integration 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2025-08-08 03:00:38 +00:00
..
ackermannization Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
api fix java build for java bindings 2025-08-07 14:37:29 -07:00
ast add arithemtic saturation 2025-08-06 21:11:54 -07:00
cmd_context Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
math indentation 2025-07-25 11:00:30 -07:00
model Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
muz move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
nlsat use usize to suppress the data loss warnings 2025-07-02 14:42:55 -07:00
opt move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
params Remove z3str3 theory solver files and integration 2025-08-08 03:00:38 +00:00
parsers Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
qe move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
sat add an option to register callback on quantifier instantiation 2025-08-06 21:11:55 -07:00
shell move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
smt Remove z3str3 theory solver files and integration 2025-08-08 03:00:38 +00:00
solver add an option to register callback on quantifier instantiation 2025-08-06 21:11:55 -07:00
tactic add an option to register callback on quantifier instantiation 2025-08-06 21:11:55 -07:00
test fix #7603: race condition in Ctrl-C handling (#7755) 2025-08-06 14:27:28 -07:00
util fix #7603: race condition in Ctrl-C handling (#7755) 2025-08-06 14:27:28 -07:00
CMakeLists.txt move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00