Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2025

• CHANGELOG: Update for 1.11.0

  Lysxia

  committed
  98d038b

  Copy full SHA for 98d038b

• Adapt 'Declare ML Module' declaration to Rocq 9

  Lysxia

  committed
  9283a12

  Copy full SHA for 9283a12

• Fix open_modules: use temp file in dedicated tmp directory

  Show description for 4b2e050
  Lysxia

  committed
  4b2e050

  Copy full SHA for 4b2e050

• Refactor tmp directory creation

  Lysxia

  committed
  b4b0398

  Copy full SHA for b4b0398

• ci: Rename coqorg/coq:dev to rocq/rocq-prover:dev

  Lysxia

  committed
  a63098c

  Copy full SHA for a63098c

Commits on Dec 11, 2024

• Add mode to forward stdin and stdout to RunIO scripts (#78)

  Lysxia

  authored
  59ca9ed

  Copy full SHA for 59ca9ed

Commits on Sep 19, 2024

• Adapt to https://github.com/coq/coq/pull/19530

  

  proux01

  authored and

  liyishuai

  committed
  de32ccf

  Copy full SHA for de32ccf

Commits on Sep 16, 2024

• CHANGELOG: Update for 1.10.0

  Lysxia

  committed
  c6577a6

  Copy full SHA for c6577a6

• ci: Add Coq 8.20

  Lysxia

  committed
  439936f

  Copy full SHA for 439936f

Commits on Apr 8, 2024

• Restore compatibility with released Coq

  Lysxia

  committed
  b4f11fb

  Copy full SHA for b4f11fb

• Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)

  

  SkySkimmer

  authored and

  Lysxia

  committed
  cf3bd1f

  Copy full SHA for cf3bd1f

Commits on Apr 4, 2024

• CHANGELOG: Update for 1.9.0

  Lysxia

  committed
  7b18c7f

  Copy full SHA for 7b18c7f

Commits on Apr 3, 2024

• README: add Circle CI badge

  Lysxia

  committed
  df2e539

  Copy full SHA for df2e539

• Drop Coq version 8.11

  Lysxia

  committed
  265a4cd

  Copy full SHA for 265a4cd

• ci: Restore opam update

  Lysxia

  committed
  158fff7

  Copy full SHA for 158fff7

• Dunify tests

  Show description for 344b961
  Lysxia

  committed
  344b961

  Copy full SHA for 344b961

• dune: Inline call to cppo

  Lysxia

  committed
  fa6aad2

  Copy full SHA for fa6aad2

Commits on Mar 29, 2024

• Update dune config

  Show description for 01439bd
  Lysxia

  committed
  01439bd

  Copy full SHA for 01439bd

Commits on Mar 28, 2024

• Call cppo from dune for library files

  Lysxia

  committed
  705f91c

  Copy full SHA for 705f91c

• test: minor fixes and silence warnings

  Lysxia

  committed
  c6ca665

  Copy full SHA for c6ca665

• Update CHANGELOG and README

  Lysxia

  committed
  97f1920

  Copy full SHA for 97f1920

• ci: Add Coq 8.17, 8.18, 8.19

  Lysxia

  committed
  6fde23b

  Copy full SHA for 6fde23b

• Add RunIO Reset and allow passing options to build commands

  Lysxia

  committed
  60acb61

  Copy full SHA for 60acb61

Commits on Nov 23, 2023

• Do not use V variable prepended in cppo.

  Show description for 7b1e6de
  

  LocutusOfBorg

  authored and

  Lysxia

  committed
  7b1e6de

  Copy full SHA for 7b1e6de

Commits on Sep 13, 2022

• Makefile: clean up test aux

  Lysxia

  committed
  403db47

  Copy full SHA for 403db47

• ci: Fix ocaml versions and remove extra-dev and merge some phases

  Show description for 7345f4b
  Lysxia

  committed
  7345f4b

  Copy full SHA for 7345f4b

• Update CHANGELOG.md

  Lysxia

  committed
  f35c580

  Copy full SHA for f35c580

• Update LICENSE

  Lysxia

  committed
  ee307f1

  Copy full SHA for ee307f1

• Remove uint63

  Show description for cf87add
  Lysxia

  committed
  cf87add

  Copy full SHA for cf87add

Commits on Jun 5, 2022

• dune: update Coq stanza

  

  liyishuai

  authored and

  Lysxia

  committed
  8c41bbe

  Copy full SHA for 8c41bbe

• ci: upgrade resource

  

  liyishuai

  authored and

  Lysxia

  committed
  75b5cdb

  Copy full SHA for 75b5cdb

• ci: test dependants

  

  liyishuai

  authored and

  Lysxia

  committed
  435182c

  Copy full SHA for 435182c

• Update Dune

  

  liyishuai

  authored and

  Lysxia

  committed
  8637917

  Copy full SHA for 8637917

Commits on May 25, 2022

• Set explicit dune root

  Lysxia

  committed
  6697a5f

  Copy full SHA for 6697a5f

• Silence warnings

  Lysxia

  committed
  e93de30

  Copy full SHA for e93de30

Pagination

Previous

Next