mit-plv/kami issues and pull requests

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

Pull Request - State: closed - Opened by proux01 about 2 months ago - 2 comments

#38 - adapt to coq/coq#18730

Pull Request - State: closed - Opened by andres-erbsen 9 months ago

#37 - Adapt w.r.t Coq#18164

Pull Request - State: closed - Opened by Villetaneuse about 1 year ago - 2 comments

#36 - Bluespec 2023.01

Issue - State: open - Opened by hchenji over 1 year ago - 1 comment

#35 - Stop using auto with * in intuition

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago

#34 - adapt to coq/coq#17281

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#33 - adapt for coq/coq#17022

Pull Request - State: closed - Opened by andres-erbsen over 1 year ago

#32 - Adapt w.r.t. coq/coq#16903.

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

#31 - Adapt to coq/coq#16920

Pull Request - State: closed - Opened by olaure01 almost 2 years ago

#30 - Adapt w.r.t. coq/coq#16904.

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

#29 - improved auto goal selection

Pull Request - State: closed - Opened by mrhaandi over 2 years ago

#28 - Adapt w.r.t. coq/coq#16004

Pull Request - State: closed - Opened by Alizter over 2 years ago - 1 comment

#27 - Adapt to coq/coq#13837 ("apply with" does not rename arguments)

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

#26 - Make command fails with Coq 8.11.1

Issue - State: open - Opened by vaishnavi08 about 3 years ago - 2 comments

#25 - Adapt to coq/coq#14819

Pull Request - State: closed - Opened by proux01 about 3 years ago - 2 comments

#24 - Compatibility with coq/coq#13871

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

#23 - Future proof NatLib.v

Pull Request - State: closed - Opened by mrhaandi over 3 years ago - 1 comment

#22 - compatbility with PR #11906

Pull Request - State: closed - Opened by fajb over 4 years ago - 1 comment

#21 - [master] Add .gitattributes

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

#20 - [rv32im] Add .gitattributes

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

#19 - [rv32i] Add .travis.yml

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

#18 - [rv32i] Add .gitattributes

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

#17 - Do not rely on “firstorder” to solve arithmetic goals

Pull Request - State: closed - Opened by vbgl over 4 years ago - 1 comment

#16 - [master] Add .travis.yml

Pull Request - State: closed - Opened by JasonGross almost 5 years ago

#15 - [rv32im] Add .travis.yml

Pull Request - State: closed - Opened by JasonGross almost 5 years ago - 4 comments

#14 - Add an install target

Pull Request - State: closed - Opened by JasonGross almost 5 years ago

#13 - Do not rely on failures of proof search

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

#12 - Do not rely on hints from “ordered_type”

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

#11 - only use COQPATH if EXTERNAL_DEPENDENCIES=1

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

#10 - [kami-rv32im] Use COQPATH for the dependencies

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

#9 - Overlay for Coq PR #9918 fixing template-polymorphism bug

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

#8 - Fix extraction language name.

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

#7 - Build break in Kami/Ext/Extraction.v

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

#6 - Need help with proof.

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

#5 - Make Command Fails Under Coq 8.8.1

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

#4 - Generate standard VHDL/Verilog?

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

#3 - COQ 8.8.0 , Ocaml 4.0.5 , GCC 7.3

Issue - State: closed - Opened by command-paul over 6 years ago - 12 comments

#2 - Compile error with Coq 8.7.1

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

#1 - Chance of supporting Coq 8.7.1?

Issue - State: closed - Opened by jimyu94 almost 7 years ago - 1 comment

GitHub / mit-plv/kami issues and pull requests