Skip to content

GitLab

Explore

Sign in

AVA
Icing

I

Icing

Project information

A new, nondeterministic floating-point source semantics and a proof-of-concept connection to the CakeML verified compiler.

11 Commits
2 Branches
0 Tags

README

Created on

April 17, 2019

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:AVA/icing.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/AVA/icing.git