inpefess/isabelle-client issues and pull requests

#75 - Maintenanec

Pull Request - State: closed - Opened by inpefess 2 months ago - 1 comment

#74 - Maintenance

Pull Request - State: closed - Opened by inpefess 3 months ago - 1 comment

#73 - Maintenance

Pull Request - State: closed - Opened by inpefess 4 months ago - 1 comment

#72 - Maintenance

Pull Request - State: closed - Opened by inpefess 5 months ago - 1 comment

#71 - Maintenance

Pull Request - State: closed - Opened by inpefess 6 months ago - 1 comment

#70 - Maintenance

Pull Request - State: closed - Opened by inpefess 7 months ago - 1 comment

#69 - Change `IsabelleResponse.response_type`'s type from string to Enum

Issue - State: open - Opened by inpefess 9 months ago
Labels: enhancement, good first issue

#68 - Support python3.12

Pull Request - State: closed - Opened by inpefess 9 months ago - 1 comment

#67 - Support isabelle 2023

Pull Request - State: closed - Opened by inpefess 9 months ago - 1 comment

#66 - Parse sledgehammer

Pull Request - State: closed - Opened by inpefess 10 months ago

#65 - Maintenance

Pull Request - State: closed - Opened by inpefess 12 months ago - 1 comment

#64 - Drop 3.7 support

Pull Request - State: closed - Opened by inpefess about 1 year ago - 1 comment

#63 - Maintenance

Pull Request - State: closed - Opened by inpefess about 1 year ago - 1 comment

#62 - Upgrade doc

Pull Request - State: closed - Opened by inpefess about 1 year ago

#61 - Maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago

#60 - Maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago

#59 - Add preprint

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#58 - Maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago

#57 - Better collaboration guide

Pull Request - State: closed - Opened by inpefess over 1 year ago

#56 - better README

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#55 - Add paper sources

Pull Request - State: closed - Opened by inpefess almost 2 years ago

#54 - Add better collaboration guide

Issue - State: closed - Opened by inpefess almost 2 years ago
Labels: documentation

#53 - Better README

Issue - State: closed - Opened by inpefess almost 2 years ago
Labels: documentation

#52 - Add an example of using Isabelle together with Sagemath

Issue - State: open - Opened by inpefess almost 2 years ago
Labels: enhancement

#51 - Add a fully incapsulated Isabelle code executor

Issue - State: open - Opened by inpefess almost 2 years ago
Labels: enhancement

#50 - Update examples

Pull Request - State: closed - Opened by inpefess almost 2 years ago

#49 - drop python 3.6 support

Pull Request - State: closed - Opened by inpefess almost 2 years ago - 1 comment

#48 - Maintenance

Pull Request - State: closed - Opened by inpefess about 2 years ago

#47 - CI with different python versions

Pull Request - State: closed - Opened by inpefess about 2 years ago - 1 comment

#46 - bump versions

Pull Request - State: closed - Opened by inpefess about 2 years ago

#45 - bump version

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#44 - Maintenance

Pull Request - State: closed - Opened by inpefess over 2 years ago

#43 - add to conda-forge

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: enhancement

#42 - Doc coverage

Pull Request - State: closed - Opened by inpefess over 2 years ago

#41 - `start_isabelle_server` doesn't work on Windows

Issue - State: closed - Opened by inpefess over 2 years ago - 2 comments
Labels: bug

#40 - List responses

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#39 - RuntimeError: Event loop is closed

Issue - State: closed - Opened by inpefess over 2 years ago - 1 comment
Labels: bug

#38 - Commands should return lists of IsabelleResponse objects

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: enhancement

#37 - Python3.10 support

Pull Request - State: closed - Opened by inpefess over 2 years ago

#36 - Maintenance

Pull Request - State: closed - Opened by inpefess over 2 years ago

#35 - Maintenance

Pull Request - State: closed - Opened by inpefess almost 3 years ago - 1 comment

#34 - How to cite

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#33 - Maintenance

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#32 - Package doesn't work with Jupyter

Issue - State: closed - Opened by inpefess almost 3 years ago
Labels: bug

#31 - add a conditional dataclasses dependency

Pull Request - State: closed - Opened by inpefess about 3 years ago - 1 comment

#30 - Dependencies in PyPi release

Issue - State: closed - Opened by Dacit about 3 years ago - 2 comments

#29 - boost versions

Pull Request - State: closed - Opened by inpefess about 3 years ago - 1 comment

#28 - Python versions

Pull Request - State: closed - Opened by inpefess about 3 years ago - 1 comment

#27 - Use fixtures

Pull Request - State: closed - Opened by inpefess about 3 years ago

#26 - Add support of several Python versions

Issue - State: closed - Opened by inpefess about 3 years ago
Labels: enhancement

#25 - Add a tap mode to commands

Issue - State: open - Opened by inpefess over 3 years ago
Labels: enhancement

#24 - Server start parameters

Pull Request - State: closed - Opened by inpefess over 3 years ago

#23 - All arguments

Pull Request - State: closed - Opened by inpefess over 3 years ago

#22 - Add fixtures to tests

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#21 - Use asyncio streams

Pull Request - State: closed - Opened by inpefess over 3 years ago

#20 - Add parameters to start_isabelle_server function

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#19 - Start server

Pull Request - State: closed - Opened by inpefess over 3 years ago

#18 - Add all parameters to all commands

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#17 - All commands

Pull Request - State: closed - Opened by inpefess over 3 years ago - 1 comment

#16 - Cancel and shutdown

Pull Request - State: closed - Opened by inpefess over 3 years ago

#15 - Rewrite low-level messaging closer to Isabelle internal implementations

Issue - State: closed - Opened by inpefess over 3 years ago - 1 comment
Labels: enhancement

#14 - Add start_isabelle_server command

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#13 - Better dummy.thy

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement, good first issue

#12 - Write commands to log

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#11 - Add session_build command

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement, good first issue

#10 - Add cancel command

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement, good first issue

#9 - Use asyncio.streams instead of socket

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#8 - Add shutdown command

Issue - State: closed - Opened by inpefess over 3 years ago
Labels: enhancement

#7 - New version

Pull Request - State: closed - Opened by inpefess over 3 years ago

#6 - Add example

Pull Request - State: closed - Opened by inpefess over 3 years ago

#5 - Add commands

Pull Request - State: closed - Opened by inpefess over 3 years ago

#4 - Add tests

Pull Request - State: closed - Opened by inpefess over 3 years ago

#3 - Add docs

Pull Request - State: closed - Opened by inpefess over 3 years ago

#2 - Add .circleci/config.yml

Pull Request - State: closed - Opened by inpefess over 3 years ago

#1 - Add ci

Pull Request - State: closed - Opened by inpefess over 3 years ago - 1 comment

GitHub / inpefess/isabelle-client issues and pull requests