leodemoura

May 14, 2013 - Z3: Closed work item: Segmentation Fault

May 14, 2013 - Z3: Closed work item: Z3 main documention page is down!

April 14, 2013 - Z3: Commented work item: Z3 main documention page is down!

April 9, 2013 - Z3: Commented work item: Feature request: codatatypes (datatypes without occurs check)

April 8, 2013 - Z3: Closed work item: Elimination of mod terms in integer formulae introduces a variable of sort "real"

April 8, 2013 - Z3: Commented work item: Elimination of mod terms in integer formulae introduces a variable of sort "real"

April 8, 2013 - Z3: Commented work item: Segmentation Fault

April 2, 2013 - Z3: Created work item: get-value side effect

March 25, 2013 - Z3: Closed work item: Z3_interrupt ignored

March 25, 2013 - Z3: Commented work item: Z3_interrupt ignored