Commits · 7a997ed160a69ea38182558db2e9b0ed97a883c0 · Marek Chalupa / slowbeast

Browse files

Feb 03, 2021
- add benchmarks · 7a997ed1
  Marek Chalupa authored Feb 03, 2021
  
  7a997ed1
Jan 18, 2021
- Use also equalities to constants in overapprox · 8affd89e
  Marek Chalupa authored Jan 18, 2021
  8affd89e
Jan 15, 2021
- kindse: handle equalities to constants · 60b7aa15
  Marek Chalupa authored Jan 15, 2021
  
  60b7aa15
- Fix executing CFA paths · f86c5f0b
  Marek Chalupa authored Jan 15, 2021
  f86c5f0b
- CFA: transform assertions to error locations · 48bbe825
  Marek Chalupa authored Jan 15, 2021
  48bbe825
- Change dbg print · f23b1a43
  Marek Chalupa authored Jan 15, 2021
  
  f23b1a43
- Fix executing CFA paths · 52d01515
  Marek Chalupa authored Jan 15, 2021
  
  52d01515
Jan 12, 2021
- rename freshValue and dropValue · 4a72a4c6
  Marek Chalupa authored Jan 12, 2021
  
  4a72a4c6
- rename doSubs · f37e136c
  Marek Chalupa authored Jan 12, 2021
  
  f37e136c
- rename several methods · 86ad5097
  Marek Chalupa authored Jan 12, 2021
  
  86ad5097
- rename several methods · a625c10c
  Marek Chalupa authored Jan 12, 2021
  
  a625c10c
- kindse: rename a few other methods · b881b25d
  Marek Chalupa authored Jan 12, 2021
  
  b881b25d
- rename metadata methods · 1e1f00c4
  Marek Chalupa authored Jan 12, 2021
  
  1e1f00c4
- addFun -> add_fun · 0e0ea526
  Marek Chalupa authored Jan 12, 2021
  
  0e0ea526
- Remove unused methods · bf12b69f
  Marek Chalupa authored Jan 12, 2021
  
  bf12b69f
- Rename other methods to lower case · d3ad5e0a
  Marek Chalupa authored Jan 12, 2021
  
  d3ad5e0a
- getMessage -> msg · 7a1b4c9a
  Marek Chalupa authored Jan 12, 2021
  
  7a1b4c9a
- Rename methods of Call · 684791f8
  Marek Chalupa authored Jan 12, 2021
  
  684791f8
- Rename methods of Branch · 27689b88
  Marek Chalupa authored Jan 12, 2021
  
  27689b88
- insertBefore -> insert_before · 5ff1c74c
  Marek Chalupa authored Jan 12, 2021
  
  5ff1c74c
- Rename *BBlock to lowercase · 4d570761
  Marek Chalupa authored Jan 12, 2021
  
  4d570761
- blackify · a7accea8
  Marek Chalupa authored Jan 12, 2021
  
  a7accea8
- Fix tests · 06f8c4ed
  Marek Chalupa authored Jan 12, 2021
  
  06f8c4ed
- rename getOperand -> operand · 0f4f51cf
  Marek Chalupa authored Jan 12, 2021
  
  0f4f51cf
- rename *Inti to lower case · b0dee34b
  Marek Chalupa authored Jan 12, 2021
  
  b0dee34b
- rename getName -> name · 59da94da
  Marek Chalupa authored Jan 12, 2021
  
  59da94da
- rename getSize -> size · 276d0669
  Marek Chalupa authored Jan 12, 2021
  
  276d0669
- rename isGlobal -> is_global · ba22679f
  Marek Chalupa authored Jan 12, 2021
  
  ba22679f
- Rename methods of Store/Load · d7ef33bc
  Marek Chalupa authored Jan 12, 2021
  d7ef33bc
- kindse: handle undefined calls on CFA edges · 51908357
  Marek Chalupa authored Jan 12, 2021
  51908357
- CFA: add CallEdge class · 3b1fb4a1
  Marek Chalupa authored Jan 12, 2021
  3b1fb4a1
- Implement lazy value access · 808bd3e6
  Marek Chalupa authored Jan 12, 2021
  808bd3e6
- ir: register how many bytes write uses · b763b94d
  Marek Chalupa authored Jan 12, 2021
  b763b94d
- kindse: switch from CFG to CFA · 02511dd3
  Marek Chalupa authored Jan 11, 2021
  02511dd3
Jan 11, 2021
- kindse: build also CFA · e9acaf4a
  Marek Chalupa authored Jan 11, 2021
  
  e9acaf4a
- kindse: add a dbg message · 4d9c0c95
  Marek Chalupa authored Jan 11, 2021
  
  4d9c0c95
Jan 08, 2021
- kindse: get rid of unused feature · 0d221d30
  Marek Chalupa authored Jan 08, 2021
  0d221d30
- kindse: remove unused method · e2d0f98f
  Marek Chalupa authored Jan 08, 2021
  e2d0f98f
- kindse: improve extending the literal · a8fe128c
  Marek Chalupa authored Jan 08, 2021
  a8fe128c
- kindse: refactor extend_literal a bit · 350d95b3
  Marek Chalupa authored Jan 08, 2021
  
  350d95b3