aboutsummaryrefslogtreecommitdiffstats
path: root/test/coverage
Commit message (Expand)AuthorAgeFilesLines
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@4995 35acf78f-673a-0410...gdisirio2012-12-301-0/+7
* Fixed bug 3522301.gdisirio2012-04-302-2/+6
* Fixed bug 3510812.gdisirio2012-04-012-2/+2
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3879 35acf78f-673a-0410...gdisirio2012-01-262-2/+2
* License text updated with new year.gdisirio2012-01-213-3/+3
* Updated all halconf.h files.gdisirio2012-01-091-0/+7
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3439 35acf78f-673a-0410...gdisirio2011-10-081-0/+7
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3313 35acf78f-673a-0410...gdisirio2011-09-121-4/+1
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3312 35acf78f-673a-0410...gdisirio2011-09-121-8/+14
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3226 35acf78f-673a-0410...gdisirio2011-08-131-0/+11
* Implemented system state checker debug option, remove the option CH_USE_NESTE...gdisirio2011-08-111-20/+41
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2980 35acf78f-673a-0410...gdisirio2011-05-191-3/+3
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2974 35acf78f-673a-0410...gdisirio2011-05-191-1/+0
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2971 35acf78f-673a-0410...gdisirio2011-05-181-20/+0
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2956 35acf78f-673a-0410...gdisirio2011-05-141-1/+1
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2955 35acf78f-673a-0410...gdisirio2011-05-141-1/+1
* Updated HAL configuration files with SDC driver settings.gdisirio2011-05-141-0/+30
* Customer CR.gdisirio2011-05-131-0/+17
* All halcof.h files updated for the SDC driver.gdisirio2011-05-081-0/+7
* Updated all the HAL configuration files.gdisirio2011-04-231-0/+7
* License updated.gdisirio2011-03-183-3/+6
* Updated the various halconf.h and mcuconf.h with the GPT settings.gdisirio2011-02-281-0/+7
* Modified all the halconf.h files to include the USB and Serial over USB drivers.gdisirio2011-02-201-0/+14
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2507 35acf78f-673a-0410...gdisirio2010-12-191-2/+2
* Coverage tool updated.gdisirio2010-12-193-25/+12
* Fixed typo in configuration files.gdisirio2010-12-021-1/+1
* Fixed a misplaced comment in all the halconf.h files.gdisirio2010-11-201-4/+0
* Fixed bug 3100946, renamed HAL switches removing the CH_ part.gdisirio2010-11-011-71/+161
* Reverted name change for macro THREAD_EXT_FIELDS.gdisirio2010-09-271-3/+3
* Fixed bug 3064204.gdisirio2010-09-111-0/+10
* Added new kernel hooks (on halt and on systick).gdisirio2010-08-211-13/+33
* Updated all the halconf.h files in the tree.gdisirio2010-07-241-0/+11
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1997 35acf78f-673a-0410...gdisirio2010-06-041-0/+4
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1755 35acf78f-673a-0410...gdisirio2010-03-191-103/+112
* Updated license dates.gdisirio2010-02-214-9/+9
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1563 35acf78f-673a-0410...gdisirio2010-02-031-0/+10
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1495 35acf78f-673a-0410...gdisirio2010-01-021-13/+19
* New HAL configuration file ported to all demos.gdisirio2009-12-291-3/+53
* Fixed bug 2921120.gdisirio2009-12-251-1/+1
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1418 35acf78f-673a-0410...gdisirio2009-12-113-115/+2
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1410 35acf78f-673a-0410...gdisirio2009-12-091-1/+1
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1406 35acf78f-673a-0410...gdisirio2009-12-091-6/+2
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1404 35acf78f-673a-0410...gdisirio2009-12-0810-608/+228
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1397 35acf78f-673a-0410...gdisirio2009-12-083-7/+7
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1230 35acf78f-673a-0410...gdisirio2009-10-174-2/+8
* Coverage for the new modules.gdisirio2009-10-171-84/+170
* Improved makefiles.gdisirio2009-09-191-4/+5
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1163 35acf78f-673a-0410...gdisirio2009-09-131-2/+2
* Updated the coverage tool.gdisirio2009-08-307-94/+251
* git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1073 35acf78f-673a-0410...gdisirio2009-08-161-5/+7
umber and a column number. type Location_Type is new Nat32; for Location_Type'Size use 32; Location_Nil : constant Location_Type := 0; No_Location : constant Location_Type := 0; -- Type of a file buffer. type File_Buffer is array (Source_Ptr range <>) of Character; type File_Buffer_Acc is access File_Buffer; -- PSL Node. type PSL_Node is new Int32; -- PSL NFA type PSL_NFA is new Int32; -- Indentation. -- This is used by all packages that display vhdl code or informations. Indentation : constant := 2; -- String representing a date/time (format is YYYYMMDDHHmmSS.sss). subtype Time_Stamp_String is String (1 .. 18); type Time_Stamp_Id is new String8_Id; Null_Time_Stamp : constant Time_Stamp_Id := 0; -- In order to detect file changes, a checksum of the content is computed. -- Currently SHA1 is used, but the cryptographic aspect is not a strong -- requirement. type File_Checksum_Id is new String8_Id; No_File_Checksum_Id : constant File_Checksum_Id := 0; -- String image of a File_Hash_Id. SHA1 digests are 5 * 32 bytes long, so -- the hexadecimal image is 40 characters. subtype File_Checksum_String is String (1 .. 40); -- Self-explaining: raised when an internal error (such as consistency) -- is detected. Internal_Error: exception; -- In some case, a low level subprogram can't handle error -- (e.g eval_pos). In this case it is easier to raise an exception and -- let upper level subprograms handle the case. Node_Error : exception; -- Result of a comparaison of two numeric values. type Order_Type is (Less, Equal, Greater); end Types;