Closed DraganNSDK closed 5 years ago
Adds equality / inequality (elem, term, rel). Mostly working in simple cases (vars, consts), needs more testing. Still requires sig/table for eq/ineq (not easy to untie). Added compile flag to turn off thread statics optimizations.
Adds equality / inequality (elem, term, rel). Mostly working in simple cases (vars, consts), needs more testing. Still requires sig/table for eq/ineq (not easy to untie). Added compile flag to turn off thread statics optimizations.