Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

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

Snippets Groups Projects

4ecc6dd5

Commit 4ecc6dd5 authored 12 years ago by Frama-CI

Downloads
- Patches
- Plain Diff

[Egraph] Use classes instead of term representant

parent d4de4a07

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

Makefile 6 additions, 2 deletions

Makefile
src/egraph_simple.ml 119 additions, 156 deletions

src/egraph_simple.ml
src/egraph_simple.mli 4 additions, 7 deletions

src/egraph_simple.mli
src/term.ml 182 additions, 56 deletions

src/term.ml
src/term.mli 38 additions, 14 deletions

src/term.mli
src/util/exn_printer.ml 4 additions, 9 deletions

src/util/exn_printer.ml
tests/tests_uf.ml 66 additions, 41 deletions

tests/tests_uf.ml

with 419 additions and 285 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