Pantazis Deligiannis
|
5d80beaa11
|
dropping unsupported netcore 3.1 target and fixing JSON dependency (#507)
|
2024-07-16 02:01:13 -07:00 |
|
Pantazis Deligiannis
|
3a04e9e21c
|
update the project to net8.0 (#497)
|
2024-03-04 12:17:18 -08:00 |
|
Pantazis Deligiannis
|
ad0dacbfae
|
support optional fine-grained race-checking at memory accesses (#472)
|
2023-04-14 14:42:14 -07:00 |
|
Pantazis Deligiannis
|
d8e3931588
|
support for rewriting volatile methods (#467)
|
2023-04-05 16:06:38 -07:00 |
|
Pantazis Deligiannis
|
e646369178
|
support for wait handles (#460)
|
2023-03-09 13:37:14 -08:00 |
|
Pantazis Deligiannis
|
f447cc3afc
|
disable fuzzing fallback by default (#456)
|
2023-02-16 19:41:21 -08:00 |
|
Pantazis Deligiannis
|
463c8f01cc
|
coverage visualization (#453)
|
2023-02-07 09:51:19 -08:00 |
|
Pantazis Deligiannis
|
82f04738be
|
visualization for task-based programs (#452)
|
2023-02-06 13:04:34 -08:00 |
|
Pantazis Deligiannis
|
7e45bcd264
|
nested partial order sampling strategy (#447)
|
2023-01-11 06:04:32 -08:00 |
|
Pantazis Deligiannis
|
96e8b8b493
|
updated dependency packages (#442)
|
2022-12-15 12:44:02 -08:00 |
|
Pantazis Deligiannis
|
0f700c0c87
|
update the project to net7.0 (#439)
|
2022-12-14 12:06:45 -08:00 |
|
Pantazis Deligiannis
|
6ea5ba98bc
|
fix missing net462 dependency in nuget package (#437)
|
2022-12-02 12:06:08 -08:00 |
|
Pantazis Deligiannis
|
bf3a273899
|
compute and report custom visited states (#436)
|
2022-12-02 10:26:45 -08:00 |
|
Pantazis Deligiannis
|
8cc8829122
|
coverage for scheduling decisions (#435)
|
2022-11-29 15:19:07 -08:00 |
|
Pantazis Deligiannis
|
daf6da385c
|
option to treat data nondeterminism with warnings (#434)
|
2022-11-28 14:20:50 -08:00 |
|
Pantazis Deligiannis
|
6dcd760645
|
treat datetime as uncontrolled type (#432)
|
2022-11-18 12:17:34 -08:00 |
|
Pantazis Deligiannis
|
f4ecc4c016
|
fully controlled semaphore slim (#431)
|
2022-11-18 09:13:43 -08:00 |
|
Pantazis Deligiannis
|
dab070a785
|
added the delay-bounding strategy (#420)
|
2022-11-01 15:42:57 -07:00 |
|
Pantazis Deligiannis
|
f83b21afcd
|
fix empty symbol meta package (#414)
|
2022-10-31 12:41:50 -07:00 |
|
Pantazis Deligiannis
|
1d6fe3f2b3
|
added the portfolio exploration mode (#410)
|
2022-10-27 19:48:15 -07:00 |
|
Pantazis Deligiannis
|
447b016958
|
improvements in nuget packaging (#409)
|
2022-10-26 14:46:35 -07:00 |
|
Pantazis Deligiannis
|
fbf70be8a6
|
moved actors to dedicated nuget package (#406)
|
2022-10-25 13:23:40 -07:00 |
|
Pantazis Deligiannis
|
979534d1ba
|
removing support for end-of-life net5.0 target (#402)
|
2022-10-17 16:25:20 -07:00 |
|
Pantazis Deligiannis
|
1c05bbd8bb
|
streamline logging API (#377)
|
2022-10-17 10:42:14 -07:00 |
|
Pantazis Deligiannis
|
bfebb7e8eb
|
improved replay trace and new prefix snapshot api (#373)
|
2022-09-18 12:44:16 -07:00 |
|
Pantazis Deligiannis
|
bc76d6b205
|
support for asynchronous locks and semaphores (#372)
|
2022-09-13 13:05:31 -07:00 |
dependabot[bot]
|
8fd9d8c505
|
upgrade Newtonsoft.Json to 13.0.1 (#351)
|
2022-06-22 17:09:24 -07:00 |
Chris Lovett
|
4a0788f62c
|
Fix benchmark tests (.net 3.1 no longer supported by the tests). (#346)
|
2022-06-15 08:25:03 -07:00 |
|
Pantazis Deligiannis
|
662c7e92c3
|
significantly faster runtime synchronization logic (#330)
|
2022-04-25 20:44:59 -07:00 |
|
Pantazis Deligiannis
|
af12d5a059
|
fixed deadlock in partially controlled concurrency runtime logic (#325)
|
2022-04-01 17:06:12 -07:00 |
|
Pantazis Deligiannis
|
80c73b816c
|
improved assembly loading (#324)
|
2022-03-30 12:28:19 -07:00 |
|
Pantazis Deligiannis
|
da6b68ee97
|
updates to the CLI experience (#321)
|
2022-03-25 18:07:13 -07:00 |
|
Pantazis Deligiannis
|
d0ed8cbf5a
|
rewriting fixes and updates to aspnet sample (#314)
|
2022-03-22 15:40:57 -07:00 |
|
Pantazis Deligiannis
|
b980dbb826
|
support for detecting uncontrolled deadlocks (#313)
|
2022-03-18 10:14:59 -07:00 |
|
Pantazis Deligiannis
|
608eaa1edf
|
allow partially controlled concurrency by default (#253)
|
2022-03-17 10:35:20 -07:00 |
|
Pantazis Deligiannis
|
544755c5fe
|
support for schedule space reduction (#302)
|
2022-03-16 12:01:41 -07:00 |
|
Pantazis Deligiannis
|
d50cab71a5
|
introducing rewriting for aspnet (#300)
|
2022-03-14 16:48:03 -07:00 |
|
Pantazis Deligiannis
|
21bee49627
|
updates related to http client rewriting (#299)
|
2022-03-14 11:19:20 -07:00 |
|
Pantazis Deligiannis
|
844f86ee23
|
option for skipping potential deadlocks (#298)
|
2022-03-11 10:27:19 -08:00 |
|
Pantazis Deligiannis
|
2750eb1135
|
code reuse in strategies (#296)
|
2022-03-09 19:05:39 -08:00 |
|
Pantazis Deligiannis
|
441138f978
|
support for netstandard2.0 (#286)
|
2022-02-07 16:21:43 -08:00 |
|
Pantazis Deligiannis
|
25474de25a
|
rewrite several http messaging types (#283)
|
2022-02-03 10:23:44 -08:00 |
|
Pantazis Deligiannis
|
c5d6f19195
|
improve partial control concurrency testing (#279)
|
2022-02-01 15:01:14 -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
|
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 |