Information for build klee-2.2-1.fc33
| ID | 1812701 | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | klee | ||||||||||||||||||||||||||||||||
| Version | 2.2 | ||||||||||||||||||||||||||||||||
| Release | 1.fc33 | ||||||||||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/klee.git#4c81b783dbc80601ee6a80ac93cb4fa44d13cf0d | ||||||||||||||||||||||||||||||||
| Summary | Symbolic Execution Engine | ||||||||||||||||||||||||||||||||
| Description | Symbolic virtual machine built on top of the LLVM compiler infrastructure. | ||||||||||||||||||||||||||||||||
| Built by | lzaoral | ||||||||||||||||||||||||||||||||
| State | complete | ||||||||||||||||||||||||||||||||
| Volume | DEFAULT | ||||||||||||||||||||||||||||||||
| Started | Mon, 02 Aug 2021 15:36:50 UTC | ||||||||||||||||||||||||||||||||
| Completed | Mon, 02 Aug 2021 15:47:31 UTC | ||||||||||||||||||||||||||||||||
| Task | build (f33-candidate, /rpms/klee.git:4c81b783dbc80601ee6a80ac93cb4fa44d13cf0d) | ||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/klee.git#4c81b783dbc80601ee6a80ac93cb4fa44d13cf0d'}} | ||||||||||||||||||||||||||||||||
| Tags |
|
||||||||||||||||||||||||||||||||
| RPMs |
|
||||||||||||||||||||||||||||||||
| Logs | |||||||||||||||||||||||||||||||||
| Changelog | * Thu Jul 15 2021 Lukas Zaoral <lzaoral@redhat.com> - 2.2-1 - First release |
