Skip to content

Expand the OCaml stdlib #201

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

Expand the OCaml stdlib #201

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
148308c
Upgrade to OCaml 4.13
clarus Jan 7, 2022
8523844
Remove compilation warnings
clarus Jan 25, 2022
8567568
Upsteam opam file change from @kit-ty-kate
clarus Jan 26, 2022
0452c9c
Update GitHub CI
clarus Jun 22, 2022
92e473e
Upgrade Merlin
clarus Jun 22, 2022
9c664eb
Upgrade ocamlformat
clarus Jun 22, 2022
008cb5b
Stdlib: beginning of Stdlib.v file
clarus Nov 14, 2021
b7c6f75
Add more definitions for Stdlib
clarus Nov 15, 2021
a2cb0f5
Start splitting the Basics.v file
clarus Aug 11, 2022
c175118
Export the Char, List and String modules in Stdlib
clarus Aug 11, 2022
4732fc0
Split the standard library even more
clarus Aug 12, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@ jobs:
os:
- ubuntu-latest
ocaml-version:
- 4.12.0
- 4.13.1
coq-version:
- 8.13.1
- 8.14.1

runs-on: ${{ matrix.os }}

Expand All @@ -33,7 +33,7 @@ jobs:
with:
ocaml-version: ${{ matrix.ocaml-version }}

- run: opam install ocamlformat.0.18.0
- run: opam install ocamlformat.0.22.4
- run: opam exec -- make fmt-check
- run: opam pin add coq ${{ matrix.coq-version }}
- run: opam pin add coq-of-ocaml.dev . --no-action
Expand Down
2 changes: 1 addition & 1 deletion .ocamlformat
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
version=0.18.0
version=0.22.4
4 changes: 2 additions & 2 deletions coq-of-ocaml.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ depends: [
"bisect_ppx" {dev & >= "2.5.0"}
"conf-ruby" {with-test}
"csexp"
"dune" {>= "2.8"}
"dune" {>= "2.9"}
"menhir" {dev}
"ocaml" {>= "4.12" & < "4.13"}
"ocaml" {>= "4.13" & < "4.14"}
"ocamlfind" {>= "1.5.2"}
"result"
"smart-print"
Expand Down
2 changes: 1 addition & 1 deletion dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
(lang dune 2.7)
(lang dune 2.9)
(name coq-of-ocaml)
Loading