everest: allow selecting many projects

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Closed mtzguido closed 10 months ago

mtzguido commented 10 months ago

This allows to run a command such as:

./everest FStar karamel everparse make -j8