brson miri issues - Githubissues

brson / miri

An experimental compiler from Rust to WebAssembly (inactive - do not use)

Apache License 2.0

209 stars 15 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Not able to "cargo build" successfully

#64 AchalaSB opened 6 years ago
5
Updating to rust-nightly-2017-05-01

#63 eholk opened 7 years ago
0
Output incompatible with wabt (wasm2wast & wast2wasm)

#62 Fishrock123 closed 7 years ago
17
Enable calls to JS. Update some tests.

#61 eholk opened 7 years ago
0
Nightly 2017 03 03

#60 eholk closed 7 years ago
0
Consider using Xargo and -Zalways-encode-mir

#59 eholk opened 7 years ago
0
Update to Rust nightly 2017-02-27

#58 eholk closed 7 years ago
9
Migrate compile-pass tests to run-pass tests

#57 eholk opened 7 years ago
0
Enable parallel building of binaryen

#56 eholk opened 7 years ago
1
Run tests in V8 on Windows

#55 eholk opened 7 years ago
0
Updating binaryen, wasm-install and enabling V8 tests on Mac

#54 eholk closed 7 years ago
1
Update to latest nightly

#53 kazimuth closed 7 years ago
1
Add --trace flag to trace binaryen API calls.

#52 eholk closed 7 years ago
0
Run tests in V8 on Mac

#51 eholk closed 7 years ago
1
Beginnings of a Binaryen Builder API

#50 eholk closed 7 years ago
0
V8 can't run tests due to binary version mismatch

#49 eholk opened 7 years ago
10
Upgrade binaryen and fix some trans errors

#48 lqd closed 7 years ago
1
Add a test compile/run pass exercizing optimized generation

#47 lqd opened 7 years ago
4
Don't translate generic default trait methods.

#46 lqd closed 7 years ago
1
Fix nightly version

#45 lqd closed 7 years ago
1
update binaryen to latest master

#44 joshuawarner32 closed 7 years ago
1
Update nightly version everywhere

#43 badboy closed 7 years ago
1
Run and validate tests under V8

#42 eholk closed 7 years ago
2
Crash on Linux running `cargo test`

#41 eholk opened 7 years ago
3
internal compiler error: ../src/librustc/ty/subst.rs:457: Type parameter `Self/#0` (Self/0) out of range when substituting (root type=Some(&Self)) substs=[]

#40 eholk closed 7 years ago
9
Upgrade to nightly

#39 joshuawarner32 closed 7 years ago
24
Generate binaries that run on V8

#38 eholk closed 8 years ago
1
Use getopts for command line parsing

#37 eholk closed 8 years ago
1
First pass at asserts

#36 lqd closed 8 years ago
6
Does rustc need a wasm target?

#35 eholk opened 8 years ago
5
Make the now-interpreted enum test pass on x64

#34 lqd closed 8 years ago
2
WASM function imports

#33 lqd opened 8 years ago
7
Add a simple testcase that shows we can import modules from other files.

#32 eholk closed 8 years ago
2
Run tests in binaryen interpreter, check output (#15)

#31 eholk closed 8 years ago
2
Calling Convention

#30 eholk opened 8 years ago
1
Multiple source file support

#29 eholk closed 8 years ago
2
typo fix in README.

#28 steveklabnik closed 8 years ago
3
Review : More groundwork

#27 lqd closed 8 years ago
12
Switch back to WebAssembly/binaryen, and first Memory features

#26 lqd closed 8 years ago
1
Add `compile-pass` tests

#25 eholk closed 8 years ago
1
Make `cargo test` not fail.

#24 eholk closed 8 years ago
1
Handle the Module start function and Module exports with attributes

#23 lqd closed 8 years ago
7
MIR IR versus LLVM IR for WASM generation

#22 ghost closed 8 years ago
3
First pass at trait methods

#21 lqd closed 8 years ago
0
First pass at externs

#20 lqd closed 8 years ago
0
README: Add useful links

#19 brson closed 8 years ago
0
Switch to brson/binaryen

#18 brson closed 8 years ago
0
Possible next steps

#17 lqd opened 8 years ago
9
Update instructions with archived nightly

#16 brson closed 8 years ago
0
Testing

#15 kripken opened 8 years ago
19