ok, with that I'm back at z3 HEAD and now I can go to sleep

whoa I still remember where my old stuff was at in alphaworld

anyway this was the change that broke me: github.com/Z3Prover/z3/commit/59eec251021ca82334e1fbedeedfbbb9d3cc97f8

commenting out either of the two new func_decls in arith_decl_plugin unbroke my tests

I "fixed" it by folding two constructors together to reduce my func_decl count.

I don't like this

the behavior when you have too many func_decls is apparently to sit there and continually allocate memory while solving something apparently unrelated

look they're called indulgences

does it make that noise the whole time

where's the alt text

something in z3 on [7de648ff, z3-4.15.4) is causing my very simple tests (no fancy stuff, just like equality constraints for type inference) to diverge

no! fuck you! the only reason I am still using this rickety piece of shit operating system is for this specific development tool and ngl if you fuck *that* up I will finally be free

yes, please, because the set of supported operators or the syntax is never the same (is it dateBefore:? before:? age:? created:?)

tbqh I do not expect a given open text field on a web site to support *anything* but a bag of words, not even phrases

documentation is cool and good and should be there

food is goated when hunger is the vibe

all australian ones are

standing at the counter trying to decide between cheese and cheese (alternate)

what happens if you slightly perturb the stock images? put a top hat on robocop or something

u install that mop sink yet gav

you can't tune a city but you can tuna fish

santa, rocz and nova were presenting