mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-08 10:07:59 +00:00
Code Activity

t

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2025-09-27 07:02:45 -08:00
parent de4ae16be8
commit ee1dfd49c5
3 changed files with 96 additions and 66 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/trace_tags.def
View file

@ -551,6 +551,7 @@ X(Global, linear_equation_mk, "linear equation mk")
X(Global, list, "list")
X(Global, literal_occ, "literal occ")
X(Global, lp_core, "lp core")
X(Global, lws, "levelwise")
X(Global, macro_bug, "macro bug")
X(Global, macro_finder, "macro finder")
X(Global, macro_insert, "macro insert")