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

]> git.lizzy.rs Git - rust.git/search

2020-12-13	JCTyblaidd	Tidy new_allocation	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Update rust version	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Rework to work with machine hook.	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Update src/data_race.rs	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Fix review changes	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Change to disable mir-opt in compile-flags	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Disable tests in windows	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Defeat the mir-opt=3 optimizer.	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Update note	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Fix bug with reporting wrong thread for races with...	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Add concurrent caller location test	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Fix nits	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Increase sleep times for the scheduler	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Remove old FIXME	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	More tests, fix issue 1643 and detect races with allocation.	commit \| commitdiff \| tree
2020-12-06	JCTyblaidd	Fix caps	commit \| commitdiff \| tree
2020-12-06	JCTyBlaidd	Fix typo	commit \| commitdiff \| tree
2020-12-06	JCTyBlaidd	Update release sequence handling to C++20 semantics.	commit \| commitdiff \| tree
2020-11-28	JCTyBlaidd	Fix typos - looked into the papers handling of timestamps...	commit \| commitdiff \| tree
2020-11-27	JCTyBlaidd	Apply review changes, incrementing the clocks twice...	commit \| commitdiff \| tree
2020-11-22	JCTyBlaidd	Fix review changes	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Run rustfmt on vector_clock.rs and data_race.rs	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Add comment regarding seq-cst ordering & add test for...	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Convert extra benchmark program into cfg option.	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Tidy up comments and function layout, should fix most...	commit \| commitdiff \| tree
2020-11-06	JCTyBlaidd	More aggressive vector index re-use, and added some...	commit \| commitdiff \| tree
2020-11-05	JCTyBlaidd	Move to use of thread termination hook for vector re...	commit \| commitdiff \| tree
2020-11-05	JCTyBlaidd	Split out vector_clock to separate file, general tidy...	commit \| commitdiff \| tree
2020-11-04	JCTyBlaidd	Detect races between atomic and non-atomic accesses...	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Add newlines at end of file + use replace.	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Mark all new tests as disabled on windows	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Fix & rebase	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Add tests, and fix bug in atomic RMW relaxed stores	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Initial data-race detector,	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom