Skip to content

Instantly share code, notes, and snippets.

@Bohdankm22

Bohdankm22/GSoC2017_Bohdan_Sharipov.md

Last active October 25, 2020 07:38
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Bohdankm22/e84f8a08c240411ed5f8ec9d0597b1c5 to your computer and use it in GitHub Desktop.
Save Bohdankm22/e84f8a08c240411ed5f8ec9d0597b1c5 to your computer and use it in GitHub Desktop.
Download ZIP
The gist contains information about GSoC project for the Checker Framework done by Bohdan Sharipov
Raw
GSoC2017_Bohdan_Sharipov.md

GSoC 2017 Bohdan Sharipov the Checker Framework work [Upgrading the stubparser]

The main purpose of the project was to upgrade the stubparser to use the newest version of the javaparser. I succeeded at the task and the new version has been integrated with the public Checker Framework repository. Project description.

List of done things:

  1. Pull requests to the typetools/stubparser project (previosly I forked it from javaparser/javaparser project).
  1. Adjusted the Checker Framework project to use the new version of the stubparser:
  1. Adjusted the checker-framework-inference project to the new requirements of the stub files:

Additional work:

  1. Pull request to fix the issue1456 in the Checker Framework (not closed yet) typetools/checker-framework#1465
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment