Pantazis Deligiannis
|
b68d96aec2
|
edit
|
2023-01-30 22:24:17 -08:00 |
|
Pantazis Deligiannis
|
7879259a30
|
rewriting pass to extract call sites
|
2023-01-30 22:23:49 -08:00 |
|
Pantazis Deligiannis
|
edc67de1b1
|
passing coverage info to reducers
|
2023-01-30 11:26:41 -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 |
|
Pantazis Deligiannis
|
0f700c0c87
|
update the project to net7.0 (#439)
|
2022-12-14 12:06:45 -08:00 |
|
Pantazis Deligiannis
|
ccfd2bddab
|
increased version to 1.7.2 (#438)
|
2022-12-02 13:40:49 -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
|
23c685989b
|
add scheduling point type to repro trace (#430)
|
2022-11-16 18:40:34 -08:00 |
|
Pantazis Deligiannis
|
4d761a6747
|
increased version to 1.7.1 (#429)
|
2022-11-14 17:08:16 -08:00 |
|
Pantazis Deligiannis
|
64850f47aa
|
operation grouping (#428)
|
2022-11-14 16:37:56 -08:00 |
|
Pantazis Deligiannis
|
97497afc82
|
fix a few internal uncontrolled tasks (#427)
|
2022-11-10 15:20:32 -08:00 |
|
Pantazis Deligiannis
|
1ff38f7669
|
make suppress ref counted (#426)
|
2022-11-09 17:30:25 -08:00 |
|
Pantazis Deligiannis
|
fb856b844a
|
fixed runtime memory leak (#424)
|
2022-11-09 14:37:54 -08:00 |
|
Pantazis Deligiannis
|
0d5747a605
|
remove potential stack overflow when popping state machines (#425)
|
2022-11-08 15:03:41 -08:00 |
|
Pantazis Deligiannis
|
2a71c2c631
|
rewriting interlocked instructions (#422)
|
2022-11-02 19:31:37 -07:00 |
|
Pantazis Deligiannis
|
dab070a785
|
added the delay-bounding strategy (#420)
|
2022-11-01 15:42:57 -07:00 |
|
Pantazis Deligiannis
|
6d213e2255
|
thread yield rewriting (#418)
|
2022-11-01 12:30:20 -07:00 |
|
Pantazis Deligiannis
|
efa93e2a44
|
potential deadlocks do not fail with debugger attached (#417)
|
2022-11-01 10:11:34 -07:00 |
|
Pantazis Deligiannis
|
cd67b06486
|
fix resolution for default assembly names (#416)
|
2022-10-31 17:08:50 -07:00 |
|
Pantazis Deligiannis
|
879131ab17
|
restore nuget build script after fix (#415)
|
2022-10-31 13:08:00 -07:00 |
|
Pantazis Deligiannis
|
f83b21afcd
|
fix empty symbol meta package (#414)
|
2022-10-31 12:41:50 -07:00 |
|
Pantazis Deligiannis
|
0f97ffa030
|
fix copyright in package (#413)
|
2022-10-31 11:06:06 -07:00 |
|
Pantazis Deligiannis
|
063ceca48e
|
fix package author attribute (#412)
|
2022-10-31 10:27:51 -07:00 |
|
Pantazis Deligiannis
|
5042738002
|
increased version to 1.7.0 (#411)
|
2022-10-31 09:48:05 -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
|
266bd9695b
|
update dotnet sdk (#405)
|
2022-10-20 10:05:06 -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
|
4755418ae5
|
updates in docs on rewriting (#384)
|
2022-10-10 09:21:12 -07:00 |
|
Pantazis Deligiannis
|
611e4ba1f0
|
increased version to 1.6.2 (#382)
|
2022-10-05 19:56:55 -07:00 |
|
Pantazis Deligiannis
|
d4659000cf
|
more actor runtime APIs (#381)
|
2022-10-05 19:25:22 -07:00 |
|
Pantazis Deligiannis
|
4f53704acd
|
increased version to 1.6.1 (#379)
|
2022-10-04 19:53:08 -07:00 |
|
Pantazis Deligiannis
|
a16db1c11c
|
new actor runtime APIs (#378)
|
2022-10-04 18:58:11 -07:00 |
|
Pantazis Deligiannis
|
31678b110f
|
capture test result artifacts (#376)
|
2022-09-19 13:46:09 -07:00 |
|
Pantazis Deligiannis
|
dbe0fe8e96
|
increased version to 1.6.0 (#374)
|
2022-09-19 09:49:53 -07:00 |