February 10-15, Hagenberg, Austria
March 19-21, Madrid, Spain
April 1-4, Bristol, UK
June 16-21, Sofia, Bulgaria
By pkeir | Nov 16, 2020 11:05 AM | Tags: None
What next?
C++20 Compile-time Metamath Proof Verification using C'est
by Paul Keir
From the article:
This post introduces C'est, a non-standard version of the C++20 standard library, with enhanced support for compile-time evaluation. The C'est library is also shown applied to the porting of an existing C++ Metamath database verifier for compile-time execution.
By Ansel Sermersheim | Nov 16, 2020 11:05 AM | Tags: None
New video on the CopperSpice YouTube Channel:
What is Initialization
by Barbara Geller and Ansel Sermersheim
About the video:
In this video we look at some of the ways that variables are initialized in C++. We cover the various forms of initialization, the syntax used to specify them, and some of the corner cases that can occur. We also talk about the difference between initialization and initializers, and why being able to recognize an initializer is important for writing correct code.
Please take a look and remember to subscribe!
By Andrey Karpov | Nov 11, 2020 10:59 AM | Tags: sarif pvs-studio owasp devsecops autosar
We develop PVS-Studio not only as a classic code analyzer, but also in the direction of Security and Safety. In this regard, we've started working on the support of the OWASP and AUTOSAR C++14 standards. To facilitate PVS-Studio integration into other code quality control tools, we supported analyzer results conversion to the SARIF format.
PVS-Studio 7.10 Release: OWASP, AUTOSAR, SARIF
by Andrey Karpov
From the article:
Utilities for converting PVS-Studio analysis results (PlogConverter.exe for Windows and plog-converter for Linux\macOS) now support conversion to SARIF (Static Analysis Results Interchange Format). SARIF is a universal open format for presenting the results of tools that search for errors, safety and security defects. This format is supported by many static analyzers and allows you to combine various code quality control tools in a single ecosystem.
By Adrien Hamelin | Nov 9, 2020 12:39 PM | Tags: community
Are you using it?
CLion 2020.3 EAP: Postmortem Debug With a Core File
by Anastasia Kazakova
From the article:
In the previous 2020.3 EAP build we were focused on giving run/debug configurations and CMake profiles more flexibility in CLion, and at the same time we introduced a bundled tool for collaborative development and pair programming. In this EAP update we are adding one of the most long-awaited features in debugger – postmortem debug with a core file!
By Adrien Hamelin | Nov 9, 2020 12:36 PM | Tags: c++20
Are you waiting for it?
C++20 Modules Compiler Code Under Review, Could Still Land For GCC 11
by Michael Larabel
From the article:
With C++20 one of the major features added is that of modules as a modern alternative to that of conventional C++ header files for packages. The C++20 modules code for the GNU Compiler Collection that has been in the works for several years is now under review and could potentially still land for the GCC 11 release next year...
By Adrien Hamelin | Nov 9, 2020 12:35 PM | Tags: c++20
Will you use it?
Calendar and Time-Zones in C++20: Calendar Dates
by Rainer Grimm
From the article:
A new type of the chrono extension in C++20 is a calendar date. C++20 offers various ways to create a calendar date and interact with them...
By Meeting C++ | Nov 5, 2020 03:32 AM | Tags: performance meetingcpp experimental efficiency community basics advanced
Taking a look at next weeks keynote by Teresa Johnson
Teresa Johnsons Center Keynote: ThinLTO Whole Program Optimization: Past, Present and Future
by Jens Weller
From the article:
Whole program optimization enables higher performance in C++ applications, because of the expanded scope for analysis and optimization. Traditionally, whole program optimization is not scalable in memory or time, and doesn't support effective incremental builds. ThinLTO (Thin Link Time Optimization) is a new compilation model that...
By Daniel G Vergel | Nov 3, 2020 11:19 AM | Tags: c++20
This post revisits the well-known Insertion Sort algorithm as a way to learn and practice several new C++20 features such as concepts, ranges, and projections.
Programming with C++20's Concepts
by Daniel G Vergel
About the article
The article, written in Spanish, follows very closely the way I introduce these topics to my Computer Engineering students at the European University (Madrid, Spain). As previous posts, it tries to mitigate the lack of educational materials on modern C++ currently available in my native language. Code examples are nevertheless self-explanatory and may be of interest to non-Spanish readers as well.
By Meeting C++ | Nov 3, 2020 07:33 AM | Tags: performance meetingcpp intermediate experimental efficiency community c++17 c++14 basics advanced
Looking at how next weeks Meeting C++ 2020 will be online
A look at next weeks Meeting C++ 2020 online conference
by Jens Weller
From the article:
First, Meeting C++ 2020 is an online conference, the planned onsite part is canceled. More about this in the last paragraph, as first, lets look whats happening next week!
The online part
Next weeks conference will consist of two tracks hosted in remo, one for talks and one for communication/networking/live video chat...