Commits · bcc33b8f473cf6da4f1aaf5bb4fef0f1d6f43d9f · Marek Chalupa / slowbeast

Browse files

Apr 20, 2021
- overapprox: fix overapproximating inequalities · bcc33b8f
  Marek Chalupa authored Apr 20, 2021
  bcc33b8f
Apr 19, 2021
- bself: add option to union extensions · a0d1a1af
  Marek Chalupa authored Apr 19, 2021
  
  a0d1a1af
- bself: allow merging extensions of a sequence · 43923d7c
  Marek Chalupa authored Apr 19, 2021
  
  43923d7c
- tests: add a new regression test · b80a5cd1
  Marek Chalupa authored Apr 19, 2021
  
  b80a5cd1
- tests: add two new regression tests · dea8cf08
  Marek Chalupa authored Apr 19, 2021
  
  dea8cf08
- adjust tests · e53548f4
  Marek Chalupa authored Apr 19, 2021
  
  e53548f4
- tests: add a new test · 6cc0e9b8
  Marek Chalupa authored Apr 19, 2021
  
  6cc0e9b8
- tests: add a test for th previous commit · c4a12fb5
  Marek Chalupa authored Apr 19, 2021
  
  c4a12fb5
- rels: yield also non-eq relations · 7f6e2611
  Marek Chalupa authored Apr 19, 2021
  7f6e2611
Apr 18, 2021
- tests: fix bself tests · ca64cdae
  Marek Chalupa authored Apr 18, 2021
  
  ca64cdae
- var relations: do not yield multiple equalities · 4763ff13
  Marek Chalupa authored Apr 18, 2021
  
  4763ff13
- tests: add a new test · 5ac40baa
  Marek Chalupa authored Apr 18, 2021
  
  5ac40baa
- relations: add relations derived from path conditions · 626eb3d0
  Marek Chalupa authored Apr 18, 2021
  626eb3d0
- overapprox: do not break eqs if they are not overapproximated · 2bbc79b2
  Marek Chalupa authored Apr 18, 2021
  
  2bbc79b2
- relations: rename a variable · 57d1fd1b
  Marek Chalupa authored Apr 18, 2021
  
  57d1fd1b
- relations: reduce the use of . operator · 28ac54e9
  Marek Chalupa authored Apr 18, 2021
  
  28ac54e9
- annotations: allow build them from a state · 89c943d4
  Marek Chalupa authored Apr 18, 2021
  
  89c943d4
Apr 17, 2021
- bself: change debugging messages a bit · 71cf4993
  Marek Chalupa authored Apr 17, 2021
  
  71cf4993
- 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