Menu ▾ ▴

Bugs  Maximize  Restore

Showing results of 31

# Summary▾ Milestone▾ Status▾
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
 Owner▾ Created▾ Updated▾ Priority▾
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)