2010-07-08 |
Graydon Hoare | Build fix from jmuizelaar (on ocamlc versions that... |
commit | commitdiff | tree | snapshot |
2010-07-08 |
Graydon Hoare | Add mbrubeck. |
commit | commitdiff | tree | snapshot |
2010-07-08 |
Matt Brubeck | Issue 66: Multi-line comments |
commit | commitdiff | tree | snapshot |
2010-07-08 |
Graydon Hoare | Some more typestate tests. |
commit | commitdiff | tree | snapshot |
2010-07-08 |
Graydon Hoare | Doc tweak. |
commit | commitdiff | tree | snapshot |
2010-07-07 |
Graydon Hoare | Numerous bug fixes to typestate algorithm. |
commit | commitdiff | tree | snapshot |
2010-07-07 |
Graydon Hoare | Correct flow-graph wiring for STMT_if. |
commit | commitdiff | tree | snapshot |
2010-07-07 |
Graydon Hoare | Wrap long line. |
commit | commitdiff | tree | snapshot |
2010-07-06 |
Graydon Hoare | Add init(arg) to STMT_call precondition for each arg. |
commit | commitdiff | tree | snapshot |
2010-07-06 |
Graydon Hoare | Add native-clean target. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Change from 'spawner' to 'supervisor' in rust_task... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Un-XFAIL mutable-alias-vec.rs. Was only failing due... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Uint-ify various bits of _str and _vec, enrich _vec... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Divide vec fill by element size when reporting vec... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Use typed slot rather than AST slot in trans_for_loop. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Teach the dwarf readers to handle udata, so we can... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Rename some stuff in lib/util.rs. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Log completion on the many.rs test. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Perform valgrind-specific timing tweaks in a platform... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | XFAIL native-mod when running MINGW_CROSS. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Move NO_VALGRIND check below MINGW_CROSS. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Preempt works on non-windows, just needed a little... |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | Fix bug in win32 command-line arg processing. |
commit | commitdiff | tree | snapshot |
2010-07-05 |
Graydon Hoare | XFAIL the remainder as until pwalton has a go at the... |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Fix generic-derived-type.rs and generic-obj-with-derive... |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Improve type.ml logging. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Fix rec-extend.rs test. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Fix compile-fail/log-type-error.rs. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Clean in doc dir a little harder. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Fix typo in upcall_recv log message. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Comment-out glue interrupt-flag test; unclear why it... |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Spill immediates with proper IL type (was making valgri... |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Fix bug crashing valgrind in obj-recursion.rs. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Improve logging in drop paths. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Add more scratch files to .gitignore. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | More corrections to drop/free path to accommodate TY_box. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Add stamp target to doc/Makefile. |
commit | commitdiff | tree | snapshot |
2010-07-04 |
Graydon Hoare | Add concept-index entries to docs, plus fix a few minor... |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Graydon Hoare | Add version-stamp machinery (and put "Draft + datestamp... |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Graydon Hoare | Hey, what's a coding sprint without an uncovered regist... |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Roy Frostig | Clarify manual's explanation of unwinding during failur... |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Patrick Walton | Add an arr_iter2 function to common.ml |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Graydon Hoare | Deja vu all over again. Something makes me think this... |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Graydon Hoare | Terminology mop-up. |
commit | commitdiff | tree | snapshot |
2010-07-03 |
Graydon Hoare | You may get the feeling that all these changes look... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Simplify type before deciding how to free it. Hint... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Merge branch 'master' of git@github.com:graydon/rust... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Fix bug in clone logic; was ignoring the mutability... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Teach severing logic to handle obj and fn types. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Wrap long line. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Trace mark and sever steps in GC. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Return LLVM to at least being able to run hello world. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Walk (mut/constr stripped) TY_iso edges when boxed... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Roy Frostig | Minor clarification/typo-correcting edits to manual... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Compensate for .tmp in run-fail tests. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | New test of explicit deref operator. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Change make rules around running tests to not produce... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Permit mutables as comparable in all contexts. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Don't unify the *input* to init-box with a box constrai... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Improve logging in type. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Box the args entering the vec-drop test. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Merge branch 'exterior_and_mutable_types' of git@github... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Parse effect-qualified type definitions. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Patrick Walton | Allow formatting individual decl_params |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Roy Frostig | Gut the box[m][o] family from util. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Roy Frostig | Remove nameless node causing errors on doc make. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Correct drop-ty path; many tests now run. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Improve drop-path logging and simplify box_rc_cell. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Actually link GC allocations onto the gc_alloc_chain... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Improve logging on upcall_malloc. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Handle DW_FORM_blcok4 in runtime dwarf reader, which... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Trap missing attr forms during dwarf-scan and shut... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Indent/outdent when logging dwarf at runtime. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Wrap long lines. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Box arguments that are supposed to be boxed. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Yeah. Not even a semantic mix-up: just a damn typo. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Teach clone_ty to tolerate cloning a mutable (though... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Improve mangling. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Teach the associative_binary_op_ty_fold about box,... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Strip outer 'mutable' off slot when deciding if pred... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Retire defunct copy_ty in favour of trans_copy_ty,... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Reinstate disgusting, filthy workarounds for deriving... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Remove similar over-application of auto-deref from... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Remove too-optimistic (and not harmless) over applicati... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Split out and improve trans_init_box. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Add logging to trans_init_slot_from_atom. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Catch ast pretty-printer up with init-tup syntax. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Fox the clauses that actually satisfy box and mutable... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Of course, the LHS constraint on an init-box statement... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Clarify in type logging when we have a constraint vs... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Add compile-check target for just attempting to compile... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Correct existing reliance on auto-box / unbox behavior... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Box the integer passed to the handle in obj-drop.rs... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Establish the box constraint on the dst in STMT_init_bo... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Remove TYSPEC_loggable. Everything's loggable (or will... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Check the simplified type used in check-expr in trans. |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Extract pattern-slot variables in lval typecheck contex... |
commit | commitdiff | tree | snapshot |
2010-07-02 |
Graydon Hoare | Relax alias-analysis pass to permit literal-aliasing. |
commit | commitdiff | tree | snapshot |
2010-07-01 |
Graydon Hoare | Remove the catch-all in type.ml, add cases for every... |
commit | commitdiff | tree | snapshot |
2010-07-01 |
Graydon Hoare | Convey auto-deref judgments made in typechecker to... |
commit | commitdiff | tree | snapshot |
next |