Etienne Renault
6c5c308ea8
bricks: adapt with the new bricks
...
* bricks/brick-hash, tests/core/bricks.cc: here.
2020-06-03 10:33:53 +02:00
Etienne Renault
bb9fa4e910
bricks: update and move to c++14
...
* Makefile.am, bricks/brick-assert,
bricks/brick-assert.h, spot/ltsmin/ltsmin.cc,
spot/mc/ec.hh: here.
* bricks/brick-bitlevel.h, bricks/brick-hash.h,
bricks/brick-hashset.h, bricks/brick-shmem.h,
bricks/brick-types.h: Rename as ...
* bricks/brick-bitlevel, bricks/brick-hash,
bricks/brick-hashset, bricks/brick-shmem,
bricks/brick-types: ... these
2020-06-03 10:33:53 +02:00
Etienne Renault
ae1a3601e6
bricks: propagate use of SPOT_FALLTHROUGH
...
* bricks/brick-hash.h, bricks/brick-hashset.h: here.
2020-06-03 10:33:53 +02:00
Etienne Renault
c515ee92e2
bricks: add missing override
...
* bricks/brick-assert.h, bricks/brick-hashset.h,
bricks/brick-shmem.h: here.
2020-06-03 10:33:53 +02:00
Etienne Renault
6d3154be94
bricks: ATOMIC_FLAG_INIT initialization
...
From the working draft: "The macro ATOMIC_FLAG_INIT shall be defined
in such a way that it can be used to initialize an object of type
atomic_flag to the clear state. The macro can be used in the form:
atomic_flag guard = ATOMIC_FLAG_INIT; It is unspecified whether the
macro can be used in other initialization contexts."
* bricks/brick-shmem.h: here.
2020-06-03 10:33:53 +02:00
Etienne Renault
01f66642f1
bricks: fix clang warnings
...
* bricks/brick-hash.h, bricks/brick-shmem.h: here.
2020-06-03 10:33:53 +02:00
Etienne Renault
458f506336
bricks: add bricks for concurrent hashmap
...
* Makefile.am, README, bricks/brick-assert.h,
bricks/brick-bitlevel.h, bricks/brick-hash.h,
bricks/brick-hashset.h, bricks/brick-shmem.h,
bricks/brick-types.h, configure.ac,
debian/copyright, debian/libspot-dev.install,
m4/bricks.m4, tests/Makefile.am,
tests/core/.gitignore, tests/core/bricks.cc: here.
2020-06-03 10:33:53 +02:00
