search

hacspec / hax

A Rust verification tool
https://hacspec.org/blog
Apache License 2.0
179 stars 20 forks source link

Engine: move F* backend to the generic printer #942

Open W95Psp opened 2 weeks ago

W95Psp commented 2 weeks ago

The current printer is huge and hard to maintain. It also uses the internal AST from F*, which is nice because it's giving us a pretty printer for free. But in the same times, that makes things complicated, the pretty printer isn't all that pretty, and we cannot transport spans.

franziskuskiefer commented 5 days ago

Looks like nothing happened here this week. @W95Psp do you want to push it into next week or what's the plan?

W95Psp commented 5 days ago

Yes, this week was awful (because of the migraine), so I did almost nothing :( I probably won't spend time on that today, let's push to next week.