The RESOLVE Project Bugs

Status: Beta

Brought to you by: ctcook, hwsmith, sitaraman, yushan87

Bugs Maximize Restore

# 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	Priority▾ Sort A -> Z Sort Z -> A
40	Parens not matching up in VC goals	None	open-accepted	Yu-Shan Sun	2012-07-20	2012-07-20	5
39	Static Array issue in Preprocessor	None	open	Yu-Shan Sun	2012-06-07	2012-06-07	5
38	missing givens	None	open	Yu-Shan Sun	2012-04-27	2012-04-27	5
37	VC progress icons don't disappear	None	open	Chuck Cook	2012-04-12	2012-04-12	5
36	For all statement not typechecking	None	open	H. Smith	2012-04-12	2012-04-12	5
35	Location_Linking_Test Verifier RTE	None	open	Yu-Shan Sun	2012-04-12	2012-04-12	5
34	Write_Line operation not found by verifier (NPE)	None	open-postponed	Yu-Shan Sun	2012-04-12	2012-04-12	5
30	If statement seen as function call	None	open		2011-06-08	2011-06-08	5
28	Same-name operations do not type	None	open		2010-12-01	2010-12-01	5
27	Multi-dot expressions do not type correctly	None	open		2010-11-30	2010-11-30	5
26	No VCs displayed	None	open	Grant Giles	2010-09-21	2010-09-21	5
25	A repeated DEBUG message in the compiler output	None	open		2010-09-21	2010-09-21	5
24	Old-style intermediate variables when using existentials	None	open	Heather	2010-08-12	2010-08-12	5
22	Literals indistinguishable from variables	None	open		2010-03-01	2010-03-01	5
21	Big Integer Exception Error	None	open	H. Smith	2010-02-22	2010-02-22	5
20	Examplar Incorrectly Substituted For in VCs	None	open	Heather	2010-02-03	2010-02-03	5
19	VCs corrupted for function operations	None	open	Heather	2010-02-03	2010-02-10	5
18	Conceptual Definitions Not Typed Correctly	None	open		2009-12-01	2009-12-01	5
17	Undefined functions not reported in assertions	None	open	H. Smith	2009-11-30	2009-11-30	5
16	VCs do not reflect clears	None	open	Heather	2009-11-09	2009-11-09	5
15	missing code?	None	open	Heather	2009-11-03	2009-11-03	5
13	Error when a local function returns a record	None	open		2009-10-21	2009-10-21	6
12	Analysis: Undeclared math def not caught	None	open		2009-10-21	2014-07-03	5
10	Math type resolution problems	None	open		2009-10-19	2009-10-19	5
8	Precondition checking VC incorrect	None	open	Heather	2009-10-16	2009-10-16	5

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)

1 2 > >> (Page 1 of 2)