openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
T
Tashy2
Settings
|
Report Duplicate
1
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 10 hours
ago. based on code collected
about 20 hours
ago.
May 14, 2023 — May 14, 2024
Showing page 6 of 76
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
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
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree