Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

O

ocaml-re
- Activity
- Members
- Labels
- Wiki
- Environments

Snippets Groups Projects

5d28543a

Commit 5d28543a authored 7 months ago by Stephane Glondu

Downloads
- Patches
- Plain Diff

New upstream version 1.12.0

parent 88687f9a

No related branches found

Tags upstream/1.12.0

No related merge requests found

Changes 93

Expand all Hide whitespace changes

Inline Side-by-side

Showing

.github/dependabot.yml 6 additions, 0 deletions

.github/dependabot.yml
.github/workflows/gh-pages.yml 37 additions, 22 deletions

.github/workflows/gh-pages.yml
.github/workflows/main.yml 14 additions, 20 deletions

.github/workflows/main.yml
.github/workflows/nix.yml 16 additions, 0 deletions

.github/workflows/nix.yml
.ocamlformat 3 additions, 0 deletions

.ocamlformat
.vscode/settings.json 0 additions, 6 deletions

.vscode/settings.json
CHANGES.md 6 additions, 0 deletions

CHANGES.md
Makefile 0 additions, 4 deletions

Makefile
benchmarks/benchmark.ml 99 additions, 84 deletions

benchmarks/benchmark.ml
benchmarks/dune 3 additions, 3 deletions

benchmarks/dune
benchmarks/memory.ml 31 additions, 0 deletions

benchmarks/memory.ml
default.nix 0 additions, 3 deletions

default.nix
dune 3 additions, 1 deletion

dune
dune-project 3 additions, 1 deletion

dune-project
flake.lock 76 additions, 0 deletions

flake.lock
flake.nix 32 additions, 0 deletions

flake.nix
lib/ast.ml 379 additions, 0 deletions

lib/ast.ml
lib/ast.mli 88 additions, 0 deletions

lib/ast.mli
lib/automata.ml 462 additions, 466 deletions

lib/automata.ml
lib/automata.mli 66 additions, 47 deletions

lib/automata.mli

with 1324 additions and 657 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment