Anders
Getting started with alchemist (which is awesome!), all the commands are kind of overwhelming. Especially if you are new to Elixir. I'm unsure when to re-compile with mix after I've...
If importing keys from a card with 4k, not all keys get transfered to the keys variable.
Implement a format command that will set a specific UID, set the keys currently in keys state, set sane ACL and clear all other data
Add functions to verify and compute the check byte. This is particularly useful with the pirate cards.
Review the parser code, dictionary and spec, from a security perspective. Make sure there are no memory corruption bugs, etc..
Introduce the value type and the address type into the language. Make it possible to use the address to define type offsets.
Introduce support for defining constant values in the specification language. These could be used in assignment operations if spec path assignment has been implemented.
Add support for setting data using the path syntax. E.g. .sector0.header.uid = 123
Show a warning if the specification does not define 4k of data. The last is unused, but this might not be intended. Use an anonymous filler instead.
Recursive definitions, either directly or in cycles, are not valid and will not work. Show error and bail out of parsing.