change order of arguments
move template makefile one up
use makefile template from one above
commit first version of Package_Foo with adapted Makefiles
provide first version of Decoder
use predicate NormalBitsequence in PackageFoo
enrich contract of normal_case (not yet provable)
format
Merge branch 'master' into example
minor changes
Merge branch 'refactor' into example
work on specification
use ghost code for more compact name
add package dependent predicates for compact specifications
start with Encoder
put init in separate files
put Decoder into separate files
put encoder into separate file(s)
remove empty lines
fix typo in function name