COMPASS Research / Old Bug Tracker

Old Bug Tracker Maximize Restore

Please go to https://github.com/symphonytool/symphony/issues

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Module▾ Sort A -> Z Sort Z -> A
185	TC should warn about assignments to variables not in nameset	0.2.0	open	Kenneth Lausdahl	2013-12-23	2014-01-03	type-checker
182	Model checker crashes	0.2.0	open		2013-12-10	2013-12-10	model-checker
181	IDE does not make enum types bold	0.2.0	open		2013-12-04	2013-12-04	general
180	Model checker crashes on Dinining philosophers example	0.2.0	open		2013-12-03	2013-12-10	model-checker
179	Are you allowed to write to a state component even though its not specified in the nameset?	0.2.0	open	Joey Coleman	2013-12-03	2013-12-03	interpreter
172	Function definition with 2 different identifiers	0.2.0	open	Joey Coleman	2013-11-27	2013-11-27	parser
157	Parser error for action hiding when used twice on a row	0.2.0	open	Joey Coleman	2013-11-15	2013-11-15	parser
156	Parse error for a.1.2 which parses as a.12	0.2.0	open	Joey Coleman	2013-11-07	2013-11-07	parser
153	"leadingIdAction" parser rule incomplete	0.2.0	accepted	Joey Coleman	2013-11-01	2013-11-04	parser
152	Parser too restrictive on use of renaming expressions	0.2.0	accepted	Joey Coleman	2013-11-01	2013-11-04	parser
151	Version/release info not on splash screen	0.2.0	accepted	Joey Coleman	2013-11-01	2013-11-20	general
87	Model checker seems to deal with one file and one process at a time	0.2.0	open	Adalberto Cajueiro de Farias	2013-09-30	2013-11-04	model-checker
76	Model checker does not even seem to work on the model-checker small test cases	0.1.8	open	Adalberto Cajueiro de Farias	2013-09-21	2013-11-04	model-checker
74	Model checker giver java null point exceptions for the small standard examples like BitRegister	0.1.8	open	Adalberto Cajueiro de Farias	2013-09-21	2013-11-18	model-checker
68	Error in generated PO for Library example	0.2.0	accepted	Joey Coleman	2013-09-21	2013-11-18	pog
46	Model checker does not work on action-reference-parameter case	0.1.6	open	Adalberto Cajueiro de Farias	2013-08-24	2013-11-04	model-checker
39	Mechanize process of including examples from SVN	0.2.0	accepted	Joey Coleman	2013-08-22	2013-11-18	unknown