feat: implement write syscall in engine (#20) #109
Conversation
mstarzinger
force-pushed
the
feat-syscall-write
branch
from
4abef6c to
27cb6fe
Compare
There was a problem hiding this comment.
@mstarzinger I have one little nit-picky change request for you. Can you look at your commit "types" (https://www.conventionalcommits.org/en/v1.0.0/) and use a more appropriate one, where possible. It's important for us, because we use a release mechanism, where we generate a changelog/increment version automatically based on commit messages. feat increases the minor version and fix the patch version. All the other types do not increase the version at all. So these types have to be chosen based on a monster library/binary user's perspective.
Btw. I messed up your PR with my latest change. As soon as you rebase your branch and update your messages, we can merge it.
mstarzinger
force-pushed
the
feat-syscall-write
branch
from
27cb6fe to
f3c9d69
Compare
mstarzinger
changed the title
|
@ChristianMoesl Good to know about the impact of the various commit "types" on the version number, I wasn't aware of that. Thanks for letting me know. As discussed offline I just squashed the entire PR into one single commit and rebased it. Should be ready to go now. |
|
@mstarzinger looks good, thanks! |
# [0.3.0](v0.2.0...v0.3.0) (2021-03-10) ### Bug Fixes * ordering for harmonic mean (less is always better) ([#114](#114)) ([8ae2be8](8ae2be8)) * **rarity:** use right amount of values for mean calculation ([#114](#114)) ([c365767](c365767)) * broken build due to wrong Selfie repo URL ([883821b](883821b)) * enforce unique input variable names for Z3/Boolector ([#111](#111)) ([a0ed9d4](a0ed9d4)) * swapped handling of --iterations and --selection ([#113](#113)) ([c05c743](c05c743)) * **rarity:** Add warning message to ignored partial read ([43e8297](43e8297)) * **rarity:** detect REMU with 0 remainder as bug ([8e989cb](8e989cb)) * **rarity:** Fix filtering before enumerating skewing scoring counter index ([6e99b15](6e99b15)) * **rarity:** Fix rarity scoring ([ba7d0ed](ba7d0ed)) * **rarity:** implemented score algorithm exactly as in the paper ([afe4e9d](afe4e9d)) * **rarity:** push the raw input values only ([d6448bb](d6448bb)) * **rarity:** update dependencies to be compatible with Selfie ([0e86d8d](0e86d8d)) * **rarity:** Use correct format string flag for Format trait ([13cd96c](13cd96c)) * **rarity:** Use f64 for rarity score instead of u64 ([bd363e1](bd363e1)) ### Features * add coin-flip execution path exploration strategy ([081ec28](081ec28)) * create api for rarity simulation ([10aded4](10aded4)) * implement write syscall in engine ([#20](#20)) ([#109](#109)) ([d2fffde](d2fffde)) * **rarity:** adapt engine file for rarity simulation ([aa39116](aa39116)) * **rarity:** add benchmarks as submodule ([d4cb2be](d4cb2be)) * **rarity:** Add bytewise state comparator ([ef72317](ef72317)) * **rarity:** Add CLI parser config for rarity simulation ([7b9e001](7b9e001)) * **rarity:** CLI option to switch between harmonic and arithmetic mean ([90c4174](90c4174)) * **rarity:** detect bugs during concrete execution ([01ace2a](01ace2a)) * **rarity:** Implement copy-create ratio for newly created states ([00e3f10](00e3f10)) * **rarity:** implement search algorithm (breadth-first) ([09e5d64](09e5d64)) * **rarity:** Use harmonic mean as metric ([f30f41e](f30f41e))
|
🎉 This PR is included in version 0.3.0 🎉 The release is available on: Your semantic-release bot 📦🚀 |
No description provided.