jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Remove deprecated legacy interface to the CT checker #769

Closed vbgl closed 7 months ago

vbgl commented 8 months ago

Let’s make some room for a better interface.

eponier commented 8 months ago

I guess there will be a release with the deprecated interface? Or was it decided that it was simpler to just remove it?

vbgl commented 8 months ago

That’s the idea. Hopefully including #749, #748, and why not #734.

vbgl commented 7 months ago

I’ve just added a changelog entry to document the removal of -checkCT & co.