mriiad/queue

A complete basic implementation of Queue data structure tested in Frama-c