Skip to content

Issues: apalache-mc/apalache-chai

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
2 Open 20 Closed
2 Open 20 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Create new repo, including basic CI, and package management (using poetry)
#2 by shonfeder was closed Jul 14, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Set up protobuf generation from the protobuf specs in the Apalache project
#3 by shonfeder was closed Jul 18, 2022
2 of 4 tasks
B1.1: Chai: Python bindings for Shai
1
@shonfeder
Factor the Apalache .proto files out into their own repo
#4 by shonfeder was closed Jul 15, 2022
2
Include Apalache as a submodule in Chai
#5 by shonfeder was closed Jul 18, 2022 B1.1: Chai: Python bindings for Shai
@shonfeder
Write RPC call to parse and load a model
#7 by shonfeder was closed Jul 28, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Add integration tests to run RPC requests against Shai
#8 by shonfeder was closed Jul 25, 2022
1 of 3 tasks
B1.1: Chai: Python bindings for Shai
1
@shonfeder
1
Add RPC call to obtain a connection
#9 by shonfeder was closed Jul 20, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Install Apalache for devenv and CI
#11 by shonfeder was closed Jul 22, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Use asyncio for the client
#14 by shonfeder was closed Jul 26, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
2
Add decorator for RPC calls to ensure client has first obtained a connection
#18 by shonfeder was closed Jul 28, 2022 B1.1: Chai: Python bindings for Shai
@shonfeder
Build and host API docs
#19 by shonfeder was closed Nov 3, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Add client functions for CmdExecutor service
#21 by shonfeder was closed Oct 21, 2022
3 tasks done
@shonfeder
Fix MacOS integration error
#24 by shonfeder was closed Oct 27, 2022
Reduce python requirements to 3.8
#26 by shonfeder was closed Oct 26, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
a function for the parse command
#28 by shonfeder was closed Oct 21, 2022
a function for the typecheck command
#29 by shonfeder was closed Oct 21, 2022
1
Find TLA dependencies on file system to send in CmdExecutor RPC calls
#31 by shonfeder was closed Oct 24, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Add blocking interface
#35 by shonfeder was closed Oct 27, 2022 B1.1: Chai: Python bindings for Shai
1
@shonfeder
Add tutorial with small example
#37 by shonfeder was closed Nov 10, 2022
5 tasks done
@shonfeder
nix-related CI failure
#43 by thpani was closed Mar 9, 2023
1
@thpani
2
ProTip! What’s not been updated in a month: updated:<2024-09-16.