|
|
|
|
|
| Tasks |  Slicer | The slicing component in Bandera. | 0 | 0 |
| Counter Example GUI | The Counter Example GUI | 0 | 0 |
| Abstraction | The component that abstracts the application before model checking. | 0 | 0 |
| BIRC | Bandera IR Compiler | 0 | 0 |
| BIR-Backends | BIR based model checkers and the transition systems. | 2 | 0 |
| JPF-Backend | The JPF Backend components and logic. | 0 | 0 |
| Decompiler | The Decompiler that takes BIR and creates Java. | 0 | 0 |
| GUI | The main Graphical User Interface. | 2 | 0 |
| Infrastructure | Includes hardware and software issues. | 0 | 0 |
| BSL | Bandera specification language used for defining assertions and properties. | 0 | 0 |
| Builtin | Our JDK replacement library code (100% Java) | 3 | 0 |
| Miscellaneous | All other tasks that are not assigned to other areas. | 17 | 0 |
| Documentation | Includes tutorials, how-tos, papers, etc. | 25 | 0 |
| Project Management | Project Managment includes releases, policies, procedures, and much more. | 13 | 0 |
| Examples | Examples that can be used with Bandera | 7 | 0 |
| Compiler (JJJC) | The Java-Jimple-Java Compiler (JJJC) | 3 | 0 |
| Website Administration | All tasks and duties related to the administration of the projects page. | 19 | 0 |
| Issues |  Feature Requests | Feature Request Tracking System | 33 | 0 |
| Patches | Patch Tracking System | 2 | 0 |
| Bugs | Bug Tracking System | 226 | 1 |
|
