2012-01-06 |
Tim Chevalier | Disallow variable names that shadow tags in scope
|
commit | commitdiff | tree |
2012-01-06 |
Tim Chevalier | Eliminate a use of map::get in freevars
|
commit | commitdiff | tree |
2012-01-04 |
Tim Chevalier | Reformat typestate error messages so as not to confuse...
|
commit | commitdiff | tree |
2012-01-03 |
Tim Chevalier | Add missing ty_constr cases to trans::type_of_inner...
|
commit | commitdiff | tree |
2011-09-17 |
Tim Chevalier | Add a precondition to GEP_tup_like
|
commit | commitdiff | tree |
2011-09-17 |
Tim Chevalier | Add a type_is_tup_like predicate that takes a block...
|
commit | commitdiff | tree |
2011-09-17 |
Tim Chevalier | In trans, replace another impossible case with a precondition
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Dead code elim
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Add a constraint on trans::type_of_fn_from_ty
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Add a returns_non_ty_var predicate
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Make ty_fn_ret pure and get rid of a duplicate function
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Add non_ty_var precondition for type_of_fn, plus minor...
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Actually call unreachable() in impossible case in type_of_inner
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Added non_ty_var precondition to trans::type_of_inner
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Added an extra check in trans_alt
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Added more predicates in trans
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Change a few span_fatals to span_err
|
commit | commitdiff | tree |
2011-09-16 |
Tim Chevalier | Add unreachable() fn, also nitpicking
|
commit | commitdiff | tree |
2011-09-06 |
Tim Chevalier | Forbid blocks from deinitializing upvars
|
commit | commitdiff | tree |
2011-09-06 |
Tim Chevalier | Merge remote-tracking branch 'graydon/master'
|
commit | commitdiff | tree |
2011-09-06 |
Tim Chevalier | Merge remote-tracking branch 'graydon/master'
|
commit | commitdiff | tree |
2011-09-03 |
Tim Chevalier | Merge remote-tracking branch 'graydon/master'
|
commit | commitdiff | tree |
2011-09-03 |
Tim Chevalier | Add a constraint to trans::type_of
|
commit | commitdiff | tree |
2011-09-03 |
Tim Chevalier | Handle if-check with no else correctly in typestate
|
commit | commitdiff | tree |
2011-09-02 |
Tim Chevalier | Add a constraint in trans
|
commit | commitdiff | tree |
2011-09-01 |
Tim Chevalier | Make GEP_tag take a uint instead of an int
|
commit | commitdiff | tree |
2011-09-01 |
Tim Chevalier | Declare a bunch of int functions as pure
|
commit | commitdiff | tree |
2011-09-01 |
Tim Chevalier | Add a test that lambdas can't deinitialize upvars
|
commit | commitdiff | tree |
2011-09-01 |
Tim Chevalier | No, not all fn constraints have the same args as the...
|
commit | commitdiff | tree |
2011-09-01 |
Tim Chevalier | Test for #876
|
commit | commitdiff | tree |
2011-08-31 |
Tim Chevalier | Un-xfail zip-same-length
|
commit | commitdiff | tree |
2011-08-31 |
Tim Chevalier | Add a total version of vec::last that has a precondition
|
commit | commitdiff | tree |
2011-08-30 |
Tim Chevalier | XFAIL zip-same-length -- that's ok, since it's a new...
|
commit | commitdiff | tree |
2011-08-30 |
Tim Chevalier | Library test cases for vec::zip
|
commit | commitdiff | tree |
2011-08-30 |
Tim Chevalier | Add a precondition on vec::zip
|
commit | commitdiff | tree |
2011-08-30 |
Tim Chevalier | Test that fn preconditions get typechecked
|
commit | commitdiff | tree |
2011-08-30 |
Tim Chevalier | Typecheck function preconditions
|
commit | commitdiff | tree |
2011-08-30 |
Tim Chevalier | Eliminate an unchecked use of map::get in ppaux
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Revert "Revert "Use typestate constraints for trans_be""
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Merge remote-tracking branch 'graydon/master' into...
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Register snapshot
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Revert "Use typestate constraints for trans_be"
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Use typestate constraints for trans_be
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Test case for checks on pattern-bound vars
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Let typestate constraints mention pattern-bound vars
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Remove remaining use of 'pred' and make 'pred' a non...
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Docs for pure fn and unchecked
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Remove typestate workaround that's no longer necessary
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Test case for unchecked blocks
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Support unchecked blocks
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Change "pred" to "pure fn" in all libraries and test...
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Change "pred" to "pure fn" within the compiler.
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Register snapshot
|
commit | commitdiff | tree |
2011-08-26 |
Tim Chevalier | Allow pure fns to have any return type
|
commit | commitdiff | tree |
2011-08-24 |
Tim Chevalier | hmm, this should have been in the last commit. Oops.
|
commit | commitdiff | tree |
2011-08-24 |
Tim Chevalier | Change "pred" to "pure fn" (but still accept "pred")
|
commit | commitdiff | tree |
2011-08-19 |
Tim Chevalier | Revert "Disable warnings for unused function arguments...
|
commit | commitdiff | tree |
2011-08-19 |
Tim Chevalier | Disable warnings for unused function arguments. Temporary...
|
commit | commitdiff | tree |
2011-08-19 |
Tim Chevalier | Handle sequential let semantics properly in typestate
|
commit | commitdiff | tree |
2011-08-19 |
Tim Chevalier | Comments
|
commit | commitdiff | tree |
2011-08-18 |
Tim Chevalier | Track arguments in typestate
|
commit | commitdiff | tree |
2011-08-13 |
Tim Chevalier | Remove typestate workaround that's no longer necessary
|
commit | commitdiff | tree |
2011-08-12 |
Tim Chevalier | Un-XFAIL do-while-body-fails
|
commit | commitdiff | tree |
2011-08-12 |
Tim Chevalier | Handle _|_ - typed things in the bodies of do-while...
|
commit | commitdiff | tree |
2011-08-11 |
Tim Chevalier | Use actual type, not declared type, when zeroing move...
|
commit | commitdiff | tree |
2011-08-05 |
Tim Chevalier | Another test for the occurs check, this one from issue 778
|
commit | commitdiff | tree |
2011-08-05 |
Tim Chevalier | Initialize all constraints to False
|
commit | commitdiff | tree |
2011-08-05 |
Tim Chevalier | (Almost) Always unify a function tail expr with the...
|
commit | commitdiff | tree |
2011-08-04 |
Tim Chevalier | Handle alt on a _|_ - typed value
|
commit | commitdiff | tree |
2011-08-04 |
Tim Chevalier | Add a fast path in ty::occurs_check_fails
|
commit | commitdiff | tree |
2011-08-04 |
Tim Chevalier | Implement the occurs check
|
commit | commitdiff | tree |
2011-08-03 |
Tim Chevalier | Revert "Revert "Handle conditionals on _|_ - typed...
|
commit | commitdiff | tree |
2011-08-03 |
Tim Chevalier | Handle _|_ - typed discriminants in alts correctly
|
commit | commitdiff | tree |
2011-08-03 |
Tim Chevalier | Handle conditionals on _|_ - typed values correctly
|
commit | commitdiff | tree |
2011-08-03 |
Tim Chevalier | Make _|_ type binopable
|
commit | commitdiff | tree |
2011-08-03 |
Tim Chevalier | In trans, don't assume both sides of a binop have...
|
commit | commitdiff | tree |
2011-08-02 |
Tim Chevalier | Use or-patterns in trans::trans_compare, eliminating...
|
commit | commitdiff | tree |
2011-08-02 |
Tim Chevalier | Handle bang functions correctly in typestate
|
commit | commitdiff | tree |
2011-07-31 |
Tim Chevalier | Remove unused imports
|
commit | commitdiff | tree |
2011-07-31 |
Tim Chevalier | Change bitvectors::relax_precond_block to use visit...
|
commit | commitdiff | tree |
2011-07-30 |
Tim Chevalier | Test case for previous commit
|
commit | commitdiff | tree |
2011-07-30 |
Tim Chevalier | Refactor typestate code involving stmt_decls
|
commit | commitdiff | tree |
2011-07-21 |
Tim Chevalier | Instantiate function preconditions inside the function...
|
commit | commitdiff | tree |
2011-07-21 |
Tim Chevalier | Move ast_constr_to_constr from typeck to ty
|
commit | commitdiff | tree |
2011-07-20 |
Tim Chevalier | Parse nil literals (including in patterns)
|
commit | commitdiff | tree |
2011-07-20 |
Tim Chevalier | Add missing case in tyencode for ty_constr
|
commit | commitdiff | tree |
2011-07-20 |
Tim Chevalier | Beginnings of support for constrained types
|
commit | commitdiff | tree |
2011-07-14 |
Tim Chevalier | Make resolve and the typechecker check for a main fn...
|
commit | commitdiff | tree |
2011-07-13 |
Tim Chevalier | Use more precise spans in error messages for bad FRU...
|
commit | commitdiff | tree |
2011-07-13 |
Tim Chevalier | Add test case from issue #675. The previous fix actually...
|
commit | commitdiff | tree |
2011-07-13 |
Tim Chevalier | Parse nullary ret correctly
|
commit | commitdiff | tree |
2011-07-13 |
Tim Chevalier | Add some missing cases to token::can_begin_expr
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | Make resolve check for type-variable name-shadowing
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | Add missing files
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | Change typestate to use visit instead of walk
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | Fix potential use-before-init bug in trans
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | Make the parser add correct spans to view_items
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | Visit the type argument in a port expression
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | remove some workarounds for old bugs
|
commit | commitdiff | tree |
2011-07-12 |
Tim Chevalier | In typeck, check for dynamically sized by-value arguments...
|
commit | commitdiff | tree |
next |