coq-community/aac-tactics issues and pull requests

#51 - Use “lia” rather than “omega”

Pull Request - State: closed - Opened by vbgl almost 5 years ago - 1 comment

#50 - Remove template annotations for 8.10 branch

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

#50 - Remove template annotations for 8.10 branch

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

#49 - Remove unnecessary #[universes(template)] annotations

Pull Request - State: closed - Opened by mattam82 about 5 years ago - 1 comment

#49 - Remove unnecessary #[universes(template)] annotations

Pull Request - State: closed - Opened by mattam82 about 5 years ago - 1 comment

#48 - Stop using Lemma ... with ... (anticipate deprecation)

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

#48 - Stop using Lemma ... with ... (anticipate deprecation)

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

#47 - [coq] Overlay for coq/coq#9566

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

#47 - [coq] Overlay for coq/coq#9566

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

#46 - use proper ci for 8.10

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

#46 - use proper ci for 8.10

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

#45 - adjust ci and opam for 8.10

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

#45 - adjust ci and opam for 8.10

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

#44 - update 8.9 templates

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

#44 - update 8.9 templates

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

#43 - update meta.yml and regenerate from templates

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

#43 - update meta.yml and regenerate from templates

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

#42 - Adapt to coq/coq#10052.

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

#42 - Adapt to coq/coq#10052.

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

#41 - Adapt to coq/coq#10050 (proof_global api changes)

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

#41 - Adapt to coq/coq#10050 (proof_global api changes)

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

#40 - Adjusted way the Coq-constants are bind in ocaml

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

#40 - Adjusted way the Coq-constants are bind in ocaml

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

#39 - removed uneeded function

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

#39 - removed uneeded function

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

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

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

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

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

#37 - [coq] Fix OCaml warnings.

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

#37 - [coq] Fix OCaml warnings.

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

#36 - Ugly retyping-hack to solve universe-constrains

Issue - State: open - Opened by fakusb over 5 years ago - 4 comments

#36 - Ugly retyping-hack to solve universe-constrains

Issue - State: open - Opened by fakusb over 5 years ago - 4 comments

#35 - Deprecated functions to interface with Coq-side of the plugin

Issue - State: closed - Opened by fakusb over 5 years ago

#35 - Deprecated functions to interface with Coq-side of the plugin

Issue - State: closed - Opened by fakusb over 5 years ago

#34 - Now uses Proofview and removed CPS at various points

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

#34 - Now uses Proofview and removed CPS at various points

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

#33 - [coq] Fix OCaml warnings.

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

#33 - [coq] Fix OCaml warnings.

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

#32 - [warnings] Please fix OCaml warnings

Issue - State: closed - Opened by ejgallego over 5 years ago

#32 - [warnings] Please fix OCaml warnings

Issue - State: closed - Opened by ejgallego over 5 years ago

#31 - update opam template

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

#31 - update opam template

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

#30 - regenerate opam file from latest template

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

#30 - regenerate opam file from latest template

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

#29 - Do not rely on `Refine Instance Mode`

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

#29 - Do not rely on `Refine Instance Mode`

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

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

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

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

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

#27 - Adapt to coq/coq#8488 (warning on automatic template polymorphism)

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

#27 - Adapt to coq/coq#8488 (warning on automatic template polymorphism)

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

#26 - Build adjustments

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

#26 - Build adjustments

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

#25 - Switch to -Q and From Require in 8.9 branch

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

#25 - Switch to -Q and From Require in 8.9 branch

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

#24 - Metadata and build adjustments

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

#24 - Metadata and build adjustments

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

#23 - Generate CI and documentation from template for v8.9

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

#23 - Generate CI and documentation from template for v8.9

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

#22 - use templates to generate documentation and CI

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

#21 - CI update: more uniformity and opam package testing.

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

#20 - [coq] Overlay to adapt to coq/coq#8998

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

#19 - [coq] Adapt to coq/coq#8902

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

#18 - Proper templated README.md

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

#17 - README update

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

#16 - OPAM file for Coq dev version

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

#15 - OPAM file for Coq 8.9 version

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

#14 - OPAM files for other branches

Issue - State: closed - Opened by fakusb almost 6 years ago - 3 comments

#13 - Port to coqpp.

Pull Request - State: closed - Opened by ppedrot almost 6 years ago - 14 comments

#12 - add opam file

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

#11 - Introduce CI tests.

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

#10 - Fix (mostly deprecation) warnings (and compatibility with Coq master).

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

#9 - Ported to coq v8.9

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

#8 - Merge organisation changes from my feature branch to master

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

#7 - Move OCaml code out of .ml4 file.

Pull Request - State: closed - Opened by Zimmi48 about 6 years ago - 5 comments

#6 - Ported to coq V8.8

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

#5 - Ported to Coq 8.7.1

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

#4 - please rename `rewrite.ml4` since it "conflicts" with Coq's `rewrite.ml4`

Issue - State: closed - Opened by gares over 7 years ago - 1 comment

#3 - Please tag a version for Coq 8.6

Issue - State: closed - Opened by gares over 7 years ago - 1 comment

#2 - Fix typos

Pull Request - State: closed - Opened by nbraud about 8 years ago - 2 comments

#1 - Problem when updating opam

Issue - State: closed - Opened by fblanqui over 8 years ago - 6 comments

GitHub / coq-community/aac-tactics issues and pull requests