Commits · 579935203b0d3583dc1ab96f7fd2af432fed06bd · Dr. Michael Petter / LLVM-abstractinterpretation

19 Nov, 2021 3 commits
- do not drop variable names in production compiler · 57993520
  Administrator authored Nov 19, 2021
  
  57993520
- now flowgraphs for every function in the cpp file · 796babdf
  Administrator authored Nov 19, 2021
  
  796babdf
- added a few more helpers · cb45b8ed
  Administrator authored Nov 19, 2021
  
  cb45b8ed
16 Nov, 2021 1 commit
- correct clang/opt version to be used for sample generation · c883ba2d
  Administrator authored Nov 16, 2021
  
  c883ba2d
12 Nov, 2021 1 commit
- added starter c++ sample and toolchain · daa80424
  Administrator authored Nov 12, 2021
  
  daa80424
12 May, 2020 1 commit
- tested on Ubuntu 20.04 and updated make instructions · 3219b8f3
  Dr. Michael Petter authored May 12, 2020
  
  3219b8f3
01 May, 2020 1 commit
- fixed tests · a7872c48
  Tim Gymnich authored May 01, 2020
  
  a7872c48
29 Apr, 2020 24 commits
- added sparse matrix · da25a9cb
  Tim Gymnich authored Apr 11, 2020
  
  da25a9cb
- added example-1.c · 0e236555
  Tim Gymnich authored Mar 28, 2020
  
  0e236555
- Added tests for affine relation · 7eb7a208
  Tim Gymnich authored Mar 16, 2020
  
  7eb7a208
- started implementing affine relation · a17818e3
  Tim Gymnich authored Mar 10, 2020
  
  a17818e3
- added matrix.h · 9b53b2cd
  Tim Gymnich authored Mar 10, 2020
  
  9b53b2cd
- replaced list(TRANSFORM ... APPEND ".c" ...) with custom macro for... · ba28d59d
  Tim Gymnich authored Mar 08, 2020
```
replaced list(TRANSFORM ... APPEND ".c" ...) with custom macro for compatibility with older cmake versions
```
  ba28d59d
- removed fixpoint_two_var_eq · a3fa370d
  Tim Gymnich authored Mar 08, 2020
  
  a3fa370d
- Added ValueFormatter for llvm::Value · fa3d3b1f
  Tim Gymnich authored Mar 06, 2020
  
  fa3d3b1f
- improved build speed · e587f830
  Tim Gymnich authored Mar 02, 2020
  
  e587f830
- improved sample ir generation · 311e85a6
  Tim Gymnich authored Feb 28, 2020
  
  311e85a6
- fixed folder name · edef6510
  Tim Gymnich authored Feb 28, 2020
  
  edef6510
- 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
- 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
- moved AbstractStateDummy into its own file · dc7836af
  Tim Gymnich authored Jan 30, 2020
  
  dc7836af
- fixed headers · a59c8ab3
  Tim Gymnich authored Jan 20, 2020
  
  a59c8ab3
- refactor · f3197169
  Tim Gymnich authored Jan 18, 2020
  
  f3197169
- Improved cmake · 1035e4c3
  Tim Gymnich authored Jan 17, 2020
  
  1035e4c3
- added tests · 151d146a
  Tim Gymnich authored Jan 13, 2020
  
  151d146a
- fixed path for test · 124232a8
  Tim Gymnich authored Jan 12, 2020
  
  124232a8
- fixed xcode build · 1ea1bfa5
  Tim Gymnich authored Jan 12, 2020
  
  1ea1bfa5
- Improved build system · 2848ddd7
  Tim Gymnich authored Jan 12, 2020
  
  2848ddd7
- leastUpperBound · faa78f7d
  Tim Gymnich authored Dec 31, 2019
  
  faa78f7d
20 Nov, 2019 1 commit
- Fixed CMake · 5833bcb6
  Florian Stamer authored Nov 20, 2019
  
  5833bcb6
05 Nov, 2019 1 commit
- Started handling function calls; so far it prints out the function name and its first parameter. · b49db366
  Dmytro Yakymets authored Nov 05, 2019
  
  b49db366
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 1 commit
- initial · dee77e5f
  Administrator authored Nov 27, 2018
  
  dee77e5f