Initial commit
Deleted bin folder
Added simple id type
more example files added
first saml protocol example
Test change
simpleprotocol now compiles
variuos pointless updates
readme and setenv added
pointles readme update
added a simple F# protocol implementation
FStar client protocol that compiles
forst draft of the basic protocol implementation in F*, still no attacker and lots to do on naming and readability
restructuring of files and modules and added a main method
Started to change to simpler message sigmarures
Sp update
Compiles again aftes restructoring
Alternate controll flow added
commit before restructoring
Solution restructured