Commit Graph

172 Commits

Author SHA1 Message Date
Jorge Aparicio
95651f62a9 disable tests for ppc64le, drop logic around QEMU_ARCH 2016-08-13 19:56:34 -05:00
Jorge Aparicio
9bee966c00 add missing apt-get update 2016-08-13 19:30:30 -05:00
Jorge Aparicio
1f3bad04bc Merge pull request #36 from japaric/qc
quickcheck: better generation of input arguments
2016-08-13 19:27:54 -05:00
Jorge Aparicio
c34b356c44 try 32-bit qemu for ppc64le 2016-08-13 18:58:41 -05:00
Jorge Aparicio
f300480aa9 Merge pull request #37 from japaric/docker
CI: run all Linux targets inside docker
2016-08-13 18:53:08 -05:00
Jorge Aparicio
45aec943d3 use wrapping_add in muldi4 2016-08-13 18:47:39 -05:00
Jorge Aparicio
f3eb08a96d fix a bug in udivmoddi4 2016-08-13 18:45:00 -05:00
Jorge Aparicio
b5b28c02ba qemu-ppc64le still doesn't work 2016-08-13 18:33:40 -05:00
Jorge Aparicio
9c651118fe enable tests for ppc64le 2016-08-13 18:00:49 -05:00
Jorge Aparicio
ac8370b4ac need to set PATH for macos 2016-08-13 17:53:26 -05:00
Jorge Aparicio
7111a4a0dd arm targets no longer have flaky tests 2016-08-13 17:46:12 -05:00
Jorge Aparicio
a2135c1a5c no need to explicitly call qemu-$ARCH 2016-08-13 17:45:43 -05:00
Jorge Aparicio
12933b8dca sort targets 2016-08-13 17:43:40 -05:00
Jorge Aparicio
480bbec3cd don't call docker inside docker 2016-08-13 17:36:00 -05:00
Jorge Aparicio
b4df203c46 use trusty 2016-08-13 17:32:08 -05:00
Jorge Aparicio
aa9a282c61 actually enter docker 2016-08-13 17:27:18 -05:00
Jorge Aparicio
c277cc67be fix bash syntax 2016-08-13 17:24:52 -05:00
Jorge Aparicio
0c2ef10160 CI: run all Linux targets inside docker 2016-08-13 17:22:12 -05:00
Jorge Aparicio
69376af183 quickcheck: better generation of input arguments
closes #31
2016-08-13 16:58:44 -05:00
Jorge Aparicio
b4e474f417 Merge pull request #35 from japaric/cortex
CI: test ARM Cortex targets
2016-08-13 13:16:13 -05:00
Jorge Aparicio
11cd95f25d install libssh2 2016-08-13 12:58:44 -05:00
Jorge Aparicio
2f9c64a577 change Xargo installation path 2016-08-13 12:55:09 -05:00
Jorge Aparicio
164b21991c binutils -> gcc 2016-08-13 12:47:59 -05:00
Jorge Aparicio
10ea089eb2 no rust-std for these targets 2016-08-13 12:45:37 -05:00
Jorge Aparicio
e7b10e53ac install binutils manually 2016-08-13 12:41:50 -05:00
Jorge Aparicio
c6fab21982 binutils -> gcc? 2016-08-13 12:27:56 -05:00
Jorge Aparicio
ba3bb2952f CI: test ARM Cortex targets
closes #32
2016-08-13 12:12:37 -05:00
Jorge Aparicio
ac9f96fb9c Merge pull request #34 from Amanieu/thumbv6m_asm
Fix inline assembly to work on ARMv6-M
2016-08-13 11:48:03 -05:00
Amanieu d'Antras
97217e3ad9 Fix inline assembly to work on ARMv6-M 2016-08-13 17:29:38 +01:00
Jorge Aparicio
7ac5155ba6 Merge pull request #30 from Amanieu/various
Various changes
2016-08-13 11:09:44 -05:00
Amanieu d'Antras
acceaa95f1 Various changes 2016-08-13 09:56:40 +01:00
Amanieu d'Antras
0a0a8f37c9 Remove the absv implementation, it isn't needed by Rust 2016-08-13 09:54:58 +01:00
Jorge Aparicio
d546f18756 README: cross out a few intrinsics for the TODO list 2016-08-11 02:12:01 -05:00
Jorge Aparicio
4ab44652e8 Merge pull request #25 from japaric/udivmoddi4
port udivmoddi4 and __aeabi_uldivmod
2016-08-11 02:08:27 -05:00
Jorge Aparicio
79e8fa8787 appveyor: inspect binaries 2016-08-11 01:52:48 -05:00
Jorge Aparicio
eb206842f2 address second row of review 2016-08-11 01:45:48 -05:00
Jorge Aparicio
1c22269948 don't transmute in test 2016-08-11 01:42:34 -05:00
Jorge Aparicio
3ff25d956a put div intrinsics in their own module + some docs 2016-08-11 01:26:27 -05:00
Jorge Aparicio
a84579d3c1 refactor: use Int traits, words -> U64, fmt 2016-08-11 01:15:51 -05:00
Jorge Aparicio
d6be95a3bb note about calling convention 2016-08-11 00:36:19 -05:00
Jorge Aparicio
a2fc4da7a5 move return into if branches 2016-08-11 00:33:27 -05:00
Jorge Aparicio
0915e15c9a *mut T -> Option<&mut T> 2016-08-11 00:31:49 -05:00
Jorge Aparicio
cc9d3e8e5f port __udivmodsi4, aeabi_uidivmod and udivsi3
also rewrite these last two new aeabi intrinsics as naked functions
2016-08-11 00:26:16 -05:00
Jorge Aparicio
39ede7ee27 and libc6-dev 2016-08-11 00:26:16 -05:00
Jorge Aparicio
732f1e20af some targets need gcc to be installed 2016-08-11 00:26:16 -05:00
Jorge Aparicio
950564607d port udivmoddi4 and __aeabi_uldivmod 2016-08-11 00:26:12 -05:00
Jorge Aparicio
c4142ed777 Merge pull request #26 from Amanieu/int_trait
Add traits for integer operations
2016-08-10 23:47:21 -05:00
Amanieu d'Antras
8a94b69d85 Add traits for integer operations 2016-08-11 05:38:11 +01:00
Jorge Aparicio
1c9c2b4452 Merge pull request #24 from japaric/ppc64
ppc64: test on 32-bit QEMU
2016-08-10 13:20:30 -05:00
Jorge Aparicio
c6f0124540 ppc64: test on 32-bit QEMU 2016-08-10 13:01:22 -05:00