File: Changelog

package info (click to toggle)
bmt 0.6-1
  • links: PTS
  • area: main
  • in suites:
  • size: 324 kB
  • sloc: perl: 1,711; sh: 828; makefile: 90
file content (115 lines) | stat: -rw-r--r-- 4,714 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
2015-05-25  Michael Tautschnig  <mt@debian.org>

	* make_graph.pl: Reduce restrictions on data input
	* VERSION: Release 0.6

2013-08-09  Michael Tautschnig  <mt@debian.org>

	* unpack.sh: Fix for newer versions of patch
	* parse-cseq.pl: Added script to parse CSeq's output

2013-01-13  Michael Tautschnig  <mt@debian.org>

	* parse-cbmc.pl: Improved concurrency statistics parsing
	* parse-cseq.pl: Added script to parse CSeq's output

2013-01-12  Michael Tautschnig  <mt@debian.org>

	* make_graph.pl, make_piechart.pl: Fixed bugs in non-xkcd output, improved
		portability of xkcd output
	* parse-cbmc.pl: Improved and updated concurrency statistics parsing

2012-10-19  Michael Tautschnig  <mt@debian.org>

	* make_graph.pl, make_piechart.pl: Added option -X to format graphs in xkcd
		style

2012-07-30  Michael Tautschnig  <michael.tautschnig@cs.ox.ac.uk>

	* parse-{llbmc,esbmc,mmchecker,poirot,threader,blender,astree}.pl: New result
		parsers for LLBMC/ESBMC/MMchecker/Poirot/Threader/Blender/Astree
	* parse-{checkfence,bfc,satabs2}.pl: New result parsers for
		CheckFence/BFC/CImpact
	* parse-cbmc.pl: Support statistics for concurrent programs
	* parse-satabs.pl: Additional statistics for symmetry-aware verification
	* make_piechart.pl: New subcommand snd-graph to build soundness graphs
	* cpbm: Document new subcommands, new graph styles
	* verify.sh: Fixed claim and timeout handling, more version checks supported
	* make_web.pl: New options -z, -h, -n
	* make_csv.pl: More flexibility in log file name parsing, minor fixes, sort
		columns
	* make_graph.pl: Rewrite to use LaTeX/TikZ instead of GNUplot for graph
		output, added cactus plot support
	* make_jtl.pl: Generate JMeter XML output from CSV, new subcommand jtl
	* VERSION: Release 0.5

2011-04-07  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* README: Clarification of description and formatting

2011-03-31  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* verify.sh: Proper check for executable
	* verify.sh, make_csv.pl: Support for Mac OS X, mingw32 and cygwin
	* README: Updated (future) home URL
	* parse-ai.pl: New results parser for CPROVER ai tool
	* unpack.sh, update.sh: Exit with proper error message if source archive
		contains extra files
	* parse-*.pl: Set default result to ERROR
	* VERSION: Release 0.4

2011-03-28  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* parse-rr-aa.pl: Collect instruction counts
	* cil_wrapper.sh: Added option --no-simplify
	* VERSION: Release 0.3

2011-03-23  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* cil_wrapper.sh: Properly handle single source file case
	* rules.cpbm.generic: Force SHELL to /bin/bash to support trap ERR

2011-03-21  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* README: Document new web target
	* parse-rr-aa.pl: Include time of "repair iterations" in output

2011-03-19  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* make_web.pl, cpbm, rules.cpbm.generic: Added command to generate an HTML
	table and collect the log files for web publication
	* VERSION: Release 0.2

2011-03-18  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* parse-{cbmc,satabs,loopfrog,wolverine,scratch}.pl: Move previous
	parse-cprover.pl to one parser per tool, currently all sharing the same code;
	removed executable flag from all parse-*.pl scriptlets
	* rules.template, rules.cpbm.generic: Moved all generally useful rules to
	rules.cpbm.generic that is called from default rules file; all targets may be
	overridden; added more comments
	* make_csv.pl: Print benchmark result lines sorted by file name; benchmark
	name is without file suffix and claim name is omitted if ALL_CLAIMS; default
	Result value to ERROR
	* make_table.pl: Escape _ in LaTeX output of values, print floating point
	numbers with rounding to three digits, make columns suitable and fixed width,
	beautify headers using multicolumn

2011-03-17  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* verify.sh: Ignore errors from $TOOL --version; check for executability
	* make_csv.pl: Use cprover/ as primary search path for log parser snippet;
	support all [a-z]+ filename suffixes; print the file name being processed to
	stderr
	* unpack.sh, update.sh: Support plain tar archives
	* README: Documented parser lookup in make_csv.pl
	* cil_wrapper.sh: Use hardly documented CILLY_DONT_LINK_AFTER_MERGE to stop
	cilly from running the linker
	* parse-rr-aa.pl: Added parser for experiments using LLVM and an
	implementation of Rugina and Rinard's pointer analysis
	* cpbm: Added --help, --version, home options

2011-03-14  Michael Tautschnig  <michael.tautschnig@comlab.ox.ac.uk>

	* Initial release.