mit-plv/fiat

Issues

• nonempty git diff after coq ci build

  #106 opened 10 months ago by andres-erbsen
  3

• ijcar2020 branch fails to build

  #42 opened 5 years ago by paul-snively
  5

• Fail to make querystructures on Coq > 8.9

  #36 opened 5 years ago by sqrta
  2

• [coq] Please update the repository for Coq 8.12

  #30 opened 5 years ago by ejgallego
  1

• [warnings] Please fix OCaml warnings

  #24 opened 6 years ago by ejgallego
  1

• Port Fiat to coqpp

  #17 opened 6 years ago by ppedrot
  4

• [Coq 8.9+] Please fix deprecation warnings in 8.9

  #14 opened 6 years ago by ejgallego
  14

• Please make fiat-parsers compile with -w "+compatibility-notation"

  #13 opened 6 years ago by Zimmi48
  0

• coq-scripts submodule not up to date with VDFILE

  #10 opened 7 years ago by SkySkimmer
  2

• Current version does not build with 8.4pl6 or 8.5pl2

  #1 opened 8 years ago by jwiegley
  6