Block or report user

Report or block fumfel

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

116 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2018

Created an issue in Z3Prover/z3 that received 1 comment

Use-after-free in smt::theory_array_full::instantiate_axiom_map_for()

Tested on Git HEAD: 1e11b62 Faulting input: (declare-sort T00)(declare-fun allocator_Mem()(Array T00 Bool))(declare-fun D()(Array T00 Bool))(decla…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.