issues
search
formalsoftware
/
CSPDT
An IDE for CSP (Communicating Sequential Processes) based on eclipse IDE.
GNU General Public License v3.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Auto Complete Não abriu com CTRL + " "
#25
DanielVP15
opened
2 years ago
0
Error marking não funcionando 100%
#24
DanielVP15
opened
2 years ago
1
Browsing não funcionando 100%
#23
DanielVP15
opened
2 years ago
1
Syntax Highlight Não funcionando
#22
DanielVP15
opened
2 years ago
4
Problema com assert
#21
DanielVP15
opened
2 years ago
0
Outline Não funcionando
#20
DanielVP15
opened
2 years ago
4
Error CspM View
#19
DanielVP15
opened
2 years ago
0
Documentation by students of ADS 2016.1 course
#18
jbjj
closed
4 years ago
0
Code developed by Victor Vilmarques for his undergraduate course conclusion monograph
#17
jbjj
closed
4 years ago
0
Ads 2016.2
#16
Everalda
closed
4 years ago
0
Criar Doxygen (Javadoc) para projeto cspdt.core
#15
jbjj
closed
7 years ago
2
Criar Doxygen (Javadoc) para projeto cspdt.editor
#14
jbjj
closed
7 years ago
0
Criar Doxygen (Javadoc) para projeto cspdt.cspm
#13
jbjj
closed
7 years ago
0
Documentar as classes para a funcionalidade de Navegacao (Hyperlinks) de codigo
#12
jbjj
closed
7 years ago
0
Documentar as classes para a funcionalidade de AutoComplete de codigo
#11
jbjj
closed
7 years ago
0
Documentar as classes para a funcionalidade de Folding de codigo
#10
jbjj
closed
7 years ago
0
Documentar as classes para a funcionalidade de Marcacao de erros de codigo
#9
jbjj
closed
7 years ago
0
Documentar as classes para a funcionalidade de Outline de codigo
#8
jbjj
closed
7 years ago
0
Documentar as classes para a funcionalidade de Highlight de codigo
#7
jbjj
closed
7 years ago
0
Definir diagrama de classes para a funcionalidade de Navegacao (Hyperlinks) de codigo
#6
jbjj
closed
7 years ago
0
Definir diagrama de classes para a funcionalidade de AutoComplete de codigo
#5
jbjj
closed
7 years ago
0
Definir diagrama de classes para a funcionalidade de Folding de codigo
#4
jbjj
closed
7 years ago
0
Definir diagrama de classes para a funcionalidade de Marcacao de erros de codigo
#3
jbjj
closed
7 years ago
0
Definir diagrama de classes para a funcionalidade de Outline de codigo
#2
jbjj
closed
7 years ago
0
Definir diagrama de classes para a funcionalidade de Highlight de codigo
#1
jbjj
closed
7 years ago
1