Javier Cabrera

Results 66 comments of Javier Cabrera

Hi all and happy new year ! I have a doubt on the `ItemRemoveMutator` and I did not find a better way to write it down :(. Is there a...

Nice ! It would be interesting to see what it can find here https://github.com/sola-st/WasmBench The dataset is here, https://github.com/sola-st/WasmBench/releases/download/v1.0/filtered-binaries-metadata.7z, ~8000 real Wasm binaries collected in the wild.

Also, this might be helpful, https://github.com/bytecodealliance/wasm-tools/tree/main/crates/wasm-smith You can artificially generate some valid Wasm inputs and test the new feature.

Thanks @Stebalien. Iterating over now :)

Thanks a lot for the feedback. I made some changes and left a mark here in this comment. > Thanks for the proposal! This is almost exactly what we need....

Hi @tdurieux, we tested the [example](https://github.com/KTH/ci-hackathon/blob/master/resources/emulators/lights/src/examples/traviss.py) in a live session as you can see in the youtube video, this example uses Travis CI data. Besides, we made a stress test...

Super cool Thomas !! > On 21 Oct 2019, at 22:42, Thomas Durieux wrote: > > First version online: https://kth.github.io/ci-hackathon/solutions/tdurieux_poet_history/index.html > It is really simple for the moment. I am...

Hi @SimoneStefani, could your company host the emulator for [lights](https://github.com/KTH/ci-hackathon/tree/master/resources/emulators/lights)?

Hi, @SimoneStefani could deploy the new version of the emulator? Thanks !

A nice work on the topic https://github.com/gwsystems/aWsm :)