salls

CTF max rating should be based off of the previous event rather than the previous year

3

According to this comment https://github.com/ctftime/ctftime.org/issues/40#issuecomment-285182142 a ctf will have a max rating of 25 points if it did not run in the last calendar year. This affected the recent UCSB...

Improve initial state.

3

Use SpecialFillerMixin to improve reads of unmapped memory. Remove floating point support in fast mode. Store symbolic values in vex regs so a new symbolic value isn't created on those...