search

ethz-asl / ethzasl_brisk

Brisk. The feature.
20 stars 11 forks source link

Feature/redwood test integration #31

Closed simonlynen closed 10 years ago

simonlynen commented 10 years ago

Some changes to make brisk compile and verify for Redwood.