notDhruv
|
96c414d48b
|
original deactivation pct
|
2022-02-15 02:58:44 +00:00 |
|
notDhruv
|
e4cbf2402e
|
.
|
2022-02-15 02:45:01 +00:00 |
Pantazis Deligiannis
|
84b97c854e
|
progress
|
2022-02-02 10:05:43 -08:00 |
|
notDhruv
|
205806011f
|
.
|
2022-02-02 17:18:42 +00:00 |
|
notDhruv
|
355b79f654
|
.
|
2022-02-02 16:58:00 +00:00 |
|
notDhruv
|
212d1aa292
|
New PCT fuzzing framework
|
2022-01-27 16:38:46 +00:00 |
|
notDhruv
|
47e908af90
|
New PCT fuzzing framework
|
2022-01-27 14:59:14 +00:00 |
|
notDhruv
|
192af2b0fe
|
New PCT fuzzing framework added
|
2022-01-27 14:42:26 +00:00 |
|
notDhruv
|
4a7267b025
|
new fuzzing framework without parameterized bound on delayed operations
|
2022-01-26 16:11:57 +00:00 |
|
Pantazis Deligiannis
|
b213da4867
|
progress
|
2022-01-19 22:05:25 -08:00 |
|
Pantazis Deligiannis
|
639a26ca71
|
initial ql fuzzing
|
2022-01-19 19:31:38 -08:00 |
|
Pantazis Deligiannis
|
8e1e77a2ba
|
support for actor delay fuzzing (#274)
|
2022-01-19 19:29:43 -08:00 |
|
Pantazis Deligiannis
|
9f87ccfa89
|
lock monitor invocations during fuzzing (#273)
|
2022-01-19 16:02:57 -08:00 |
|
Pantazis Deligiannis
|
f3d225c56c
|
finish early in fuzzing upon detach (#272)
|
2022-01-19 15:42:33 -08:00 |
|
Pantazis Deligiannis
|
306803a593
|
wait for actor quiescence during fuzzing (#271)
|
2022-01-19 13:57:41 -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
|
dbc14607e6
|
cleanup in monitor code (#267)
|
2022-01-05 17:49:55 -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
|
3f587093ae
|
simplification in method rewriting logic (#257)
|
2021-11-18 13:59:02 -08:00 |
|
Pantazis Deligiannis
|
58ed8c5d65
|
readme file in the NuGet package (#221)
|
2021-11-18 11:10:26 -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
|
403f384842
|
option for dumping IL contents to a json file (#247)
|
2021-10-28 16:09:16 -07:00 |
|
Pantazis Deligiannis
|
c66cf0b265
|
improvements in binary rewriting (#244)
|
2021-10-28 06:48:02 -07:00 |
|
Pantazis Deligiannis
|
09900e11f8
|
give warning when the test dll is not rewritten (#243)
|
2021-10-20 15:41:06 -07:00 |
|
Pantazis Deligiannis
|
ad8a6d839f
|
increased version to 1.4.1 (#242)
|
2021-10-19 17:14:14 -07:00 |
|
Pantazis Deligiannis
|
7ddc0d4a60
|
automatic fallback to concurrency fuzzing (#241)
|
2021-10-19 16:27:46 -07:00 |
|
Pantazis Deligiannis
|
5f6c4dab43
|
increased version to 1.4.0 (#237)
|
2021-10-15 10:23:26 -07:00 |
|
Pantazis Deligiannis
|
32ba43287e
|
updates to ci (#236)
|
2021-10-15 09:52:31 -07:00 |
|
Pantazis Deligiannis
|
e9600d5b3c
|
allowing reuse of halted actor ids (#229)
|
2021-10-15 09:19:41 -07:00 |
|
Pantazis Deligiannis
|
497310013a
|
use AnyCPU platform during build (#228)
|
2021-10-13 15:15:18 -07:00 |
|
Pantazis Deligiannis
|
3d6ec43059
|
simpler and more scalable testing runtime (#223)
|
2021-10-08 20:02:24 -07:00 |
|
Pantazis Deligiannis
|
bc4048039d
|
testing samples in ci (#226)
|
2021-10-08 14:32:38 -07:00 |
Chris Lovett
|
0c50640abc
|
update perf graphs. (#225)
|
2021-09-16 12:17:41 -07:00 |
|
Pantazis Deligiannis
|
62edcd3580
|
allowing the coyote tool to resolve aspnet (#224)
|
2021-09-14 16:42:29 -07:00 |
|
Chris Lovett
|
2d36ffa2e0
|
add clarity consent. (#222)
|
2021-08-19 12:32:58 -07:00 |
|
Chris Lovett
|
0f0851154f
|
add CodeQL in CI (#220)
|
2021-08-10 12:14:20 -07:00 |
|
Chris Lovett
|
484d79aff2
|
add https://www.clarity.ms (#218)
|
2021-08-02 15:20:05 -07:00 |
|
Pantazis Deligiannis
|
7c0cba27db
|
increased version to 1.3.1 (#214)
|
2021-08-01 08:35:20 -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 |
|
Pantazis Deligiannis
|
b2b5cfcb2b
|
revert nulling async local (#215)
|
2021-07-30 16:16:45 -07:00 |
|
Chris Lovett
|
b3c80c0362
|
fixed memory leak in the testing runtime (#213)
|
2021-07-30 11:52:09 -07:00 |
|
Chris Lovett
|
ad420ff462
|
fix bug in build.ps1 (#212)
|
2021-07-29 15:30:35 -07:00 |