Skip to content
  • add libusmf to deal with JSON based manifest parsing
  • migrate tools to use libusmf/JSON based manifest parsing
  • add foundation for stand-alone tool driver
  • consolidate and refine documentation
Assets 2

@amitvasudevan amitvasudevan released this Apr 21, 2018 · 244 commits to master since this release

  • first stand-alone UberSpark release
Assets 2

@amitvasudevan amitvasudevan released this Jan 30, 2018 · 249 commits to master since this release

  • fixed uxmhf build errors
Assets 2

@amitvasudevan amitvasudevan released this Sep 19, 2017 · 256 commits to master since this release

  • added support for Frama-C Phosphorus-20170501
  • added support for Compcert 3.0.1
  • fixed issue #1
  • minor build harness fixes and documentation updates
Assets 2

@amitvasudevan amitvasudevan released this Dec 14, 2016 · 307 commits to master since this release

  • separate uberspark, uberspark libraries and uxmhf verification/build processes
  • refine and streamline uberspark and uxmhf verification/build harness
  • fix minor errors in documentation and updates to reflect release changes
Assets 2

@amitvasudevan amitvasudevan released this Oct 14, 2016 · 520 commits to master since this release

  • Initial academic prototype release
Assets 2
You can’t perform that action at this time.