8adc1e2624
debug msg ++
2024-09-02 15:53:59 +02:00
06b523fb9f
fix release-resposne matching bug
2024-08-30 14:02:21 +02:00
a613a803ca
detect job releases during race-conditions
2024-08-29 11:24:32 +02:00
2c00f82d39
fix task releases with nested interrupts
2024-08-28 14:16:03 +02:00
461731cc5a
fix: fallback to 0 response-time if target job did not finish
2024-08-27 13:15:38 +02:00
0b4e9bdab7
add time helper function
2024-08-26 15:50:59 +02:00
11028d7aae
change interrupt randomization rule
2024-08-26 15:46:11 +02:00
ae6b3c0650
maybe fix interrupt bytes not changing
2024-08-26 15:45:32 +02:00
8e885f6e85
fix some helper-scripts
2024-08-26 15:20:48 +02:00
9d83ddbd69
low prio warnings--
2024-08-26 15:18:46 +02:00
c785e0db86
fix jobs with response==release
2024-08-26 15:18:46 +02:00
f14d486ccf
skip mutation of 0 size inputs
2024-08-26 15:10:12 +02:00
a18a5f9bcf
fix everything interesting
2024-08-26 15:10:12 +02:00
bd7ddaffbd
fix releases
2024-08-20 12:20:55 +02:00
6995cd053b
fix snakefile
2024-08-19 16:28:11 +02:00
e9fb73e65b
WIP: per-task response times
2024-08-19 16:08:45 +02:00
bf7ad374a0
stupid bug fix
...
stupid bug fix
2024-08-19 10:22:31 +02:00
de9c0a6d1e
WIP: input snippet mutation
2024-08-16 09:58:21 +02:00
3b6cd3bc45
fix bug causing skipped mutation when part size is 0
2024-08-15 09:38:52 +02:00
72f9de45d0
fix cargo.toml
2024-08-14 09:41:02 +02:00
46aa6cec0f
reads behind config flag
2024-08-14 09:10:30 +02:00
b9f0151e87
repeat interrupt mutations
2024-08-14 08:55:23 +02:00
712ac137d7
logging and reporting
2024-08-14 08:50:34 +02:00
920a996d95
multipart seed reading
2024-08-14 08:42:33 +02:00
3db17ceb98
WIP: store memory reads
2024-08-12 15:31:56 +02:00
05c17d3159
report state space exporation
2024-08-12 12:07:31 +02:00
f8d9363e7e
update snakefile
2024-08-04 09:46:39 +02:00
ade004cffb
update targets
2024-08-04 09:40:53 +02:00
0e5bf879e4
fix try_force_new_branches
2024-07-04 12:49:09 +02:00
d569df29a3
build fixes
2024-07-02 09:34:56 +02:00
47724ad1c3
stg try_force_new_branches
2024-07-02 09:34:35 +02:00
810ec36115
refactor
2024-07-01 13:28:38 +02:00
77799f77a9
move cli parsing, use multibyteinput
2024-06-28 14:38:25 +02:00
acf9b04e70
remove unused code
2024-06-20 13:25:21 +02:00
6cb2be4408
add TimeProbMassScheduler
2024-06-20 10:15:01 +02:00
3a7c0da037
fast snapshots by default
2024-06-19 14:22:12 +02:00
5fad373199
update to 0.13.0 API
2024-06-19 13:30:36 +02:00
df7333b764
WIP: merge
2024-06-17 14:17:06 +02:00
a7becb403e
update helper scripts
2024-06-17 10:31:48 +02:00
Valentin Huber
5a2652b984
Adding StdXObserver Docs ( #2311 )
...
* Adding StdXObserver Docs
* fixing docs
* code cleanup
* moving example
* improving exclusion rules
* adding impls for features
* adding test exclusions
* excluding miri from OS including tests
* fixing CI
---------
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
2024-06-14 19:41:21 +02:00
Dongjia "toka" Zhang
c3930b39fc
Fix CI ( #2312 )
2024-06-14 14:16:31 +02:00
b86ac4cac6
fix build
2024-06-14 14:06:21 +02:00
5e29f4b909
always dump error case during fuzzing
2024-06-14 14:00:09 +02:00
1146c2c1e5
two-way isr edges, graceful parsing error handling
2024-06-14 13:56:36 +02:00
lazymio
18a25d3b3d
Fix debug assert on map_state.num_covered_map_indexes ( #2310 )
2024-06-14 13:29:38 +02:00
Dongjia "toka" Zhang
c415b4d5f6
0.13.0 ( #2253 )
...
* 0.13
* z3
* capstone
* fixer
---------
Co-authored-by: Dominik Maier <domenukk@gmail.com>
2024-06-13 23:35:35 +02:00
clesmian
2265d672fc
Allow trailing comma in feedback macros ( #2308 )
...
Co-authored-by: Leon Weiß <leon.weiss@rub.de>
2024-06-13 23:35:20 +02:00
Dongjia "toka" Zhang
e12412fed6
Fix Stdout/err Observer? ( #2301 )
2024-06-13 13:33:36 +02:00
Aarnav
901572556f
Add support for cycling PowerSchedule on completion of a queue cycle in WeightedScheduler ( #2300 )
...
* add support for cycling PowerSchedule on completion of a queue cycle in WeightedScheduler
* improve doc
* make fn cycle_schedule private
* rename cycle_schedules to cycling_scheduler
2024-06-13 10:25:25 +01:00
Andrea Fioraldi
09faec15f4
Add libdesyscall ( #1221 )
...
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
2024-06-12 11:28:31 +02:00
