alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bricks: details version and modifications

Browse source 
* README, spot/bricks/README: Here.
This commit is contained in:
Etienne Renault 2020-06-09 09:35:44 +02:00
parent 7d69708f73
commit 2098d41c05
2 changed files with 20 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README
View file

@ -328,7 +328,7 @@ lib/ Gnulib's portability modules.
utf8/ Nemanja Trifunovic's utf-8 routines. utf8/ Nemanja Trifunovic's utf-8 routines.
elisp/ Related emacs modes, used for building the documentation. elisp/ Related emacs modes, used for building the documentation.
picosat/ A distribution of PicoSAT 965 (a satsolver library). picosat/ A distribution of PicoSAT 965 (a satsolver library).
spot/bricks/ A collection of useful C++ code provided by DiVinE 3.3.2 spot/bricks/ A collection of useful C++ code provided by DiVinE
Build-system stuff Build-system stuff
------------------ ------------------

19
spot/bricks/README Normal file
View file

@ -0,0 +1,19 @@
Bricks is a collection of useful C++ code, organised in standalone
header files. By default, the code uses the latest stable C++ standard.
Bricks is publicly available at:
https://github.com/paradise-fi/divine/tree/master/bricks
This directory only contains the necessary subset to have a
multithreaded hashmap in Spot. The integration with Spot requires
modifications of the original files:
- prefer <spot/misc/clz.hh> to builtin clz
- use SPOT_FALLTHROUGH when required
In addition to the previous modifications, and to please both GCC and
Spot compilation options, the following changes have been made:
- add missing override
- add missing = default
- add missing default values
This directory contains the current version of Bricks as of Divine 3.3.2.