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 7 months ago - 15 comments

#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