Commits · 9b880bdc1d50437233b020d270db244687945703 · Marek Chalupa / slowbeast

Browse files

Nov 27, 2020
- Integrate support for incremental solving · 9b880bdc
  Marek Chalupa authored Nov 27, 2020
  
  9b880bdc
- Partially support reading overlapping values from memory · 4ce9bcee
  Marek Chalupa authored Nov 27, 2020
  4ce9bcee
- Fix cast of integers to floats · 44241c70
  Marek Chalupa authored Nov 27, 2020
  44241c70
- FP: fix converting FP values to bitvectors · 21ff7996
  Marek Chalupa authored Nov 27, 2020
  
  21ff7996
- Support GEP to structs · 45eca81b
  Marek Chalupa authored Nov 27, 2020
  
  45eca81b
- Implement select instruction · 5244600c
  Marek Chalupa authored Nov 27, 2020
  5244600c
- Fix signed/unsigned casts · d2a7f9ae
  Marek Chalupa authored Nov 27, 2020
  
  d2a7f9ae
- Fix parsing FP constants · d99a4af9
  Marek Chalupa authored Nov 27, 2020
  
  d99a4af9
- Fix a typo · b8754a10
  Marek Chalupa authored Nov 27, 2020
  
  b8754a10
- Add debugging message · eabe8611
  Marek Chalupa authored Nov 27, 2020
  
  eabe8611
- 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