Commits · e769cbaaaf191c08eb10ed125a4db0854441dd07 · Marek Chalupa / slowbeast

Browse files

Nov 27, 2020
- Add fcmp · e769cbaa
  Marek Chalupa authored Nov 27, 2020
  e769cbaa
- Float fix · ee85d54e
  Marek Chalupa authored Nov 27, 2020
  
  ee85d54e
- Fix symbolic FP computation · c621f1b5
  Marek Chalupa authored Nov 27, 2020
  c621f1b5
- Fix a debugging message · 0f301347
  Marek Chalupa authored Nov 27, 2020
  
  0f301347
Nov 26, 2020
- SE: add replay mode · 35753e1a
  Marek Chalupa authored Nov 26, 2020
  
  35753e1a
- Fix division by 0 · f584103c
  Marek Chalupa authored Nov 26, 2020
  
  f584103c
- Support fpclassify and signbit · 23869d6a
  Marek Chalupa authored Nov 26, 2020
  
  23869d6a
- Floats fix · 18b71330
  Marek Chalupa authored Nov 26, 2020
  
  18b71330
- symexe: check division by 0 · 38b459a6
  Marek Chalupa authored Nov 26, 2020
  
  38b459a6
- FP: Support nan() libc function · 91d02eac
  Marek Chalupa authored Nov 26, 2020
  
  91d02eac
- Fix attributes with FNeg · 78a0c36a
  Marek Chalupa authored Nov 26, 2020
  
  78a0c36a
- concrete: fix FP computation · 61f6d17e
  Marek Chalupa authored Nov 26, 2020
  61f6d17e
- llvm parser: fix parsing short int · 2279c54a
  Marek Chalupa authored Nov 26, 2020
  
  2279c54a
- symexe: implement ordered comparison · 441567b5
  Marek Chalupa authored Nov 26, 2020
  
  441567b5
- MO: check that we do not read overlapping values. · 89a3add4
  Marek Chalupa authored Nov 26, 2020
  
  89a3add4
- Implement fptrunc and fpext · 33129c7e
  Marek Chalupa authored Nov 26, 2020
  33129c7e
- Cast BV to FP in <,>, <=, >= · 4c0da15f
  Marek Chalupa authored Nov 26, 2020
  4c0da15f
- Implement FNeg · 879aff47
  Marek Chalupa authored Nov 26, 2020
  
  879aff47
- Fix unbound variable · f2ed93ac
  Marek Chalupa authored Nov 26, 2020
  
  f2ed93ac
- Mark fesetround as unsupported · a3f41225
  Marek Chalupa authored Nov 26, 2020
  
  a3f41225
- Implement fcmp uno/ord · 327eb627
  Marek Chalupa authored Nov 26, 2020
  
  327eb627
- Fix a missing function · 94f218ca
  Marek Chalupa authored Nov 25, 2020
  
  94f218ca
Nov 24, 2020
- blackify · b74196e1
  Marek Chalupa authored Nov 24, 2020
  
  b74196e1
- symexe: fix comparing NaNs · 52c2c79c
  Marek Chalupa authored Nov 24, 2020
  
  52c2c79c
- symbolic: support bitwise operation on floats · 0cb39379
  Marek Chalupa authored Nov 24, 2020
  0cb39379
- Fix concrete floating point arithmetic · e16bd551
  Marek Chalupa authored Nov 24, 2020
  e16bd551
- comment out debugging pring · f6ae29d9
  Marek Chalupa authored Nov 24, 2020
  
  f6ae29d9
- tests: add a test for floats · cc394fbd
  Marek Chalupa authored Nov 24, 2020
  
  cc394fbd
- Add support to isinf and isnan · 24269cc6
  Marek Chalupa authored Nov 24, 2020
  
  24269cc6
Nov 23, 2020
- Add support for fabs · 19acb23b
  Marek Chalupa authored Nov 23, 2020
  
  19acb23b
- se: extend FP expressions · 3d982580
  Marek Chalupa authored Nov 23, 2020
  
  3d982580
- expressions: pass type to freshVal/Var instead of bitwidth · 763392dc
  Marek Chalupa authored Nov 23, 2020
  763392dc
- blackify · a164f38f
  Marek Chalupa authored Nov 23, 2020
  
  a164f38f
- Add constraints with incremental solving · 8504d286
  Marek Chalupa authored Nov 23, 2020
  
  8504d286
- SE constraints: refactor · 5ba686c1
  Marek Chalupa authored Nov 23, 2020
  
  5ba686c1
- kindse: fix checking literal · 4408193e
  Marek Chalupa authored Nov 23, 2020
  4408193e
Nov 21, 2020
- reduce the use op . a bit · 67633383
  Marek Chalupa authored Nov 21, 2020
  
  67633383
- reduce the use of . a bit · 58ea1582
  Marek Chalupa authored Nov 21, 2020
  
  58ea1582
- do not transform to CNF twice · 2e452647
  Marek Chalupa authored Nov 21, 2020
  
  2e452647
- kindse: add a auxiliary function · cddca233
  Marek Chalupa authored Nov 21, 2020
  
  cddca233