Commits · master · Dr. Michael Petter / LLVM-abstractinterpretation

15 Nov, 2021 3 commits
- Update README.md · 156593d3
  Dr. Michael Petter authored Nov 15, 2021
  
  156593d3
- Update README.md · 2da3a585
  Dr. Michael Petter authored Nov 15, 2021
  
  2da3a585
- Update README.md · 0dd0aa25
  Dr. Michael Petter authored Nov 15, 2021
  
  0dd0aa25
08 Nov, 2021 1 commit
- compatible to LLVM 13 · 9fe2f614
  Dr. Michael Petter authored Nov 08, 2021
  
  9fe2f614
15 May, 2020 1 commit
- patched support for vizualization into fixpoint.cpp · 8e9e5cfa
  Dr. Michael Petter authored May 15, 2020
  
  8e9e5cfa
13 May, 2020 2 commits
- documentation for actual call to the analysis · fd8a6d28
  Dr. Michael Petter authored May 13, 2020
  
  fd8a6d28
- mentioned the vscode plugin · 24e992e7
  Dr. Michael Petter authored May 13, 2020
  
  24e992e7
12 May, 2020 3 commits
- both build instructions tested and working · 23575a39
  Dr. Michael Petter authored May 12, 2020
  
  23575a39
- more precise timings added · 5e9ca9ec
  Dr. Michael Petter authored May 12, 2020
  
  5e9ca9ec
- tested on Ubuntu 20.04 and updated make instructions · 3219b8f3
  Dr. Michael Petter authored May 12, 2020
  
  3219b8f3
28 Nov, 2019 1 commit
- WS 2019 authors added · d142c1ed
  Dr. Michael Petter authored Nov 28, 2019
  
  d142c1ed
30 Oct, 2019 1 commit
- Update CMakeList to work for LLVM >= 8.0 · 27ebb08b
  Michael Schwarz authored Oct 30, 2019
```
Update Readme
```
  27ebb08b
27 Nov, 2018 2 commits
- Update README.md · 204ae149
  Dr. Michael Petter authored Nov 27, 2018
  
  204ae149
- initial · dee77e5f
  Administrator authored Nov 27, 2018
  
  dee77e5f