Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-19 13:23:46 +01:00
Code Issues Projects Releases Packages Wiki Activity
22015 commits 155 branches 5 tags 1.6 GiB
Commit graph

2 commits

Author SHA1 Message Date
Emilio Cobos Álvarez
e3a9637107
style: Don't pop too much in the bloom filter. 
This is not a problem for Servo, because we recovered it without much problem a
few lines below, and we never reached the pathological case where the filter has
one element (the root), and we restyled another element with depth 1.

Fixes bug 1321725.
 2016-12-02 12:29:25 +01:00
Emilio Cobos Álvarez
84a50ed5cb
style: Introduce StyleBloom 
The idea is this will fix the bad behavior of the bloom filter in parallel
traversal.
 2016-11-27 15:55:10 +01:00