start
basic speck file generation without rounds
started adding round function
added speck/simon
updated for min weight search
update for simon
started refactoring
refactoring
bug in stp file
fixed bug
added sha-1 preimage search
backup for output files
added search for iterative characteristics
started parsing the stp output
added computation of differential probability with incremental sat solver search
fixed a lot of bugs in search
started refactoring, unstable at the moment
continued refactoring
more refactoring
more refactoring