Commits · 61194c075cb3d4de57b9de99f6f6cc1c8f2b1cf5 · Marek Chalupa / slowbeast · GitLab

This project is archived. Its data is read-only.

Nov 09, 2020
- reformat with black · 61194c07
  Marek Chalupa authored Nov 09, 2020
  
  61194c07
- kindse: fix literals() generator · bee6844b
  Marek Chalupa authored Nov 09, 2020
  bee6844b
- kindse: do not simplify the initial state for now · d7e3ff30
  Marek Chalupa authored Nov 09, 2020
  d7e3ff30
- kindse: rename check_inv -> check_base · 605c7e3e
  Marek Chalupa authored Nov 09, 2020
  
  605c7e3e
- kindse: require the initial set to be inductive · 89a08cb3
  Marek Chalupa authored Nov 09, 2020
  
  89a08cb3
- createStatesSet: set the given states to the set · 9cbd6e18
  Marek Chalupa authored Nov 09, 2020
  
  9cbd6e18
- domains concrete: fix disjunction and conjunction · 898c9015
  Marek Chalupa authored Nov 09, 2020
  898c9015
- Do not optimize expressions during extending a literal · 2d30d43e
  Marek Chalupa authored Nov 09, 2020
  2d30d43e
- kindse: overapprox already the target states · b76a2f1a
  Marek Chalupa authored Nov 09, 2020
  
  b76a2f1a
- kindse: fix inductiveness before extending sequences · 64725107
  Marek Chalupa authored Nov 09, 2020
  64725107
- kindes annotations: fix a bug in toannotation() method · 1026deaf
  Marek Chalupa authored Nov 09, 2020
  1026deaf
- inductivesequence: do not store 'True" strengthening · dcd40a31
  Marek Chalupa authored Nov 09, 2020
  dcd40a31
Nov 06, 2020
- kindse: more formulas simplifications · 34f07f38
  Marek Chalupa authored Nov 06, 2020
  34f07f38
- kindse: do not require the target states to be inductive · 022b6498
  Marek Chalupa authored Nov 06, 2020
  022b6498
- llvm: fix parsing some array types · 846abc12
  Marek Chalupa authored Nov 06, 2020
  846abc12
- Allow to specify an error function · 8f323ff1
  Marek Chalupa authored Nov 06, 2020
  8f323ff1
- Rename getID() -> get_id · 7dc96836
  Marek Chalupa authored Nov 06, 2020
  
  7dc96836
- Rename methods of Program class · 10842539
  Marek Chalupa authored Nov 06, 2020
  
  10842539
- Rename getInstruction -> instruction · e324b7ac
  Marek Chalupa authored Nov 06, 2020
  
  e324b7ac
- rename setFunction -> set_fun · 723fcafb
  Marek Chalupa authored Nov 06, 2020
  
  723fcafb
- Rename getFunction/getFun -> fun · d523d746
  Marek Chalupa authored Nov 06, 2020
  
  d523d746
- Transform methods of Pointer to snake case · ca4922e0
  Marek Chalupa authored Nov 06, 2020
  ca4922e0
- Rename asValue -> as_value · 1cae9218
  Marek Chalupa authored Nov 06, 2020
  
  1cae9218
- Rename getValue() -> value() · 1ff108fe
  Marek Chalupa authored Nov 06, 2020
  
  1ff108fe
- Rename getType -> type · 9bebea8e
  Marek Chalupa authored Nov 06, 2020
  9bebea8e
- Rename getB*Width -> b*width · 70e49e6c
  Marek Chalupa authored Nov 06, 2020
  
  70e49e6c
- rename isPointer -> is_pointer · 759663c6
  Marek Chalupa authored Nov 06, 2020
  
  759663c6
- Rename isBool -> is_bool · a01b961e
  Marek Chalupa authored Nov 06, 2020
  a01b961e
- rename isConstant to is_concrete · 897cb7ea
  Marek Chalupa authored Nov 06, 2020
  897cb7ea
- llvm: fix creating VLA allocas · 7e029891
  Marek Chalupa authored Nov 06, 2020
  7e029891
- sb: make it possible to set the pointer bitwidth · 485fc9f4
  Marek Chalupa authored Nov 06, 2020
  
  485fc9f4
- domains/concrete: wrap values around the max value · fa67e48f
  Marek Chalupa authored Nov 06, 2020
  fa67e48f
- sext/zext/extract: do not dump superfluous 'b' at the end · 0a0a7b57
  Marek Chalupa authored Nov 06, 2020
  0a0a7b57
- Format with black · 9f422c12
  Marek Chalupa authored Nov 06, 2020
  
  9f422c12
- tests: add urem regression test · f1721b07
  Marek Chalupa authored Nov 06, 2020
  f1721b07
- domains/concrete: fix URem operation · 0d9050c8
  Marek Chalupa authored Nov 06, 2020
  
  0d9050c8
Nov 05, 2020
- kindse: fix executing initial paths · 5c4d937b
  Marek Chalupa authored Nov 05, 2020
  5c4d937b
- kindse: polish the code a bit · cf14bac7
  Marek Chalupa authored Nov 05, 2020
  
  cf14bac7
- kindse.py: remove useless code · bf7c517f
  Marek Chalupa authored Nov 05, 2020
  
  bf7c517f
- kindse: fix abstracting unsigned predicates · b82aa892
  Marek Chalupa authored Nov 05, 2020
  b82aa892