Scott Olson
|
30f07f3d7f
|
Re-implement support for downcast lvalues.
|
2016-04-29 23:32:15 -06:00 |
|
Scott Olson
|
71bdabcdd9
|
Merge pull request #10 from llogiq/clippy
Fixed some clippy warnings
|
2016-04-29 11:48:00 -06:00 |
|
Andre Bogus
|
7cb6c0dbfe
|
back out similar_names change
|
2016-04-29 17:47:10 +02:00 |
|
Andre Bogus
|
de64670de0
|
Fixed some clippy warnings
|
2016-04-29 06:01:17 +02:00 |
|
Scott Olson
|
0f533e3ae0
|
report: Remove redundant commented-out paragraph.
|
2016-04-28 04:13:26 -06:00 |
|
Scott Olson
|
3fd2ee9ddc
|
Remove unused eval_operand_and_layout fn.
|
2016-04-23 20:46:27 -06:00 |
|
Scott Olson
|
500cd25627
|
Add missing boolean binops.
|
2016-04-23 20:13:00 -06:00 |
|
Scott Olson
|
2db3597b56
|
Implement boolean binops.
|
2016-04-23 00:39:38 -06:00 |
|
Scott Olson
|
6f50289d43
|
Fix lvalue projections with fat pointer bases.
|
2016-04-23 00:26:10 -06:00 |
|
Scott Olson
|
f7d7ce27c8
|
Update to a nightly with rustc::ty::layout.
|
2016-04-23 00:11:56 -06:00 |
|
Scott Olson
|
4a863c2a6a
|
Replace Repr with the new ty::layout in rustc.
Lvalues still need work (see lvalue_layout).
|
2016-04-23 00:03:59 -06:00 |
|
Scott Olson
|
1531bd675c
|
Merge pull request #9 from oli-obk/improve_tests
various testing improvements
|
2016-04-22 13:54:26 -06:00 |
|
Oliver Schneider
|
5ea57ccbcd
|
bug: transmute::<*const T, Option<Box<T>>>(..)
|
2016-04-22 20:09:00 +02:00 |
|
Oliver Schneider
|
feca81307f
|
wild pointer and null pointer deref
|
2016-04-22 20:09:00 +02:00 |
|
Oliver Schneider
|
ef5fc75c35
|
various testing improvements
|
2016-04-22 20:09:00 +02:00 |
|
Scott Olson
|
ae41877b51
|
Merge pull request #7 from oli-obk/compiletest
use compiletest_rs
|
2016-04-22 02:46:34 -06:00 |
|
Oliver Schneider
|
211c12a1d0
|
use compiletest_rs
|
2016-04-22 10:34:14 +02:00 |
|
Scott Olson
|
86d8a07321
|
Merge pull request #5 from killercup/fix/travis-stuff
Fix travis stuff
|
2016-04-15 13:54:22 -06:00 |
|
Pascal Hertleif
|
a85d876bcd
|
Fix Travis Config for Nightly
|
2016-04-15 16:54:50 +02:00 |
|
Pascal Hertleif
|
52775ce2d7
|
Add Build Status to Readme
|
2016-04-15 16:54:35 +02:00 |
|
Pascal Hertleif
|
9fd2b47c27
|
Fix Typo in Readme
|
2016-04-15 16:54:35 +02:00 |
|
Scott Olson
|
e81d88d236
|
Use 8-byte pointers on 32-bit hosts for now.
This will be target-dependent and host-independent eventually.
|
2016-04-15 03:28:18 -06:00 |
|
Scott Olson
|
84f21584ea
|
Fix drop fill checking on 32-bit hosts.
|
2016-04-15 03:16:35 -06:00 |
|
Scott Olson
|
cea1ff4088
|
Merge pull request #3 from killercup/feature/tests
Run Tests on Travis
|
2016-04-15 02:33:40 -06:00 |
|
Pascal Hertleif
|
18737f542b
|
Add Travis Config
|
2016-04-15 10:04:51 +02:00 |
|
Scott Olson
|
926bbba459
|
Fix over-long bitshift on 32-bit hosts.
Fixes #4. (Hopefully.)
|
2016-04-14 17:39:06 -06:00 |
|
Pascal Hertleif
|
5eb4ab22bf
|
Add EditorConfig
|
2016-04-14 14:54:59 +02:00 |
|
Pascal Hertleif
|
f6f393996b
|
Add Compile Test
|
2016-04-14 14:54:59 +02:00 |
|
Scott Olson
|
8fceac749b
|
Merge pull request #2 from killercup/feature/update-rustc
Update to Rust Nightly 2016-04-11
|
2016-04-14 04:03:53 -06:00 |
|
Pascal Hertleif
|
4b9d141e97
|
Readme: Newer Nightly Version, Mention Rustup
|
2016-04-14 10:21:36 +02:00 |
|
Scott Olson
|
539ded20af
|
readme: Rewording.
|
2016-04-13 18:47:03 -06:00 |
|
Scott Olson
|
3ae75f3bb6
|
readme: Add links to presentation and report PDFs.
|
2016-04-13 18:41:37 -06:00 |
|
Pascal Hertleif
|
6abfa56b20
|
Update to Rust Nightly 2016-04-11
|
2016-04-14 00:01:00 +02:00 |
|
Scott Olson
|
8cac01ae66
|
readme: Fix shell syntax.
|
2016-04-13 07:36:54 -06:00 |
|
Scott Olson
|
4867051c6f
|
readme: Add build and run instructions.
|
2016-04-13 07:32:32 -06:00 |
|
Scott Olson
|
e0f7d8f38c
|
report: Credit where it's due.
|
2016-04-13 06:15:02 -06:00 |
|
Scott Olson
|
00dc20ab26
|
report: Numerous fixes. ❤️ @DanielKeep, @programble, @ubsan, @eddyb
|
2016-04-13 06:12:28 -06:00 |
|
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 |
|