Skip to content

Simplifier 20160305 - #12

Closed
tautschnig wants to merge 6193 commits into
diffblue:masterfrom
tautschnig:simplifier-20160305
Closed

Simplifier 20160305#12
tautschnig wants to merge 6193 commits into
diffblue:masterfrom
tautschnig:simplifier-20160305

Conversation

@tautschnig

Copy link
Copy Markdown
Collaborator

A first set of cleanup and extensions to the simplifier. There is more to come, which will build on those changes, notably 88599b7.

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@tautschnig@peterschrammel