about summary refs log tree commit diff
path: root/src/comp/middle/tstate
AgeCommit message (Expand)AuthorLines
2011-06-24Remove uses of variable name 'res' from rustcMarijn Haverbeke-56/+56
2011-06-23rustc: Add ternary operator. Closes #565Brian Anderson-0/+6
2011-06-22Compute typestate properly for moveTim Chevalier-219/+609
2011-06-22Fix bug: globbed imports were importing everything visible from the otherPaul Stansifer-1/+3
2011-06-21Serialize constraints in types (literal arguments still not supported)Tim Chevalier-1/+1
2011-06-21Move expr ids into the expr record typeMarijn Haverbeke-375/+318
2011-06-20Get rid of def_ids and anns in AST nodes, use single node_idMarijn Haverbeke-415/+418
2011-06-19rustc: Rename session.span_err -> span_fatal, err -> fatalBrian Anderson-9/+10
2011-06-19Revert previous 6 commits. Hopefully put out Windows fire.Brian Anderson-10/+9
2011-06-19rustc: Rename session.span_err -> span_fatal, err -> fatalBrian Anderson-9/+10
2011-06-18rustc: Store the lhs and rhs of receive exprs in left to right orderBrian Anderson-14/+14
2011-06-17Restructure the "checking" pass in typestateTim Chevalier-119/+324
2011-06-16Consistify ast::local.Paul Stansifer-10/+13
2011-06-16Reformat a bunch of recent churn.Graydon Hoare-50/+60
2011-06-16Bring back if-checkTim Chevalier-75/+108
2011-06-16Bring swap through typechecking and typestate.Michael Sullivan-0/+18
2011-06-16Refactor ast::item representationMarijn Haverbeke-12/+10
2011-06-15Refactor data structures representing constraints (again...)Tim Chevalier-58/+27
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-1336/+1268
2011-06-15rustc: Make room in remaining AST item nodes for attributesBrian Anderson-6/+6
2011-06-15rustc: Make room in item_mod for metadataBrian Anderson-1/+1
2011-06-15Fix assignments to immutable fields throughout the codeMarijn Haverbeke-7/+7
2011-06-14Implement function expressions/anonymous functionsMarijn Haverbeke-0/+8
2011-06-13Refactor some typestate-related data structuresTim Chevalier-143/+142
2011-06-13Change decl to local in expr_for and expr_for_eachTim Chevalier-59/+17
2011-06-10Reject programs with unsatisfied predicate constraintsTim Chevalier-146/+155
2011-06-10Fix unsafe uses of mutable referencesMarijn Haverbeke-20/+21
2011-06-09rustc: Annotate vector and string literals in the AST with their uniqueness o...Patrick Walton-2/+2
2011-06-09Start to check expr_check and expr_call constraints in typestateTim Chevalier-3/+61
2011-06-09Further support for predicate constraintsTim Chevalier-105/+143
2011-06-08Add optional message to fail.Josh Matthews-2/+2
2011-06-07Removing dead code and redundant fails; changing fails to sess.bugLindsey Kuper-1/+1
2011-06-01Redo typestate-related data structures to support predicate constraints. No a...Tim Chevalier-147/+410
2011-05-31Now imports are not re-exported unless 'export' is explicitly used.Paul Stansifer-186/+4
2011-05-31Insert plumbing for move that behaves just like assign.Michael Sullivan-0/+39
2011-05-31rustc: Teach rustc to use block results as fn return values. Closes #372Brian Anderson-2/+46
2011-05-31Consolidate formatting functions a bit more.Graydon Hoare-3/+3
2011-05-31rustc: Remove unneeded type params from alt patternsBrian Anderson-32/+32
2011-05-27In pre/postcondition computation, failing calls should set the postconditionTim Chevalier-3/+12
2011-05-27Fix two typestate bugsTim Chevalier-8/+11
2011-05-26Track spans for each local variable in typestateTim Chevalier-91/+145
2011-05-24Just removing some unnecessary imports.Lindsey Kuper-37/+0
2011-05-23Add line breaks to typestate error messagesTim Chevalier-4/+4
2011-05-20Correctly check that ! functions always divergeTim Chevalier-1/+38
2011-05-20Merge remote-tracking branch 'graydon/master' into typestate_4Tim Chevalier-0/+27
2011-05-20Error instead of warning for missing returns. Huzzah!Tim Chevalier-4/+2
2011-05-20More work on anonymous objects.Lindsey Kuper-0/+27
2011-05-20Change node_ann hash table to a vector in typestateTim Chevalier-12/+31
2011-05-20rm unnecessary loggingTim Chevalier-9/+1
2011-05-20rm unused importTim Chevalier-1/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 06:33:02 +0000