Nathan Taylor
Nathan Taylor
This patch implements support for the [Dafny](https://github.com/dafny-lang/) programming language. I'd like to include some formatted and highlighted code snippets on my Hugo blog, which takes Chroma as a dependency. Thanks!
The Java backend only emits events that are actually used in monitors - in particular, if an event never appears in an `observes` clause, then a class definition is not...
A suggestion from Jigar: with P projects where more than one target might be used, it might make sense to extract e.g. all generated C# files into `PGenerated/dotnet`, all generated...
Not a pressing issue, but something I noticed this morning that might be worth fixing one afternoon: The CompilationContext base class is responsible for auto-indenting the extracted code. However, it...
In the following event handler (part of the ClientServer tutorial), ``` 103 on eWithDrawResp do (resp: tWithDrawResp) { 104 assert resp.rId in pendingWDReqs, 105 format ("unexpected rId: {0} received, expected...
My attempt at addressing https://github.com/prove-rs/z3.rs/issues/190 .
My apologies if I am driving z3.rs incorrectly; I'm new to Rust and this library, and reasonably new to SMT solvers in general. Please let me know if my question...
Fixes #294, which confused me as a user new to VSCode. (I additionally made explicit that "interpret to home" is called "reset" internally.)
Hi Ken, I have the following message type with a bunch of subclasses thereof: ``` 16 class msg_t = { 17 action handle(cid: node, ^msg:msg_t) 18 } ... 38 subclass...