Completed
Push — master ( 8a1bd8...a9917f )
by Andreas
02:08
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.63
▶   ± 0
Head
Andreas Heigl  
Adds more badges ;)
Base
Andreas Heigl  
Merge pull request #1 from heiglandreas/analysis-z3RJMP