Skip to content

Issues: aronisstav/Concuerror

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 21 Closed
24 Open 21 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

lint check seems to fail
#63 opened Feb 21, 2023 by aronisstav
Add ARCHITECTURE.md
#62 opened Feb 15, 2021 by aronisstav
Make a better logo for the site
#61 opened Nov 23, 2020 by aronisstav
1
Autogenerate autocomplete
#58 opened Oct 17, 2020 by aronisstav
concuerror_logger.erl l262 needs removing, or a unit test
#52 opened Sep 28, 2018 by aronisstav
Make it possible to produce machine-readable output.
#51 opened Sep 27, 2018 by aronisstav
Document how to preserve a desirable set of default options
#50 opened Sep 27, 2018 by aronisstav
Take a good critical look at concuerror_report.txt
#48 opened Sep 7, 2018 by aronisstav 1.0.0
Rewrite the dependency engine to be based on 'effects'
#28 opened Feb 21, 2018 by aronisstav 1.1.0
Identify 'nop's and improve their dependencies
#26 opened Feb 21, 2018 by aronisstav
--show_races values should be 'all', 'error' and 'false'
#25 opened Feb 21, 2018 by aronisstav 1.0.0
1
Classify some built-ins as "debug", ignore races in normal mode
#24 opened Feb 21, 2018 by aronisstav
Color-code processes in graph?
#23 opened Feb 21, 2018 by aronisstav
Tests to detect if/when new BIFs are added to the VM
#21 opened Feb 21, 2018 by aronisstav
6
Warn about other sources of nondeterminism (e.g. ets:first/1)
#20 opened Feb 21, 2018 by aronisstav
Random testing mode
#19 opened Feb 21, 2018 by aronisstav
Cyclic state space detection
#18 opened Feb 21, 2018 by aronisstav
Simulate multiple nodes
#17 opened Feb 21, 2018 by aronisstav
Only consider "fair" schedules
#16 opened Feb 21, 2018 by aronisstav
Support for ports
#15 opened Feb 21, 2018 by aronisstav
2
Add tests for process_info message queue and length
#10 opened Oct 19, 2017 by aronisstav
1
Introduce workers between planning and the scheduling.
#6 opened Oct 9, 2017 by aronisstav Parallel Concuerror
Decouple 'planned' from 'actual' scheduling
#3 opened Oct 9, 2017 by aronisstav Parallel Concuerror
Split concuerror_scheduler into parts
#1 opened Oct 9, 2017 by aronisstav Parallel Concuerror
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.