already some months ago i wrote another dcf77 decoder for Atmega AVR controller. It uses oversampling of the signal (not edge trigger)
and worked quite stable for my opinion. It is possible to switch on some debugging and the dcf77 signal synchronizes a simple clock.
Find the C sourcecode attached… Have fun.
dcf77decoder_10