10 Commits

Author	SHA1	Message	Date
Graydon Hoare	d1affff623	Reliciense makefiles and testsuite. Yup.	2012-12-10 17:32:58 -08:00
Brian Anderson	ecaf9e39c9	Convert alt to match. Stop parsing alt	2012-08-06 15:36:30 -07:00
Brian Anderson	025d86624d	Switch alts to use arrows	2012-08-05 22:08:09 -07:00
Gareth Daniel Smith	6d86969260	change the test suite //! kind syntax to //~ kind in order to avoid a ... conflict with the new single-line-sugared-inner-doc-comment (`//! ...`).	2012-06-30 12:23:59 +01:00
Niko Matsakis	70c808d173	extend tester so that error msgs can be attached to lines	2012-01-04 15:25:17 -08:00
Graydon Hoare	f0dfbe7b1b	Register new snapshots, purge log_err and log_full in favour of log(...).	2011-12-22 17:53:53 -08:00
Graydon Hoare	8b580954fe	Register snapshots and switch logging over to use of log_full or #error / #debug.	2011-12-22 14:42:52 -08:00
Brian Anderson	518dc52f85	Reformat ... This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]	2011-08-20 11:04:00 -07:00
Marijn Haverbeke	e33af7e0b5	Make let bindings' scope start at their definition ... Also, allow let bindings in a block to shadow each other.	2011-08-16 13:45:41 +02:00
Tim Chevalier	1c786bcc82	Initialize all constraints to False ... Previously, typestate was initializing the init constraint for a declared-but-not-initialized variable (like x in "let x;") to False, but other constraints to Don't-know. This led to over-lenient results when a variable was used before declaration (see the included test case). Now, everything gets initialized to False in the prestate/poststate- finding phase, and Don't-know should only be used in pre/postconditions. This aspect of the algorithm really needs formalization (just on paper), but for now, this closes #700	2011-08-05 15:25:52 -07:00