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