Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

Algorithms Library Toolkit Core
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Container Registry
- Model registry
- Service Desk

Snippets Groups Projects

5af261db

Commit 5af261db authored 10 years ago by Jan Trávníček

Downloads
- Plain Diff

Merge branch 'master' into alib2

parents de80a6ab 9d890ee1

No related branches found

No related tags found

Loading

Changes 139

Hide whitespace changes

Inline Side-by-side

Showing

.gitignore 7 additions, 0 deletions

.gitignore
acat/.cproject 0 additions, 142 deletions

acat/.cproject
acat/.project 0 additions, 28 deletions

acat/.project
acat/.settings/org.eclipse.cdt.codan.core.prefs 0 additions, 67 deletions

acat/.settings/org.eclipse.cdt.codan.core.prefs
aconversions/.cproject 0 additions, 147 deletions

aconversions/.cproject
aconversions/.project 0 additions, 27 deletions

aconversions/.project
aconversions/.settings/org.eclipse.cdt.codan.core.prefs 0 additions, 67 deletions

aconversions/.settings/org.eclipse.cdt.codan.core.prefs
aconversions/src/aconversion/ConversionHandler.cpp 11 additions, 11 deletions

aconversions/src/aconversion/ConversionHandler.cpp
aconversions/src/fa2re/AbstractFAtoREConverter.cpp 0 additions, 19 deletions

aconversions/src/fa2re/AbstractFAtoREConverter.cpp
aconversions/src/fa2re/AbstractFAtoREConverter.h 0 additions, 46 deletions

aconversions/src/fa2re/AbstractFAtoREConverter.h
aconversions/src/fa2re/BrzozowskiAlgebraic.cpp 12 additions, 13 deletions

aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
aconversions/src/fa2re/BrzozowskiAlgebraic.h 7 additions, 7 deletions

aconversions/src/fa2re/BrzozowskiAlgebraic.h
aconversions/src/fa2re/StateElimination.cpp 8 additions, 3 deletions

aconversions/src/fa2re/StateElimination.cpp
aconversions/src/fa2re/StateElimination.h 8 additions, 2 deletions

aconversions/src/fa2re/StateElimination.h
aconversions/src/fa2rg/AbstractFAtoRGConverter.cpp 0 additions, 28 deletions

aconversions/src/fa2rg/AbstractFAtoRGConverter.cpp
aconversions/src/fa2rg/AbstractFAtoRGConverter.h 0 additions, 43 deletions

aconversions/src/fa2rg/AbstractFAtoRGConverter.h
aconversions/src/fa2rg/StateNonterminalMap.cpp 0 additions, 45 deletions

aconversions/src/fa2rg/StateNonterminalMap.cpp
aconversions/src/fa2rg/StateNonterminalMap.h 0 additions, 60 deletions

aconversions/src/fa2rg/StateNonterminalMap.h
aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.cpp 0 additions, 20 deletions

aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.cpp
aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.h 0 additions, 40 deletions

aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.h

with 53 additions and 815 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