Add sort annotations to speed up sort inference

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Add sort annotations to speed up sort inference #252

Open ehildenb opened 2 years ago

ehildenb commented 2 years ago

The current definition has many rules which take longer than 1s to parse. This adds sort annotations in key places to speed up sort inference, and speed up parsing.