qui c'è in elenco:
http://www.nongnu.org/avr-libc/user-manual/
e gcc può compilare per integrati di quella famiglia (avr25):
http://gcc.gnu.org/onlinedocs/gcc/AVR-Options.html
Diciamo che per il momento la questione aggiornamento compilatore alla 4.3.3 è risolta.
Ieri sera ho fatto molte prove con tutti programmi che ho per Arduino, sia UNO che MEGA2560, alcuni molto complessi come MultiWii (software per quadricotteri), e non ho riscontrato nessun problema, quindi direi che il trapianto è perfettamente riuscito e il paziente gode di ottima salute

Per quanto riguarda gli ATtiny4313 rimane il problema del core perché sebbene ora viene riconosciuto dal compilatore poi saltano fuori errori dovuti alle differenze hardware tra questi micro e quelli normalmente impiegati su Arduino.
Ho fatto una prova al volo con il core per ATtiny 45-85, sapendo già che non poteva funzionare, solo per verifica se cambiavano gli errori e così è stato confermando ulteriormente che ora è possibile compilare anche per i 4313.
Ho fatto un ulteriore test con una versione sperimentale dell'IDE 1.0 con trapiantata la toolchain di ATmel al posto di WinAvr, ci sto lavorando sopra da diverso tempo per la famosa questione del limite di memoria del ATmega2560, e anche questa riconosce senza problemi i 4313, cosa di cui ero più che certo, e mi fornisce gli stessi errori, dovuti al core, del test con avrgcc 4.3.3.
Salvo imprevisti, ovvero impegni lavorativi, dovrei rilasciare a breve la procedura per sostituire WinAvr con la toolchain di Atmel, che è sempre aggiornatissima e con molti meno bug delle altre release di avrgcc, in modo da mettere la parola fine ai fastidiosi bug e limiti della versione 4.3.2, abbastanza vecchiotta (2009), di WinAvr che è ufficialmente abbinata all'IDE di Arduino, inclusa la 1.0, per Windows.