Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • fixpointdupsem
  • FloVer2
  • CI_test
  • SMT_Subdiv
  • FMCAD2018
  • rewriting_HOL4
  • Affine_Magnus protected
  • FMCAD2018
9 results
Blame Permalink
  • qcorradi's avatar
    eed9d8d5
    Fixes to morePrecise · eed9d8d5
    qcorradi authored 
    Fixed incosistent handling of fixed point exponent sign
morePrecise now correctly checks whether all values from a format fit into the other
    eed9d8d5
    History
    Fixes to morePrecise
    qcorradi authored 
    Fixed incosistent handling of fixed point exponent sign
morePrecise now correctly checks whether all values from a format fit into the other