search

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
62 stars 15 forks source link

Use the `derive-visitor` crate to replace our hand-written visitors #260

Closed Nadrieril closed 2 weeks ago

Nadrieril commented 2 weeks ago

This uses the clever derive_visitor crate instead of our handwritten visitors. I managed to replace all of our visitor needs with it.

This PR is more readable commit-by-commit. Fixes #249.

Nadrieril commented 2 weeks ago

I'm a bit worried about the risk of stack overflow given that derive-visitor doesn't use ensure_sufficient_stack. I'm working on https://github.com/AeneasVerif/charon/issues/122 to remove the main source of runaway recursion.

Nadrieril commented 2 weeks ago

Oh indeed, you're right! Let's merge then