Pantazis Deligiannis 5d80beaa11 dropping unsupported netcore 3.1 target and fixing JSON dependency (#507)		2024-07-16 02:01:13 -07:00
..
ConcurrencyFuzzing	support the spin wait api (#469)	2023-04-08 23:43:28 -07:00
ConcurrentCollections	dropping unsupported netcore 3.1 target and fixing JSON dependency (#507)	2024-07-16 02:01:13 -07:00
DataRaceChecking	support optional fine-grained race-checking at memory accesses (#472)	2023-04-14 14:42:14 -07:00
PartialControl	attribute for skipping rewritting (#480)	2023-06-05 11:45:29 -07:00
Specifications	moved actors to dedicated nuget package (#406)	2022-10-25 13:23:40 -07:00
Synchronization	reschedule before AutoResetEvent.Reset (#496)	2024-03-05 09:59:56 -08:00
Tasks	optimizations in lock modeling (#444)	2022-12-16 09:52:48 -08:00
Threads	support for controlled user threads (#457)	2023-02-23 16:16:10 -08:00
BaseBugFindingTest.cs	allow partially controlled concurrency by default (#253)	2022-03-17 10:35:20 -07:00
Tests.BugFinding.csproj	dropping unsupported netcore 3.1 target and fixing JSON dependency (#507)	2024-07-16 02:01:13 -07:00
xunit.runner.json	experimental concurrency fuzzing test mode (#142)	2021-03-31 10:58:40 -07:00