Commits

Author Commit Message Labels Comments Date
David Lazar
Added tag v0.6.1 for changeset 9902904f4b3d
David Lazar
Bump version number.
Tags
v0.6.1
David Lazar
Forgot to include the Language.Maude.Exec.XML module in the .cabal file.
David Lazar
Added tag v0.6.0 for changeset 072bcb8783c1
David Lazar
Major rewrite:
Tags
v0.6.0
David Lazar
Include README.md in source distributions built by Cabal.
David Lazar
Added tag v0.3.0 for changeset 5f667b783609
David Lazar
Bump version number.
Tags
v0.3.0
David Lazar
Update URLs in Cabal file to point to new repository location.
David Lazar
Add support for state-space exploration (search) from within Haskell.
David Lazar
Modify search result parsers to accommodate more Maude output inconsistencies.
David Lazar
Remove trim function since it is no longer used.
David Lazar
Rename MaudeResult to RewriteResult for consistency with the new SearchResult type.
David Lazar
Improve wording in documentation.
David Lazar
Document the parseSearchResults function.
David Lazar
Further improve formatting.
David Lazar
Improve formatting in README.
David Lazar
Add a README.
David Lazar
Move source code into the src directory.
David Lazar
Make the pLine parser return a Text to avoid packing all over.
David Lazar
Take advantage of the new line parser in the MaudeResult parser.
David Lazar
Add a parser for search results.
David Lazar
Bump version number.
David Lazar
Replace the MaudeResult parser with a better Parsec parser.
David Lazar
Added tag v0.2.1 for changeset b88f6373d900
David Lazar
Bump version number.
Tags
v0.2.1
David Lazar
Fix typo causing files to not be loaded properly.
David Lazar
Added tag v0.2.0 for changeset 9059e087ebb1
David Lazar
Bump version number.
Tags
v0.2.0
David Lazar
Use Data.Text instead of String.
  1. Prev
  2. Next