Skip to content
This repository was archived by the owner on Nov 1, 2020. It is now read-only.

Merge ILVerify to master#3493

Merged
jkotas merged 7 commits intomasterfrom
ILVerify
May 3, 2017
Merged

Merge ILVerify to master#3493
jkotas merged 7 commits intomasterfrom
ILVerify

Conversation

@jkotas
Copy link
Member

@jkotas jkotas commented May 3, 2017

No description provided.

jkotas and others added 5 commits December 31, 2016 13:07
Merge master to ILVerify
* Added command line options to specify include/exclude patterns for methods, types, namespaces, ...
* Added/Improved help text for new command line options
…ions (#3474)

* Implemented verification for binary comparison and branching instructions
@jkotas jkotas merged commit 054f5f0 into master May 3, 2017
@jkotas
Copy link
Member Author

jkotas commented May 3, 2017

@mmayr-at I have merged the ILVerify branch to master. Future ILVerify PRs should go against master.

@jkotas jkotas deleted the ILVerify branch May 3, 2017 05:46
@mmayr-at
Copy link
Collaborator

mmayr-at commented May 3, 2017

Thanks, I'm pleased to see my changes in master.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants