Spin off from KOA
(1) Snapshot of work-in-progress (2) Simplify and consolidate; remove legacy code and KOA dependencies
Cleanup
Java and JML refactorings
High level security requirements for voter authentication and privacy.
(1) Snapshot of work-in-progress (2) Further JML refactoring
Snapshot of work-in-progress
Removal of coding errors from Candidate class.
Corrected a specification error in the Decision class.
Completion of ElectionParameters.
Completion of ElectionReport.
(1) Snapshot of work-in-progress (2) Added top-level implementation for the count algorithm
Snapshot of work-in-progress
Snapshot of work-in-progress
Snapshot of work-in-progress
(1) Push down the top-level count method and tie in the inner state machine, for Dail ballot counting (2) weaken preconditions where possible (3) snapshot of work in progress
Snapshot of work-in-progress
Suppress unexpected warnings - maybe unsound?
Snapshot of work-in-progress
(1) Snapshot of work-in-progress (2) Implemented getOrder methods