Pantazis Deligiannis
|
8e1e77a2ba
|
support for actor delay fuzzing (#274)
|
2022-01-19 19:29:43 -08:00 |
|
Pantazis Deligiannis
|
c2e0250fd7
|
increased version to 1.4.2 (#269)
|
2022-01-11 16:44:49 -08:00 |
|
Pantazis Deligiannis
|
cafb67f1e4
|
report num of controlled operations (#268)
|
2022-01-06 16:50:07 -08:00 |
|
Pantazis Deligiannis
|
fb75868f7a
|
simplify synchronization block logic (#265)
|
2022-01-05 14:46:43 -08:00 |
|
Pantazis Deligiannis
|
9d4b46cce5
|
optimizations and hardening in binary rewriting (#260)
|
2021-12-08 19:50:10 -08:00 |
|
Pantazis Deligiannis
|
8d0fe88d11
|
improved runtime framework targeting (#259)
|
2021-12-01 16:42:22 -08:00 |
|
Pantazis Deligiannis
|
e720e3a5ed
|
improved the logic for partial concurrency control (#258)
|
2021-11-30 17:31:03 -08:00 |
|
Pantazis Deligiannis
|
f53f630681
|
upgrade to dotnet 6 (#255)
|
2021-11-18 10:33:42 -08:00 |
|
Pantazis Deligiannis
|
4db051b4a4
|
fixes in cross-assembly rewriting (#248)
|
2021-11-17 19:16:30 -08:00 |
|
Pantazis Deligiannis
|
d73a4816c1
|
refactoring in rewriting and some other optimizations (#252)
|
2021-11-17 15:38:10 -08:00 |
|
Pantazis Deligiannis
|
2b7d907c5c
|
assembly analysis pass that diffs IL contents for debugging (#249)
|
2021-10-31 23:34:42 -07:00 |
|
Pantazis Deligiannis
|
c66cf0b265
|
improvements in binary rewriting (#244)
|
2021-10-28 06:48:02 -07:00 |
|
Pantazis Deligiannis
|
7ddc0d4a60
|
automatic fallback to concurrency fuzzing (#241)
|
2021-10-19 16:27:46 -07:00 |
|
Pantazis Deligiannis
|
e9600d5b3c
|
allowing reuse of halted actor ids (#229)
|
2021-10-15 09:19:41 -07:00 |
|
Pantazis Deligiannis
|
3d6ec43059
|
simpler and more scalable testing runtime (#223)
|
2021-10-08 20:02:24 -07:00 |
|
Pantazis Deligiannis
|
1f5d441022
|
added suppress and resume APIs for scheduling points (#217)
|
2021-08-01 08:34:32 -07:00 |
|
Pantazis Deligiannis
|
9ca3c41725
|
option for disabling rewriting concurrent collections (#216)
|
2021-07-31 13:55:12 -07:00 |
Chris Lovett
|
b3c80c0362
|
fixed memory leak in the testing runtime (#213)
|
2021-07-30 11:52:09 -07:00 |
Shrey Tiwari
|
ec007cc2db
|
adding support for rewriting generic hashsets (#211)
|
2021-07-23 09:48:40 -07:00 |
|
Shrey Tiwari
|
5b1376e1de
|
adding support for rewriting concurrent bags (#209)
|
2021-07-23 09:36:36 -07:00 |
|
Shrey Tiwari
|
4100fc8523
|
adding support for rewriting concurrent stacks (#208)
|
2021-07-19 21:12:33 -07:00 |
|
Shrey Tiwari
|
e6abd58b83
|
adding support for rewriting concurrent queues (#206)
|
2021-07-16 10:17:18 -07:00 |
|
Shrey Tiwari
|
d19c1e009a
|
adding support for rewriting concurrent dictionaries (#202)
|
2021-07-12 10:15:58 -07:00 |
|
Pantazis Deligiannis
|
519867d028
|
more deprecated custom task type removal (#199)
|
2021-07-07 14:32:08 -07:00 |
|
Pantazis Deligiannis
|
9f5b98d21d
|
partially remove deprecated custom task types (#197)
|
2021-07-07 09:26:18 -07:00 |
|
Chris Lovett
|
f432bf1190
|
add ilverify to .NET 5.0 tests (#186)
|
2021-07-06 21:19:51 -07:00 |
|
Chris Lovett
|
6c58b392c0
|
calculate AssemblyNameScope and provide this information to the passes (#196)
* calculate AssemblyNameScope and provide this information to the AssemblyRewriter passes.
* fix flakey test
* fix flakey test
|
2021-07-06 14:13:04 -07:00 |
|
Pantazis Deligiannis
|
24beac4ee8
|
fixed bug with formatting unhandled exceptions (#187)
|
2021-06-11 12:28:39 -07:00 |
|
Pantazis Deligiannis
|
9e022348fa
|
fixed rewriting bug with task awaiter (#181)
|
2021-06-03 21:33:36 -07:00 |
|
Pantazis Deligiannis
|
a433e3b56c
|
support for net462 target (#161)
|
2021-04-21 19:29:25 -07:00 |
Udit kumar agarwal
|
5714292bdf
|
add data race detection rewriting pass for Dictionary and List (#158)
|
2021-04-20 20:16:49 -07:00 |
|
Pantazis Deligiannis
|
0195d30cb5
|
new event handler terminated log (#156)
|
2021-04-13 14:52:52 -07:00 |
|
Pantazis Deligiannis
|
614fd55de9
|
added missing log call in actors (#155)
|
2021-04-13 12:19:54 -07:00 |
|
Pantazis Deligiannis
|
765df78b6f
|
systematic testing strategy using reinforcement learning (#154)
|
2021-04-13 07:23:56 -07:00 |
|
Chris Lovett
|
49109fd02c
|
fix cookie banner (#150)
|
2021-04-03 08:16:57 -07:00 |
|
Pantazis Deligiannis
|
cdfcc8b24d
|
edits to the ETags mocking tutorial (#148)
|
2021-03-31 13:02:32 -07:00 |
|
Pantazis Deligiannis
|
4bda7af4cd
|
experimental concurrency fuzzing test mode (#142)
|
2021-03-31 10:58:40 -07:00 |
|
Pantazis Deligiannis
|
8cdc01d099
|
expose API for adding scheduling points (#141)
|
2021-03-23 18:22:28 -07:00 |
|
Pantazis Deligiannis
|
944ea06827
|
tightly integrating scheduler in the runtime (#140)
|
2021-03-23 14:58:30 -07:00 |
|
Pantazis Deligiannis
|
10d37ddef3
|
internal reorg towards introducing partial controlled testing (#133)
|
2021-03-10 22:59:16 -08:00 |
|
Pantazis Deligiannis
|
2fadb57e11
|
improve how tester resolves ambiguous test names (#126)
|
2021-03-03 07:57:23 -08:00 |
|
Pantazis Deligiannis
|
372d2bf61d
|
increased version to 1.2.2 (#97)
|
2020-11-17 14:06:30 -08:00 |
|
Pantazis Deligiannis
|
90c06bf04a
|
improvements in task liveness monitoring (#98)
|
2020-11-17 13:25:43 -08:00 |
|
Pantazis Deligiannis
|
6f9a35cc47
|
new task liveness monitor API (#96)
|
2020-11-12 08:42:16 -08:00 |
|
Pantazis Deligiannis
|
a407b9e765
|
added support for net5.0 (#94)
|
2020-11-11 12:43:01 -08:00 |
|
Pantazis Deligiannis
|
84fe08a990
|
disable MemoryDiagnoser in perf benchmarks (#91)
|
2020-10-30 15:58:38 -07:00 |
|
Pantazis Deligiannis
|
fe2343c5b1
|
update perf tests from previous refactoring (#90)
|
2020-10-30 15:28:41 -07:00 |
|
Pantazis Deligiannis
|
3b761d1f37
|
callback for deferred and ignored events (#88)
|
2020-10-27 12:44:41 -07:00 |
|
Pantazis Deligiannis
|
1a2815187e
|
updates to systematic testing perf benchmarks (#84)
|
2020-10-26 11:51:06 -07:00 |
|
Pantazis Deligiannis
|
4bd772227b
|
new performance tests (#83)
|
2020-10-26 10:20:07 -07:00 |