Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

colibrics
- Activity
- Members
- Labels
- Terraform modules
- Model experiments

Snippets Groups Projects

10d1b830

Commit 10d1b830 authored 12 years ago by Frama-CI

Downloads
- Patches
- Plain Diff

[Dimacs] better parser using a real lexer

parent 06208dff

No related branches found

No related tags found

No related merge requests found

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

Makefile 4 additions, 2 deletions

Makefile
benchs/pigeonhole/.gitignore 2 additions, 0 deletions

benchs/pigeonhole/.gitignore
src/cmd/popop_dimacs.ml 10 additions, 0 deletions

src/cmd/popop_dimacs.ml
src/inputlang/altergo/popop_of_altergo.ml 2 additions, 10 deletions

src/inputlang/altergo/popop_of_altergo.ml
src/inputlang/dimacs_cnf/dimacs.mli 27 additions, 0 deletions

src/inputlang/dimacs_cnf/dimacs.mli
src/inputlang/dimacs_cnf/dimacs.mll 125 additions, 0 deletions

src/inputlang/dimacs_cnf/dimacs.mll
src/util/loc.ml 8 additions, 0 deletions

src/util/loc.ml
src/util/loc.mli 2 additions, 0 deletions

src/util/loc.mli
tests/dimacs/sat/par8-1-c.cnf 530 additions, 0 deletions

tests/dimacs/sat/par8-1-c.cnf

with 710 additions and 12 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