Enable multiple checker and add dropdown list for checkers - #20

Open

64g wants to merge 29 commits into

eisopux:masterfrom

64g:preference-page

Commits on Mar 2, 2020

change checker_framework config, add JavaSE-11
GloriaWa
committed
e65aaa5
change file structure, add feature and update site
GloriaWa
committed
4ec7aad

Commits on Mar 6, 2020

restore master
GloriaWa
committed
f5d416d
restore master
GloriaWa
committed
65e8f9e
add JavaSE-11
GloriaWa
committed
28c278a

Commits on Mar 12, 2020

delete JavaSE-12, only have JavaSE-11 in MANIFEST.MF now
GloriaWa
committed
3e79ea5

Commits on Mar 26, 2020

restore master branch
GloriaWa
committed
4977bdd
restore master
GloriaWa
committed
693ac03

Commits on Apr 10, 2020

Commits on Apr 11, 2020

reverse plugin change
GloriaWa
committed
b47e2f4

Commits on May 4, 2020

change name
GloriaWa
committed
1f57ba5
update update site name
GloriaWa
committed
33df67d

Commits on Jun 8, 2020

Merge branch 'add-more-checking-when-initializing-langserver' of github.com:GloriaWa/checker-framework-eclipse into add-more-checking-when-initializing-langserver
wmdietl
committed
2ee8cd3

Commits on Jun 25, 2020

Use org.checkerframework.languageserver.eclipse as base name.

wmdietl
authored and
Shiji Liu
committed
a7991b1
Add Eclipse Tycho configuration.

wmdietl
authored and
Shiji Liu
committed
55bb2e7
Add Travis CI configuration.

wmdietl
authored and
Shiji Liu
committed
66a91a6
Add .gitignore.

wmdietl
authored and
Shiji Liu
committed
dc3fa21
Remove unused import. Fix typo.

wmdietl
authored and
Shiji Liu
committed
ec859c1
Try to improve first-timer instructions.

wmdietl
authored and
Shiji Liu
committed
85c9ed2
Set target platform. Enable ErrorProne.

wmdietl
authored and
Shiji Liu
committed
0221dbe
Disable ErrorProne. I also didn't get Spotless to work.

wmdietl
authored and
Shiji Liu
committed
1d460ab

Commits on Jul 1, 2020

Merge branch 'master' of https://github.com/64g/checker-framework-eclipse

Shiji Liu
authored and
Shiji Liu
committed
a5b0a4b

Commits on Aug 5, 2020

Enable mutiple checkers and add dropdown list

Shiji Liu
authored and
Shiji Liu
committed
6fff61e
rollback .gitignore

Shiji Liu
authored and
Shiji Liu
committed
e5c3f37

Commits on Aug 12, 2020

fix by comments

Shiji Liu
authored and
Shiji Liu
committed
0b1d3f5

Commits on Aug 13, 2020

fix all comments

Shiji Liu
authored and
Shiji Liu
committed
1033cf1
remove unsed import

Shiji Liu
authored and
Shiji Liu
committed
dc70168