Fixes for the final demo - Githubissues

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Fixes for the final demo #1272

Closed podhrmic closed 2 years ago

podhrmic commented 2 years ago

Simplified director, removed transitions dependency
Added teensy serial monitor
Prep for a health monitor
Various small fixes