mit-plv/rupicola

Issues

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

  #102 opened 5 months ago by rtetley
  0

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

  #93 opened a year ago by rtetley
  1

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

  #77 opened 2 years ago by MSoegtropIMC
  3

• Why is ident-to-string conversion done during parsing instead of compilation?

  #72 opened 2 years ago by andres-erbsen
  0

• Build is broken when using a tarball rather than git

  #54 opened 2 years ago by JasonGross
  1

• `make clean` removes version-controlled files

  #20 opened 2 years ago by JasonGross
  2

• A few questions about Rupicola

  #11 opened 4 years ago by RasmusHoldsbjergCSAU
  4

• Using rupicola for elliptic curves

  #10 opened 4 years ago by RasmusHoldsbjergCSAU
  7

• Generating C/rust?

  #9 opened 4 years ago by spitters
  3