coq-community/aac-tactics issues and pull requests

#149 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: open - Opened by proux01 5 days ago

#100 - Nat max

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

#100 - Nat max

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

#99 - adapt to #14736

Pull Request - State: closed - Opened by Alizter almost 3 years ago - 5 comments

#99 - adapt to #14736

Pull Request - State: closed - Opened by Alizter almost 3 years ago - 5 comments

#98 - refresh nix ci configuration

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

#98 - refresh nix ci configuration

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

#97 - refresh nix ci configuration

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

#97 - refresh nix ci configuration

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

#96 - Adapt w.r.t. coq/coq#15069.

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

#96 - Adapt w.r.t. coq/coq#15069.

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

#95 - Update Nix CI with changes from coq-community/templates#108.

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

#95 - Update Nix CI with changes from coq-community/templates#108.

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

#94 - Update Nix CI with changes from coq-community/templates#107.

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

#94 - Update Nix CI with changes from coq-community/templates#107.

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

#93 - Idempotence support for master

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

#93 - Idempotence support for master

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

#92 - Make 8.13 consistent with 8.14

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

#92 - Make 8.13 consistent with 8.14

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

#91 - support for idempotent operations, v8.14

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

#91 - support for idempotent operations, v8.14

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

#90 - Support for idempotent operations

Issue - State: closed - Opened by damien-pous almost 3 years ago - 7 comments

#90 - Support for idempotent operations

Issue - State: closed - Opened by damien-pous almost 3 years ago - 7 comments

#89 - Fix compilation on OCaml 4.12 for 8.13

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

#89 - Fix compilation on OCaml 4.12 for 8.13

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

#88 - Adapt to coq/coq#14773 (convert_concl has a ~cast argument)

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

#88 - Adapt to coq/coq#14773 (convert_concl has a ~cast argument)

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

#87 - Please create a tag for the upcoming release of Coq 8.14

Issue - State: closed - Opened by MSoegtropIMC about 3 years ago - 6 comments

#87 - Please create a tag for the upcoming release of Coq 8.14

Issue - State: closed - Opened by MSoegtropIMC about 3 years ago - 6 comments

#86 - Deploy to Cachix even for PR from forks.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago - 4 comments

#86 - Deploy to Cachix even for PR from forks.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago - 4 comments

#85 - Quantifying over Type

Issue - State: closed - Opened by gancherj about 3 years ago - 1 comment

#85 - Quantifying over Type

Issue - State: closed - Opened by gancherj about 3 years ago - 1 comment

#84 - Test a new setup to deploy to Cachix even for PR from forks.

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

#84 - Test a new setup to deploy to Cachix even for PR from forks.

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

#83 - Update nix-action to latest version of the new template.

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

#83 - Update nix-action to latest version of the new template.

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

#82 - Update nix-action to latest version of the new template.

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

#82 - Update nix-action to latest version of the new template.

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

#81 - New lightweight toolbox-based setup.

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

#81 - New lightweight toolbox-based setup.

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

#80 - New lightweight toolbox-based setup.

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

#80 - New lightweight toolbox-based setup.

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

#79 - Follow template conventions on CI and building

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

#79 - Follow template conventions on CI and building

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

#78 - switch argument order of get_hypinfo to support OCaml 4.12

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

#78 - switch argument order of get_hypinfo to support OCaml 4.12

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

#77 - Update the Nix setup to rely on the Coq Nix Toolbox.

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

#77 - Update the Nix setup to rely on the Coq Nix Toolbox.

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

#76 - Adapt w.r.t. coq/coq#14449.

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

#76 - Adapt w.r.t. coq/coq#14449.

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

#75 - Overlay for Coq PR 14224

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

#75 - Overlay for Coq PR 14224

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

#74 - Build fails with Nix on Coq 8.11

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

#74 - Build fails with Nix on Coq 8.11

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

#73 - Fix Dune file following coq -> coq-core change.

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

#73 - Fix Dune file following coq -> coq-core change.

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

#72 - Adapt w.r.t. coq/coq#14208.

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

#72 - Adapt w.r.t. coq/coq#14208.

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

#71 - add Nix CI

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

#71 - add Nix CI

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

#70 - add Nix CI for 8.13

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

#70 - add Nix CI for 8.13

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

#69 - Please create a tag for the upcoming release of Coq 8.13

Issue - State: closed - Opened by gares almost 4 years ago - 2 comments

#69 - Please create a tag for the upcoming release of Coq 8.13

Issue - State: closed - Opened by gares almost 4 years ago - 2 comments

#68 - switch to GitHub Actions CI

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

#68 - switch to GitHub Actions CI

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

#67 - Adapt w.r.t. coq/coq#13384.

Pull Request - State: closed - Opened by ppedrot almost 4 years ago - 3 comments

#67 - Adapt w.r.t. coq/coq#13384.

Pull Request - State: closed - Opened by ppedrot almost 4 years ago - 3 comments

#66 - Adapt to Coq PR#13143: Pp.h does not take a (dummy) integer anymore.

Pull Request - State: closed - Opened by herbelin almost 4 years ago - 1 comment

#66 - Adapt to Coq PR#13143: Pp.h does not take a (dummy) integer anymore.

Pull Request - State: closed - Opened by herbelin almost 4 years ago - 1 comment

#65 - Coq PR #12768 adds a new warning on named catch-all pattern-matching variables

Pull Request - State: closed - Opened by herbelin about 4 years ago - 4 comments

#65 - Coq PR #12768 adds a new warning on named catch-all pattern-matching variables

Pull Request - State: closed - Opened by herbelin about 4 years ago - 4 comments

#64 - Tag for Coq 8.12.0

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

#64 - Tag for Coq 8.12.0

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

#63 - update meta.yml and regenerate files from templates, bump dune to 2.5

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

#63 - update meta.yml and regenerate files from templates, bump dune to 2.5

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

#62 - Fix num issue with Nix CI

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

#62 - Fix num issue with Nix CI

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

#61 - num is a dependency for Nix CI

Issue - State: closed - Opened by SkySkimmer about 4 years ago - 16 comments

#61 - num is a dependency for Nix CI

Issue - State: closed - Opened by SkySkimmer about 4 years ago - 16 comments

#60 - Fix w.r.t. coq/coq#12599.

Pull Request - State: closed - Opened by ppedrot about 4 years ago

#60 - Fix w.r.t. coq/coq#12599.

Pull Request - State: closed - Opened by ppedrot about 4 years ago

#59 - [coq] Adapt to coq/coq#12372

Pull Request - State: closed - Opened by ejgallego about 4 years ago - 1 comment

#59 - [coq] Adapt to coq/coq#12372

Pull Request - State: closed - Opened by ejgallego about 4 years ago - 1 comment

#58 - [coq] Adapt to coq/coq#12372

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

#58 - [coq] Adapt to coq/coq#12372

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

#57 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

#57 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

#56 - Switch to building with dune in OPAM

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

#56 - Switch to building with dune in OPAM

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

#55 - Do not expect “firstorder” to solve boolean goals

Pull Request - State: closed - Opened by vbgl over 4 years ago - 2 comments

#55 - Do not expect “firstorder” to solve boolean goals

Pull Request - State: closed - Opened by vbgl over 4 years ago - 2 comments

#54 - Update metadata and dune build

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

#54 - Update metadata and dune build

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

#53 - metadata improvements from v8.11 branch

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

#53 - metadata improvements from v8.11 branch

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

#52 - Deprecation of Pervasives in OCaml 4.08 and later

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

#52 - Deprecation of Pervasives in OCaml 4.08 and later

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

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

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

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