Skip to content

Add feature and update site #21

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

Open
wants to merge 25 commits into
base: master
Choose a base branch
from
Open

Add feature and update site #21

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
e65aaa5
change checker_framework config, add JavaSE-11
GloriaWa Mar 2, 2020
4ec7aad
change file structure, add feature and update site
GloriaWa Mar 2, 2020
f5d416d
restore master
GloriaWa Mar 6, 2020
65e8f9e
restore master
GloriaWa Mar 6, 2020
28c278a
add JavaSE-11
GloriaWa Mar 6, 2020
3e79ea5
delete JavaSE-12, only have JavaSE-11 in MANIFEST.MF now
GloriaWa Mar 12, 2020
4977bdd
restore master branch
GloriaWa Mar 26, 2020
693ac03
restore master
GloriaWa Mar 26, 2020
b3386e2
Merge branch 'master' of https://github.com/eisopux/checker-framework…
GloriaWa Apr 10, 2020
eb25e8b
check if the zip file is not the downloader when initialing the langu…
GloriaWa Apr 10, 2020
80d619b
add feature and update site
GloriaWa Apr 10, 2020
b47e2f4
reverse plugin change
GloriaWa Apr 11, 2020
1f57ba5
change name
GloriaWa May 4, 2020
33df67d
update update site name
GloriaWa May 4, 2020
2ee8cd3
Merge branch 'add-more-checking-when-initializing-langserver' of gith…
wmdietl Jun 8, 2020
a7991b1
Use org.checkerframework.languageserver.eclipse as base name.
wmdietl Jun 13, 2020
55bb2e7
Add Eclipse Tycho configuration.
wmdietl Jun 13, 2020
66a91a6
Add Travis CI configuration.
wmdietl Jun 13, 2020
dc3fa21
Add .gitignore.
wmdietl Jun 13, 2020
ec859c1
Remove unused import. Fix typo.
wmdietl Jun 13, 2020
85c9ed2
Try to improve first-timer instructions.
wmdietl Jun 13, 2020
0221dbe
Set target platform. Enable ErrorProne.
wmdietl Jun 13, 2020
1d460ab
Disable ErrorProne. I also didn't get Spotless to work.
wmdietl Jun 13, 2020
a5b0a4b
Merge branch 'master' of https://github.com/64g/checker-framework-ecl…
Jul 1, 2020
c978979
rename 'lsp_checkerframework' in feature/.project and update-site/.pr…
Aug 12, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions feature/.project
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.checkerframework.languageserver.eclipse.feature</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.pde.FeatureBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.pde.FeatureNature</nature>
</natures>
</projectDescription>
8 changes: 8 additions & 0 deletions feature/build.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
bin.includes = feature.xml,\
bin/,\
plugin/,\
feature/
src.includes = feature.xml,\
build.properties,\
.project

Loading