Age | Commit message (Expand) | Author |
---|---|---|
2015-06-11 | Report command lists more nicely (line breaks between commands); report numbe... | Carlo Zancanaro |
2015-06-09 | A few changes, as suggested by static analysis | Carlo Zancanaro |
2015-06-09 | Add an ObjectGenerator<>, and related machinery (also a mapOf generator) | Carlo Zancanaro |
2015-06-06 | Lots of work on the stateful checking stuff: it's a fair bit nicer now | Carlo Zancanaro |
2015-06-05 | More work on the stateful checker; still not perfect, but it's getting better | Carlo Zancanaro |