Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

M

mockup-generator
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

1ccbf338

Commit 1ccbf338 authored Feb 15, 2017 by Hans-Peter Deifel

Downloads
- Patches
- Plain Diff

Convert Search module to fgl graphs

This will allow for easier comparison between graphs

parent 93df73e7

No related branches found

No related tags found

No related merge requests found

Changes 7

Show whitespace changes

Inline Side-by-side

Showing

osek-verification.cabal 4 additions, 0 deletions

osek-verification.cabal
src/Compare/Types.hs 27 additions, 0 deletions

src/Compare/Types.hs
src/Search/Dot.hs 35 additions, 0 deletions

src/Search/Dot.hs
src/Search/EpsilonElimination.hs 56 additions, 65 deletions

src/Search/EpsilonElimination.hs
src/Search/Search.hs 75 additions, 69 deletions

src/Search/Search.hs
src/Search/Types.hs 20 additions, 13 deletions

src/Search/Types.hs
test/Search/EpsilonEliminationSpec.hs 253 additions, 158 deletions

test/Search/EpsilonEliminationSpec.hs

with 470 additions and 305 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