From 14c854543b1a3cf344a371a5b45595657f95786b Mon Sep 17 00:00:00 2001 From: leochanj105 Date: Tue, 26 Oct 2021 13:22:32 -0400 Subject: add deadlines and costs --- all_pairs/source/petrinet/ChangeLog.txt | 63 --------------------------------- 1 file changed, 63 deletions(-) delete mode 100644 all_pairs/source/petrinet/ChangeLog.txt (limited to 'all_pairs/source/petrinet/ChangeLog.txt') diff --git a/all_pairs/source/petrinet/ChangeLog.txt b/all_pairs/source/petrinet/ChangeLog.txt deleted file mode 100644 index 3a02ec7..0000000 --- a/all_pairs/source/petrinet/ChangeLog.txt +++ /dev/null @@ -1,63 +0,0 @@ -File: petrinet.c -Original provenience: Mälardalen benchmark suite, -http://www.mrtc.mdh.se/projects/wcet/wcet_bench/nsichneu/nsichneu.c - -2016-02-02: -- Added generic TACLeBench header. -- Removed old file header (keep some information in TACLeBench - header). -- Renamed global variables: - - main_iters_dummy_i -> petrinet_main_iters_dummy_i - - main_min_dummy_i -> petrinet_main_min_dummy_i - - main_max_dummy_i -> petrinet_main_max_dummy_i - - P1_is_marked -> petrinet_P1_is_marked - - P1_marking_member_0 -> petrinet_P1_marking_member_0 - - P2_is_marked -> petrinet_P2_is_marked - - P2_marking_member_0 -> petrinet_P2_marking_member_0 - - P3_is_marked -> petrinet_P3_is_marked - - P3_marking_member_0 -> petrinet_P3_marking_member_0 -- Renamed main function to petrinet_main, set as entrypoint. -- Implemented new function main according to TACLeBench guidelines. -- Implemented function petrinet_return, calculates checksum over - petrinet_P3_marking_member_0. -- Applied code formatting according to the following rules - - Lines shall not be wider than 80 characters; whenever possible, appropriate - line breaks shall be inserted to keep lines below 80 characters - - Indentation is done using whitespaces only, no tabs. Code is indented by - two whitespaces - - Two empty lines are put between any two functions - - In non-empty lists or index expressions, opening '(' and '[' are followed by - one whitespace, closing ')' and ']' are preceded by one whitespace - - In comma- or colon-separated argument lists, one whitespace is put after - each comma/colon - - Names of functions and global variables all start with a benchmark-specific - prefix (here: bs_) followed by lowercase letter (e.g., bs_square) - - For pointer types, one whitespace is put before the '*' - - Operators within expressions shall be preceded and followed by one - whitespace - - Code of then- and else-parts of if-then-else statements shall be put in - separate lines, not in the same lines as the if-condition or the keyword - "else" - - Opening braces '{' denoting the beginning of code for some if-else or loop - body shall be put at the end of the same line where the keywords "if", - "else", "for", "while" etc. occur - - In non-empty lists or index expressions, opening '(' and '[' are followed by - one whitespace, closing ')' and ']' are preceded by one whitespace - - Operators within expressions shall be preceded and followed by one - whitespace - -2016-04-05: -- Return '0' on success - -2016-04-06: -- Fixed generation of return value - -2016-06-01: -- Changed all prefixes to lower-case - -2016-06-08: -- Prefix -- removed return from petrinet_main - -2016-06-13: -- introduced function petrinet_init -- cgit v1.2.2