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)
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.