Skip to content
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.

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

Update manual with subsection for WPI results #6209

Merged
merged 4 commits into from
Sep 29, 2023

Conversation

jyoo980
Copy link
Contributor

@jyoo980 jyoo980 commented Sep 29, 2023

There are still some WPI-generated logs that I do not have an explanation for, such as:

  • dljc.cache - I assume this is just a cache for a do-like-javac invocation, not sure it warrants mentioning in the manual.
  • jars.json - Not sure what this is, seems to be empty for most projects.
  • dljc-stdout-*-*-* - some type of output file produced by do-like-javac.

@jyoo980 jyoo980 marked this pull request as ready for review September 29, 2023 04:43
@kelloggm
Copy link
Contributor

dljc.cache - I assume this is just a cache for a do-like-javac invocation, not sure it warrants mentioning in the manual.

I agree.

jars.json - Not sure what this is, seems to be empty for most projects.

I'm also not sure. I've never used it for debugging WPI, so I think we can avoid mentioning it (or mention that it should usually be ignored).

dljc-stdout---* - some type of output file produced by do-like-javac.

These files are sometimes useful, if the problem you're debugging is in DLJC itself: these are its stdout. Sometimes it prints error messages here.

docs/manual/inference.tex Show resolved Hide resolved
docs/manual/inference.tex Outdated Show resolved Hide resolved
docs/manual/inference.tex Outdated Show resolved Hide resolved
docs/manual/inference.tex Outdated Show resolved Hide resolved
docs/manual/inference.tex Outdated Show resolved Hide resolved
@jyoo980 jyoo980 requested a review from kelloggm September 29, 2023 16:46
@kelloggm kelloggm enabled auto-merge (squash) September 29, 2023 19:20
@kelloggm kelloggm merged commit 7767b6b into typetools:master Sep 29, 2023
29 checks passed
wmdietl pushed a commit to eisop/checker-framework that referenced this pull request Oct 18, 2023
@jyoo980 jyoo980 deleted the yoo/update-wpi-docs branch February 3, 2024 00:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants