aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Resolve plvals to their defns.Graydon Hoare2010-09-162-1/+48
|
* Populate the tag containment relationPatrick Walton2010-09-161-0/+37
|
* Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare2010-09-162-0/+46
|
* Better representation of tag containment, which will allow us to discern ↵Patrick Walton2010-09-161-3/+7
| | | | backreferences
* Add ctxt_tag_containment to the Semant contextPatrick Walton2010-09-161-0/+7
|
* Switch the "expected" and "actual" types for function parameter mismatchesPatrick Walton2010-09-161-1/+1
|
* Not finding a name in a module isn't a bug, it's an error. Report it as such.Patrick Walton2010-09-161-3/+3
|
* Fixed deadlock caused by the message pump not being notified of new message ↵Michael Bebenita2010-09-165-5/+36
| | | | sends.
* Add beginnings of a fuzzer to rustboot.Graydon Hoare2010-09-164-1/+178
|
* Add Peter Hull's contributed translation of the fasta shootout benchmark ↵Graydon Hoare2010-09-153-1/+132
| | | | (integer-only version).
* Minor improvements to pretty-printer.Graydon Hoare2010-09-151-5/+16
|
* Teach walk about plvals and pexps.Graydon Hoare2010-09-151-8/+106
|
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵Graydon Hoare2010-09-1514-12/+66
| | | | later stages. Fixes to pexp pretty printer.
* Add pretty-printing for pexps.Graydon Hoare2010-09-151-0/+145
|
* Add some form-judgements on plvals and pexps.Graydon Hoare2010-09-152-10/+169
|
* Commence moving pexp into ast, for eventual merger with expr.Graydon Hoare2010-09-143-154/+158
|
* Begin actually folding constant items into operands at site of use.Graydon Hoare2010-09-142-8/+78
|
* Translate const uses via runtime expression evaluation.Graydon Hoare2010-09-142-6/+17
|
* XFAIL const test on LLVM, of course.Graydon Hoare2010-09-141-0/+1
|
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-1410-0/+46
|
* Update manual to cover change to nominal tag items.Graydon Hoare2010-09-131-42/+57
|
* Fix leaking arg slots on tail calls. Closes #160.Graydon Hoare2010-09-133-0/+14
|
* Fix a leak when box types are used via type descriptors.Graydon Hoare2010-09-123-2/+10
|
* Cleanup, refactoring, and some runtime tests.Michael Bebenita2010-09-1022-129/+279
|
* Added lock_and_signal::signal_all(), and made the rust_kernel::join() use ↵Michael Bebenita2010-09-104-16/+31
| | | | wait instead of yield.
* Use hashtable rather than bitset for vreg constraints in ra; speeds compilation.Graydon Hoare2010-09-093-26/+40
|
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-0940-1454/+1156
| | | | work, possibly a little bumpy. Changes a lot.
* Fixed lost signal notifications.Michael Bebenita2010-09-081-2/+4
|
* Cache task handles.Michael Bebenita2010-09-082-2/+8
|
* Tidy up the sync dir, remove dead or mis-designed code in favour of OS ↵Graydon Hoare2010-09-0818-347/+182
| | | | primitives, switch rust_kernel to use a lock/signal pair and wait rather than spin.
* XFAIL many.rs since it crashes on win32, and add a time-slice sleep to the ↵Graydon Hoare2010-09-082-2/+26
| | | | kernel message loop to get tests to finish in a sane time.
* First lame stab at solving the diamond import problemPatrick Walton2010-09-085-25/+53
|
* Cleaned up locking in the kernel.Michael Bebenita2010-09-083-53/+54
|
* XFAIL task-comm-8, see if this helps burning-tree.Graydon Hoare2010-09-081-3/+4
|
* Fixed race in the rust kernel.Michael Bebenita2010-09-075-20/+45
|
* Lots of design changes around proxies and message passing. Made it so that ↵Michael Bebenita2010-09-0723-437/+643
| | | | domains can only talk to other domains via handles, and with the help of the rust_kernel.
* Started work on a framework for writing runtime tests, added some simple ↵Michael Bebenita2010-09-075-2/+186
| | | | test cases.
* Small updates to util classes.Michael Bebenita2010-09-072-1/+24
|
* Change signature of array_list::pop().Michael Bebenita2010-09-073-7/+22
|
* Added "new" inline operators to memory regions.Michael Bebenita2010-09-071-0/+8
|
* Added a .cpp file for rust_proxy to help avoid .h file dependencies in the ↵Michael Bebenita2010-09-072-0/+2
| | | | future.
* Added a thread utility class to factor out operations on threads.Michael Bebenita2010-09-072-0/+64
|
* Make run.py only search in the run-pass directory.Michael Bebenita2010-09-071-1/+1
|
* Small updates to test cases.Michael Bebenita2010-09-074-3/+9
|
* Added a few utility classes, cleaned up the include order of .h files, and ↵Michael Bebenita2010-09-0716-111/+250
| | | | started to make the Rust kernel own domain message queues rather than the Rust domains themselves.
* Initial support for a global crate metadata cachePatrick Walton2010-09-076-6/+22
|
* Add hashmap tests exercising strings as keys and values. No longer leaks on ↵Roy Frostig2010-09-071-37/+95
| | | | linux.
* Recursively drop a type's parts if the type uses any typarams, since those ↵Roy Frostig2010-09-071-3/+5
| | | | typarams may represent types that actually require dropping.
* Add a little pointer-cast helper to dbg.Roy Frostig2010-09-062-0/+18
|
* Test multi-ref'ed vec growth more seriously than before.Roy Frostig2010-09-032-0/+68
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 05:45:42 +0000