Scott Olson
|
8d9df5b442
|
report: Finish the report.
|
2016-04-12 22:51:19 -06:00 |
|
Scott Olson
|
f3d0e18264
|
report: Fill in most of the language support section, plus data layout and determinism.
|
2016-04-12 18:42:28 -06:00 |
|
Scott Olson
|
cb6a1e98bd
|
report: Minor fixes.
|
2016-04-09 23:00:31 -06:00 |
|
Scott Olson
|
9d566a0497
|
Rename paper to report.
|
2016-04-09 22:24:17 -06:00 |
|
Scott Olson
|
4bb4251269
|
report: Add stub "Thanks" section.
|
2016-04-09 22:23:15 -06:00 |
|
Scott Olson
|
b072298d0c
|
report: Add "Vec<u8>" example.
|
2016-04-09 22:23:00 -06:00 |
|
Scott Olson
|
3250837f4b
|
report: Add "Flaws" and "Current implementation".
|
2016-04-09 22:22:06 -06:00 |
|
Scott Olson
|
998fcb82c5
|
Reword and reformat various parts.
|
2016-04-09 19:36:55 -06:00 |
|
Scott Olson
|
a69ad6703f
|
Store AllocIds directly in allocation map.
|
2016-04-09 19:31:53 -06:00 |
|
Scott Olson
|
438eabbba4
|
Add background and intro to first implementation.
|
2016-04-08 19:54:03 -06:00 |
|
Scott Olson
|
e68cf00d09
|
Add basic final paper LaTeX with abstract.
|
2016-04-08 14:37:17 -06:00 |
|
Scott Olson
|
65a88a60f1
|
Move slides into new tex directory.
|
2016-04-08 13:25:36 -06:00 |
|
Scott Olson
|
910ad2a391
|
Implement filling drop.
|
2016-04-07 05:56:07 -06:00 |
|
Scott Olson
|
6be14eab15
|
Handle missing allocations in Memory::dump.
|
2016-04-07 03:07:57 -06:00 |
|
Scott Olson
|
1f6583fe06
|
Implement drop/deallocation for Box.
|
2016-04-07 03:02:02 -06:00 |
|
Scott Olson
|
bef57b291b
|
Simplify intrinsic/c_abi call argument evaluation.
|
2016-04-07 02:02:30 -06:00 |
|
Scott Olson
|
f97eb35222
|
Change debug log format.
|
2016-04-06 19:28:40 -06:00 |
|
Scott Olson
|
a75c19336c
|
Normalize test file modes.
|
2016-04-06 19:05:17 -06:00 |
|
Scott Olson
|
6a99779740
|
Rename ty_size -> type_size and ty_to_repr -> type_repr.
|
2016-04-06 19:01:00 -06:00 |
|
Scott Olson
|
c55320a3db
|
Update for changes in rustc master.
|
2016-04-06 19:00:34 -06:00 |
|
Scott Olson
|
f4dce09c97
|
Print sizes in allocation dumps.
|
2016-04-06 17:33:24 -06:00 |
|
Scott Olson
|
f472018fbb
|
Partially implement reallocation (e.g. for growing Vecs).
|
2016-04-06 17:29:56 -06:00 |
|
Scott Olson
|
8d3d8af67a
|
Add test for out-of-bounds reads.
|
2016-04-06 04:43:06 -06:00 |
|
Scott Olson
|
284404da06
|
Fix undef mask initialization and test undef reads.
|
2016-04-06 04:35:25 -06:00 |
|
Scott Olson
|
cfe36d63e5
|
Add test for invalid booleans.
|
2016-04-06 04:27:09 -06:00 |
|
Scott Olson
|
2d5196147f
|
Add test for comparing ptrs into different allocs.
|
2016-04-06 04:24:35 -06:00 |
|
Scott Olson
|
7568a0b5b1
|
Add an Rc reference cycle test.
|
2016-04-06 04:20:35 -06:00 |
|
Scott Olson
|
dbd8a82643
|
Add a test for overwriting part of a relocation.
|
2016-04-06 04:19:56 -06:00 |
|
Scott Olson
|
c08ddaaa48
|
Implement a naive, slow version of undef mask copying.
|
2016-04-06 04:08:52 -06:00 |
|
Scott Olson
|
8a0aa9291a
|
Switch to bitmask-based undef mask.
|
2016-04-06 03:45:06 -06:00 |
|
Scott Olson
|
bdba4641cc
|
Rearrange code in memory.rs.
|
2016-04-04 20:33:41 -06:00 |
|
Scott Olson
|
682742c223
|
Print terminator kinds (without spans) when debugging.
|
2016-04-04 20:07:22 -06:00 |
|
Scott Olson
|
9b6567e8b3
|
Fix quote kind in slides LaTeX.
|
2016-04-04 15:46:13 -06:00 |
|
Scott Olson
|
cb947dd005
|
Add note about target data layout.
|
2016-04-03 23:25:30 -06:00 |
|
Scott Olson
|
9e3e2decba
|
Add slides for final presentation.
|
2016-04-03 23:20:44 -06:00 |
|
Scott Olson
|
e72d8f8dc6
|
Update for changes in rustc master.
|
2016-03-31 22:34:07 -06:00 |
|
Scott Olson
|
d25ddb3130
|
Add stack traces to error notes.
|
2016-03-30 22:04:53 -06:00 |
|
Scott Olson
|
17df5cfec3
|
Move substs stack management into main stack managment fns.
|
2016-03-29 22:13:31 -06:00 |
|
Scott Olson
|
6a8bb2c1c0
|
Add initial error reporting via rustc's interface.
|
2016-03-29 19:09:32 -06:00 |
|
Scott Olson
|
e4dcdcab65
|
Remove unnecessary Result return in push_stack_frame.
|
2016-03-29 19:08:45 -06:00 |
|
Scott Olson
|
63fdd46f9a
|
Handle custom discriminant values and detect invalid discriminants.
|
2016-03-28 21:08:16 -06:00 |
|
Scott Olson
|
71b94c9a5d
|
Add a basic test for specialization.
|
2016-03-28 17:59:48 -06:00 |
|
Scott Olson
|
1861dbc2ab
|
Update for changes in rustc master.
|
2016-03-28 17:43:23 -06:00 |
|
Scott Olson
|
62294d0c42
|
Mark bytes undefined in uninit intrinsic.
|
2016-03-28 16:37:07 -06:00 |
|
Scott Olson
|
56e118f86c
|
Mark partially-overwritten relocations as undefined.
|
2016-03-27 00:29:02 -06:00 |
|
Scott Olson
|
62fab9268e
|
Fix bug where &str's lengths were not copied.
|
2016-03-26 23:57:14 -06:00 |
|
Scott Olson
|
acf2ceb534
|
Check for undefinedness when reading from memory.
|
2016-03-26 23:56:49 -06:00 |
|
Scott Olson
|
68ccf3904e
|
Add method for checking if a range is defined in an allocation.
|
2016-03-26 23:25:35 -06:00 |
|
Scott Olson
|
33e924d383
|
Add undefined byte tracking.
|
2016-03-26 22:25:08 -06:00 |
|
Scott Olson
|
5451b6115b
|
Reorganize memory methods.
|
2016-03-23 21:40:58 -06:00 |
|