infer_clone

Commit Graph

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Jules Villard	3fbefbad34	[pulse] model some of `std::atomic` Summary: Turns out code uses atomics in important places, modelling it removes FPs. The tests are copied from biabduction and adapted and extended a bit. I didn't implement compare_exchange primitives for now (plus, giving them a sequential semantics like in biabduction is probably a bit cheeky). Reviewed By: skcho Differential Revision: D18708576 fbshipit-source-id: a3581b8a4	6 years ago

Author

SHA1

Message

Date

markma

f8dfc1ce1f

0.0.1

markma

09fba4a0b5

0.0.1

Jules Villard

3fbefbad34

[pulse] model some of `std::atomic`

Summary:
Turns out code uses atomics in important places, modelling it removes
FPs.

The tests are copied from biabduction and adapted and extended a bit.  I
didn't implement compare_exchange primitives for now (plus, giving them
a sequential semantics like in biabduction is probably a bit cheeky).

Reviewed By: skcho

Differential Revision: D18708576

fbshipit-source-id: a3581b8a4

3 Commits (master)