Giters

mriiad / queue

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

basic-programmingc-languageframa-cqueue

queue

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

About

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

basic-programmingc-languageframa-cqueue

Languages

Language:Coq 55.0%Language:C 42.8%Language:Shell 2.1%