These 16 commits are when the Protocol Buffers files have changed:
| Commit: | cfcae70 | |
|---|---|---|
| Author: | Shon Feder | |
Add Shai command to receive formatted TLA as reply Closes #2851
The documentation is generated from this commit.
| Commit: | e03bc42 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | GitHub | |
Shai: Return parsing pass error data in RPCs (#2242) * Shai: Return parse err data in RPCs Closes #2199 (See #2234 for additional notes on context and the motivation for this approach). - Catches `SanyException`s from the highest level of the SANY parser pass and makes these available in the `PassResult`. - Promotes the general RPC error data into protbuf specs, allowing more consistentcy and reducing the amount of dynamic JSON. - Includes some light refactoring as incidental cleanup. - Updates tests. * Log error messages Since we are relying on exceptions to transmit error data to our top-level reporters the most part, now that we are returning this data from the pass, we lose the user output. Adding this logging message ensures we get user output of the error. * Remove unneeded catches from ExceptionAdapeters
| Commit: | ec03d0c | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Fix capitalization of rpc calls
| Commit: | 4f9a5cc | |
|---|---|---|
| Author: | Shon Feder | |
Just duplicate Ping/Pong messages Using shared messages seems like a nice idea. But it seems the brittleness of various grpc backends (in particular the backend for python) can mean more complicated and/or intracatble generation configurations when trying to import local packages. So, for the moment, we're just duplicating the ping/pong messages.
| Commit: | 7f863da | |
|---|---|---|
| Author: | Shon Feder | |
Remove spurious comment
| Commit: | 8e52fa3 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Shai: Add ping RPC to services Closes #2192
| Commit: | 6e0e9d1 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | GitHub | |
Add CmdExecutor RPCs (#2138) Closes #2021, #2014, and #2013
| Commit: | 09c93c4 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | GitHub | |
Shai: Add `CmdExecutor` service (#2022) * Correct file location of shai modules I had put these at the wrong location given the plans for a versioned API and our conventions around file structures matching packages paths. * Add CmdExecutor service Closes #2020
| Commit: | e243906 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Don't require unpacking id from Connection This should save a bit of bookkeeping, by preventing us having to constantly peek inside of the protobuf generated Connection object when looking up or updating the connection.
| Commit: | ee9bc4d | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Simplify error handling and spec encoding Reducing complexity to remove some friction
| Commit: | e3dcc54 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Add error handling to module loading
| Commit: | 3436ecc | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Sketch in loadModel request
| Commit: | 8398bbd | |
|---|---|---|
| Author: | Shon Feder | |
Remove dead code
| Commit: | c0b50f9 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Rename hai to shai
| Commit: | e64d247 | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Rename dirs and files hai->shai
| Commit: | 55b0b4d | |
|---|---|---|
| Author: | Shon Feder | |
| Committer: | Shon Feder | |
Add hai project and implement basic server