Commits · 1176088ac0531f950d91d4d47f580ef73d85e841 · fact-depend / cwe_checker · GitLab

21 Nov, 2018 1 commit
- codacy badge added · 1176088a
  Peter Weidenbach authored Nov 21, 2018
  
  1176088a Browse Files
12 Nov, 2018 2 commits
- Added info about OPAM pacakge. · c684f2b8
  Thomas Barabosch authored Nov 12, 2018
  
  c684f2b8 Browse Files
- Merge pull request #1 from weidenba/master · 1dc37a92
```
system upgrade
```
  Thomas Barabosch authored Nov 12, 2018
  1dc37a92 Browse Files
07 Nov, 2018 2 commits
- docker creation bugfixes · a9981c09
  Peter Weidenbach authored Nov 07, 2018
  
  a9981c09 Browse Files
- system upgrade · 7b01ddbb
  Peter Weidenbach authored Nov 07, 2018
  
  7b01ddbb Browse Files
09 Oct, 2018 2 commits
- Added CHANGES.md · ccc3f8c3
  Thomas Barabosch authored Oct 09, 2018
  
  ccc3f8c3 Browse Files
- Switched license to LGPL 3.0 · 348a254f
  Thomas Barabosch authored Oct 09, 2018
  
  348a254f Browse Files
08 Oct, 2018 7 commits
- Fixed README, there is no plugin folder. · dec2f430
  Thomas Barabosch authored Oct 08, 2018
  
  dec2f430 Browse Files
- Added license. · dc9ca168
  Thomas Barabosch authored Oct 08, 2018
  
  dc9ca168 Browse Files
- Small fix in README. · e0290171
  Thomas Barabosch authored Oct 08, 2018
  
  e0290171 Browse Files
- Fixed image · 5752a8f6
  Thomas Barabosch authored Oct 08, 2018
  
  5752a8f6 Browse Files
- Adjusted graphic size · abc5f9e5
  Thomas Barabosch authored Oct 08, 2018
  
  abc5f9e5 Browse Files
- Adjusted graphic size · 97661d60
  Thomas Barabosch authored Oct 08, 2018
  
  97661d60 Browse Files
- Release commit. · f81cd3d1
  Thomas Barabosch authored Oct 08, 2018
  
  f81cd3d1 Browse Files