LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
smartfloat [2012/12/04 14:52]
evka 		smartfloat [2013/04/08 11:16]
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
Line 38: Line 38:
 The implementation uses Scala macros, which is an experimental feature coming in Scala 2.10. The implementation uses Scala macros, which is an experimental feature coming in Scala 2.10.
 For this reason this [[http://​lara.epfl.ch/​~darulova/​cerres.zip|code]] is to be regarded as experimental as well, but you are free to try it out. For this reason this [[http://​lara.epfl.ch/​~darulova/​cerres.zip|code]] is to be regarded as experimental as well, but you are free to try it out.
 +
  
 ==== Publications ==== ==== Publications ====
-The library is mainly described in the following paper: 
  
 E. Darulova, V. Kuncak. //​Trustworthy Numerical Computation in Scala//. OOPSLA 2011. E. Darulova, V. Kuncak. //​Trustworthy Numerical Computation in Scala//. OOPSLA 2011.
  ​[[http://​lara.epfl.ch/​~darulova/​TrustworthyComputation.pdf|PDF]]  ​[[http://​lara.epfl.ch/​~darulova/​TrustworthyComputation.pdf|PDF]]
  
 +
 +E. Darulova, V. Kuncak. //​Certifying Solutions for Numerical Constraints//​ RV 2012.
 +[[http://​lara.epfl.ch/​~darulova/​CertifyingSolutions.pdf|PDF]]
  
 The SmartFloat library is maintained by [[http://​people.epfl.ch/​eva.darulova|Eva Darulova]]. The SmartFloat library is maintained by [[http://​people.epfl.ch/​eva.darulova|Eva Darulova]].