aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Get slots in trans_tag using Semant tables. Closes #133.Roy Frostig2010-07-283-5/+34
|
* Refer to issue #136 at the offending source point.Roy Frostig2010-07-281-0/+1
|
* Test the deque a bit. Give it a get-by-index method. Fix two uncovered ↵Roy Frostig2010-07-287-8/+65
| | | | state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up.
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare2010-07-2724-207/+156
| | | | a cast notation. Closes #129.
* Calm some LLVM indigestion of last change.Graydon Hoare2010-07-272-6/+7
|
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-2710-180/+216
| | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127.
* Slight shaving on RA, no more optimizing today. It's fast enough for now.Graydon Hoare2010-07-261-8/+9
|
* Adjust testcase to cover issue #91, which was actually fixed back in commit ↵Roy Frostig2010-07-261-0/+2
| | | | f02f9cbf29c2fdc28baeaa5a25671d9be29d6eab. Closes #91.
* Fix numerous non-linearities and O(sizeof(crate)) issues in typestate ↵Graydon Hoare2010-07-262-126/+340
| | | | system's dataflow algorithm. No longer substantial in profile.
* Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM.Patrick Walton2010-07-2619-75/+79
|
* Note the typestate dataflow timing. The culprit is revealed.Graydon Hoare2010-07-261-1/+2
|
* Add a cumulative timer count to be sure we're getting everything.Graydon Hoare2010-07-261-3/+6
|
* Change ctxt_crate_main to an Ast.name.Graydon Hoare2010-07-262-8/+7
|
* Do some more iflog-guarding.Graydon Hoare2010-07-262-84/+94
|
* vec_alloc takes four arguments these days, not three.Roy Frostig2010-07-251-1/+1
|
* Attempt 2. This time actually reading my own diffs before committing.Roy Frostig2010-07-251-0/+19
|
* Attempt number 1 at extinguishing the windows tree remotely (apologies to ↵Roy Frostig2010-07-252-22/+3
| | | | those hacking on Sunday evening PST).
* Expose an RNG (the one used by our runtime) to Rust via std.Roy Frostig2010-07-257-25/+114
|
* Don't write to NULL after calling C natives returning void.Roy Frostig2010-07-253-6/+13
|
* Another quick fix from jmuizelaar for that "some ocaml versions dont't ↵Graydon Hoare2010-07-231-1/+1
| | | | notice wrong wildcard count in patterns" bug.
* Improve mutability checking. Closes #118.Graydon Hoare2010-07-239-15/+60
|
* Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵Graydon Hoare2010-07-232-1/+30
| | | | fix in typestate system.
* Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught ↵Graydon Hoare2010-07-232-15/+19
| | | | cases in type.ml.
* Widen write mutability check to cover all writing stmts.Graydon Hoare2010-07-231-10/+22
|
* Modify testcase to match new syntax and un-XFAIL mutable-vec-drop.rs.Graydon Hoare2010-07-232-2/+4
|
* Two more testcases for overwriting already-live box-like fields in ↵Graydon Hoare2010-07-232-0/+8
| | | | structures, without leaking.
* Include all lval-writing statements in stmt_is_init calculation, not just ↵Graydon Hoare2010-07-235-16/+15
| | | | "copy-like". Un-XFAIL generic-tag-alt.rs
* Add pretty-printing for alt-tag statements.Graydon Hoare2010-07-231-1/+32
|
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-238-120/+108
|
* Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and ↵Roy Frostig2010-07-227-16/+41
| | | | runtime. Closes #109.
* A certain incomplete quantity of wrestling with "INIT" statements that don't ↵Graydon Hoare2010-07-223-31/+82
| | | | actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later.
* Un-XFAIL stuff that started working when pcwalton's new typechecker landed.Graydon Hoare2010-07-221-13/+1
|
* Back out too-platform-fussy bits in preempt-test work. I hate this test.Graydon Hoare2010-07-223-15/+0
|
* Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵Graydon Hoare2010-07-226-11/+14
| | | | produce a backtrace.
* Beat up on the preempt test a bit more, as it keeps hanging under valgrind.Graydon Hoare2010-07-224-7/+18
|
* Re-introduce bits of vec-lib test that blocked on now-fixed issue #108.Roy Frostig2010-07-221-6/+2
|
* Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig2010-07-223-7/+12
|
* XFAIL task-comm-5, it's burning the tinderboxes.Graydon Hoare2010-07-221-0/+1
|
* Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100.Graydon Hoare2010-07-223-0/+17
|
* Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111.Graydon Hoare2010-07-223-1/+27
|
* Fix simple generic type parameters in LLVM.Jeffrey Yasskin2010-07-233-5/+28
|
* Implement tuple access for LLVM.Jeffrey Yasskin2010-07-232-21/+77
| | | | | | | This involved adding an Ast.ty return to trans_lval. I also included the code for record and box access, but their tests don't completely pass yet.
* Nothing change, to tickle tinderboxes.Graydon Hoare2010-07-211-1/+1
|
* XFAIL comm-2 for now; there's an assertion trappping in rust_task::wakeup.Graydon Hoare2010-07-211-0/+1
|
* Make sure debug locations are propagated to every new block created by makingJeffrey Yasskin2010-07-221-19/+47
| | | | | them an argument to new_block. gdb should do a good job of single-stepping LLVM-compiled rust programs by rust line number now.
* Teach the makefile to generate .ll files,Jeffrey Yasskin2010-07-222-0/+8
| | | | | which are helpful in debugging the llvm backend. Also tell git to ignore LLVM's intermediate files.
* Fix -Wnon-virtual-destructor, which apple's gcc-4.0 seems to turn on by default.Jeffrey Yasskin2010-07-221-0/+1
|
* Back out "::ALL" default logbits.Graydon Hoare2010-07-201-1/+1
|
* Add a (coarse, first-pass) deque implementation to stdlib.Roy Frostig2010-07-204-7/+155
|
* Be a little more careful before assuming we have crate debuginfo and abbrevs ↵Graydon Hoare2010-07-202-5/+13
| | | | to read.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 13:03:56 +0000