Commits

Show all
Author Commit Message Labels Comments Date
Iago Abal
Update version number to 0.2.1
Tags
v0.2.1
Iago Abal
Fix copyright notice format
Iago Abal
Fix base package min version: mkTyCon3 was introduced in base 4.4.0.0
Iago Abal
Added tag v0.2.0 for changeset 80745b0a8fe9
Iago Abal
Remove trailing spaces
Tags
v0.2.0
Iago Abal
Update copyright
Iago Abal
Clean up
Iago Abal
Add and_ and or_ functions
Iago Abal
Minor tweaks
Iago Abal
Add fromBool :: Bool -> BV
Iago Abal
Generalize indexing functions to `Integral' types plus a few aliases
Iago Abal
Add "Typeable BV" and "Data BV" instances
Iago Abal
Ignore cabal-dev folder
Iago Abal
University of Minho's copyright (FAVAS project)
Iago Abal
Fix comment
Iago Abal
Fix comment
Iago Abal
Increase version number in Cabal file
Iago Abal
Tweak @@ precondition
Iago Abal
Add extra pretty-printing functions
Iago Abal
Add split, group_ and join operations
Iago Abal
Add fixed-size unsigned and signed inequalities: <, <=, > and >=
Iago Abal
Fix comment
Iago Abal
Added tag v0.1.0 for changeset 5c3ab7f5761c
Iago Abal
Add more definitions, haddock comments, and clean it up
Tags
v0.1.0
Iago Abal
Add .hgignore and ignore dist/
Iago Abal
Very first snapshot