überSpark v4.1 released

amitvasudevan · October 3, 2018, 5:00am

Release Version: 4.1
Release Series: Eject

Release Notes:

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

See full changelog below:

uberspark/uberspark/blob/v4.1/CHANGELOG.md

# uberSpark: Composable Verification of Commodity System Software


## Changelog

* Version 4.1 (Eject)
	* 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

* Version 4.0 (Alpha Prime)
	* first stand-alone uberspark release

* Version 3.1 (Flak)
	* fixed uxmhf build errors

* Version 3.0 (Ratchet)
	* added support for Frama-C Phosphorus-20170501
	* added support for Compcert 3.0.1

This file has been truncated. show original

amitvasudevan · February 29, 2020, 3:26am