Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agrarpan/coq-synthesis issues and pull requests
#15 - [README] [TUTORIAL] Error running dune build after changing paths
Issue -
State: open - Opened by tlringer 6 months ago
- 15 comments
#14 - [README] [TUTORIAL] If synth switch exists already, make sure to switch to it
Issue -
State: open - Opened by tlringer 7 months ago
#13 - [README] [Tutorial] Add installation instructions or build script for prerequisites
Issue -
State: open - Opened by tlringer 7 months ago
#12 - [Bug] CommandNotFoundError: Your shell has not been properly configured to use 'conda activate'
Issue -
State: open - Opened by tlringer almost 2 years ago
#11 - [Feature] Support multiple backends (ambitious)
Issue -
State: open - Opened by tlringer almost 2 years ago
#10 - [Infra] Add testing script
Issue -
State: open - Opened by tlringer almost 2 years ago
#9 - [UX] Add footer to generated page
Issue -
State: open - Opened by tlringer almost 2 years ago
#8 - [UX] Add printing to show Proverbot is running
Issue -
State: open - Opened by tlringer almost 2 years ago
#7 - [Feature] Implement improved decompiler
Issue -
State: open - Opened by tlringer almost 2 years ago
#6 - [Infra] Create an opam release
Issue -
State: open - Opened by tlringer almost 2 years ago
#5 - [Infra] Figure out how to load plugin into VSCode
Issue -
State: open - Opened by tlringer almost 2 years ago
#4 - [Feature] Add partial proof support
Issue -
State: open - Opened by tlringer almost 2 years ago
#3 - [Bug] Fatal error: Invalid character '=' in package version "coq=8.16.1"
Issue -
State: closed - Opened by tlringer almost 2 years ago
- 2 comments
#2 - Permission Denied for ./src/setup.sh
Issue -
State: closed - Opened by tlringer almost 2 years ago
#1 - Where can I find Proverbot?
Issue -
State: closed - Opened by tlringer almost 2 years ago
- 1 comment