Completed
Push — master ( fa4795...8a1bd8 )
by Andreas
03:17 queued 01:13
created

Changes

2 new patches (Spacing, Indentation) are available.
9.63
▶   ± 0
Head
Andreas Heigl  
Merge pull request #1 from heiglandreas/analysis-z3RJMP
1 more commit
Base
Andreas Heigl  
Adds more factories and README-description