Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / lukaszcz/coqhammer issues and pull requests

#53 - Use coqhammer for a user changed coq

Issue - State: closed - Opened by Zhang-Liao about 5 years ago - 4 comments

#52 - Adapt to coq/coq#11521 (remove Goptions.optname field)

Pull Request - State: closed - Opened by SkySkimmer about 5 years ago - 2 comments

#52 - Adapt to coq/coq#11521 (remove Goptions.optname field)

Pull Request - State: closed - Opened by SkySkimmer about 5 years ago - 2 comments

#51 - Release for Coq 8.11?

Issue - State: closed - Opened by palmskog about 5 years ago - 2 comments

#51 - Release for Coq 8.11?

Issue - State: closed - Opened by palmskog about 5 years ago - 2 comments

#50 - System-dependent bug in dependency prediction

Issue - State: closed - Opened by lukaszcz about 5 years ago - 2 comments
Labels: bug

#50 - System-dependent bug in dependency prediction

Issue - State: closed - Opened by lukaszcz about 5 years ago - 2 comments
Labels: bug

#49 - fix OPAM package version issue in Travis script for 8.11

Pull Request - State: closed - Opened by palmskog over 5 years ago - 1 comment

#49 - fix OPAM package version issue in Travis script for 8.11

Pull Request - State: closed - Opened by palmskog over 5 years ago - 1 comment

#48 - adjust OPAM packages and Travis for Coq 8.11

Pull Request - State: closed - Opened by palmskog over 5 years ago

#48 - adjust OPAM packages and Travis for Coq 8.11

Pull Request - State: closed - Opened by palmskog over 5 years ago

#47 - Branch for Coq 8.11

Issue - State: closed - Opened by palmskog over 5 years ago - 1 comment

#47 - Branch for Coq 8.11

Issue - State: closed - Opened by palmskog over 5 years ago - 1 comment

#46 - remove parallelism from plugin opam file to rule out flakiness

Pull Request - State: closed - Opened by palmskog over 5 years ago

#46 - remove parallelism from plugin opam file to rule out flakiness

Pull Request - State: closed - Opened by palmskog over 5 years ago

#45 - Deprecation of Pervasives module in OCaml > 4.07

Issue - State: closed - Opened by palmskog over 5 years ago - 1 comment

#45 - Deprecation of Pervasives module in OCaml > 4.07

Issue - State: closed - Opened by palmskog over 5 years ago - 1 comment

#44 - Release for Coq 8.10?

Issue - State: closed - Opened by palmskog over 5 years ago - 5 comments

#44 - Release for Coq 8.10?

Issue - State: closed - Opened by palmskog over 5 years ago - 5 comments

#42 - remove parallelism from plugin opam file to rule out flakiness

Pull Request - State: closed - Opened by palmskog over 5 years ago

#41 - Flaky parallel builds of plugin with coq_makefile

Issue - State: closed - Opened by palmskog over 5 years ago - 2 comments

#41 - Flaky parallel builds of plugin with coq_makefile

Issue - State: closed - Opened by palmskog over 5 years ago - 2 comments

#40 - [coq] Overlay for coq/coq#10660

Pull Request - State: closed - Opened by ejgallego over 5 years ago - 1 comment

#40 - [coq] Overlay for coq/coq#10660

Pull Request - State: closed - Opened by ejgallego over 5 years ago - 1 comment

#39 - Adapt to coq/coq#10390 (UIP in SProp)

Pull Request - State: closed - Opened by SkySkimmer over 5 years ago - 1 comment

#38 - Fix w.r.t. coq/coq#10362.

Pull Request - State: closed - Opened by ppedrot over 5 years ago - 1 comment

#37 - introduce tests in OPAM packages and run them in Travis for 8.9

Pull Request - State: closed - Opened by palmskog over 5 years ago

#36 - introduce tests in OPAM packages and run them in Travis for 8.10

Pull Request - State: closed - Opened by palmskog over 5 years ago

#35 - introduce tests in OPAM packages and run them in Travis

Pull Request - State: closed - Opened by palmskog over 5 years ago - 3 comments

#34 - Separate OPAM packages for hammer and tactics, update CI for 8.9

Pull Request - State: closed - Opened by palmskog over 5 years ago

#33 - Release with tactics/plugin package split and quick plugin and tactics tests

Issue - State: closed - Opened by palmskog over 5 years ago - 8 comments

#32 - Separate OPAM packages for hammer and tactics in 8.10, update CI

Pull Request - State: closed - Opened by palmskog over 5 years ago

#31 - Separate OPAM packages for hammer and tactics, update CI

Pull Request - State: closed - Opened by palmskog over 5 years ago

#30 - Error compiling for 8.9

Issue - State: closed - Opened by olteanu-ca over 5 years ago - 5 comments

#29 - Fix for coq/coq#10201.

Pull Request - State: closed - Opened by ppedrot over 5 years ago - 1 comment

#28 - Dependent OPAM packages for hammer and tactics, update README and CI

Pull Request - State: closed - Opened by palmskog almost 6 years ago - 3 comments

#27 - Independent OPAM packages for both hammer and tactics, update README and CI

Pull Request - State: closed - Opened by palmskog almost 6 years ago - 1 comment

#26 - Branch for Coq 8.10

Issue - State: closed - Opened by palmskog almost 6 years ago - 1 comment

#25 - [coq] Adapt to coq/coq#9867

Pull Request - State: closed - Opened by proux01 almost 6 years ago - 3 comments

#24 - Adapt to Coq's PR #9909

Pull Request - State: closed - Opened by maximedenes almost 6 years ago - 1 comment

#23 - [Makefile] Use `c++` as C++ compiler

Pull Request - State: closed - Opened by vbgl almost 6 years ago

#22 - [Makefile] Install binaries into a configurable directory

Pull Request - State: closed - Opened by vbgl almost 6 years ago

#21 - small fix for CI job

Pull Request - State: closed - Opened by palmskog almost 6 years ago - 1 comment

#20 - Port opam file to OPAM 2, test in CI

Pull Request - State: closed - Opened by palmskog almost 6 years ago

#19 - [coq] Adapt to coq/coq#9129 "removal of imperative proof state"

Pull Request - State: closed - Opened by ejgallego almost 6 years ago

#18 - [warnings] Please fix OCaml warnings

Issue - State: closed - Opened by ejgallego about 6 years ago - 2 comments

#17 - Separate packaging of tactics and plugin?

Issue - State: closed - Opened by palmskog about 6 years ago - 4 comments

#16 - New release or version 1.1 for Coq 8.9 in OPAM?

Issue - State: closed - Opened by palmskog about 6 years ago - 2 comments

#15 - fix OPAM file for master branch

Pull Request - State: closed - Opened by palmskog about 6 years ago

#14 - Fix OPAM file for 8.9 branch

Pull Request - State: closed - Opened by palmskog about 6 years ago - 1 comment

#13 - Build from source fails: `make` doesn't recognize `.mlg` extension

Issue - State: closed - Opened by jaycech3n about 6 years ago - 4 comments

#12 - Adapt to coq/coq#8817 (SProp)

Pull Request - State: closed - Opened by SkySkimmer about 6 years ago - 8 comments

#11 - [coq] Overlay to adapt to coq/coq#8902

Pull Request - State: closed - Opened by ejgallego over 6 years ago - 2 comments

#10 - [coqpp] Port plugin to mlg.

Pull Request - State: closed - Opened by ejgallego over 6 years ago - 3 comments

#9 - Branch for Coq 8.9?

Issue - State: closed - Opened by palmskog over 6 years ago - 1 comment

#8 - [ci] Add travis file.

Pull Request - State: closed - Opened by ejgallego over 6 years ago - 5 comments

#7 - fix compilation on Coq 8.9beta1, update opam file for 8.9

Pull Request - State: closed - Opened by palmskog over 6 years ago

#6 - Understanding a failure to reconstruct a proof.

Issue - State: open - Opened by jeremysalwen over 6 years ago

#5 - Could coqhammer show counterexamples?

Issue - State: closed - Opened by samuelgruetter over 6 years ago - 4 comments

#4 - Coq's CI

Issue - State: closed - Opened by ejgallego over 6 years ago - 10 comments

#3 - Release with CVC4 support

Issue - State: closed - Opened by palmskog over 6 years ago - 2 comments

#2 - OPAM installation instructions

Pull Request - State: closed - Opened by palmskog over 6 years ago

#1 - add idiomatic OPAM file for easy pinning

Pull Request - State: closed - Opened by palmskog over 6 years ago - 1 comment