| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-02-11 | pkgver cbmc-git 5.11.r1339.gabbb38942 pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2018-09-20 | 5.10.r572.gf9a09d876 pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2018-07-01 | 5.8.r4266.g6fd77f4ad pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2017-12-01 | cbmc.5.8.r2000.994037085 pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2016-12-11 | cbmc.5.5.r387.5ec88cd pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2016-09-04 | version cbmc.5.5.r81.8f47419 pkgrel 1 | PythonShell | |
| CBMC source code moved to github, build steps changed. First commit for git repo build for cbmc. Signed-off-by: PythonShell <pythonshell@yeah.net> | |||