T

Tashy2

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed about 23 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 23, 2023 — Apr 23, 2024 Showing page 6 of 76 Search / Filter on:
feat: better check for correctness of Command_Name in Execute_Widget_Command	thindil	More...				over 2 years ago
tests: added pragma Annotate for justify gnatprove proofs	thindil	More...				over 2 years ago
feat: better check for correctness of returned value for Tk_Path_Name	thindil	More...				over 2 years ago
tests: added precondition check for Command_Name to Execute_Widget_Command	thindil	More...				over 2 years ago
tests: added pragma Annotate for justify gnatprove proofs	thindil	More...				over 2 years ago
feat: better check for correctness of arguments for Option_Value	thindil	More...				over 2 years ago
feat: better check for correctness of returned value for Option_Value	thindil	More...				over 2 years ago
feat: added check for valid command name to Execute_Widgeg_Command	thindil	More...				over 2 years ago
tests: updated unit tests	thindil	More...				over 2 years ago
refactor: changed type of Command_Name for Execute_Widget_Command subprograms from String to Variable_Name	thindil	More...				over 2 years ago
feat: added check for length of Tcl command in Execete_Widget_Command	thindil	More...				over 2 years ago
tests: added better precondition for Execute_Widget_Command subprograms	thindil	More...				over 2 years ago
tests: added Global contract to Execute_Widget_Command subprograms	thindil	More...				over 2 years ago
fix: added checks for empty command name and Null_Widget to Execute_Widget_Command procedure	thindil	More...				over 2 years ago
fix: added checks for empty command name and Null_Widget to Execute_Widget_Command	thindil	More...				over 2 years ago
fix: added checks for empty command name and Null_Widget to Execute_Widget_Command	thindil	More...				over 2 years ago
style: code formatting	thindil	More...				over 2 years ago
fix: better check for Pixel_Data value to convert from String	thindil	More...				over 2 years ago
fix: exit Set_Widgets_Array_Loop condition check	thindil	More...				over 2 years ago
fix: return empty string when all widgets in Widget_Array are Null_Widgets	thindil	More...				over 2 years ago
tests: removed Loop_Invariant from Widgets_Array_Image	thindil	More...				over 2 years ago
feat: limit amount of widgets in Widgets_Array to Max_Length_Type	thindil	More...				over 2 years ago
refactor: updated Tk_Path_String to use Max_Length_Type	thindil	More...				over 2 years ago
feat: added type for maximum length of names and some arrays	thindil	More...				over 2 years ago
tests: added Loop_Invariant pragma to Widget_Array_Image	thindil	More...				over 2 years ago
fix: some problems reported by gnatprove	thindil	More...				over 2 years ago
tests: added Global contract to Widgets_Array_Image	thindil	More...				over 2 years ago
fix: some problems reported by gnatprove	thindil	More...				over 2 years ago
feat: added check for correctness of Format argument	thindil	More...				over 2 years ago
style: fixed some AdaControl errors	thindil	More...				over 2 years ago

←
1
2
3
4
5
6
7
8
9
10
…
75
76
→