| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-12 | Clean up quint packaging | Donald Carr | |
| Change-Id: I4c5162645ab043579314f4eb985f066e7602837c | |||
| 2016-08-11 | Adjust info | Donald Carr | |
| Change-Id: I0b071ee4aef1e42309b860a6cfa7001369c322a2 | |||
| 2016-02-26 | Initial commit of quint | Donald Carr | |
| Change-Id: I2c9e68f32dd3f8469d63f871431b69a379c00edc | |||