aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/typestate_check.rs
Commit message (Expand)AuthorAgeFilesLines
* rustc: Write nil types into the node type table wherever plain_ann() is usedHEADmasterPatrick Walton2011-05-131-1/+1
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-362/+363
* Keep resolve data in external hash table, rather than embedded defsMarijn Haverbeke2011-05-121-252/+255
* Ensure ann tags are actually kept around during typecheckingMarijn Haverbeke2011-05-121-19/+20
* Remove mod indices from the ASTMarijn Haverbeke2011-05-111-9/+2
* Get rid of arm indicesMarijn Haverbeke2011-05-111-2/+1
* Get rid of block indicesMarijn Haverbeke2011-05-111-4/+1
* rustc: Number everything with an annotationPatrick Walton2011-05-101-16/+16
* Alias-ify fold and its users, remove another 85kb.Graydon Hoare2011-05-091-18/+21
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-106/+106
* Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton2011-05-021-254/+152
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-021-152/+254
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-021-254/+152
* Reindented things and removed superfluous comments, nothing to see hereTim Chevalier2011-04-281-14/+7
* Fix bug in handling of expr_alt (postcond for alts was being intersected with...Tim Chevalier2011-04-281-52/+102
* Fixed bug in typeck that wasn't filling in anns for stmtsTim Chevalier2011-04-281-5/+13
* Support all expression forms in typestateTim Chevalier2011-04-281-12/+198
* Further work on typestate_checkTim Chevalier2011-04-281-119/+343
* Fix the signature of expr_extBrian Anderson2011-04-211-2/+2
* Handle nested items correctly in typestate_checkTim Chevalier2011-04-191-90/+748
* Remove effect system from src.Graydon Hoare2011-04-191-10/+10
* replace error logging with log_err in stdlib and rustcMarijn Haverbeke2011-04-191-8/+8
* add log_err to rustcMarijn Haverbeke2011-04-191-3/+3
* rm unused importTim Chevalier2011-04-131-1/+0
* Make expr_while work in typestate_checkTim Chevalier2011-04-131-114/+91
* typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier2011-04-121-156/+345
* Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier2011-04-121-216/+423
* fix long linesTim Chevalier2011-04-081-36/+30
* Implemented computing prestates and poststates for a few expression forms.Tim Chevalier2011-04-081-63/+224
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-94/+188
* Remove reference to nonexistent ast.module from typestate_check.rs, stage1 do...Graydon Hoare2011-04-061-1/+0
* More work on typestate. Sketched out code for computing and checking prestate...Tim Chevalier2011-04-061-63/+455
* Remove typestate_check reference to nonexistent ast.init node; rustc compilin...Graydon Hoare2011-04-011-1/+0
* Re-enable typestate_check in build, was lost during merge. Sorry.Graydon Hoare2011-04-011-1/+1
* Started adding support for typestate checking.Tim Chevalier2011-04-011-0/+496