3b761d1f37
callback for deferred and ignored events ( #88 )
2020-10-27 12:44:41 -07:00
717f9ba272
increased version to 1.2.0 ( #87 )
2020-10-26 17:48:58 -07:00
24826dda08
update doc on mixing tasks and actors ( #86 )
2020-10-26 17:39:51 -07:00
b5edcf0855
fix in build scripts ( #85 )
2020-10-26 14:53:20 -07:00
1a2815187e
updates to systematic testing perf benchmarks ( #84 )
2020-10-26 11:51:06 -07:00
4bd772227b
new performance tests ( #83 )
2020-10-26 10:20:07 -07:00
3e466f12f0
hardening the testing runtime ( #81 )
2020-10-26 05:58:05 -07:00
00c618b58e
add new page listing available video content. ( #82 )
...
* add new page listing available video content.
* fix thumbnail
* uncomment
2020-10-23 08:59:13 -07:00
6f7a9b42c4
code consistency ( #80 )
2020-10-22 13:05:55 -07:00
ea9a3897c2
added more actor rewriting tests ( #79 )
2020-10-21 18:22:44 -07:00
98eb721d6c
refactoring in tests ( #77 )
2020-10-21 15:39:52 -07:00
6d19113572
updated dotnet to 3.1.403 ( #78 )
2020-10-21 15:22:25 -07:00
3b8d4894da
support actors and tasks mixing during testing ( #76 )
2020-10-21 10:12:11 -07:00
d950f18eaf
refactoring actor runtime ( #75 )
...
Lots of refactoring in the actor runtime towards moving it on top of the task controlling logic, instead of the two being tightly coupled.
2020-10-20 17:56:03 -07:00
ea57d8c913
merged task controller and controlled runtime ( #73 )
2020-10-19 08:47:57 -07:00
1d342fc9c6
increased version to 1.1.5 ( #72 )
2020-10-13 19:58:40 -07:00
df3bbe2c08
harden uncontrolled task detection logic ( #71 )
2020-10-13 17:57:35 -07:00
e52da29cd4
rewriting pass for failing unsupported invocations ( #70 )
2020-10-12 15:25:11 -07:00
aa9794e38b
cleaning up unused doc pages ( #69 )
2020-10-10 08:45:39 -07:00
d5d15f7d7e
updated master to main
2020-10-10 08:18:12 -07:00
fb5b1a9ac2
more cleanup ( #68 )
2020-10-10 07:50:26 -07:00
299527c3a7
remove doc page ( #67 )
2020-10-10 07:39:09 -07:00
53d50bdabb
increased version to 1.1.4 ( #66 )
2020-10-09 23:41:18 -07:00
b0eb67c9fa
updated test nuget spec ( #65 )
2020-10-09 23:26:19 -07:00
f2e81fe411
increased version to 1.1.3 ( #64 )
2020-10-09 12:36:07 -07:00
0c1f1cdcf6
rewriting fixes and refactoring ( #63 )
2020-10-09 12:19:35 -07:00
34a4f90879
fixes and optimizations in try/catch rewriting ( #62 )
2020-10-08 17:07:48 -07:00
fa23fdea84
fix bug in try/catch rewriting ( #61 )
2020-10-07 18:35:20 -07:00
57dee899af
fix rewriting bug ( #60 )
2020-10-07 12:01:32 -07:00
1bfb031f0c
update to docs ( #59 )
2020-10-07 10:32:43 -07:00
3eb4207d99
skip mixed-mode assemblies during rewriting ( #58 )
2020-10-06 15:36:13 -07:00
2f17af5bf6
fixed itso ( #56 )
2020-10-06 08:53:44 -07:00
65cdde44b0
increased version to 1.1.2 ( #57 )
2020-10-06 07:53:55 -07:00
ddb9235c3d
Merged PR 3094: fix accessibility bugs
...
fix accessibility bugs
2020-10-06 00:13:07 +00:00
0f1560d037
Merged PR 3093: fix file copy during rewriting
2020-10-05 23:36:44 +00:00
86d45bf688
Merged PR 3092: fix remaining accessibility bugs
...
fix remaining accessibility bugs
2020-10-05 23:15:04 +00:00
9cd97c3cd8
Merged PR 3089: partial support for Parallel.For/ForEach via rewriting
...
This PR adds support for the very basic APIs in `System.Threading.Tasks.Parallel`.
2020-09-30 22:00:12 +00:00
68702c2652
Merged PR 3090: fix some typos.
2020-09-30 01:42:00 +00:00
182af6e1c9
Merged PR 3079: add some pretty pictures to image gallery tutorial
...
add some pretty pictures and instructions on how to run the web frontend.
2020-09-30 00:19:03 +00:00
4f1be66da6
Merged PR 3086: increased version to 1.1.1
2020-09-28 21:53:03 +00:00
05bed739ba
Merged PR 3084: fix issue with throwing exceptions from testing engine
2020-09-28 19:33:47 +00:00
994c605ea8
Merged PR 3083: throw assertion exception on bug for MSTest rewriting
...
Our MSTest rewriting does not check if an iteration was finding a bug or not, which means a test would pass even if a bug was found. It only checked for unhandled exceptions but that is just a subset of all bugs that can be found. This is already discovering issues in some of the buggy Torch tests.
2020-09-28 18:43:50 +00:00
bc72832ef6
Merged PR 3082: fix rewriting bug with verbosity
2020-09-28 17:57:22 +00:00
c5e3881c05
Merged PR 3080: fix firefox bugs
...
fix firefox bugs, reported in github issue https://github.com/microsoft/coyote/issues/52
2020-09-26 06:19:28 +00:00
cbffaae78b
Merged PR 3074: fixed typo
2020-09-24 23:49:58 +00:00
76cc5b7d89
Merged PR 3072: add missing docs (skipped by .gitignore)!
...
add missing docs (skipped by .gitignore)!
2020-09-24 22:32:59 +00:00
8362d6d7d0
some updates in the docs
2020-09-24 07:18:46 -07:00
5fff21a49a
Merged PR 3070: increased version to 1.1.0
2020-09-23 23:55:01 +00:00
ff41e90a5e
Merged PR 3020: new logger with log verbosity levels
...
Make RewritingOptions settable and add a Log option. Also moved TextWriter to a new ILogger interface so that warnings and errors can be tracked through the whole stack. This provides a nice feature, which is you can now filter the verbose Actor log output to only show errors like this:
```
coyote test MyActorTest.dll --verbosity minimal
```
and the console output will only show any errors found, same for warnings. Only if you ask for --verbosity info will you get the full verbose log printed to the screen.
Also when this is published I can redirect [LogWriter.cs](https://github.com/microsoft/coyote-samples/blob/master/Common/LogWriter.cs ) in our Samples to use this new interface.
2020-09-23 23:30:28 +00:00
bb7370009f
Merged PR 3069: added ASP.NET tutorial
...
New tutorial to teach unmodified code rewriting in the scope of an ASP.NET service sample.
Also some minor consistency fixes in other tutorials.
2020-09-23 22:22:25 +00:00
Pantazis Deligiannis
Chris Lovett
dan2468