Commits · floats · Marek Chalupa / slowbeast · GitLab

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

Nov 10, 2020
- tests: add a few kind tests · 894247d7
  Marek Chalupa authored Nov 10, 2020
  
  894247d7
- llvm parser: fix accessing None · 4b6faff7
  Marek Chalupa authored Nov 10, 2020
  
  4b6faff7
- tests: add a float test · 7c3e4384
  Marek Chalupa authored Nov 10, 2020
  
  7c3e4384
- domains: fix arith on floats · 8d76d3c2
  Marek Chalupa authored Nov 10, 2020
  
  8d76d3c2
- domain: start implementing floats domain · 0aad6302
  Marek Chalupa authored Nov 10, 2020
  
  0aad6302
- llvm parser: parse FP constants · 73645103
  Marek Chalupa authored Nov 10, 2020
  
  73645103
- ir.types: add FloatType · 0ba3a96e
  Marek Chalupa authored Nov 10, 2020
  0ba3a96e
- llvm parser: parse fp arith instructions · 6b4ae263
  Marek Chalupa authored Nov 10, 2020
  
  6b4ae263
- parser llvm: parse fcmp instruction · b4fa31fe
  Marek Chalupa authored Nov 10, 2020
  
  b4fa31fe
- move Pointer to domains · c49b6681
  Marek Chalupa authored Nov 10, 2020
  
  c49b6681
- move constants to domains · 1d0b0f7b
  Marek Chalupa authored Nov 10, 2020
  
  1d0b0f7b
- Move value.py to domains · 08af2205
  Marek Chalupa authored Nov 10, 2020
  08af2205
- add ConcreteInt and ConcreteBool classes · 4146d729
  Marek Chalupa authored Nov 10, 2020
  
  4146d729
- Move ConcreteVal into domains.concrete · 3994c08a
  Marek Chalupa authored Nov 10, 2020
  3994c08a
- rename Constant to ConcreteVal · 055a923b
  Marek Chalupa authored Nov 10, 2020
  055a923b
- Chage Type -> IntType · e210a6f8
  Marek Chalupa authored Nov 10, 2020
  e210a6f8
- kindse: fix unbound local · 43266f3e
  Marek Chalupa authored Nov 10, 2020
  
  43266f3e
- types: fix setting pointer bitwidth · 5212b349
  Marek Chalupa authored Nov 10, 2020
  
  5212b349
- llvm parser: correctly coerce types for GEP shift · 2c53b53f
  Marek Chalupa authored Nov 10, 2020
  
  2c53b53f
- domains concrete: fix UDiv · 72b93960
  Marek Chalupa authored Nov 10, 2020
  72b93960
- sb: use setswitchinterval to suppress checking for thread switching · 24a9bf5f
  Marek Chalupa authored Nov 10, 2020
  24a9bf5f
- kindse: fix detecting killed paths · 266fcefb
  Marek Chalupa authored Nov 10, 2020
  266fcefb
Nov 09, 2020
- kindse: allow abstracting longer sequences · f985a9af
  Marek Chalupa authored Nov 09, 2020
  
  f985a9af
- kindse: fix getting the initial sequence · 06e686ad
  Marek Chalupa authored Nov 09, 2020
  06e686ad
- 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