Menu ▾ ▴

Bugs  Maximize  Restore

Showing 22 results of 22

# Summary▾ Milestone▾ Status▾ Owner▾ Created▾ Updated▾ Priority▾
34 The | (logic or) operator in condition doesn't work None open 2006-05-10 2006-05-10 5  
33 Wrong package is loaded on given conditions None open-works-for-me Matteo Risoldi 2006-02-16 2006-02-16 9  
31 Package and modules with same name can't generate java code None open 2006-02-07 2006-02-07 5  
30 sometimes mouse right button click not available None open CHEN Ang 2005-12-09 2005-12-09 1  
29 modules "travel" from one spec to another None open 2005-12-06 2005-12-06 1  
28 modules "reappear" after being deleted None open 2005-12-06 2005-12-06 1  
27 synchronized access to the same prototype does not work None open 2005-12-06 2005-12-06 5  
26 cannot retrieve "loose" variable references from a context None open 2005-12-06 2005-12-06 5  
25 synchronizations with gates of objects contained in objects None open 2005-12-06 2005-12-06 5  
24 It is not possible to have circular references in objects None open 2005-12-06 2005-12-06 5  
23 Prototype sometimes stays in memory (can't get rid of it) None open 2005-11-28 2005-11-28 5  
22 Objects in Classes None open 2005-11-28 2005-11-28 5  
21 Code Generator does not find .coco inside codgen/ None open 2005-11-28 2005-11-28 9  
20 Information contained in a module just disapears None open 2005-11-28 2005-11-28 9  
19 Modifications are not save None open 2005-11-28 2005-11-28 9  
18 ADT module Characters does not work None open 2005-11-28 2005-11-28 5  
17 Conjunction in the conditions of ADT axioms None open 2005-11-28 2005-11-28 5  
16 Generator or methods with more than one name as delimiter None open 2005-11-28 2005-11-28 5  
15 HML formulas with parameterized events are not parsed None open 2005-08-08 2005-08-08 5  
14 complex synchronizations are not parsed in events None open 2005-08-04 2005-08-04 5  
6 build.xml COOPN extractor tasks None open 2005-07-26 2005-07-26 1  
3 build.xml dist task None open 2005-07-26 2005-07-26 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)