git.lizzy.rs Git - rust.git/history

]> git.lizzy.rs Git - rust.git/history - src/data_race.rs

2020-11-29	Ralf Jung	fix some typos	blob \| commitdiff \| raw
2020-11-28	JCTyBlaidd	Fix typos - looked into the papers handling of timestam...	blob \| commitdiff \| raw \| diff to current
2020-11-27	JCTyBlaidd	Apply review changes, incrementing the clocks twice...	blob \| commitdiff \| raw \| diff to current
2020-11-15	JCTyBlaidd	Run rustfmt on vector_clock.rs and data_race.rs	blob \| commitdiff \| raw \| diff to current
2020-11-15	JCTyBlaidd	Add comment regarding seq-cst ordering & add test for...	blob \| commitdiff \| raw \| diff to current
2020-11-15	JCTyBlaidd	Tidy up comments and function layout, should fix most...	blob \| commitdiff \| raw \| diff to current
2020-11-06	JCTyBlaidd	More aggressive vector index re-use, and added some...	blob \| commitdiff \| raw \| diff to current
2020-11-05	JCTyBlaidd	Move to use of thread termination hook for vector re...	blob \| commitdiff \| raw \| diff to current
2020-11-05	JCTyBlaidd	Split out vector_clock to separate file, general tidy...	blob \| commitdiff \| raw \| diff to current
2020-11-04	JCTyBlaidd	Detect races between atomic and non-atomic accesses...	blob \| commitdiff \| raw \| diff to current
2020-11-02	JCTyBlaidd	Add newlines at end of file + use replace.	blob \| commitdiff \| raw \| diff to current
2020-11-02	JCTyBlaidd	Fix & rebase	blob \| commitdiff \| raw \| diff to current
2020-11-02	JCTyBlaidd	Add tests, and fix bug in atomic RMW relaxed stores	blob \| commitdiff \| raw \| diff to current
2020-11-02	JCTyBlaidd	Initial data-race detector,	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.