ada/Http_Cyclone
0
0
Fork 0
mirror of https://github.com/AdaCore/Http_Cyclone.git synced 2026-02-12 13:07:39 -08:00
Code Issues Packages Projects Releases Wiki Activity
151 Commits 2 Branches 0 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Guillaume Cluzel
4a0f31a71b Finish the work with klee to check the possible states that can be reached when a segment is received 2020-07-20 10:09:24 +02:00
Guillaume Cluzel
128ce42904 First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them 2020-07-08 17:18:41 +02:00