1
I Use This!
Inactive

Commits : Listings

Analyzed about 21 hours ago. based on code collected 1 day ago.
Apr 17, 2023 — Apr 17, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
tests: added better precondition for Option_Image for Vertical_Pad_Data More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Horizontal_Pad_Data More... over 2 years ago
tests: added better precondition for Option_Image for Horizontal_Pad_Data More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Justify_Type More... over 2 years ago
tests: added better precondition for Option_Image for Justify_Type More... over 2 years ago
fix: converting Pixel_Data option to string More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Place_Type More... over 2 years ago
tests: added better precondition for Option_Image for Place_Type More... over 2 years ago
tests: added global condition for some Option_Image subprograms More... over 2 years ago
refactor: check if value to convert isn't default before any other checks More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Directions_Type More... over 2 years ago
tests: added better precondition for Option_Image for Directions_Type More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for State_Type More... over 2 years ago
tests: added better precondition for Option_Image for State_Type More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Relief_Type More... over 2 years ago
tests: added better precondition for Option_Image for Relief_Type More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Pixel_Data More... over 2 years ago
tests: added better precondition for Option_Image for Pixel_Data More... over 2 years ago
fix: added checks for valid Name and length for Option_Image for Extended_Natural More... over 2 years ago
tests: added better precondition for Option_Image for Extended_Natural More... over 2 years ago
feat: added better checks for correctness of Option_Image for Tcl_String More... over 2 years ago
tests: added better precondition for Option_Image for Tcl_String More... over 2 years ago
tests: changed precondition check for Option_Image procedures for better check for Name parameter More... over 2 years ago
tests: updated unit tests More... over 2 years ago
refactor: changed type of Name for Option_Image to Variable_Name More... over 2 years ago
tests: updated unit tests More... over 2 years ago
tests: added precondition for Widget_Array_Image function More... over 2 years ago
tests: removed pragma Annotate from subprograms More... over 2 years ago
tests: use Z3 theore prover as default for GitHub workflow More... over 2 years ago
tests: use Z3 theore prover as default More... over 2 years ago