mit-plv/coqutil

Issues

• Merging fiat-crypto utilities into coqutil?

  #55 opened 3 years ago by JasonGross
  2

• Please create a tag for Coq 8.19 in Coq Platform 2024.01

  #112 opened 9 months ago by rtetley
  0

• it should be possible to `sudo make install` even when the `sudo` account doesn't have `coq_makefile` in `PATH`

  #104 opened a year ago by JasonGross
  7

• Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

  #97 opened a year ago by rtetley
  4

• Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

  #85 opened 2 years ago by MSoegtropIMC
  2

• Please stop emailing me when tested fails to update

  #61 opened 2 years ago by JasonGross
  1

• coqutil.Z.bitblast not found in 8.13

  #65 opened 2 years ago by JasonGross
  3

• Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

  #71 opened 2 years ago by MSoegtropIMC
  6

• Weird Makefile logic?

  #67 opened 3 years ago by ejgallego
  8

• please update `tested` branch

  #57 opened 3 years ago by SkySkimmer
  4

• hooking `word` into `lia`

  #56 opened 3 years ago by JasonGross
  1

• Build fails on 8.11

  #52 opened 3 years ago by JasonGross
  10

• LittleEndian.combine should not inline tuple.to_list

  #34 opened 3 years ago by andres-erbsen
  3

• eradicating LittleEndian.combine

  #44 opened 3 years ago by andres-erbsen
  2

• Compatibility with older versions of Coq

  #41 opened 3 years ago by JasonGross
  3

• It would be better if coqutil used no axioms

  #25 opened 5 years ago by JasonGross
  5

• There is no validate target, and if there were one, it would fail

  #24 opened 5 years ago by JasonGross
  0

• coqutil.Map.SortedListString.map cannot be extracted

  #22 opened 5 years ago by JasonGross
  5

• Can `word.unsigned_sru

  #20 opened 5 years ago by jadephilipoom
  0

• make is very noisy even when there is nothing to be done

  #15 opened 5 years ago by JasonGross
  2

• Coqutil should have a better description

  #14 opened 5 years ago by JasonGross
  1

• AUTHORS and LICENSE files

  #12 opened 5 years ago by JasonGross
  1

• Why is sextend a part of the word interface?

  #4 opened 6 years ago by andres-erbsen-sifive
  4

• feature request: make excluding tests

  #1 opened 6 years ago by andres-erbsen
  1