GitHub - Valo13/mCRL2-IDE: An IDE for users that are new to the mCRL2 tool-set - This repository is outdated as the tool has been added to the main mCRL2 repository

Valo13 / mCRL2-IDE Public

An IDE for users that are new to the mCRL2 tool-set - This repository is outdated as the tool has been added to the main mCRL2 repository

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
icons		icons
.gitignore		.gitignore
addeditpropertydialog.cpp		addeditpropertydialog.cpp
addeditpropertydialog.h		addeditpropertydialog.h
addeditpropertydialog.ui		addeditpropertydialog.ui
codeeditor.cpp		codeeditor.cpp
codeeditor.h		codeeditor.h
consoledock.cpp		consoledock.cpp
consoledock.h		consoledock.h
filesystem.cpp		filesystem.cpp
filesystem.h		filesystem.h
findandreplacedialog.cpp		findandreplacedialog.cpp
findandreplacedialog.h		findandreplacedialog.h
findandreplacedialog.ui		findandreplacedialog.ui
mCRL2-IDE.pro		mCRL2-IDE.pro
mCRL2-IDE.pro.user		mCRL2-IDE.pro.user
main.cpp		main.cpp
mainwindow.cpp		mainwindow.cpp
mainwindow.h		mainwindow.h
mcrl2-ide.qrc		mcrl2-ide.qrc
processsystem.cpp		processsystem.cpp
processsystem.h		processsystem.h
propertiesdock.cpp		propertiesdock.cpp
propertiesdock.h		propertiesdock.h
propertywidget.cpp		propertywidget.cpp
propertywidget.h		propertywidget.h
rewritedock.cpp		rewritedock.cpp
rewritedock.h		rewritedock.h
solvedock.cpp		solvedock.cpp
solvedock.h		solvedock.h