Timeline
11/21/09: Today
- 20:08 Changeset [2006] by
- Correcting bug in relation to files scanner. This is for <ajmlc> ant task
- 20:06 Changeset [2005] by
- Minor changes to support the .sh scripts
11/20/09: Yesterday
- 22:03 LanguageChangeProposal2009SimplifyingRefinesAndSuffixes edited by
- finished my proposal about spec files (diff)
- 17:58 LanguageChangeProposal2009SimplifyingRefinesAndSuffixes edited by
- Beginnings of a proposal about .jml files (diff)
- 17:40 Changeset [2004] by
- Adding shell script versions of the .bat files that can be used by people …
- 17:04 Changeset [2003] by
- Made java.lang.Math nullable by default, because we don't know what the …
- 16:08 NotesDagstuhl edited by
- (diff)
- 15:56 NotesDagstuhl edited by
- (diff)
- 15:50 ConstructorPreconditions created by
- 15:27 NotesDagstuhl edited by
- (diff)
- 15:25 NotesDagstuhl edited by
- (diff)
- 15:23 NotesDagstuhl edited by
- (diff)
- 15:19 DagstuhlSyntaxChanges edited by
- (diff)
- 15:18 DagstuhlSyntaxChanges created by
- 15:06 NotesDagstuhl edited by
- (diff)
- 14:27 SemanticDiscussionIndex edited by
- (diff)
- 14:23 LetExpressions edited by
- Recording approval (diff)
- 12:20 Changeset [2002] by
- Spec for Java 6's java.lang.Math; note that it includes all the specs for …
- 11:14 Changeset [2001] by
- Some code cleanup, including some model methods that were (apparently, …
- 10:16 Changeset [2000] by
- Object.jml was referring to a nonexistent _getClass model field (replaced …
- 09:44 Changeset [1999] by
- Closed an unclosed annotation comment in java.lang.Object.equals.
11/19/09:
- 23:19 Changeset [1998] by
- <Merges, Comment, Creator, Date Created> , used java.lang.Object as the …
- 23:18 Changeset [1997] by
- <Merges, Comment, Creator, Date Created> , used java.lang.Object as the …
- 23:17 Changeset [1996] by
- <Merges, Comment, Creator, Date Created> , used java.lang.Object as the …
- 23:16 Changeset [1995] by
- <Merges, Comment, Creator, Date Created> , used java.lang.Object as the …
- 18:27 Changeset [1994] by
- Almost all of the JML is commented out, since it doesn't work
- 18:26 Changeset [1993] by
- Updated specs for java.lang.Math, including new methods for JDK 1.5.
- 18:23 Changeset [1992] by
- Different copyright (no longer ISU).
- 18:05 Changeset [1991] by
- Adding tests that demonstrate a bug in model class scoping.
- 17:57 Ticket #52 (Inner model classes not given proper scope in OpenJML) created by
- We found that Java-like code in JML annotations, for model classes doesn't …
- 17:45 Ticket #51 (Out of memory error in OpenJML) created by
- When runing OpenJML as an eclipse application, we got: Exception in …
- 15:01 Changeset [1990] by
- added support of yices provereditor handling
- 14:58 Ticket #50 (NPE from OpenJML during checking of AbstractQueue.jml) created by
- Internal JML bug - please report. BuildOpenJML-20091119 …
- 13:07 Changeset [1989] by
- add frontend file for JAJML
- 12:30 Changeset [1988] by
- Worked to take out elementType and keyType ghost fields, in favor of just …
11/18/09:
- 20:37 Changeset [1987] by
- Reversing my patch that allowed ".jml" files to be parsed, as they really …
- 20:33 Changeset [1986] by
- A better fix for platform-dependent file separators.
- 18:03 Changeset [1985] by
- Another attempt at fixing parsing of filenames on the command line.
- 17:17 Changeset [1984] by
- Made slashes work cross-platform. Probably caught all of them.
- 17:17 Changeset [1983] by
- Fixed a bug I introduced that prevented command lines from being parsed …
- 15:49 Changeset [1982] by
- Attempt to fix a Windows-related issue by using platform file separators …
- 15:12 Changeset [1981] by
- Update to remove the "C:" that was being added to paths.
- 14:18 Changeset [1980] by
- Getting the permissions on the things created by buildRelease working for …
11/17/09:
- 11:36 Changeset [1979] by
- Slightly modified the specs for java.io.FileOutputStream? (Java 5) and …
- 01:38 JAJMLHowTo edited by
- (diff)
- 01:35 JAJMLHowTo edited by
- (diff)
- 00:40 Changeset [1978] by
- Minor changes
- 00:16 Changeset [1977] by
- Minor changes in build.xml file for AJML-src release
- 00:15 Changeset [1976] by
- Update in ajmlrac.bat file - excluding the -Xbootclasspath/a option which …
11/16/09:
- 22:29 Changeset [1975] by
- Minor changes in build.xml file
- 22:15 Changeset [1974] by
- Removing unecessary libs
- 12:20 WikiStart edited by
- Obviously, we're not making Summer 2009 with an initial OpenJML release. (diff)
- 00:08 Changeset [1973] by
- Add Ajmlrac ant task on properties file
- 00:05 Changeset [1972] by
- Add Ajmlrac ant task and update AJML ant builder
11/15/09:
- 00:00 Changeset [1971] by
- Added Pullup refactoring for Java Contract Statements
11/14/09:
- 20:32 Changeset [1970] by
- Add necessary stuff for ajml release, including build ant update and bat …
- 01:06 Changeset [1969] by
- New version of the AJML build ant file
11/13/09:
- 22:47 Changeset [1968] by
- Ajmlc ant task with AspectJ weaver choice capability
- 22:00 Changeset [1967] by
- <Merges, Comment, Creator, Date Created> , clean-up, Jooyong Lee, 2:30:43 …
- 22:00 Changeset [1966] by
- <Merges, Comment, Creator, Date Created> , clean-up, Jooyong Lee, 2:30:43 …
- 21:59 Changeset [1965] by
- <Merges, Comment, Creator, Date Created> , clean-up, Jooyong Lee, 2:30:43 …
- 21:58 Changeset [1964] by
- <Merges, Comment, Creator, Date Created> , clean-up, Jooyong Lee, 2:30:43 …
- 21:19 Changeset [1963] by
- Adding semicolons at the end of tests for assignable clauses
- 18:35 Changeset [1962] by
- removing cvsignore file
- 18:34 Changeset [1961] by
- removing cvsignore file
- 18:29 Changeset [1960] by
- Ant support for AJML tools
- 17:06 Changeset [1959] by
- Removing models from AJML project
- 16:34 Changeset [1958] by
- Fixing reference to FrontendGUI, which seems like it should be Frontend, …
- 04:25 Changeset [1957] by
- added pretty print for assignable clause added unit tests for pretty print
- 03:18 JAJML edited by
- (diff)
11/11/09:
- 16:16 Changeset [1956] by
- Changing the names of the Checker and Compiler GUIs.
11/09/09:
- 20:15 Changeset [1955] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 20:14 Changeset [1954] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 20:14 Changeset [1953] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 20:13 Changeset [1952] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 20:13 Changeset [1951] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 20:12 Changeset [1950] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 20:12 Changeset [1949] by
- <Merges, Comment, Creator, Date Created> , further implementation (type …
- 13:08 TeachingMaterials edited by
- Added OOPSLA 2009 tutorial links (diff)
- 13:07 Changeset [1948] by
- Adding pdfs to SVN control for TeachingMaterials trac wiki purposes.
- 13:06 Changeset [1947] by
- Adding pdfs to SVN control for TeachingMaterials trac wiki purposes.
- 12:59 Changeset [1946] by
- Rebuilt slides for actual tutorial
11/06/09:
- 21:37 JAJML edited by
- (diff)
- 16:52 Changeset [1945] by
- Adding Ajmlc testcases and their ant build files
- 15:36 Changeset [1944] by
- ant build update for ajml release generation
- 15:21 Changeset [1943] by
- ant build update for ajml release generation
- 15:15 Changeset [1942] by
- Changing the ajml release folder's name
- 15:13 Changeset [1941] by
- Library and ant build update
- 03:16 Changeset [1940] by
- change all jml modifiers to be JmlModifiers?, added some pretty print …
11/05/09:
- 20:44 Changeset [1939] by
- Fix the bug related to precondition inheritance
- 18:27 Changeset [1938] by
- Fix the bug related to precondition inheritance
- 18:24 Changeset [1937] by
- Fix the bug related to precondition inheritance
- 16:52 Changeset [1936] by
- minor changes in the build file
- 16:51 Changeset [1935] by
- Fix the bug related to precondition inheritance
- 16:48 Changeset [1934] by
- Including source folder to ajmlrac and all other packages
11/04/09:
- 20:31 Changeset [1933] by
- Fix the bug related to instance invariant checking
- 19:54 Changeset [1932] by
- Fix the bug related to precondition inheritance
- 15:51 Changeset [1931] by
- Fix the bug related to context information of error messages
- 15:50 Changeset [1930] by
- Minor changes
- 03:34 Changeset [1929] by
- Fix the bug related to runtime assertion checking code for interfaces
11/03/09:
- 16:50 Changeset [1928] by
- Warning Filter class [WarningFilter?.java]
- 16:36 Changeset [1927] by
- Revised application and related work section.
11/02/09:
- 15:44 Changeset [1926] by
- Changes to BagOfInt? example to make it a bit more understandable, based on …
10/29/09:
- 23:56 Changeset [1925] by
- changes for pretty print
10/26/09:
- 21:51 JAJMLHowTo edited by
- (diff)
- 21:36 JAJMLHowTo edited by
- (diff)
- 21:35 JAJMLHowTo edited by
- (diff)
10/23/09:
- 23:45 Changeset [1924] by
- Reverting to state of project at revision 1889 (before its content was …
- 23:40 Changeset [1923] by
- 23:37 Changeset [1922] by
- Initial import.
- 20:39 JAJMLHowTo created by
- 20:35 JAJML edited by
- (diff)
- 20:28 Changeset [1921] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:28 Changeset [1920] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:27 Changeset [1919] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:27 Changeset [1918] by
- 20:26 Changeset [1917] by
- 20:21 Changeset [1916] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:21 Changeset [1915] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:20 Changeset [1914] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:20 Changeset [1913] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:10 Changeset [1912] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 20:02 Changeset [1911] by
- deleted bin.
- 19:59 Changeset [1910] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 19:59 Changeset [1909] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 19:59 Changeset [1908] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 19:56 Changeset [1907] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 19:07 Changeset [1906] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 19:07 Changeset [1905] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 19:00 Changeset [1904] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 18:59 Changeset [1903] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 18:59 Changeset [1902] by
- Fri Oct 23 13:56:34 CDT 2009 <Merges, Comment, Creator, Date Created> , …
- 18:53 Changeset [1901] by
- deleted test directory.
- 18:52 Changeset [1900] by
- 18:52 Changeset [1899] by
- 18:51 Changeset [1898] by
- 18:48 Changeset [1897] by
- <Merges, Comment, Creator, Date Created> , Fixed Javadoc warning. …
- 18:41 Changeset [1896] by
- <Merges, Comment, Creator, Date Created> , Fixed Javadoc warning. …
- 18:01 Changeset [1895] by
- test.
- 03:12 Changeset [1894] by
- eclipse.org IMPORT org.eclipse.jdt.core v_976_R35x
- 02:37 Changeset [1893] by
- 02:35 Changeset [1892] by
- 02:29 Changeset [1891] by
- 02:29 Changeset [1890] by
- JmlEclipse? as the rebranded evolution of JML4.
- 02:27 Changeset [1889] by
- 02:25 Changeset [1888] by
- Tagging 3.4 before moving to 3.5.
- 02:20 Changeset [1887] by
- 02:19 Changeset [1886] by
- 02:08 Changeset [1885] by
- 02:05 Changeset [1884] by
- 01:28 Changeset [1883] by
- eclipse.org IMPORT org.eclipse.jdt.core v_975_R35x
10/22/09:
- 23:52 Changeset [1882] by
- Tagging last 3.4 version.
- 10:50 Changeset [1881] by
- Creating Tag for refactoring projects: …
- 10:39 Changeset [1880] by
- 10:37 Changeset [1879] by
- Moved refactoring test data to the correct package
Note: See TracTimeline
for information about the timeline view.
