Commits · 9fae05753fa004c916060eb9954bd3455f14db4c · Dr. Michael Petter / LLVM-abstractinterpretation

29 Apr, 2020 40 commits
- fixed variable naming · 9fae0575
  Tim Gymnich authored Feb 26, 2020
  
  9fae0575
- added sample code generator to cmake · d22d6e9d
  Tim Gymnich authored Feb 26, 2020
  
  d22d6e9d
- fixed phi · e73653a6
  Tim Gymnich authored Feb 25, 2020
  
  e73653a6
- fixed bottom · c6edcbef
  Tim Gymnich authored Feb 25, 2020
  
  c6edcbef
- simplified example · 28942d73
  Tim Gymnich authored Feb 25, 2020
  
  28942d73
- added merge test · 2df3ddcc
  Tim Gymnich authored Feb 25, 2020
  
  2df3ddcc
- fixed debug output · f5bd28eb
  Tim Gymnich authored Feb 21, 2020
  
  f5bd28eb
- lllvm:phiNode -> llvm::instruction · 6e7aab83
  Tim Gymnich authored Feb 10, 2020
  
  6e7aab83
- fixed handling of void returns · 75a597ad
  Tim Gymnich authored Feb 10, 2020
  
  75a597ad
- fixed order (rpo) of registered basic_blocks · 8afaf82a
  Tim Gymnich authored Feb 09, 2020
  
  8afaf82a
- adding all basic blocks of function to worklist · ff909dae
  Tim Gymnich authored Feb 09, 2020
  
  ff909dae
- extracted register function · c53bdf3e
  Tim Gymnich authored Feb 07, 2020
  
  c53bdf3e
- fixed counter · 85b49a8f
  Tim Gymnich authored Feb 07, 2020
  
  85b49a8f
- implemented limiting of callstack depth · 3b919389
  Tim Gymnich authored Jan 31, 2020
  
  3b919389
- removed unused includes · 7683978d
  Tim Gymnich authored Jan 30, 2020
  
  7683978d
- removed unecessary default case · e078877e
  Tim Gymnich authored Jan 30, 2020
  
  e078877e
- removed unused header file callstring.h · ba0af844
  Tim Gymnich authored Jan 30, 2020
  
  ba0af844
- put hash utils in separate file · aa7b4cc3
  Tim Gymnich authored Jan 30, 2020
  
  aa7b4cc3
- renamed bb to basic_block · b4cd7534
  Tim Gymnich authored Jan 30, 2020
  
  b4cd7534
- moved AbstractStateDummy into its own file · dc7836af
  Tim Gymnich authored Jan 30, 2020
  
  dc7836af
- nice printing of callstrings · 513bbc2c
  Tim Gymnich authored Jan 30, 2020
  
  513bbc2c
- use function in callstring instead of basic block · 22fadf59
  Tim Gymnich authored Jan 30, 2020
  
  22fadf59
- rewrite util funcs with << operator · 7bf388f4
  Tim Gymnich authored Jan 30, 2020
  
  7bf388f4
- prepared data structures for callstring n [2] · 1d94c833
  Tim Gymnich authored Jan 30, 2020
  
  1d94c833
- removed two var eq for now · 2dd628dc
  Tim Gymnich authored Jan 29, 2020
  
  2dd628dc
- Implemented some hash functions · a84b52aa
  Tim Gymnich authored Jan 29, 2020
  
  a84b52aa
- using namespace llvm and std · 9a4b29a3
  Tim Gymnich authored Jan 28, 2020
  
  9a4b29a3
- added template parameters · 41d17c00
  Tim Gymnich authored Jan 28, 2020
  
  41d17c00
- renamed fields in node · f5ca8425
  Tim Gymnich authored Jan 28, 2020
  
  f5ca8425
- refactor fixpoint · c93be0b7
  Tim Gymnich authored Jan 20, 2020
  
  c93be0b7
- fixed headers · a59c8ab3
  Tim Gymnich authored Jan 20, 2020
  
  a59c8ab3
- fixed small issues · e4335487
  Tim Gymnich authored Jan 20, 2020
  
  e4335487
- refactor · f3197169
  Tim Gymnich authored Jan 18, 2020
  
  f3197169
- Improved cmake · 1035e4c3
  Tim Gymnich authored Jan 17, 2020
  
  1035e4c3
- removed stale comment · 13bb56ec
  Tim Gymnich authored Jan 17, 2020
  
  13bb56ec
- added for loop sample · 1aa2dc71
  Tim Gymnich authored Jan 17, 2020
  
  1aa2dc71
- fixed add mull and sub operators · d59223a3
  Tim Gymnich authored Jan 15, 2020
  
  d59223a3
- Added linear terms to linearAssignment · 5d2fa90a
  Tim Gymnich authored Jan 15, 2020
  
  5d2fa90a
- Added addition tests · 3dd61d1a
  Tim Gymnich authored Jan 15, 2020
  
  3dd61d1a
- fixed nonDeterministic assigment · b2c3b613
  Tim Gymnich authored Jan 15, 2020
  
  b2c3b613