Activity for Tim Wahls
-
Tim Wahls committed [r1551]
changed the overriddenMethodSet method from protected to public - I needed
-
-
-
-
Fix for bug item #1536165 (using * in a \not_modified expression)
-
added 2006 FMICS paper on executing JML specifications
-
adding unit tests for jmle, a tool for executing JML specifications by
-
adding JCK files for jmle
-
adding runtime support files for jmle, a tool for executing JML specifications
-
adding files for the JCK compiler for use by jmle
-
updating jmle Makefiles for cygwin compatibility
-
adding constraint handling rules for jmle, a tool for executing JML
-
adding developers scripts for running jmle, a tool for executing JML
-
removing files automatically generated by ANTLR (after updating Makefile to
-
updating Makefiles for cygwin compatibility (cygwin doesn't like an absolute
-
updating JCK grammar to allow :'s in comments (so the standard CVS header
-
updating jmle source to use only Java 1.4.2 features
-
updating jmle source to use only Java 1.4.2 features
-
adding man pages for jmle - a tool for executing JML specifications by
-
one more test specification for jmle
-
adding scripts to run jmle, a tool for executing JML specifications by
-
more Makefile refinements (for testing jmle)
-
minor improvements to jmle Makefile
-
removing out of date installation instructions
-
adding runtime environment files for jmle, a tool for executing JML
-
placing JCK compiler into org.jmlspecs.jmlexec.jack.compiler package and
-
updating jmle for cygwin compatibility (file system path separators in error
-
adding files for the JCK evaluator for use by jmle
-
updating Makefile to include jmle and jmlre
-
adding source files for jmle, a tool for executing JML specifications by
-
updating Makefile to link jmle with JML Common Tools
-
updating tests Makefile to run tests without using jmle script
-
updating jmle compiler to delete temp files
-
added samples so that users can try out jmle, a tool for executing JML
-
temporarily disconnecting jmle from Common JML Tools while I work out why
-
reconnecting jmle to JML common tools
-
adding .cvsignore files for all directories and Makefile for samples, as
-
adding man page for jmle - a tool for executing JML specifications by
-
modifying the JCK compiler to use the Multijava compiler to compile
-
improved support for \fresh expressions and for classes that implement
-
processing char literals
-
removing tests from old directory
-
removed redundant checking of superclass history constraints
-
reducing size of generated constraint programs (which may speed up testing
-
removing even more unused tests.
-
removing JCK files generated by ANTLR
-
moving tests to testcase directory
-
improved support for \fresh expressions and for classes that implement
-
changing Makefile etc. to reflect new directory (and package) structure
-
removing unused tests
-
updating Makefile to include jmle samples in release
-
removing one last redundant test file
-
fixed a bug in the handling of new object expressions in specifications
-
removing files that I somehow committed to the wrong directory
-
adding warning filter for quieter testing
-
correcting cvs header line
-
Updating jmle tool to correctly use static fields from classes that are
-
another minor fix: improved handling of multi-dimensional arrays
-
fixing a NPE: the auto-generated default constructor did not initialize the
-
added ACM SAC paper - a case study on applying the jmle tool to electronic
-
fixed a small typo that was causing the generated JMLValueValuePair to
-
add labor (time) to fertilizer input
-
use phone as timer for labor tasks
-
attaching photos to comments
-
add photos to scouting input forms
-
allow longer usernames
-
install files for 1.6 release
-
files for 1.6 release
-
Scouting
-
fixing bug in install script
-
deleting image files when associated records ar...
-
Seed
-
Harvest
-
Add
-
Sales
-
Sales
-
Sales
-
Scouting
-
Comments
-
Labor
-
Fertilizer
-
Seed
-
Labor
-
adding images to scouting and comments
-
adding images to scouting and comments
-
updates for 1.6 release
-
config files for 1.6 release
-
Deprecated: mysql_connect()
-
Shawn, I had more time than expected this semester, so FARMDATA is now updated to...
-
allow seeding and harvest years to be different
-
delete tray sizes
-
export harvest lists to spreadsheet
-
changing last harvest year to last harvest date...
-
deleting src directory
-
updating version number
-
bug fixes
-
bug fixes, ability to download harvest lists as...
-
Install
-
Seed
-
Seed
1 >