maude-lang / Maude

Language based on Rewriting Logic
GNU General Public License v2.0
88 stars 11 forks source link

use std::map<int, LiveSet> instead of Vector<LiveSet> #15

Closed dwightguth closed 1 year ago

dwightguth commented 1 year ago

In cases where the code in FreePreNet::buildNet and FreePreNet::semiCompile are particularly slow, these changes have shown an additional reduction in wall time of 50% when applied together with #14