https://github.com/aprove-developers/LoAT
| Branch name | Release name | Target | Message | Date |
|---|---|---|---|---|
| refs/tags/termcomp2016 | termcomp2016 | 54fb823 | 24 October 2016, 20:27:26 UTC | |
| refs/tags/lb-journal | lb-journal | 0566b24 | 05 August 2019, 17:26:00 UTC | |
| refs/tags/fmcad19 | fmcad19 | 23c614f | 05 August 2019, 17:05:34 UTC |
