git.lttng.org Git - urcu.git/history - formal-model/urcu-controldataflow/urcu.spin

projects / urcu.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[urcu.git] / formal-model / urcu-controldataflow / urcu.spin

2009-09-29	Mathieu Desnoyers	Update formal model from local copy	blob \| commitdiff \| raw
2009-06-04	Mathieu Desnoyers	Add speculative execution (prefetch) to model	blob \| commitdiff \| raw \| diff to current
2009-06-03	Mathieu Desnoyers	Add multiple arch support (alpha, intel, powerpc)	blob \| commitdiff \| raw \| diff to current
2009-05-30	Mathieu Desnoyers	Model used for ipi verification run #1	blob \| commitdiff \| raw \| diff to current
2009-05-29	Mathieu Desnoyers	Configuration for remote barrier formal verif run	blob \| commitdiff \| raw \| diff to current
2009-05-28	Mathieu Desnoyers	Update spin model	blob \| commitdiff \| raw \| diff to current
2009-05-27	Mathieu Desnoyers	Use define SLAB_SIZE in promela model	blob \| commitdiff \| raw \| diff to current
2009-05-27	Mathieu Desnoyers	urcu model wmb/read barrier depend	blob \| commitdiff \| raw \| diff to current
2009-05-20	Mathieu Desnoyers	Fix standard (no remote barrier) parity flip bug	blob \| commitdiff \| raw \| diff to current
2009-05-20	Mathieu Desnoyers	Special-case reader/writer busy-loop for signals in...	blob \| commitdiff \| raw \| diff to current
2009-05-20	Mathieu Desnoyers	Fix single flip test	blob \| commitdiff \| raw \| diff to current
2009-05-20	Mathieu Desnoyers	Fix urcu controldataflow model remote barriers	blob \| commitdiff \| raw \| diff to current
2009-05-19	Mathieu Desnoyers	Document update in urcu.spin header	blob \| commitdiff \| raw \| diff to current
2009-05-19	Mathieu Desnoyers	Add extended urcu model with ooo mem and instruction...	blob \| commitdiff \| raw \| diff to current

Userspace RCU (urcu) for Linux

This page took 0.049479 seconds and 21 git commands to generate.