Releases: ASSERT-KTH/tawasco
Releases · ASSERT-KTH/tawasco
Fully wrapping execution
Adding benching to the toolset
1.5.0 Compiling bench
Tools collection
1.4.7 Handling
Tools collection (_start oracle)
1.4.5 Merge branch 'main' of github.com:Jacarte/TAWasm
Tools collection (improved tracer)
- Improving tracing
Tools collection
1.4.3 Caching mc
Tools collection
- Pausable clock to measure mutation time
Tools collection
- Accurate time collection
Tools collection
1.4.0 Adding time log if oracle
Tools collection
- Knobs for better filtering of traces