Граф коммитов

8 Коммитов

Автор SHA1 Сообщение Дата
Pantazis Deligiannis 2b7d907c5c
assembly analysis pass that diffs IL contents for debugging (#249) 2021-10-31 23:34:42 -07:00
Chris Lovett 68eba15a3d
switch from using Jekyll to using mkdocs (#104)
* switch from jekyll to mkdocs.

* fix footer.

* fix some minor layout bugs

* fix html bug in the page.

* add sample code

* ignore mkdocs built site folder.

* fix link check

* move the theme inside docs folder

* fix link to about page in the footer.

* Fix broken links and re-gen docs.
2021-01-07 14:58:37 -08:00
Chris Lovett ecc223befd Merged PR 2437: update benchmark dotnet version 0.12.1
update benchmark dotnet version
2020-07-01 19:31:20 +00:00
Chris Lovett d38418d44a Merged PR 2370: replace Guid opGroupId with EventGroup
Also adds an AwaitableEventGroup with a TaskCompletionSource so these long running operations can also be completed.

Related work items: #4144
2020-06-17 21:15:24 +00:00
Chris Lovett 91a1642fea Merged PR 2287: fix gen docs
fix gen docs and generate docs for new assembly Microsoft.Coyote.Test
2020-06-03 03:15:10 +00:00
Pantazis Deligiannis 16c1762faa Merged PR 1367: reference section navigation improvements, some code cleanup
Still debugging the active state for learn sidenav. When you click on anything under API, it should stay open. Chris, you will find some debugging code in there, but feel free to erase & start over. Current sidebar logic is directly in layouts/reference.html.

Related work items: #2164
2020-02-29 06:39:07 +00:00
Pantazis Deligiannis e76ed82d4b added website 2020-02-28 21:34:19 -08:00
Pantazis Deligiannis 0912912484 Initial commit 2020-02-28 19:32:20 -08:00