summaryrefslogtreecommitdiff
path: root/src/parameters/parameters.c
AgeCommit message (Collapse)Author
2017-02-08Changes knowledge structure, defines protocol.Nathanael Sensfelder
2017-01-29Trying out ACSL, continuing implementation.Nathanael Sensfelder