leily578 / COS700-GDP Public

forked from Tebogomampuru/COS700-GDP

Notifications You must be signed in to change notification settings
Fork 0
Star 0

This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Phils.pro		Phils.pro
Phils.pro.user		Phils.pro.user
README.md		README.md
main.cpp		main.cpp
mainwindow.cpp		mainwindow.cpp
mainwindow.h		mainwindow.h
mainwindow.ui		mainwindow.ui

Repository files navigation

COS700-GDP

This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)

About

This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)

Report repository

Releases

No releases published

Packages

No packages published

Languages

C++ 97.3%
QMake 2.7%