projects / soc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Begin a formal proof of the LVT-based 1W/1R wrapper
[soc.git] / NEWS.txt
1 # Version 0.0.1 Release
2
3 First version of Libre-SOC uploaded to PyPI.