Graydon Hoare
|
115e14a32c
|
Some more typestate tests.
|
2010-07-08 07:33:25 -07:00 |
|
Graydon Hoare
|
d39753685b
|
Doc tweak.
|
2010-07-08 07:28:21 -07:00 |
|
Graydon Hoare
|
e813388df8
|
Numerous bug fixes to typestate algorithm.
|
2010-07-06 23:18:29 -07:00 |
|
Graydon Hoare
|
d3cfbdaddd
|
Correct flow-graph wiring for STMT_if.
|
2010-07-06 18:07:52 -07:00 |
|
Graydon Hoare
|
6302e18056
|
Wrap long line.
|
2010-07-06 17:06:46 -07:00 |
|
Graydon Hoare
|
d4975a198b
|
Add init(arg) to STMT_call precondition for each arg.
|
2010-07-06 13:52:41 -07:00 |
|
Graydon Hoare
|
a3f2609630
|
Add native-clean target.
|
2010-07-06 13:51:39 -07:00 |
|
Graydon Hoare
|
b1eeb9b825
|
Change from 'spawner' to 'supervisor' in rust_task, and add an unsupervise call.
|
2010-07-05 14:43:40 -07:00 |
|
Graydon Hoare
|
3175c83ff0
|
Un-XFAIL mutable-alias-vec.rs. Was only failing due to a typo, but a more thorough test revealed more bugs.
|
2010-07-05 14:43:02 -07:00 |
|
Graydon Hoare
|
f360d222c8
|
Uint-ify various bits of _str and _vec, enrich _vec a bit.
|
2010-07-05 14:42:12 -07:00 |
|
Graydon Hoare
|
fdf2eaac91
|
Divide vec fill by element size when reporting vec len.
|
2010-07-05 14:40:01 -07:00 |
|
Graydon Hoare
|
0fe1508a8a
|
Use typed slot rather than AST slot in trans_for_loop.
|
2010-07-05 14:39:08 -07:00 |
|
Graydon Hoare
|
b0aba6510a
|
Teach the dwarf readers to handle udata, so we can link with util.option; add util.rs to std.rc.
|
2010-07-05 14:38:02 -07:00 |
|
Graydon Hoare
|
ad61f02d36
|
Rename some stuff in lib/util.rs.
|
2010-07-05 14:36:39 -07:00 |
|
Graydon Hoare
|
6014384a5d
|
Log completion on the many.rs test.
|
2010-07-04 22:41:57 -07:00 |
|
Graydon Hoare
|
75f0c36931
|
Perform valgrind-specific timing tweaks in a platform-sensitive manner.
|
2010-07-04 22:41:42 -07:00 |
|
Graydon Hoare
|
24afa7532f
|
XFAIL native-mod when running MINGW_CROSS.
|
2010-07-04 22:41:04 -07:00 |
|
Graydon Hoare
|
c21e12bc8b
|
Move NO_VALGRIND check below MINGW_CROSS.
|
2010-07-04 22:40:19 -07:00 |
|
Graydon Hoare
|
2a413070c6
|
Preempt works on non-windows, just needed a little valgrind love to complete in a reasonable time.
|
2010-07-04 21:18:47 -07:00 |
|
Graydon Hoare
|
f2861448ab
|
Fix bug in win32 command-line arg processing.
|
2010-07-04 20:06:18 -07:00 |
|
Graydon Hoare
|
7f01af9555
|
XFAIL the remainder as until pwalton has a go at the typechecker. Branch is otherwise done, enough to merge anyway.
|
2010-07-04 17:01:22 -07:00 |
|
Graydon Hoare
|
1833fa1df2
|
Fix generic-derived-type.rs and generic-obj-with-derived-type.rs.
|
2010-07-04 16:42:58 -07:00 |
|
Graydon Hoare
|
8217ce6228
|
Improve type.ml logging.
|
2010-07-04 16:42:11 -07:00 |
|
Graydon Hoare
|
ff6278f51a
|
Fix rec-extend.rs test.
|
2010-07-04 16:11:56 -07:00 |
|
Graydon Hoare
|
cae60cbaba
|
Fix compile-fail/log-type-error.rs.
|
2010-07-04 16:02:12 -07:00 |
|
Graydon Hoare
|
658d9238b7
|
Clean in doc dir a little harder.
|
2010-07-04 15:39:53 -07:00 |
|
Graydon Hoare
|
1fa468460d
|
Fix typo in upcall_recv log message.
|
2010-07-04 02:15:11 -07:00 |
|
Graydon Hoare
|
1ac6a5038d
|
Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tree is always finite anyways so not a big deal for now.
|
2010-07-04 02:14:46 -07:00 |
|
Graydon Hoare
|
5db3f6ef6a
|
Spill immediates with proper IL type (was making valgrind dislike obj-with-vec.rs).
|
2010-07-04 01:06:29 -07:00 |
|
Graydon Hoare
|
bd514114cf
|
Fix bug crashing valgrind in obj-recursion.rs.
|
2010-07-04 00:45:56 -07:00 |
|
Graydon Hoare
|
51c38d5903
|
Improve logging in drop paths.
|
2010-07-04 00:45:35 -07:00 |
|
Graydon Hoare
|
818fbfb325
|
Add more scratch files to .gitignore.
|
2010-07-03 23:56:50 -07:00 |
|
Graydon Hoare
|
5b2cc21e4f
|
More corrections to drop/free path to accommodate TY_box.
|
2010-07-03 23:55:21 -07:00 |
|
Graydon Hoare
|
f2ffa57ddf
|
Add stamp target to doc/Makefile.
|
2010-07-03 21:48:31 -07:00 |
|
Graydon Hoare
|
965e5287ba
|
Add concept-index entries to docs, plus fix a few minor nits.
|
2010-07-03 17:29:06 -07:00 |
|
Graydon Hoare
|
df0fa603d0
|
Add version-stamp machinery (and put "Draft + datestamp" into doc footer).
|
2010-07-03 00:27:33 -07:00 |
|
Graydon Hoare
|
cf19c5132a
|
Hey, what's a coding sprint without an uncovered register allocation bug? No fun, I say.
|
2010-07-02 22:44:21 -07:00 |
|
Roy Frostig
|
c5a3c9736a
|
Clarify manual's explanation of unwinding during failure. Add bit about soft vs. hard failure.
|
2010-07-02 18:33:09 -07:00 |
|
Patrick Walton
|
667d46bef9
|
Add an arr_iter2 function to common.ml
|
2010-07-02 18:02:46 -07:00 |
|
Graydon Hoare
|
50e75e049b
|
Deja vu all over again. Something makes me think this is a usability hazard.
|
2010-07-02 17:14:46 -07:00 |
|
Graydon Hoare
|
233be40e25
|
Terminology mop-up.
|
2010-07-02 17:13:02 -07:00 |
|
Graydon Hoare
|
46ebf12f40
|
You may get the feeling that all these changes look eerily the same. You would be correct.
|
2010-07-02 17:04:16 -07:00 |
|
Graydon Hoare
|
3070725cce
|
Simplify type before deciding how to free it. Hint: calling free() on a running task is usually a bad idea.
|
2010-07-02 16:42:42 -07:00 |
|
Graydon Hoare
|
8660ce50a1
|
Merge branch 'master' of git@github.com:graydon/rust into exterior_and_mutable_types
|
2010-07-02 16:27:39 -07:00 |
|
Graydon Hoare
|
026cdf9747
|
Fix bug in clone logic; was ignoring the mutability-strip step in later rule.
|
2010-07-02 16:16:57 -07:00 |
|
Graydon Hoare
|
0be19e8a95
|
Teach severing logic to handle obj and fn types.
|
2010-07-02 16:12:58 -07:00 |
|
Graydon Hoare
|
ec0de963e0
|
Wrap long line.
|
2010-07-02 16:12:34 -07:00 |
|
Graydon Hoare
|
63f9bd7b63
|
Trace mark and sever steps in GC.
|
2010-07-02 16:12:10 -07:00 |
|
Graydon Hoare
|
b1d3e9697a
|
Return LLVM to at least being able to run hello world.
|
2010-07-02 15:11:44 -07:00 |
|
Graydon Hoare
|
6d58987538
|
Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges; they should not have made it past resolve.
|
2010-07-02 14:58:55 -07:00 |
|