-
updated
-
- Merged
- Approved
updated -
- Merged
-
- 45
- Approved
updated -
- Merged
- 7
updated -
- Merged
-
- 2
updated -
Allows sub-namespace in `for in` 0 of 2 checklist items completed!423
- Merged
-
- 12
- Approved
updated -
!422
- Merged
-
- 1
- Approved
updated -
updated
-
- Merged
- 3
updated -
updated
-
!402
- Merged
-
- 3
updated -
Remove builtin values in why3.conf 5 of 5 checklist items completed!7 1.3.0
- Merged
-
- 29
updated -
- Merged
- 23
updated -
updated
-
- Merged
- 4
updated -
- Merged
- 1
updated -
- Merged
- 2
updated -
- Merged
- 3
- Approved
updated