Age | Commit message (Expand) | Author |
---|---|---|
2023-08-28 | 0.14.1 | rnbguy |
2023-08-26 | 0.14.0 | rnbguy |
2023-08-16 | 0.13.0 | rnbguy |
2023-07-17 | v0.12.0 | Ranadeep Biswas |
2023-06-29 | v0.11.4 | Ranadeep Biswas |
2023-06-26 | v0.11.3 | Ranadeep Biswas |
2023-06-22 | v0.11.2 | Ranadeep Biswas |
2023-06-08 | v0.11.1 | Ranadeep Biswas |
2023-05-16 | v0.10.0 | Ranadeep Biswas |
2023-04-05 | v0.9.1 | Ranadeep Biswas |
2023-04-05 | quint specification language v0.9.0 | Ranadeep Biswas |
2017-06-14 | Move to tagged based versioning | Donald Carr |
2017-06-12 | Clean up quint packaging | Donald Carr |
2016-08-11 | Adjust info | Donald Carr |
2016-02-26 | Fix various oversights | Donald Carr |
2016-02-26 | Initial commit of quint | Donald Carr |