-rw-r--r-- | 186 | DEFINES | blob | blame | raw |
-rw-r--r-- | 4632 | Makefile | blob | blame | raw |
-rw-r--r-- | 279 | references.txt | blob | blame | raw |
-rw-r--r-- | 1094 | urcu.sh | blob | blame | raw |
-rw-r--r-- | 6563 | urcu.spin | blob | blame | raw |
-rw-r--r-- | 34 | urcu_free.ltl | blob | blame | raw |
-rw-r--r-- | 30 | urcu_free_no_mb.define | blob | blame | raw |
-rw-r--r-- | 15 | urcu_free_no_rmb.define | blob | blame | raw |
-rw-r--r-- | 15 | urcu_free_no_wmb.define | blob | blame | raw |
-rw-r--r-- | 20 | urcu_free_single_flip.define | blob | blame | raw |
-rw-r--r-- | 13 | urcu_progress.ltl | blob | blame | raw |
-rw-r--r-- | 24 | urcu_progress_reader.define | blob | blame | raw |
-rw-r--r-- | 24 | urcu_progress_writer.define | blob | blame | raw |
-rw-r--r-- | 58 | urcu_progress_writer_error.define | blob | blame | raw |