Commits · a4bfe9fff1310d9c0b7862fadcf7d39d811e6916 · Marek Chalupa / slowbeast

Browse files

Apr 17, 2021
- BSEPath: fix getting source and target of path · a4bfe9ff
  Marek Chalupa authored Apr 17, 2021
  
  a4bfe9ff
- bse: execute paths instead of edges · 3652a9f0
  Marek Chalupa authored Apr 17, 2021
  3652a9f0
- bse: replace edge with path object · 85e1d607
  Marek Chalupa authored Apr 17, 2021
  85e1d607
- bse executor: add method for executing BSEPath · c524ef0f
  Marek Chalupa authored Apr 17, 2021
  
  c524ef0f
- BSE: add BSEPath class · 191fc604
  Marek Chalupa authored Apr 17, 2021
  191fc604
Apr 16, 2021
- blackify · c5fc5f44
  Marek Chalupa authored Apr 16, 2021
  
  c5fc5f44
- se: rename execution status methods · 76844578
  Marek Chalupa authored Apr 16, 2021
  
  76844578
- rename some execstatus methods · b958ad36
  Marek Chalupa authored Apr 16, 2021
  
  b958ad36
- executionstatus: rename attributes · 8438fcd9
  Marek Chalupa authored Apr 16, 2021
  
  8438fcd9
- rename createMemory -> create_memory · c892945f
  Marek Chalupa authored Apr 16, 2021
  
  c892945f
- memory: rename methods to snake case · c4625a29
  Marek Chalupa authored Apr 16, 2021
  
  c4625a29
- callstack.py: rename methods · 902f5472
  Marek Chalupa authored Apr 16, 2021
  
  902f5472
- overapprox: fix some pylint issues · dc0bdeef
  Marek Chalupa authored Apr 16, 2021
  
  dc0bdeef
- Fix some pylint issues · 21255e39
  Marek Chalupa authored Apr 16, 2021
  
  21255e39
- annotatedcfa: fix some pylint issues · ef82f64b
  Marek Chalupa authored Apr 16, 2021
  
  ef82f64b
- Fix some pylint issues · 4abb76ea
  Marek Chalupa authored Apr 16, 2021
  
  4abb76ea
- bse/bself: fix some pylint issues · 4c8b33f0
  Marek Chalupa authored Apr 16, 2021
  
  4c8b33f0
- solvers/solver: fix some pylint issues · e7d0acff
  Marek Chalupa authored Apr 16, 2021
  
  e7d0acff
- bse/bse.py: fix some pylint issues · 77d7a3be
  Marek Chalupa authored Apr 16, 2021
  
  77d7a3be
- bse/memorymodel.py: fix some pylint issues · 7780d550
  Marek Chalupa authored Apr 16, 2021
  
  7780d550
- blackify · d2ed1580
  Marek Chalupa authored Apr 16, 2021
  
  d2ed1580
- Fix a few lint issues · 32cf0f5f
  Marek Chalupa authored Apr 16, 2021
  
  32cf0f5f
- pylint loopinfo.py · c91d3351
  Marek Chalupa authored Apr 16, 2021
  
  c91d3351
- seexecutor: rename methods · 7ab9ad9f
  Marek Chalupa authored Apr 16, 2021
  7ab9ad9f
- se executor: rename functions · 3707de6c
  Marek Chalupa authored Apr 16, 2021
  
  3707de6c
- rename nondet loads getters · 8e2f7f19
  Marek Chalupa authored Apr 16, 2021
  
  8e2f7f19
- sestate: rename methods for warnings · 14aa45d8
  Marek Chalupa authored Apr 16, 2021
  
  14aa45d8
- rename setConstraints -> set_constraints · 0940c5f0
  Marek Chalupa authored Apr 16, 2021
  
  0940c5f0
- sestate: rename constraints getters · bab39139
  Marek Chalupa authored Apr 16, 2021
  
  bab39139
- rename addConstraint -> add_constraint · c33d29c6
  Marek Chalupa authored Apr 16, 2021
  
  c33d29c6
- bself: disable inductive sets for now · cbd46114
  Marek Chalupa authored Apr 16, 2021
  cbd46114
- bself: fix counting the number of visits of loops in nested BSELF · cbd8e706
  Marek Chalupa authored Apr 16, 2021
  
  cbd8e706
- tests: rename tests · 92db7966
  Marek Chalupa authored Apr 16, 2021
  92db7966
- tests: add a test for sequential loops · fb92443d
  Marek Chalupa authored Apr 16, 2021
  
  fb92443d
- bself: change debugging messages · f828224a
  Marek Chalupa authored Apr 16, 2021
  
  f828224a
- bself: refactor a bit · 19f216f1
  Marek Chalupa authored Apr 16, 2021
  
  19f216f1
- bself: pick only the "biggest" overapproximations · 5b3fdd9f
  Marek Chalupa authored Apr 16, 2021
  5b3fdd9f
- bself: constrain the number of visits to loops in nested BSELF · 13ba923b
  Marek Chalupa authored Apr 16, 2021
  
  13ba923b
- bse: improve rporting problem states · bb16bf72
  Marek Chalupa authored Apr 16, 2021
  
  bb16bf72
- bself: store invariants as assumes · 77d0d88d
  Marek Chalupa authored Apr 16, 2021
  
  77d0d88d