Vector Fabrics' Pareon tool suite helps programmers to find potential parallelism (Pareon Profile) or software bugs (Pareon Verify) in their software. The Pareon tools work by instrumenting source code during compilation and then observing the behaviour at run-time. This is also called "dynamic analysis". By popular request, we created a meta-pareon layer to be used to instrument base libraries and applications in the platform that is built using bitbake.

Setup information

Git repository

https://github.com/vectorfabrics/meta-pareon web repo

Last commit: 1 year, 7 months ago (master branch)

Maintainers

  • Klaas van Gend (entire layer) email
  • Lessandro Mariano (entire layer) email

Dependencies

The meta-pareon layer depends upon:

Recipe name Version Description
helloworld 1.0.0 Minimal Hello world!
helloworld-cpp 1.0.0 Minimal Hello world!
libpareon-profile vfs Pareon Profile shared library
libpareon-verify vfs Pareon Verify shared library
pareon-profile-cross vfs Wrapper script for the Pareon compiler
pareon-verify-cross vfs Wrapper script for the Pareon compiler
Date/time Errors Warnings
Aug. 21, 2017, 4:36 p.m.
Aug. 21, 2017, 1:34 p.m.
Aug. 21, 2017, 10:34 a.m.
Aug. 21, 2017, 7:35 a.m.
Aug. 21, 2017, 4:35 a.m.
Aug. 21, 2017, 1:35 a.m.
Aug. 20, 2017, 10:35 p.m.
Aug. 20, 2017, 7:35 p.m.
Aug. 20, 2017, 4:35 p.m.
Aug. 20, 2017, 1:34 p.m.
Aug. 20, 2017, 10:35 a.m.
Aug. 20, 2017, 7:35 a.m.
Aug. 20, 2017, 4:35 a.m.
Aug. 20, 2017, 1:34 a.m.
Aug. 19, 2017, 10:35 p.m.
Aug. 19, 2017, 7:34 p.m.
Aug. 19, 2017, 4:35 p.m.
Aug. 19, 2017, 1:35 p.m.
Aug. 19, 2017, 10:35 a.m.
Aug. 19, 2017, 7:35 a.m.
Aug. 19, 2017, 4:36 a.m.
Aug. 19, 2017, 1:35 a.m.
Aug. 18, 2017, 10:35 p.m.
Aug. 18, 2017, 7:35 p.m.
Aug. 18, 2017, 4:35 p.m.
Aug. 18, 2017, 1:35 p.m.
Aug. 18, 2017, 10:35 a.m.
Aug. 18, 2017, 4:35 a.m.
Aug. 18, 2017, 1:35 a.m.
Aug. 17, 2017, 10:40 p.m.
Aug. 17, 2017, 7:35 p.m.
Aug. 17, 2017, 1:41 p.m.
Aug. 17, 2017, 7:36 a.m.
Aug. 17, 2017, 1:37 a.m.
Aug. 16, 2017, 10:35 p.m.
Aug. 16, 2017, 4:35 p.m.
Aug. 16, 2017, 1:35 p.m.
Aug. 16, 2017, 10:35 a.m.
Aug. 16, 2017, 7:38 a.m.
Aug. 16, 2017, 4:39 a.m.
Aug. 16, 2017, 1:35 a.m.
Aug. 15, 2017, 10:40 p.m.
Aug. 15, 2017, 7:35 p.m.
Aug. 15, 2017, 4:35 p.m.
Aug. 15, 2017, 1:35 p.m.
Aug. 15, 2017, 7:35 a.m.
Aug. 15, 2017, 4:34 a.m.
Aug. 15, 2017, 1:40 a.m.
Aug. 14, 2017, 10:35 p.m.
Aug. 14, 2017, 7:36 p.m.
Aug. 14, 2017, 4:35 p.m.
Aug. 14, 2017, 1:35 p.m.
Aug. 14, 2017, 10:35 a.m.
Aug. 14, 2017, 7:35 a.m.
Aug. 14, 2017, 4:35 a.m.
Aug. 14, 2017, 1:35 a.m.
Aug. 13, 2017, 10:34 p.m.
Aug. 13, 2017, 7:35 p.m.
Aug. 13, 2017, 4:35 p.m.
Aug. 13, 2017, 1:35 p.m.
Aug. 13, 2017, 10:36 a.m.
Aug. 13, 2017, 7:34 a.m.
Aug. 13, 2017, 4:35 a.m.
Aug. 13, 2017, 1:35 a.m.
Aug. 12, 2017, 10:34 p.m.
Aug. 12, 2017, 7:34 p.m.
Aug. 12, 2017, 4:35 p.m.
Aug. 12, 2017, 1:38 p.m.
Aug. 12, 2017, 10:35 a.m.
Aug. 12, 2017, 7:35 a.m.
Aug. 12, 2017, 4:35 a.m.
Aug. 12, 2017, 1:35 a.m.
Aug. 11, 2017, 10:34 p.m.
Aug. 11, 2017, 7:35 p.m.
Aug. 11, 2017, 4:35 p.m.
Aug. 11, 2017, 1:34 p.m.
Aug. 11, 2017, 10:35 a.m.
Aug. 11, 2017, 7:36 a.m.
Aug. 11, 2017, 4:36 a.m.
Aug. 11, 2017, 1:35 a.m.
Aug. 10, 2017, 10:36 p.m.
Aug. 10, 2017, 7:34 p.m.
Aug. 10, 2017, 4:34 p.m.
Aug. 10, 2017, 1:34 p.m.
Aug. 10, 2017, 10:35 a.m.
Aug. 10, 2017, 7:35 a.m.
Aug. 10, 2017, 4:35 a.m.
Aug. 10, 2017, 1:34 a.m.
Aug. 9, 2017, 10:35 p.m.
Aug. 9, 2017, 7:35 p.m.
Aug. 9, 2017, 4:35 p.m.
Aug. 9, 2017, 1:35 p.m.
Aug. 9, 2017, 10:35 a.m.
Aug. 9, 2017, 7:36 a.m.
Aug. 9, 2017, 4:35 a.m.
Aug. 9, 2017, 1:35 a.m.
Aug. 8, 2017, 10:35 p.m.
Aug. 8, 2017, 7:35 p.m.
Aug. 8, 2017, 4:34 p.m.
Aug. 8, 2017, 1:35 p.m.
Aug. 8, 2017, 10:35 a.m.
Aug. 8, 2017, 7:34 a.m.
Aug. 8, 2017, 4:35 a.m.
Aug. 8, 2017, 1:35 a.m.
Aug. 7, 2017, 10:35 p.m.
Aug. 7, 2017, 7:35 p.m.
Aug. 7, 2017, 4:35 p.m.
Aug. 7, 2017, 1:35 p.m.
Aug. 7, 2017, 10:35 a.m.
Aug. 7, 2017, 7:35 a.m.
Aug. 7, 2017, 4:39 a.m.
Aug. 7, 2017, 1:40 a.m.
Aug. 6, 2017, 10:40 p.m.
Aug. 6, 2017, 7:40 p.m.
Aug. 6, 2017, 4:40 p.m.
Aug. 6, 2017, 1:40 p.m.
Aug. 6, 2017, 10:35 a.m.
Aug. 6, 2017, 7:35 a.m.
Aug. 6, 2017, 4:35 a.m.
Aug. 6, 2017, 1:35 a.m.
Aug. 5, 2017, 10:35 p.m.
Aug. 5, 2017, 7:34 p.m.
Aug. 5, 2017, 4:35 p.m.
Aug. 5, 2017, 1:35 p.m.
Aug. 5, 2017, 10:35 a.m.
Aug. 5, 2017, 7:35 a.m.
Aug. 5, 2017, 4:35 a.m.
Aug. 5, 2017, 1:34 a.m.
Aug. 4, 2017, 10:35 p.m.
Aug. 4, 2017, 7:35 p.m.
Aug. 4, 2017, 4:35 p.m.
Aug. 4, 2017, 1:35 p.m.
Aug. 4, 2017, 10:35 a.m.
Aug. 4, 2017, 7:37 a.m.
Aug. 4, 2017, 4:36 a.m.
Aug. 4, 2017, 1:37 a.m.
Aug. 3, 2017, 10:37 p.m.
Aug. 3, 2017, 7:35 p.m.
Aug. 3, 2017, 4:35 p.m.
Aug. 3, 2017, 1:35 p.m.
Aug. 3, 2017, 10:35 a.m.
Aug. 3, 2017, 7:35 a.m.
Aug. 3, 2017, 4:35 a.m.
Aug. 3, 2017, 1:35 a.m.
Aug. 2, 2017, 10:35 p.m.
Aug. 2, 2017, 7:35 p.m.
Aug. 2, 2017, 4:34 p.m.
Aug. 2, 2017, 1:35 p.m.
Aug. 2, 2017, 10:36 a.m.
Aug. 2, 2017, 7:35 a.m.
Aug. 2, 2017, 4:35 a.m.
Aug. 2, 2017, 1:34 a.m.
Aug. 1, 2017, 10:35 p.m.
Aug. 1, 2017, 7:36 p.m.
Aug. 1, 2017, 4:34 p.m.
Aug. 1, 2017, 1:35 p.m.
Aug. 1, 2017, 10:34 a.m.
Aug. 1, 2017, 7:34 a.m.
Aug. 1, 2017, 4:35 a.m.
Aug. 1, 2017, 1:35 a.m.
July 31, 2017, 10:39 p.m.
July 31, 2017, 7:35 p.m.
July 31, 2017, 4:34 p.m.
July 31, 2017, 1:34 p.m.
July 31, 2017, 10:34 a.m.
July 31, 2017, 7:35 a.m.
July 31, 2017, 4:35 a.m.
July 31, 2017, 1:35 a.m.
July 30, 2017, 10:34 p.m.
July 30, 2017, 7:38 p.m.
July 30, 2017, 4:35 p.m.
July 30, 2017, 1:34 p.m.
July 30, 2017, 10:38 a.m.
July 30, 2017, 7:35 a.m.
July 30, 2017, 4:34 a.m.
July 30, 2017, 1:35 a.m.
July 29, 2017, 10:34 p.m.
July 29, 2017, 7:37 p.m.
July 29, 2017, 4:35 p.m.
July 29, 2017, 1:34 p.m.
July 29, 2017, 10:35 a.m.
July 29, 2017, 7:34 a.m.
July 29, 2017, 4:34 a.m.
July 29, 2017, 1:35 a.m.
July 28, 2017, 10:34 p.m.
July 28, 2017, 7:34 p.m.
July 28, 2017, 4:35 p.m.
July 28, 2017, 1:35 p.m.
July 28, 2017, 10:35 a.m.
July 28, 2017, 7:35 a.m.
July 28, 2017, 4:34 a.m.
July 28, 2017, 1:35 a.m.
July 27, 2017, 10:35 p.m.
July 27, 2017, 7:35 p.m.
July 27, 2017, 4:35 p.m.
July 27, 2017, 1:36 p.m.
July 27, 2017, 10:35 a.m.
July 27, 2017, 7:34 a.m.
July 27, 2017, 4:34 a.m.
July 27, 2017, 1:35 a.m.
July 26, 2017, 10:35 p.m.
July 26, 2017, 7:34 p.m.
July 26, 2017, 4:35 p.m.
July 26, 2017, 1:35 p.m.
July 26, 2017, 10:35 a.m.
July 26, 2017, 7:35 a.m.
July 26, 2017, 4:34 a.m.
July 26, 2017, 1:35 a.m.
July 25, 2017, 10:35 p.m.
July 25, 2017, 7:35 p.m.
July 25, 2017, 4:35 p.m.
July 25, 2017, 1:35 p.m.
July 25, 2017, 10:34 a.m.
July 25, 2017, 7:35 a.m.
July 25, 2017, 4:35 a.m.
July 25, 2017, 1:35 a.m.
July 24, 2017, 10:34 p.m.
July 24, 2017, 7:35 p.m.
July 24, 2017, 4:35 p.m.
July 24, 2017, 1:35 p.m.
July 24, 2017, 10:35 a.m.
July 24, 2017, 7:34 a.m.
July 24, 2017, 4:35 a.m.
July 24, 2017, 1:35 a.m.
July 23, 2017, 10:35 p.m.
July 23, 2017, 7:35 p.m.
July 23, 2017, 4:35 p.m.
July 23, 2017, 1:34 p.m.
July 23, 2017, 10:35 a.m.
July 23, 2017, 7:34 a.m.
July 23, 2017, 4:34 a.m.
July 23, 2017, 1:34 a.m.
July 22, 2017, 10:35 p.m.
July 22, 2017, 7:34 p.m.