added color banner

fblanqui · Jan 26, 2016 · 13de446 · 13de446
1 parent 63bba47
commit 13de446
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 1 deletion.
diff --git a/stat_time b/stat_time
@@ -1,5 +1,10 @@
 #!/bin/sh
 
+# CoLoR, a Coq library on rewriting and termination.
+# See the COPYRIGHTS and LICENSE files.
+#
+# - Frederic Blanqui, 2015-03-19
+
 output=stat_time.log
 
 echo generate $output ...

diff --git a/stat_time.awk b/stat_time.awk
@@ -1,3 +1,8 @@
+# CoLoR, a Coq library on rewriting and termination.
+# See the COPYRIGHTS and LICENSE files.
+#
+# - Frederic Blanqui, 2015-03-19
+
 {if($2>10){subtotal+=$2;subnb++;print}}
 {total+=$2;nb++;if($2>maxval){maxval=$2;maxfile=$1}}
-END{printf"files: %d, time: %ds, mean: %.2fs\nmax: %.2fs (%s)\nfiles>10s: %d (%d%%), time: %ds (%d%%)\n",nb,total,total/nb,maxval,maxfile,subnb,100*subnb/nb,subtotal,100*subtotal/total}
+END{printf"files: %d, time: %ds, mean: %.2fs\nmax: %.2fs (%s)\nfiles>10s: %d (%d%%), time: %ds (%d%%)\n",nb,total,total/nb,maxval,maxfile,subnb,100*subnb/nb,subtotal,100*subtotal/total}
diff --git a/time_coqc b/time_coqc
@@ -1,5 +1,10 @@
 #!/bin/sh
 
+# CoLoR, a Coq library on rewriting and termination.
+# See the COPYRIGHTS and LICENSE files.
+#
+# - Frederic Blanqui, 2015-03-19
+
 args=$*
 n=$#
 shift `expr $n - 1`