Material used to evaluate Alt-Ergo's Floating-Point reasoning approach described in the CAV'17 paper: A Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT

Name
Last commit
Last update
filtering-scripts Loading commit data...
final-filtered-VCs Loading commit data...
generation-scripts Loading commit data...
misc Loading commit data...
solvers Loading commit data...
sources Loading commit data...
translators Loading commit data...
why3-stuff Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
global-configuration.sh Loading commit data...