Skip to content

Releases: SergeyStaroletov/FloatArithInIntegers

Final release of FPU in Promela for SPIN 2019 paper

11 Dec 17:21
@SergeyStaroletov SergeyStaroletov
v1.1
6074e61
Compare
Choose a tag to compare
Final release of FPU in Promela for SPIN 2019 paper Latest
Latest

Final release of FPU in Promela for SPIN 2019 paper with possible DOI

Assets 2

Final release of FPU in Promela for SPIN 2019 paper

11 Dec 17:14
@SergeyStaroletov SergeyStaroletov
v1.0.1
6074e61
Compare
Choose a tag to compare
Final release of FPU in Promela for SPIN 2019 paper

Final release of FPU in Promela for SPIN 2019 paper

Assets 2