Inspections

Fixes issues

master . cd3289...7b068f . push triggered

  5 fixed issues found.
02:15
created
Adds some Caching counters

master . 117960...cd3289 . push triggered

  11 new issues, 1 fixed issue found. 6 suggested patches.
02:26
created
fixes factories

master . a0397d...117960 . push triggered

  3 new issues, 1 fixed issue found.
02:25
created
Adds more tests

master . 338e16...a0397d . push triggered

  1 new issue, 1 fixed issue found.
02:37
created
Fixes WienerSachtext-Factories

master . a442d4...338e16 . push triggered

  5 fixed issues found.
02:28
created
Adds some factories

master . a4a679...a442d4 . push triggered

  6 new issues, 2 fixed issues found. 4 suggested patches.
03:21
created
Adds added Calcs to README

master . 5430e3...a4a679 . push triggered

  No notable changes.
10:14
created
Adds some more stuff

master . 111737...5430e3 . push triggered

  17 new issues, 2 fixed issues found. 8 suggested patches.
09:48
created
Adds composer instructions

master . a9917f...111737 . push triggered

  No notable changes.
02:26
created
Adds more badges ;)

master . 8a1bd8...a9917f . push triggered

  No notable changes.
02:08
created
Merge pull request #1 from heiglandreas/analysis-z3RJMP

master . fa4795...8a1bd8 . push triggered

  No notable changes.
03:17
created
Applied fixes from StyleCI

master . #1 . pull request triggered

  No notable changes.
02:05
created
Adds more factories and README-description

master . b36f87...fa4795 . push triggered

  No notable changes.
02:04
created
Adds more readme-stuff

master . 146206...b36f87 . push triggered

  No notable changes.
02:11
created
Adds badges

master . ea58b1...146206 . push triggered

  No notable changes.
02:09
created
Initial Commit

master . ea58b1 . manually triggered

  2 issues, 1 duplication found. 1 patches suggested.
03:30
created