Commits

Author Commit Message Labels Comments Date
Michael Ernst
Rename GUIEffects to GuiEffect (previous commit missed some tests)
Michael Ernst
Rename GUIEffects to GuiEffect
Michael Ernst
Add to changelog.
Michael Ernst
Rename 'GUI Effects Checker' to 'GUI Effect Checker', and edits to manual.
Michael Ernst
Edits on pages 1, 3, and 4 of GUI Effect Checker manual chapter.
Michael Ernst
Spell-check
Michael Ernst
jona...@gmail.com
Fix unclosed link in tutorial
jona...@gmail.com
Update the tutorial to use myqual instead of myquals
Colin Gordon
correct minor technical detail
Colin Gordon
small changes to GUI effects manual
Colin Gordon
merge w/ latest CF changes
Colin Gordon
merge...
jona...@gmail.com
Update Unit Checker example so that it compiles
jthaine
Fixes to the manual and dataflow manual in response to the recent refactoring. Reviewed by Jonathan Burke.
jona...@gmail.com
Doc updates for framework layout refactoring
jona...@gmail.com
Update checkers.zip to checker-framework.zip in the manual
jona...@gmail.com
Fix a few webpage and manual links that were broken during the project layout refactoring.
jona...@gmail.com
Update the release scripts for latest refactoring.
Suzanne Millstein
wmdietl
Fix a few more package renaming issues.
Suzanne Millstein
Added check-tutorial target to checker/build.xml.
Michael Ernst
Change uses of "checkers" to "checker".
Suzanne Millstein
Moved code to tests personalblog-demo to tutorial/tests
jona...@gmail.com
Merge Javier's doc changes with tip
Suzanne Millstein
Reflection resolution tests:
Suzanne Millstein
Reflection resolution tests:
wmdietl
Add a test case for Issue 306.
Suzanne Millstein
Change the reflection tests to use new qualiers, Top, Sibling1, Sibling2
Suzanne Millstein
Reverted partial change.
  1. Prev
  2. Next