| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-04-10 | 0.19.2 | rnbguy | |
| 2024-04-01 | 0.19.1 | rnbguy | |
| 2024-03-26 | 0.19.0 | rnbguy | |
| 2024-02-09 | 0.18.3 | rnbguy | |
| 2024-01-26 | 0.18.2 | rnbguy | |
| 2024-01-17 | 0.18.1 | rnbguy | |
| 2024-01-04 | 0.18.0 | rnbguy | |
| 2023-12-06 | 0.17.1 | rnbguy | |
| 2023-12-04 | 0.17.0 | rnbguy | |
| 2023-11-21 | 0.16.0 | rnbguy | |
| 2023-11-09 | 0.15.0 | rnbguy | |
| 2023-10-02 | 0.14.4 | rnbguy | |
| 2023-09-20 | 0.14.3 | rnbguy | |
| 2023-09-07 | 0.14.2 | rnbguy | |
| 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 | |
| Change-Id: I221489fc5f422dff57a616bc285bbb6e51b7cae0 | |||
| 2017-06-12 | Clean up quint packaging | Donald Carr | |
| Change-Id: I4c5162645ab043579314f4eb985f066e7602837c | |||
| 2016-08-11 | Adjust info | Donald Carr | |
| Change-Id: I0b071ee4aef1e42309b860a6cfa7001369c322a2 | |||
| 2016-02-26 | Fix various oversights | Donald Carr | |
| Change-Id: Icd1af5a90ffc2b22a76e503e733e7d6d3d37aff1 | |||
| 2016-02-26 | Initial commit of quint | Donald Carr | |
| Change-Id: I2c9e68f32dd3f8469d63f871431b69a379c00edc | |||