Akash Lal
|
53a9cbcda9
|
match assembly simple name before loading (#508)
|
2024-07-20 05:31:12 -07:00 |
Pantazis Deligiannis
|
5d80beaa11
|
dropping unsupported netcore 3.1 target and fixing JSON dependency (#507)
|
2024-07-16 02:01:13 -07:00 |
|
Pantazis Deligiannis
|
20a461738a
|
fix website footer spanning (#503)
|
2024-03-29 13:21:04 -07:00 |
|
Pantazis Deligiannis
|
2af3afc3e8
|
more fixes in the website footer (#502)
|
2024-03-29 13:09:46 -07:00 |
|
Pantazis Deligiannis
|
6e502ece66
|
edited the new privacy footer link to be a forward link (#501)
|
2024-03-29 11:45:24 -07:00 |
|
Pantazis Deligiannis
|
2560bfe621
|
added link for new website footer requirement (#500)
|
2024-03-28 22:56:49 -07:00 |
|
Pantazis Deligiannis
|
4d2f9dd4e0
|
increased version to 1.7.11 (#499)
|
2024-03-15 21:17:56 -07:00 |
|
Pantazis Deligiannis
|
4294bd4417
|
fix github pages deployment (#498)
|
2024-03-12 13:05:08 -07:00 |
Ao Li
|
8abdd30188
|
reschedule before AutoResetEvent.Reset (#496)
|
2024-03-05 09:59:56 -08:00 |
|
Pantazis Deligiannis
|
3a04e9e21c
|
update the project to net8.0 (#497)
|
2024-03-04 12:17:18 -08:00 |
|
Pantazis Deligiannis
|
51b3db9823
|
update readme (#494)
|
2024-02-01 09:51:10 -08:00 |
|
Pantazis Deligiannis
|
60f7ebc3af
|
updated readme (#493)
|
2023-12-06 12:04:50 -08:00 |
|
Pantazis Deligiannis
|
992a263220
|
increased version to 1.7.10 (#490)
|
2023-08-18 09:51:12 -07:00 |
|
Pantazis Deligiannis
|
9feb2ef3e8
|
fixed actor halting when calling raise event (#483)
|
2023-06-09 12:54:04 -07:00 |
|
Pantazis Deligiannis
|
5b6466737c
|
increased version to 1.7.9 (#482)
|
2023-06-05 18:39:55 -07:00 |
|
Pantazis Deligiannis
|
58c1d4f8ae
|
support for running xunit systematic tests from cli (#481)
|
2023-06-05 18:04:17 -07:00 |
|
Pantazis Deligiannis
|
1f800adcd1
|
attribute for skipping rewritting (#480)
|
2023-06-05 11:45:29 -07:00 |
|
Pantazis Deligiannis
|
026229f89d
|
fix actor coverage (#479)
|
2023-06-02 11:32:56 -07:00 |
Chris Lovett
|
0a3f758425
|
Fix link color contrast (#478)
fix link color contrast
|
2023-05-25 12:23:12 -07:00 |
|
Chris Lovett
|
c5085d0349
|
Fix accessibility issues (#477)
Fix gen-docs and run it.
|
2023-05-02 16:28:52 -07:00 |
GitWizard123
|
3bb00c445d
|
fixed typos in testing-aspnet-service.md (#475)
|
2023-05-01 10:56:04 -07:00 |
|
Pantazis Deligiannis
|
69d34ea001
|
increased version to 1.7.8 (#473)
|
2023-04-14 15:15:03 -07:00 |
|
Pantazis Deligiannis
|
ad0dacbfae
|
support optional fine-grained race-checking at memory accesses (#472)
|
2023-04-14 14:42:14 -07:00 |
|
Pantazis Deligiannis
|
a3594911b8
|
increased version to 1.7.7 (#471)
|
2023-04-10 10:27:30 -07:00 |
|
Pantazis Deligiannis
|
e2fd9a4ecf
|
support the spin wait api (#469)
|
2023-04-08 23:43:28 -07:00 |
|
Pantazis Deligiannis
|
ab87cb3132
|
increased version to 1.7.6 (#468)
|
2023-04-05 16:37:57 -07:00 |
|
Pantazis Deligiannis
|
d8e3931588
|
support for rewriting volatile methods (#467)
|
2023-04-05 16:06:38 -07:00 |
|
Pantazis Deligiannis
|
0b14782688
|
make coverage info thread safe during merging (#466)
|
2023-04-05 13:09:22 -07:00 |
|
Pantazis Deligiannis
|
4a01d2bb18
|
improvements to the actor test kit api (#465)
|
2023-04-05 09:10:33 -07:00 |
|
Pantazis Deligiannis
|
daf190a185
|
add citation.cff (#463)
|
2023-03-20 09:51:00 -07:00 |
|
Pantazis Deligiannis
|
e3152eeb11
|
updated version to 1.7.5 (#462)
|
2023-03-09 17:27:23 -08:00 |
|
Pantazis Deligiannis
|
e646369178
|
support for wait handles (#460)
|
2023-03-09 13:37:14 -08:00 |
|
Chris Lovett
|
99c319a58b
|
fix accessibility scan bug (#461)
* fix accessibility scan error: user-scalable on <meta> tag disables zooming on mobile devices
* update charts
* update charts
|
2023-03-08 19:06:36 -08:00 |
|
Pantazis Deligiannis
|
5c1d96eed8
|
fix bug in trace reporting (#459)
|
2023-02-27 12:41:25 -08:00 |
|
Pantazis Deligiannis
|
abe728a257
|
support for actor test kit (#458)
|
2023-02-27 09:47:57 -08:00 |
|
Pantazis Deligiannis
|
15f25f7417
|
support for controlled user threads (#457)
|
2023-02-23 16:16:10 -08:00 |
|
Pantazis Deligiannis
|
f447cc3afc
|
disable fuzzing fallback by default (#456)
|
2023-02-16 19:41:21 -08:00 |
|
Pantazis Deligiannis
|
6aa00b2ccb
|
updated version to 1.7.4 (#455)
|
2023-02-14 11:45:42 -08:00 |
|
Pantazis Deligiannis
|
261e0d3d23
|
some cleanup before release (#454)
|
2023-02-14 10:54:47 -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
|
380b05e4cf
|
fixed rewriting bug with returned uncontrolled task arrays (#451)
|
2023-01-26 15:58:58 -08:00 |
|
Pantazis Deligiannis
|
787ffb9827
|
update readme (#450)
|
2023-01-26 13:49:09 -08:00 |
|
Pantazis Deligiannis
|
e50bd3b46a
|
deterministic creation sequence id for operations (#448)
|
2023-01-26 13:41:25 -08:00 |
|
Chris Lovett
|
ac0e8d1025
|
fix setup instructions for jupyter notebook (#449)
|
2023-01-26 09:41:43 -08:00 |
|
Pantazis Deligiannis
|
7e45bcd264
|
nested partial order sampling strategy (#447)
|
2023-01-11 06:04:32 -08:00 |
|
Pantazis Deligiannis
|
b6d3a83c74
|
optimizations in lock modeling (#444)
|
2022-12-16 09:52:48 -08:00 |
|
Pantazis Deligiannis
|
96e8b8b493
|
updated dependency packages (#442)
|
2022-12-15 12:44:02 -08:00 |
|
Pantazis Deligiannis
|
4d063db84c
|
experimental scheduling wait and signal apis (#440)
|
2022-12-15 09:14:01 -08:00 |
|
Pantazis Deligiannis
|
f50059afd6
|
updated version to 1.7.3 (#441)
|
2022-12-14 12:41:25 -08:00 |