Commit Graph

3225 Commits

Author SHA1 Message Date
Scott Olson
753971a4c5 Handle promoted rvalues by recursing with call_nested. 2016-05-09 18:21:52 -06:00
Scott Olson
49b6349577 Update to a new nightly. 2016-05-09 15:32:18 -06:00
Scott Olson
a6b9b165c3 Handle CEnum layouts with signed representations. 2016-05-08 19:49:07 -06:00
Scott Olson
5f07e2ebd3 Merge branch 'new-data-layout' 2016-05-08 19:31:28 -06:00
Scott Olson
d825ef1bf1 Move StructWrappedNullablePointer-using test to bugs dir. 2016-05-08 19:30:17 -06:00
Scott Olson
d288472b29 Handle CEnum layouts with unsigned representations. 2016-05-08 19:29:07 -06:00
Scott Olson
9e289fa0aa Fully handle RawNullablePointer layout. 2016-04-30 01:04:17 -06:00
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