search

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon
Other
9 stars 1 forks source link

Comparability: add support for collections represented as arrays #91

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Celeriac can represent dictionaries and lists as arrays. The comparability 
analysis (and declaration printer), should be updated to support these.

Original issue reported on code.google.com by Todd.Sch...@gmail.com on 3 Apr 2013 at 9:08

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 5 Apr 2013 at 12:46

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 14 May 2013 at 12:09

GoogleCodeExporter commented 9 years ago 
Support added in 98b799aa80ad

Original comment by Todd.Sch...@gmail.com on 14 May 2013 at 6:26

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 14 May 2013 at 6:26