New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update translation plugin #89

Closed

SimonBoulier wants to merge 2 commits into is_construct from update_translation_plugin

Contributor

SimonBoulier commented Jan 21, 2019

This is a big update of the translation plugin

SimonBoulier added 2 commits

January 21, 2019 11:12


          big update translation plugin

5bfc6e1


          Remove duplicate checker_flags

569c914

SimonBoulier mentioned this pull request

Issue when chaining parametricity translation with definition #85

Closed

Contributor Author

SimonBoulier commented Feb 7, 2019

Merged in e3aa6cb and 0432733

SimonBoulier closed this

mattam82 deleted the update_translation_plugin branch

May 21, 2019 14:53

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