Commits · 926c6e36f87221cc7d8d2b68a2d3ae5cb4ad7ea1 · Marek Chalupa / slowbeast

Browse files

Feb 15, 2021
- parser: use error-fn · 926c6e36
  Marek Chalupa authored Feb 15, 2021
  
  926c6e36
- Change output · 45174e88
  Marek Chalupa authored Feb 15, 2021
  
  45174e88
- kindes: a small refactoring · b078ec6b
  Marek Chalupa authored Feb 15, 2021
  
  b078ec6b
- ir: add type() to GlobalVariable · ce70deca
  Marek Chalupa authored Feb 15, 2021
  
  ce70deca
- Fix unfolding the loops · 4413859e
  Marek Chalupa authored Feb 15, 2021
  
  4413859e
- Fix unfolding paths · 81c697d3
  Marek Chalupa authored Feb 15, 2021
  
  81c697d3
- Fix paths subsumption · 10d22570
  Marek Chalupa authored Feb 15, 2021
  
  10d22570
- Implement loops unfolding · 37f39dc4
  Marek Chalupa authored Feb 15, 2021
  
  37f39dc4
- Fix a bug in checking initial paths · 68504808
  Marek Chalupa authored Feb 15, 2021
  
  68504808
Feb 11, 2021
- Let handle_loop return paths that has not been searched · 271637af
  Marek Chalupa authored Feb 11, 2021
  
  271637af
- remove unused code · 67088c1f
  Marek Chalupa authored Feb 11, 2021
  
  67088c1f
- refactor code a bit · a7c7637a
  Marek Chalupa authored Feb 11, 2021
  
  a7c7637a
- kindse: start extending initial seqence creation · d202c0a4
  Marek Chalupa authored Feb 11, 2021
  
  d202c0a4
- Fix two methods · de12159f
  Marek Chalupa authored Feb 11, 2021
  
  de12159f
- kindse: refactor strengthening the initial sequence · 06a30baa
  Marek Chalupa authored Feb 11, 2021
  
  06a30baa
- Fix overapproximating classes · 6a07fdea
  Marek Chalupa authored Feb 11, 2021
  
  6a07fdea
Feb 09, 2021
- Kindse pathexecutor: Handle nondet calls · eb7e27f4
  Marek Chalupa authored Feb 09, 2021
  
  eb7e27f4
- kindse: fix overapproximating literals · d4ae1078
  Marek Chalupa authored Feb 09, 2021
  d4ae1078
- Use also equalities to constants in overapprox · 7dd8eb23
  Marek Chalupa authored Jan 18, 2021
  7dd8eb23
- kindse: refactor dropping clauses · 5dbace29
  Marek Chalupa authored Feb 09, 2021
  
  5dbace29
- kindse: handle equalities to constants · 1af0f3ff
  Marek Chalupa authored Jan 15, 2021
  
  1af0f3ff
- Fix executing CFA paths · 0f83c43f
  Marek Chalupa authored Jan 15, 2021
  0f83c43f
- CFA: transform assertions to error locations · 8c27e1cd
  Marek Chalupa authored Jan 15, 2021
  8c27e1cd
- Change dbg print · 0e044a36
  Marek Chalupa authored Jan 15, 2021
  
  0e044a36
- Fix executing CFA paths · 973b1550
  Marek Chalupa authored Jan 15, 2021
  
  973b1550
- rename freshValue and dropValue · 51294f97
  Marek Chalupa authored Jan 12, 2021
  
  51294f97
- rename doSubs · 5732174c
  Marek Chalupa authored Jan 12, 2021
  
  5732174c
- rename several methods · 93dbd326
  Marek Chalupa authored Jan 12, 2021
  
  93dbd326
- rename several methods · 1697d9e3
  Marek Chalupa authored Jan 12, 2021
  
  1697d9e3
- kindse: rename a few other methods · 976d57dc
  Marek Chalupa authored Jan 12, 2021
  
  976d57dc
- rename metadata methods · c3d6a797
  Marek Chalupa authored Jan 12, 2021
  
  c3d6a797
- addFun -> add_fun · 877f5fe2
  Marek Chalupa authored Jan 12, 2021
  
  877f5fe2
- Remove unused methods · 6efae12d
  Marek Chalupa authored Jan 12, 2021
  
  6efae12d
- Rename other methods to lower case · 14c2ccfa
  Marek Chalupa authored Jan 12, 2021
  
  14c2ccfa
- getMessage -> msg · 2738ba44
  Marek Chalupa authored Jan 12, 2021
  
  2738ba44
- Rename methods of Call · e4ba074f
  Marek Chalupa authored Jan 12, 2021
  
  e4ba074f
- Rename methods of Branch · 77a4764a
  Marek Chalupa authored Jan 12, 2021
  
  77a4764a
- insertBefore -> insert_before · 4171e818
  Marek Chalupa authored Jan 12, 2021
  
  4171e818
- Rename *BBlock to lowercase · 451d2be3
  Marek Chalupa authored Jan 12, 2021
  
  451d2be3
- blackify · cb6455f8
  Marek Chalupa authored Jan 12, 2021
  
  cb6455f8