Changes between Version 17 and Version 18 of StrawPoll-2


Ignore:
Timestamp:
Aug 18, 2006 6:42:53 PM (8 years ago)
Author:
chak@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v17 v18  
    101101||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || N  ||  M  || N  ||   ||    ||  Y  ||  R ||  M || #73    || add views 
    102102||    || N  || N  ||  Y ||    || M  ||    ||    || N  || N  ||    ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    103 ||    || N  || N  ||    ||    ||    ||    || N  || N  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
     103||    || N  || Y*  ||    ||    ||    ||    || N  || N  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
    104104|| N  || N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||  N  || N  ||   || N  ||     ||  R ||  N || #43    || add Linear implicit params 
    105105|| M  || M  || N  ||    ||    || N  || N  ||    || Y  || Y  ||    ||  M  || N  ||   ||    ||  M  ||  M || YM || #36    || add FunctionalDependencies 
     
    107107||    || N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||   || Y  ||     ||    ||  N || #69    || allow tuple sections 
    108108|| N  || N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||     || N  ||   ||    ||  N  ||  R ||  N || #38    || add implicit parameters 
    109 || M  || M  || N  ||    ||    || N  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N || #14    || add Associated Types 
     109|| M  || M  || M  ||    ||    || N  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N || #14    || add Associated Types 
    110110|| N  || M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||   ||    ||  N  ||  N ||    || #13    || add Arrows 
    111111|| N  ||    || N  ||    || N  || N  || N  || Y* ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #18    || add closed classes