Timeline
07/16/09:
- 23:41 TeachingMaterials edited by
- (diff)
- 23:21 TeachingMaterials edited by
- (diff)
- 23:14 TeachingMaterials created by
- 23:11 Changeset [1551] by
- Settings to use Java 1.5 source compatibility. These checked in …
- 23:10 Changeset [1550] by
- Changed the classpath settings, and rules for class accessibility, to …
- 23:06 Changeset [1549] by
- Changed the classpath settings, and rules for class accessibility, to …
- 23:05 Changeset [1548] by
- Changed the classpath settings, and rules for class accessibility, to …
- 22:53 WikiStart edited by
- (diff)
- 21:55 Changeset [1547] by
- One more instance of <- represents in the specs
- 21:49 Changeset [1546] by
- Deprecated <- in represents clauses, including changing tests that used …
- 21:42 Changeset [1545] by
- Changing instances of <- in represents clauses to =
- 20:48 Changeset [1544] by
- Test for an empty compilation unit passes.
- 20:28 Changeset [1543] by
- This branch has many errors for now. Contains the tests for the new Boogie …
- 20:26 Changeset [1542] by
- 20:24 Changeset [1541] by
- 20:20 Changeset [1540] by
- 20:10 Changeset [1539] by
- Finished JmlBinding? and JmlJdtBindingAdapter? for Variables
- 19:40 Changeset [1538] by
- This branch has many errors for now. Contains the new Boogie AST and the …
- 19:35 Changeset [1537] by
- 17:24 Changeset [1536] by
- Added handling of the case where a static field is accessed through an …
- 16:00 OpenJmlSetup edited by
- (diff)
- 15:55 OpenJml edited by
- (diff)
- 15:39 OpenJmlSetup edited by
- (diff)
- 15:37 OpenJmlSetup edited by
- Added a note that the Mac instructions are incomplete. (diff)
- 14:58 OpenJmlSetup edited by
- (diff)
- 14:49 WikiStart edited by
- (diff)
- 14:39 WikiStart edited by
- (diff)
- 14:35 Ticket #25 (Complete the setup instructions explaining how to setup prover(s)) created by
- The OpenJmlSetup page requires instructions on how to setup the prover …
- 14:29 Ticket #24 (Fix tests containing absolute user dependant paths) created by
- Running the OpenJml tests (Java 6) yields: 0 errors and 123 failures out …
- 14:20 Ticket #1 (Set up Trac wiki start page) closed by
- fixed: A first cut of this has been done by adding a link to OpenJML pages. …
- 14:19 Ticket #23 (Migrate wikispaces pages to Trac) created by
- 14:17 WikiStart edited by
- (diff)
- 13:20 Changeset [1535] by
- Changing the .project file so that the name it records is JMLAnnotations
- 13:08 OpenJmlSetup edited by
- (diff)
- 12:58 Ticket #22 (integrate with Hudson) created by
- Once our test infrastructure is platform independent, or perhaps as an …
- 12:49 Ticket #21 (Refactor JMLTokens) created by
- The JmlToken? class is currently an enum. This is not extensible. This …
- 12:48 OpenJmlTesting edited by
- (diff)
- 12:43 OpenJmlTesting created by
- First port from wikispace page
- 12:36 OpenJmlSetup edited by
- (diff)
- 12:33 OpenJmlSetup created by
- First port from wikispace page
- 12:30 Ticket #20 (ESC refactoring) created by
- The translation from OpenJML AST to prover logic takes palce in multiple …
- 12:29 Changeset [1534] by
- Slightly modified the set comprehension documentation to include the …
- 12:21 OpenJml created by
- 12:19 WikiStart edited by
- (diff)
- 12:12 Ticket #19 (Collect pedagogical examples and include them as tests) created by
- Collect as many pedagogical examples of code to be statically checked, …
- 12:00 Ticket #18 (Implement assignable clauses in ESC) created by
- Implement assignable clauses in ESC
- 11:59 Ticket #17 (Finish the OpenJML implementation for generic types) created by
- Finish the OpenJML implementation for generic types
- 11:57 Ticket #16 (Integrate an appropriate implementation of Boogie) created by
- Currently OpenJML does a direct translation from (simplified versions of) …
- 09:53 Ticket #15 (investigate incremental use of the OpenJDK framework) created by
- The OpenJDK framework is intended to support a command-line tool - reuse …
- 09:43 Ticket #14 (evaluate use of annotations to hold specs) created by
- In OpenJML specs are currently stored in a Map by Symbol and also pointed …
- 09:32 Ticket #13 (Implement universe type system) created by
- JML has modifiers and semantic rules for the universe type system. …
- 09:25 Ticket #12 (update and complete the on-line Eclipse user docs) created by
- Update and complete the on-line Eclipse user docs. Is there a way to …
- 09:23 Ticket #11 (review and correct end position information) created by
- The parser needs to set the start and end source file position information …
- 08:19 Ticket #10 (Review and complete RAC) created by
- RAC needs the following (at least) to be completed: - review all …
- 07:56 Ticket #9 (Refactor AST transformations) created by
- There are a number of places where AST transformation takes place - in …
- 07:31 Ticket #8 (Select and integrate testing over large code bases) created by
- Part of the OpenJML validation should be that it successfully parses and …
- 07:11 Ticket #7 (integrate and refactor the AST translators/scanners/copiers) created by
- There are several classes that provide scanning/translating/copying of …
- 06:50 Ticket #6 (Create JML validation suite) created by
- Create a suite of tests that are independent of OpenJML per se that serve …
- 06:46 Ticket #5 (refactor testing infrastructure for completeness and platform independence) created by
- Refactor and enhance the testing infrastructure to accomplish the …
- 06:40 Ticket #4 (Design mechanism for user supplied provers) created by
- Design, gain consensus, and implement a mechanism for users to supply a …
- 06:34 Ticket #3 (Make build mechanism platform independent) created by
- Upgrade the release build and test mechanism: - remove all platform …
- 06:27 Ticket #2 (abstract out Eclipse project locations in the local file system in a way ...) created by
- There are a number of parameters to our Eclipse development and user …
- 05:48 Changeset [1533] by
- Typechecking for signals, signals_only and assignable (partial). need …
07/15/09:
- 22:28 Changeset [1532] by
- Removing remaining platform dependencies that I know of from the build …
- 21:53 Changeset [1531] by
- Changed the working JRE for JMLAnnotations and OpenJDK. Developers may …
- 21:41 Changeset [1530] by
- Extended Translator-Resolver test to also compare the resulting bindings …
- 21:32 Changeset [1529] by
- Changing the OpenJML project to use the OpenJML-jre VM environment; …
- 21:26 Changeset [1528] by
- New schedule for the JML Seminar
- 21:14 Ticket #1 (Set up Trac wiki start page) created by
- We still have the default start page, except for a short paragraph at the …
- 20:58 WikiStart edited by
- Initial paragraph to note that we know this page needs updating. (diff)
- 19:39 Changeset [1527] by
- 15:07 Changeset [1526] by
- Wasn't supposed to be commited in the first place, sorry
- 11:13 Changeset [1525] by
- Continued progress on XML parsing. Captured the remaining requirements in …
07/14/09:
- 23:40 Changeset [1524] by
- A more complete and to the point BoogieAST. Temporarely in package ast2.
- 23:29 Changeset [1523] by
- 23:26 Changeset [1522] by
- Changed all uses and guises of org.jmlspecs.annotations to …
- 23:21 Changeset [1521] by
- Correcting problems with SVN in these files.
- 22:08 Changeset [1520] by
- Added the JMLAnnotations project to the projectSet file
- 22:00 Changeset [1519] by
- 21:14 Changeset [1518] by
- Removed receiver from JmlMethodBinding? and JmlFieldBinding? Replaced …
- 20:18 Changeset [1517] by
- - Replaced all occurrences of '<-' in all samples. - Put the mention of …
- 19:22 Changeset [1516] by
- Functional form of represents clause can no longer use the '<-' lexeme as …
- 19:22 Changeset [1515] by
- Added assign constant
- 19:04 Changeset [1514] by
- Setting the JRE container to use the standard tag J2SE-1.5.
- 18:57 Changeset [1513] by
- - adding a .project file (with a project name that matches the name given …
- 17:05 Changeset [1512] by
- Closed unopened InputStreams?. Added an IProblemReporter interface for …
- 15:55 Changeset [1511] by
- Updated.
- 14:14 Changeset [1510] by
- Bugfix
- 08:58 Changeset [1509] by
- Saving a projectSet file to aid setting up OpenJML environments.
07/13/09:
- 23:05 Changeset [1508] by
- Implemented the start of a dependency mechanism and an extension …
- 20:43 Changeset [1507] by
- --
- 19:30 Changeset [1506] by
- updated test_files/jmlmethodspec.xml to account for exampleSpecCases in …
- 19:14 Changeset [1505] by
- Fixed JmlAstMatcherTest? and JavaContractASTAnnotatorTest to inclusion of …
- 19:13 Changeset [1504] by
- Added exampleCases to JmlMethodSpecification?, …
- 19:04 Changeset [1503] by
- Updated for Tuesday.
- 18:38 Changeset [1502] by
- Added support for impliesThat in JavaContractParser? Renamed getters and …
- 16:16 Changeset [1501] by
- Refactored the JirCallResolver? out of JmlJirResolver?. Made the …
- 08:07 Changeset [1500] by
- Made scrub off by default. Changed array bound to 3 by default (for …
- 07:37 Changeset [1499] by
- Revised to be compatible with Eclipse 3.4.
- 04:57 Changeset [1498] by
- more work on typechecking "signals" clause. fixes to .java-expected files …
- 02:23 Changeset [1497] by
- Remove all RAC features and RAC test files from the JAJML project
- 02:20 Changeset [1496] by
- Add files for JAJMLRAC project
- 02:18 Changeset [1495] by
- Add new project JAJMLRAC for RAC implementation for JAJML
07/12/09:
- 22:28 Changeset [1494] by
- Schedule update.
- 21:45 Changeset [1493] by
- Replacing what appears to be non-ASCII codes by valid Boogie syntax (and …
- 19:46 Changeset [1492] by
- Changing JML5 contracts for JC (and finding errors! :).
- 19:34 Changeset [1491] by
- Ignore MyResources?.properties.
- 19:25 Changeset [1490] by
- Removing user-specific MyResources?.properties file (this file will be …
- 18:46 Changeset [1489] by
- 18:44 Changeset [1488] by
- 18:18 Changeset [1487] by
- scrubbed (replaced by org.jmlspecs.javacontract.eclipse)
- 18:16 Changeset [1486] by
- Reimport.
- 18:15 Changeset [1485] by
- Reimport.
- 18:13 Changeset [1484] by
- scrubbed
- 17:53 Changeset [1483] by
- Removed report_templates. Added invariant handling. Fixed full build after …
- 17:14 Changeset [1482] by
- Change the eclipse project name to JAJML instead of JAJMLBackend
- 00:20 Changeset [1481] by
- Remove prefix check in pure checking. This was picking up - which has no …
- 00:18 Changeset [1480] by
- modifies added for demo.
- 00:17 Changeset [1479] by
- This branch adds the boogie modifies statement.
- 00:17 Changeset [1478] by
- 00:15 Changeset [1477] by
- 00:14 Changeset [1476] by
07/11/09:
- 23:46 Changeset [1475] by
- Added translation of JC.requires. Added translation of JC.ensures. Added a …
- 22:51 Changeset [1474] by
- Fixing my signature
- 22:42 Changeset [1473] by
- Revised and reordered, ready to post…
- 22:12 Changeset [1472] by
- Externalized some functionality into a helper from …
- 22:05 Changeset [1471] by
- Changed <= to <: when comparing TName.
- 21:54 Changeset [1470] by
- JMLSpecs is now just named Specs
- 21:33 Changeset [1469] by
- Adding a file for the schedule
- 21:24 Changeset [1468] by
- Fixed a defect in JmlEmbedderTest? where the JirData? annotation could not …
- 20:52 Changeset [1467] by
- Migration of r504 of JML6 related projects from DSRG SVN
- 16:53 Changeset [1466] by
- Finished initial recording of draft for issues to present date, will need …
- 15:20 Changeset [1465] by
- Fixing texinfo formatting
- 15:18 Changeset [1464] by
- Clarifying restrictions on represents clauses based on some …
- 15:08 Changeset [1463] by
- Work through the end of 2008
- 14:42 Changeset [1462] by
- Work through Spring 2008
- 14:22 Changeset [1461] by
- Now using @DataGroupSpec? instead of @ModelSpec?. Also defined a shorthand …
- 10:23 Changeset [1460] by
- Some more thoughts on this, based on the wiki for Dagstuhl.
- 08:17 Changeset [1459] by
- An updated based on Faraz Hussain's experience.
07/10/09:
- 19:56 Changeset [1458] by
- 18:26 Changeset [1457] by
- added static void requiresRedundantly(final boolean predicate); to JC
- 18:16 Changeset [1456] by
- Infrastructure in place to parse XML test specifications, need to fill in …
- 17:46 Changeset [1455] by
- (removing empty folders)
- 14:46 Changeset [1454] by
- Renaming folder for concurrency tests, keeping levels numbered using …
- 14:44 Changeset [1453] by
- Progress on xml syntax.
07/09/09:
- 20:54 Changeset [1452] by
- Progress on programatically building test suite. Handles directory …
- 19:42 Changeset [1451] by
- delete unnecessary files
- 19:38 Changeset [1450] by
- delete unnecessary files
- 19:34 Changeset [1449] by
- delete unnecessary files
- 19:30 Changeset [1448] by
- delete tests from JML2
- 19:20 Changeset [1447] by
- delete unnecessary folder
- 19:18 Changeset [1446] by
- delete unnecessary file
- 19:16 Changeset [1445] by
- delete unnecessary folders
- 19:06 Changeset [1444] by
- Libs for Ajmlc
- 18:44 Changeset [1443] by
- Version message
- 18:36 Changeset [1442] by
- more unused files
- 18:32 Changeset [1441] by
- delete unecessary files
- 18:26 Changeset [1440] by
- remove lang package
- 18:25 Changeset [1439] by
- remove other folders
- 18:24 Changeset [1438] by
- remove bin folders
- 18:21 Changeset [1437] by
- classpath
- 18:19 Changeset [1436] by
- package racwrap files
- 18:18 Changeset [1435] by
- package models files
- 18:10 Changeset [1434] by
- package jmlspec files
- 18:08 Changeset [1433] by
- package checker more files
- 18:02 Changeset [1432] by
- package checker more files
- 17:57 Changeset [1431] by
- package checker more files
- 17:54 Changeset [1430] by
- package checker more files
- 17:53 Changeset [1429] by
- package checker more files
- 17:51 Changeset [1428] by
- package checker more files
- 17:50 Changeset [1427] by
- package checker more files
- 17:48 Changeset [1426] by
- package checker more files
- 17:46 Changeset [1425] by
- package checker files
- 17:27 Changeset [1424] by
- more unecessary files
- 17:25 Changeset [1423] by
- delete unecessary files
- 16:23 Changeset [1422] by
- Working checkpoint (Java 1.5 rac and racsystem tests are failing). Added …
- 15:02 Changeset [1421] by
- * Moved May'09 spec-a-thon version of javacontract into subpackage …
- 08:11 Changeset [1420] by
- ajmlrac files
- 06:50 Changeset [1419] by
- AJML2 release source code
- 06:00 Changeset [1418] by
- AJML2 release source code into …
07/08/09:
- 20:33 Changeset [1417] by
- Finished adding issues from the jmlspecs-interest emails through 2007
- 00:52 Changeset [1416] by
- A new file (JmlPrettyPrint?.jadd) now contains toString() methods for …
07/07/09:
- 20:40 Changeset [1415] by
- Documenting next steps for filtering tests.
- 20:34 Changeset [1414] by
- More reflection.
- 20:26 Changeset [1413] by
- Reflectively seeking path to tests.
- 19:30 Changeset [1412] by
- Initial draft XML of test suite descriptions. Experimenting with writing …
- 12:40 Changeset [1411] by
- Processed messages from Spring 2007
- 10:43 Changeset [1410] by
- Worked through the 2006 jmlspecs-interest list messages…
- 09:20 Changeset [1409] by
- factoring in the response from the 2005 summary, deleting the response …
- 09:13 Changeset [1408] by
- Adding these
- 09:11 Changeset [1407] by
- Work through the 2005 JML interest list mailings
07/06/09:
- 21:45 Changeset [1406] by
- 21:45 Changeset [1405] by
- 20:01 Changeset [1404] by
- Changed JmlAssertionFailure? to JmlAssertionError?
- 18:10 Changeset [1403] by
- Polishing RAC. Added RAC release tests. Fixed bug with varargs. …
07/04/09:
- 21:10 Changeset [1402] by
- More work on the issues summary
- 15:22 Changeset [1401] by
- Repair of RAC. Fixes for lbl expressions with constant expressions. Some …
07/03/09:
- 13:43 Changeset [1400] by
- Changing the name JMLSpecs to Specs in these files. Hope this doesn't …
- 13:39 Changeset [1399] by
- Changing JAJMLBackend to JAJML throughout
- 13:18 Changeset [1398] by
- 13:08 Changeset [1397] by
- 09:09 Changeset [1396] by
- A minor fix, when discussing this with Erik Poll.
07/02/09:
- 17:30 Changeset [1395] by
- updated to match jar submission
07/01/09:
- 01:39 Changeset [1394] by
- Committing changes to svn-ignore
- 01:36 Changeset [1393] by
- Implementation of observational purity (Query/Secret); start of UI for …
06/30/09:
- 21:34 Changeset [1392] by
- Committing generic versions of the model classes. These are a very …
- 20:40 Changeset [1391] by
- creating a directory for generic versions of the model classes
06/29/09:
- 15:44 Changeset [1390] by
- Worked on datagroup level 0 clause AST, parsing.
- 04:57 Changeset [1389] by
- Worked on Method Specifications, still need some parsing modifications on …
06/23/09:
- 06:23 Changeset [1388] by
- My initial advocacy.
- 02:06 Changeset [1387] by
- Fixes for enhanced-for ESC tests
06/22/09:
- 16:12 Changeset [1386] by
- Adding issues directory
- 00:28 Changeset [1385] by
- Start on Query, Secret implementation. Cleanup of tests. Fixes to …
06/19/09:
- 22:21 Changeset [1384] by
- Cleaning up and adding tests.
- 14:47 Changeset [1383] by
- New test
- 05:46 Changeset [1382] by
- Work on the following trackers: 2801843: Create abstract syntax for level …
- 03:44 Changeset [1381] by
- New test result
- 03:41 Changeset [1380] by
- Fixed bug - Scanner ignored trailing comments; expanded tests for jmldoc; …
- 03:38 Changeset [1379] by
- New test result
06/18/09:
- 15:38 Changeset [1378] by
- Added JC doc and examples.
- 14:50 Changeset [1377] by
- Minor bug fixes for the release tests
- 11:44 Changeset [1376] by
- Fixes to scoping to quantified and set-comprehension expressions. ALso a …
- 05:18 Changeset [1375] by
- Work on the following trackers: 2801858: Typecheck Level 0 Modifiers …
06/17/09:
- 03:12 Changeset [1374] by
- Fixes to various typechecking bugs; added functionality to UI to open …
- 03:12 Changeset [1373] by
- Fixes to various typechecking bugs; added functionality to UI to open …
Note: See TracTimeline
for information about the timeline view.
