barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-29 16:44:10 +03:00
Code Issues Projects Releases Wiki Activity

Add a roadmap

Browse Source 
Closes #175
This commit is contained in:
Michael Walker 2018-02-01 12:53:00 +00:00
parent 4d3af3ae76
commit e243854f48
2 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
doc/index.rst
View File

@ -38,4 +38,5 @@ This is Déjà Fu
adding_a_new_primitive
contributing
roadmap
release_process

25
doc/roadmap.rst Normal file
View File

@ -0,0 +1,25 @@
Roadmap
=======
I want Déjà Fu to be the best it can possibly be. Success can be
measured in a few different ways: functionality, performance,
correctness. These are all important, but very different, areas to
improve. This roadmap highlights what I think are the priorities in
those three areas.
* Atomic state invariants (`#177`_)
* Check DPOR invariants at construction time (`#173`_)
* Crosscheck GHC RTS behavior with dejafu (`#163`_)
* Maximal Causality Reduction (MCR) algorithm (`#154`_)
* Add optional length bounding to uniform & weighted testing (`#119`_)
* Doctest all Haddock code examples (`#86`_)
You can also check the roadmap_ tag on the issue tracker.
.. _#177: https://github.com/barrucadu/dejafu/issues/177
.. _#173: https://github.com/barrucadu/dejafu/issues/173
.. _#163: https://github.com/barrucadu/dejafu/issues/163
.. _#154: https://github.com/barrucadu/dejafu/issues/154
.. _#119: https://github.com/barrucadu/dejafu/issues/119
.. _#86: https://github.com/barrucadu/dejafu/issues/86
.. _roadmap: https://github.com/barrucadu/dejafu/labels/roadmap