Commits · c82e4822feb9f2151b9b6881b8210e2ef543df31 · Marek Chalupa / slowbeast

Browse files

Nov 30, 2020
- 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
- Fix casting when writing to memory · 65f3f726
  Marek Chalupa authored Nov 29, 2020
  
  65f3f726
- Add -dbgv option · 3ae340e7
  Marek Chalupa authored Nov 29, 2020
  3ae340e7
- Fix array5 test · 5f184b10
  Marek Chalupa authored Nov 29, 2020
  
  5f184b10
- Add support for writing/reading single bytes of objects · 4ed3f397
  Marek Chalupa authored Nov 28, 2020
  4ed3f397
Nov 28, 2020
- remove invalid assertion · 31e1285d
  Marek Chalupa authored Nov 28, 2020
  
  31e1285d
- FP fix to_double · 1bbd2e5c
  Marek Chalupa authored Nov 28, 2020
  
  1bbd2e5c
- Add a basic support for null pointers · 235bab07
  Marek Chalupa authored Nov 28, 2020
  
  235bab07
- sb: fix dumping the program into file · d869485d
  Marek Chalupa authored Nov 28, 2020
  
  d869485d
Nov 27, 2020
- Fix FP once more · a4f22e2f
  Marek Chalupa authored Nov 27, 2020
  
  a4f22e2f
- Fix converting numbers to double · 5ca66308
  Marek Chalupa authored Nov 27, 2020
  
  5ca66308
- Fix concrete division · 1de4c289
  Marek Chalupa authored Nov 27, 2020
  
  1de4c289
- Misc floating point fixes · 871a66b2
  Marek Chalupa authored Nov 27, 2020
  
  871a66b2
- symbolic domain: Fix converting to double · c0a73b4d
  Marek Chalupa authored Nov 27, 2020
  
  c0a73b4d
- Revert "MM: store nondet loads as nondet loads" · 0da385ab
  Marek Chalupa authored Nov 27, 2020
  0da385ab
- comment debuggin message · ca30d722
  Marek Chalupa authored Nov 27, 2020
  
  ca30d722
- Fix FP arithmetic in symbolic domain · 699ed064
  Marek Chalupa authored Nov 27, 2020
  
  699ed064
- Fix floating arithmetic · 51c27195
  Marek Chalupa authored Nov 27, 2020
  
  51c27195
- FP: fix casting floats to int in sext/zext · 1e12fce9
  Marek Chalupa authored Nov 27, 2020
  
  1e12fce9
- Check for overlapping memory writes · cb726149
  Marek Chalupa authored Nov 27, 2020
  cb726149
- FP: fix conversion from float to int · 691c8f52
  Marek Chalupa authored Nov 27, 2020
  
  691c8f52
- Use the right singdness for float->int conversion in the concrete domain · 16f18bff
  Marek Chalupa authored Nov 27, 2020
  
  16f18bff