Commits · f818a40edc272eb1d98736d708d20828a7827bb9 · Marek Chalupa / slowbeast

Browse files

Feb 19, 2021
- kindse: do not drop var-var equalities when dropping for the first time · f818a40e
  Marek Chalupa authored Feb 19, 2021
  f818a40e
- Drop clauses also after overapproximations · e1a5072b
  Marek Chalupa authored Feb 19, 2021
  
  e1a5072b
- kindse memory: overapprox cases when the pointer is unknown · a7617245
  Marek Chalupa authored Feb 19, 2021
  
  a7617245
- kindse: fix prolonging a sequence · bead6801
  Marek Chalupa authored Feb 19, 2021
  bead6801
- symbolic: fix cast of i1 to bool · 31595744
  Marek Chalupa authored Feb 19, 2021
  
  31595744
- Do not require the initial sequence to be inductive · 6147e7eb
  Marek Chalupa authored Feb 19, 2021
  
  6147e7eb
- kindse: refactor extending sequences · fc69649f
  Marek Chalupa authored Feb 19, 2021
  
  fc69649f
- kindse: refactor getting the initial sequence · aaad6ca9
  Marek Chalupa authored Feb 19, 2021
  
  aaad6ca9
- overapprox: refactor passing data to literal extensions · 13d19a31
  Marek Chalupa authored Feb 19, 2021
  
  13d19a31
- overapprox: refactor passing arguments · cf8dee14
  Marek Chalupa authored Feb 19, 2021
  
  cf8dee14
- remove unused method · 584ef581
  Marek Chalupa authored Feb 19, 2021
  
  584ef581
- blackify · d5fe8086
  Marek Chalupa authored Feb 19, 2021
  
  d5fe8086
- rename a method · 2ca9f60c
  Marek Chalupa authored Feb 19, 2021
  
  2ca9f60c
- Fix a test · e3789400
  Marek Chalupa authored Feb 19, 2021
  
  e3789400
- kindse: use computed invariants during execution · ddfe7379
  Marek Chalupa authored Feb 19, 2021
  
  ddfe7379
- Kindse: pass inferred invariants between checkers · beef9003
  Marek Chalupa authored Feb 19, 2021
  beef9003
- overapprox more a bit · 501b6278
  Marek Chalupa authored Feb 19, 2021
  
  501b6278
- lazy MM: override allocate · e080684e
  Marek Chalupa authored Feb 19, 2021
  e080684e
- Start implementing interproc stuff · e73fd797
  Marek Chalupa authored Feb 19, 2021
  
  e73fd797
- blackify code · d282d133
  Marek Chalupa authored Feb 19, 2021
  
  d282d133
- llvm parser: return bitvector of len 1 for false/true · 1a5e65bd
  Marek Chalupa authored Feb 19, 2021
  
  1a5e65bd
Feb 18, 2021
- adjust adding relations · 80aea72f
  Marek Chalupa authored Feb 18, 2021
  
  80aea72f
- remove unused var · ba15cc63
  Marek Chalupa authored Feb 18, 2021
  
  ba15cc63
- relations.py: fix exception · 4620f2cb
  Marek Chalupa authored Feb 18, 2021
  4620f2cb
- kindse: handle loops in sequence · da9aeb25
  Marek Chalupa authored Feb 18, 2021
  
  da9aeb25
- Move loops.py file · 41497626
  Marek Chalupa authored Feb 18, 2021
  
  41497626
- Add the computation of strongly connected components · 95ab4f23
  Marek Chalupa authored Feb 18, 2021
  95ab4f23
- adjust assertion · a4e3f882
  Marek Chalupa authored Feb 18, 2021
  
  a4e3f882
- kindse: generate relations also from previous states · 81b31be7
  Marek Chalupa authored Feb 18, 2021
  
  81b31be7
- Refactor adding relations a bit · 8fab75b8
  Marek Chalupa authored Feb 18, 2021
  
  8fab75b8
Feb 17, 2021
- annotations: change __repr__ · 5eb2430a
  Marek Chalupa authored Feb 17, 2021
  
  5eb2430a
- kindse: use incremental solving for states subsumption · e893acc6
  Marek Chalupa authored Feb 17, 2021
  
  e893acc6
- kindse: add InductiveSet class · 981b0900
  Marek Chalupa authored Feb 17, 2021
  
  981b0900
- lazy execution: keep metadata to nondet results of instructions · 41a255ce
  Marek Chalupa authored Feb 17, 2021
  
  41a255ce
- rename nondets to snake case · 999ca688
  Marek Chalupa authored Feb 17, 2021
  
  999ca688
- kindse: fix subsuming states · d88d85bc
  Marek Chalupa authored Feb 17, 2021
  d88d85bc
Feb 16, 2021
- improve verbosity of dbgv and add new dbgvv option · 6c63df4c
  Marek Chalupa authored Feb 16, 2021
  6c63df4c
- kindse relations: fix names collisions · f3d0dc03
  Marek Chalupa authored Feb 16, 2021
  f3d0dc03
- kindse relations: fix a typo · df783866
  Marek Chalupa authored Feb 16, 2021
  df783866
- annotatedcfa: change dumping the edges · 2a65cb34
  Marek Chalupa authored Feb 16, 2021
  
  2a65cb34