Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

smartfloat [2012/12/04 14:55]
evka
smartfloat [2013/04/08 11:16] (current)
evka
Line 22: Line 22:
  
  
-You can download the [[http://lara.epfl.ch/~darulova/smartfloat.zip|source code]] and try it out+The source is now available on [[https://github.com/malyzajko/ceres|GitHub]]. 
 The only dependency is a small The only dependency is a small
 native library that you need to compile for your own platform, but for Linux and Mac native library that you need to compile for your own platform, but for Linux and Mac
 
smartfloat.txt · Last modified: 2013/04/08 11:16 by evka