aronisstav Concuerror issues

aronisstav / Concuerror

OFFICIAL REPOSITORY MOVED:

https://github.com/parapluu/Concuerror

BSD 2-Clause "Simplified" License

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

lint check seems to fail

#63 aronisstav opened 1 year ago
0
Add ARCHITECTURE.md

#62 aronisstav opened 3 years ago
0
Make a better logo for the site

#61 aronisstav opened 3 years ago
1
Create main.yml

#60 aronisstav closed 3 years ago
0
Investigate footer issues after website update

#59 aronisstav closed 4 years ago
1
Autogenerate autocomplete

#58 aronisstav opened 4 years ago
0
Update website template

#57 aronisstav closed 4 years ago
0
Add talks from Functional Conf and Code BEAM SF

#56 aronisstav closed 4 years ago
0
Add test to cover shadowing warning in concuerror_loader.erl

#55 aronisstav closed 4 years ago
1
Test if one can fast-forward a fork with a pull-request from upstream

#54 aronisstav closed 6 years ago
1
Do a little search engine optimisation on concuerror's homepage

#53 aronisstav closed 6 years ago
0
concuerror_logger.erl l262 needs removing, or a unit test

#52 aronisstav opened 6 years ago
0
Make it possible to produce machine-readable output.

#51 aronisstav opened 6 years ago
0
Document how to preserve a desirable set of default options

#50 aronisstav opened 6 years ago
0
Update parallel

#49 aronisstav closed 5 years ago
1
Take a good critical look at concuerror_report.txt

#48 aronisstav opened 6 years ago
0
Add link to AFS2018 paper, once it goes public

#47 aronisstav closed 6 years ago
1
Improve demonitor precision

#46 aronisstav closed 6 years ago
2
When estimate is lower than total planned, too many significant digits are being shown

#45 aronisstav closed 6 years ago
0
Refactor remaining parts of concuerror.hrl

#44 aronisstav closed 6 years ago
0
Redesign monitors

#43 aronisstav closed 6 years ago
3
Stacktraces are wrong once again...

#42 aronisstav closed 6 years ago
0
Investigate if `--verbosity=0` leads to speedups and optimise logging

#41 aronisstav closed 6 years ago
1
Merge latest master to parallel

#40 aronisstav closed 6 years ago
0
Merge master into parallel

#39 aronisstav closed 6 years ago
1
Merge master into parallel

#38 aronisstav closed 6 years ago
1
Pre-spawn a number of processes

#37 aronisstav closed 6 years ago
1
Progress bar usability fixes: stabler completion time

#36 aronisstav closed 6 years ago
0
Progress bar usability fixes: thousand separators and true elapsed time

#35 aronisstav closed 6 years ago
0
Change spawn

#34 PanagiotisFytas closed 6 years ago
2
Add node support

#33 PanagiotisFytas closed 6 years ago
2
Add node support

#32 PanagiotisFytas closed 6 years ago
2
move to rebar3

#31 fenollp closed 6 years ago
3
Remove transitional concuerror script in v20

#30 aronisstav closed 6 years ago
0
Experiment with TransDPOR

#29 aronisstav closed 6 years ago
2
Rewrite the dependency engine to be based on 'effects'

#28 aronisstav opened 6 years ago
0
Handle unregister during exit in the same way as other 'while exiting' events

#27 aronisstav closed 6 years ago
1
Identify 'nop's and improve their dependencies

#26 aronisstav opened 6 years ago
0
--show_races values should be 'all', 'error' and 'false'

#25 aronisstav opened 6 years ago
1
Classify some built-ins as "debug", ignore races in normal mode

#24 aronisstav opened 6 years ago
0
Color-code processes in graph?

#23 aronisstav opened 6 years ago
0
Annotate process names with registered names in report/graph?

#22 aronisstav closed 6 years ago
0
Tests to detect if/when new BIFs are added to the VM

#21 aronisstav opened 6 years ago
6
Warn about other sources of nondeterminism (e.g. ets:first/1)

#20 aronisstav opened 6 years ago
0
Random testing mode

#19 aronisstav opened 6 years ago
0
Cyclic state space detection

#18 aronisstav opened 6 years ago
0
Simulate multiple nodes

#17 aronisstav opened 6 years ago
0
Only consider "fair" schedules

#16 aronisstav opened 6 years ago
0
Support for ports

#15 aronisstav opened 6 years ago
2
Split scheduler

#14 PanagiotisFytas closed 6 years ago
0