| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-02-13 | Seems to work reasonably well.code-improvements | Nathanael Sensfelder | |
| 2017-02-09 | It's starting to "properly" reply... | Nathanael Sensfelder | |
| The ACSL coverage is far behind though. | |||
| 2017-02-03 | Continuing Implementation... | Nathanael Sensfelder | |
| 2017-01-31 | Made Frama-C give up. | Nathanael Sensfelder | |
| It validates (*sequence_length == (\old(*sequence_length) + 1)) regardless of the addition of an "*sequence_length -= 1;" in the code. | |||
| 2017-01-29 | Trying out ACSL, continuing implementation. | Nathanael Sensfelder | |