Commits · a8fe128cd0f1255347a583297ecf7a35c1e03495 · Marek Chalupa / slowbeast

Browse files

Jan 08, 2021
- kindse: improve extending the literal · a8fe128c
  Marek Chalupa authored Jan 08, 2021
  a8fe128c
- kindse: refactor extend_literal a bit · 350d95b3
  Marek Chalupa authored Jan 08, 2021
  
  350d95b3
- kindse: factor out extend_literal · d7e4764d
  Marek Chalupa authored Jan 08, 2021
  d7e4764d
- kindse: factor out modify_literal · 4450d5af
  Marek Chalupa authored Jan 08, 2021
  
  4450d5af
- kindse: factor out check_literal · 8db361e0
  Marek Chalupa authored Jan 08, 2021
  
  8db361e0
- kind: factor out _check_literal · fcaabc75
  Marek Chalupa authored Jan 08, 2021
  fcaabc75
Jan 04, 2021
- tests: fix -kind tests · d20cef03
  Marek Chalupa authored Jan 04, 2021
  d20cef03
- Restructure and refactor kindse.py · bf034b85
  Marek Chalupa authored Nov 24, 2020
  bf034b85
Dec 14, 2020
- Fix implementation of fpclassify · e92cf025
  Marek Chalupa authored Dec 14, 2020
  
  e92cf025
Dec 08, 2020
- kindse: refactor · 02eb4b89
  Marek Chalupa authored Dec 08, 2020
  
  02eb4b89
- Split off a file from kindse · 5cf57922
  Marek Chalupa authored Dec 08, 2020
  5cf57922
Dec 03, 2020
- Do not convert object to bytes if we overwrite the present value · 168f1a62
  Marek Chalupa authored Dec 02, 2020
  
  168f1a62
- Hide reports from nested KindSe · 9a3c23fc
  Marek Chalupa authored Dec 02, 2020
  
  9a3c23fc
- kind: catch memory errors · eca197a6
  Marek Chalupa authored Dec 02, 2020
  eca197a6
- Add ldbgv debugging function · a71a5a1e
  Marek Chalupa authored Dec 02, 2020
  a71a5a1e
Dec 01, 2020
- kindse: call itself recursively · 1da8da78
  Marek Chalupa authored Dec 01, 2020
  1da8da78
- kindse: factor out program structure into a new class · 33fced74
  Marek Chalupa authored Dec 01, 2020
  
  33fced74
- Fix Kind · 7b06a040
  Marek Chalupa authored Dec 01, 2020
  7b06a040
- Make check_base a method of KindSe · ed7a946a
  Marek Chalupa authored Dec 01, 2020
  
  ed7a946a
- Fix reinterpret cast · f8f70a84
  Marek Chalupa authored Dec 01, 2020
  
  f8f70a84
Nov 30, 2020
- Fix signed cast of bytes · 0057f8e2
  Marek Chalupa authored Nov 30, 2020
  
  0057f8e2
- add a test · c82e4822
  Marek Chalupa authored Nov 30, 2020
  
  c82e4822
- Add Bytes type · c67b39cd
  Marek Chalupa authored Nov 30, 2020
  c67b39cd
- Differentiate between reinterpret and static cast · ab10c8e9
  Marek Chalupa authored Nov 30, 2020
  
  ab10c8e9
- Fix reinterpret cast · 6085de70
  Marek Chalupa authored Nov 30, 2020
  
  6085de70
- Fix reinterpret cast · 6b7d7e06
  Marek Chalupa authored Nov 30, 2020
  
  6b7d7e06
- concrete: fix casting to unsigned · 0ab498b0
  Marek Chalupa authored Nov 30, 2020
  
  0ab498b0
- Fix invalid assertion · d280be98
  Marek Chalupa authored Nov 30, 2020
  
  d280be98
- symbolic: fix conversion signed/unsigned int->float · aeb2c31d
  Marek Chalupa authored Nov 30, 2020
  aeb2c31d
- Add a comment · f03c7550
  Marek Chalupa authored Nov 30, 2020
  
  f03c7550
- Fix casting from bitvec to float · fd4fc94a
  Marek Chalupa authored Nov 30, 2020
  
  fd4fc94a
- concrete: fix signed conversion · 701991cb
  Marek Chalupa authored Nov 30, 2020
  
  701991cb
- Fix arith shifts · 30443e9b
  Marek Chalupa authored Nov 30, 2020
  
  30443e9b
- Fix Ite · db175687
  Marek Chalupa authored Nov 30, 2020
  
  db175687
- Ite: fix getting operands · b7cda959
  Marek Chalupa authored Nov 30, 2020
  
  b7cda959
- Fix negation of numbers · 3ba32fff
  Marek Chalupa authored Nov 30, 2020
  
  3ba32fff
Nov 29, 2020
- Add a test · 873a6212
  Marek Chalupa authored Nov 29, 2020
  
  873a6212
- symbolic: Correctly cast to bv in artih ops · d9af5a76
  Marek Chalupa authored Nov 29, 2020
  
  d9af5a76
- rename fun · f46687df
  Marek Chalupa authored Nov 29, 2020
  
  f46687df
- symbolic: correctly cast arith ops · fc843596
  Marek Chalupa authored Nov 29, 2020
  
  fc843596