Update upstream source from tag 'upstream/1.12.0'
Update to upstream version '1.12.0' with Debian dir 74947bea592b20134bbc66a480eb015e398e9034
No related branches found
No related tags found
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 deletionsCHANGES.md
- Makefile 0 additions, 4 deletionsMakefile
- benchmarks/benchmark.ml 99 additions, 84 deletionsbenchmarks/benchmark.ml
- benchmarks/dune 3 additions, 3 deletionsbenchmarks/dune
- benchmarks/memory.ml 31 additions, 0 deletionsbenchmarks/memory.ml
- default.nix 0 additions, 3 deletionsdefault.nix
- dune 3 additions, 1 deletiondune
- dune-project 3 additions, 1 deletiondune-project
- flake.lock 76 additions, 0 deletionsflake.lock
- flake.nix 32 additions, 0 deletionsflake.nix
- lib/ast.ml 379 additions, 0 deletionslib/ast.ml
- lib/ast.mli 88 additions, 0 deletionslib/ast.mli
- lib/automata.ml 462 additions, 466 deletionslib/automata.ml
- lib/automata.mli 66 additions, 47 deletionslib/automata.mli
Loading
Please register or sign in to comment