search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
492 stars 73 forks source link

Cosmetics/Refactoring #833

Open volhovm opened 7 months ago

volhovm commented 7 months ago

This PR is purely cosmetic refactoring not intended to have any logical changes.

volhovm commented 7 months ago

Circle CI is broken and won't pass. This PR is not urgent so I'll wait until (hopefully) it's disabled or fixed.

dannywillems commented 7 months ago

Oh yeah, CircleCI is not used anymore. We can remove it I think.