Commits · 2279c54aa747432f49618016e3ec2ec9a78c378c · Marek Chalupa / slowbeast

Browse files

Nov 26, 2020
- 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
- Rename some attributes · 4524560f
  Marek Chalupa authored Nov 21, 2020
  
  4524560f
- CFA: register successors and predecessors · 1809fd03
  Marek Chalupa authored Nov 21, 2020
  
  1809fd03
- CFA: simplify creatng CFA · 64b22a72
  Marek Chalupa authored Nov 21, 2020
  
  64b22a72
- CFA: break on calls · 2a81c3fb
  Marek Chalupa authored Nov 21, 2020
  
  2a81c3fb
- Add skeleton file for CFA class · 19a0f120
  Marek Chalupa authored Nov 21, 2020
  19a0f120
- remove debugging message · bd0594cd
  Marek Chalupa authored Nov 21, 2020
  
  bd0594cd
- llvm parser: return the right function type · c3fa7248
  Marek Chalupa authored Nov 21, 2020
  c3fa7248
- kindse: fix handling empty constraints · 97b11b94
  Marek Chalupa authored Nov 21, 2020
  
  97b11b94
- Fix passing constants into IncrementalSolver.add · a32e72c3
  Marek Chalupa authored Nov 21, 2020
  
  a32e72c3
- kindse: catch some assertions · fb354bcc
  Marek Chalupa authored Nov 21, 2020
  
  fb354bcc
- kindse: fix infeasible steps in extend_literal · a72191bb
  Marek Chalupa authored Nov 21, 2020
  
  a72191bb
- Use incremental solving in remove_implied_literals · 0e5b23ae
  Marek Chalupa authored Nov 21, 2020
  
  0e5b23ae