> uberSpark (Composable Verification of Commodity System Software)


uberSpark is always open to contributions. Please follow the following guidelines to submit features, additions and discuss issues.

Features and Additions

  1. Visit https://forums.uberspark.org and discuss the features and/or additions with fellow developers.

  2. Once an agreement is reached regarding the proposed feature and/or additions, the easiest mechanism is probably to fork the uberSpark git repository through the web UI, make the changes on your fork, and then issue a pull request through the web UI.


  1. Visit https://forums.uberspark.org to discuss the issue and find a potential solution.