| summaryrefslogtreecommitdiff |
| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| code-improvements | Seems to work reasonably well. | Nathanael Sensfelder | 9 years | |
| master | Found an issue. | Nathanael Sensfelder | 9 years | |
| Age | Commit message | Author | ||
| 2017-02-13 | Seems to work reasonably well.code-improvements | Nathanael Sensfelder | ||
| 2017-02-09 | It's starting to "properly" reply... | Nathanael Sensfelder | ||
| 2017-02-08 | Changes knowledge structure, defines protocol. | Nathanael Sensfelder | ||
| 2017-02-03 | Continuing Implementation... | Nathanael Sensfelder | ||
| 2017-01-31 | Made Frama-C give up. | Nathanael Sensfelder | ||
| 2017-01-31 | Switched to sockets, continuing implementation... | Nathanael Sensfelder | ||
| 2017-01-29 | Trying out ACSL, continuing implementation. | Nathanael Sensfelder | ||
| 2017-01-20 | Moving towards a server/clients structure. | Nathanael Sensfelder | ||
| 2017-01-18 | Done with 'core', starting to work on 'knowledge'. | Nathanael Sensfelder | ||
| 2017-01-08 | Continuing the 'knowledge' refactoring. | Nathanael Sensfelder | ||
| [...] | ||||