Daniel Marjamäki
2e20ee9e39
set version 2.2.99
2020-10-03 13:54:17 +02:00
Daniel Marjamäki
c373be0b16
2.2: Update versions
2020-10-03 10:47:35 +02:00
Daniel Marjamäki
7ff6d691e2
Manual: Clarify section about inline suppressions. For backwards compatibility we might need to handle a comment after a '{' differently.
2020-10-02 18:18:30 +02:00
Oliver Stöneberg
fb37137216
extended the --clang command-line option so you can specify a custom … ( #2734 )
2020-09-06 07:46:51 +02:00
Daniel Marjamäki
da1de50deb
Clang: The clang parser import should be considered to be an experimental feature for now. There are many problems to solve.
2020-09-04 18:30:29 +02:00
Daniel Marjamäki
acd1e848dd
manual; try to clarify better how variable contracts are used by cppcheck
2020-08-28 19:42:52 +02:00
Daniel Marjamäki
31d7acb99a
manual: markdown fix
2020-08-25 18:16:14 +02:00
Daniel Marjamäki
56f1897961
manual: markdown fix
2020-08-25 18:13:18 +02:00
Daniel Marjamäki
3226fd85ee
manual: Updated documentation for contracts
2020-08-25 18:10:03 +02:00
Daniel Marjamäki
6277eece67
Variable contracts
2020-08-24 20:57:49 +02:00
eivindt
27e40af06c
Add support for comments at end of suppression in suppression files ( #2736 )
2020-08-20 21:49:07 +02:00
Daniel Marjamäki
14dfa035c1
GUI: Try to reuse Qt Assistant to show help
2020-08-01 18:56:37 +02:00
Simon Large
ec99be0332
Create separate scripts for building HTML and PDF documents
...
The PDF build command line is getting very long, and it needs another option. Create separate build scripts for HTML and PDF and just pass in the name of the markdown file.
Adds -V subparagraph to fix a LaTeX error.
Adds fallback font selection to the PDF script.
2020-07-24 18:54:06 +01:00
Simon Large
60362ce8cd
Add styling to PDF manual
...
This uses the xelatex engine and a few style settings to make the PDF manual look more like the HTML manual.
2020-07-23 15:39:23 +01:00
Daniel Marjamäki
f11a089141
help/manual: update explanations about severities
2020-07-23 16:09:24 +02:00
Daniel Marjamäki
0a84a1fad7
GUI: Add help files that replace the gui-manual.md
2020-07-19 21:40:17 +02:00
Daniel Marjamäki
011c5e97f9
gui-manual: Preferences
2020-07-19 08:56:14 +02:00
Daniel Marjamäki
9ec5ae2929
GUI: Started writing a manual
2020-07-18 15:27:46 +02:00
Daniel Marjamäki
c02b39a3ba
Use manual.css in manual
2020-07-15 21:57:49 +02:00
Simon Large
dac72beb9e
manual: add css style sheet
2020-07-15 21:56:27 +02:00
Simon Large
a23d1ca692
manual.md: Reformatting lists
2020-07-15 21:49:25 +02:00
Daniel Marjamäki
57187ef876
ImportProject: Read max template recursion configuration value
2020-06-27 10:34:02 +02:00
Daniel Marjamäki
98bf0d41aa
TemplateSimplifier; Clarify information message when max recursion limit is reached
2020-06-26 12:59:40 +02:00
Daniel Marjamäki
d0b2ddc056
Manual; Tweaked section about template recursion
2020-06-26 12:39:55 +02:00
Daniel Marjamäki
c21b5b1aa4
manual; template recursion
2020-06-24 20:47:12 +02:00
Daniel Marjamäki
fdb8cbdb8c
manual; extend description of --std
2020-06-22 20:10:03 +02:00
orbitcowboy
86e64f6224
Integrated PR #2679 into main
2020-06-15 20:11:20 +02:00
Daniel Marjamäki
33388217a5
new default branch is main
2020-06-15 20:04:57 +02:00
Daniel Marjamäki
dc5e93a103
manual: preprocessor configuration, platform, standard
2020-06-14 17:40:34 +02:00
Daniel Marjamäki
97fd51edd1
Set version to 2.1.99 / 2.2 dev
2020-06-14 07:16:14 +02:00
Daniel Marjamäki
026bbac975
2.1: Set version
2020-06-13 17:04:26 +02:00
Daniel Marjamäki
dc32f428ff
Set Cppcheck version
2020-05-10 11:28:31 +02:00
Daniel Marjamäki
296a0adc97
man/reference-cfg-format.md: Update text about <not-uninit/>. When 'indirect' the indirection will be implicit according to our old rules.
2020-05-09 09:24:44 +02:00
Daniel Marjamäki
2c23a81470
Manual: Improved information about bug hunting
2020-05-08 22:47:27 +02:00
Daniel Marjamäki
32cbbb09ed
cli: publish the --clang option
2020-05-08 20:52:42 +02:00
Daniel Marjamäki
e329169ce5
documentation
2020-05-08 20:15:54 +02:00
Daniel Marjamäki
6f1df50511
Manual: minor tweaks of 'bug hunting' chapter
2020-05-03 17:42:43 +02:00
Daniel Marjamäki
1c6b6dc384
Manual; In bug hunting chapter focus on GUI usage better
2020-04-29 22:27:34 +02:00
Daniel Marjamäki
c60652630f
manual: cleaned up chapter about bug hunting
2020-04-21 08:39:23 +02:00
Daniel Marjamäki
86b707607c
manual: describe bug hunting better
2020-04-20 10:40:39 +02:00
Lukas Grützmacher
095fd2bc62
add command line option to select single project configuration of loaded solution ( #2523 )
...
* add command line option to select single project configuration of loaded solution
* Update cmdlineparser.cpp
* Update manual.md
* fix initialization
2020-04-19 18:19:28 +02:00
Daniel Marjamäki
7f2f7031e1
manual: updated chapter about inline suppressions
2020-02-25 19:59:21 +01:00
fuzzelhjb
fcd5cda97f
Check selected files from project ( #2378 )
2020-01-10 08:57:37 +01:00
Daniel Marjamäki
bf62138237
Verification; Remove VERIFY_UNINIT define, the checking is always compiled from now on
2020-01-09 20:25:52 +01:00
Daniel Marjamäki
9b48802a7f
Verification; Updated manual
2020-01-01 11:31:10 +01:00
Daniel Marjamäki
c6dfec5d5f
Verification; Describe our philosophy in the manual
2020-01-01 09:39:57 +01:00
Daniel Marjamäki
c86a2d6e15
Verification; updated manual
2019-12-31 14:03:12 +01:00
Daniel Marjamäki
270140f1fa
manual; add chapter about verification
2019-12-23 16:34:50 +01:00
Daniel Marjamäki
267bdc0f5f
Manual: -i and --project
2019-12-14 13:05:05 +01:00
Armin Müller
130ebe4b85
Typos found by running "codespell" ( #2380 )
2019-11-19 20:02:24 +01:00
