Move easycrypt extraction to a separate executable

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

MIT License

271 stars 55 forks source link

Closed cassiersg closed 2 months ago

cassiersg commented 2 months ago

Second step of the "extraction" plan.

Open question: which name for the new tool? (I picked jasmin-ec, but I'm bad at naming.)

cc @lyonel2017 @bgregoir

bgregoir commented 2 months ago

I think it is a good name.

vbgl commented 2 months ago

What about jasmin2ec?

cassiersg commented 2 months ago

@bgregoir jasmin-ec or jasmin2ec ?

bgregoir commented 2 months ago

I think that jasmin2ec is more uniform (jasmin2tex)

cassiersg commented 2 months ago

Renamed to jasmin2ec.

cassiersg commented 2 months ago

No, that was auto-formatting by my text editor that I forgot to disable.