You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Dave Parker
a3b073de7a
Makefile: clean_cudd actually cleans CUDD.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@224 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
| .. |
|
bin
|
Move images/dtds out of classes directory (is a pain in Eclipse).
|
20 years ago |
|
chart
|
Bug fix: wrong Swing window closing method (now caught at run-time by Java 6). Cheers Alistair.
|
19 years ago |
|
dd
|
Removal of explicit lists of Java/C++ files from Makefiles (we are reliant on GNU make anyway).
|
20 years ago |
|
dv
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
hybrid
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
jdd
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
mtbdd
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
odd
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
parser
|
ModulesFile toString() function should display model type.
|
19 years ago |
|
pepa
|
Bugfix in pepa/compiler Makefile.
|
20 years ago |
|
prism
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
settings
|
Added wrapping to MultipleLineStringEditor, e.g. in graph title setting.
|
20 years ago |
|
simulator
|
Updates backtracking by time. Seems to work better. (1/2)
|
19 years ago |
|
sparse
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
userinterface
|
Small improvement to the Simulator GUI, the separator on the top can now be moved without constraints.
|
19 years ago |
|
manifest.txt
|
Edited makefile to create Jar files which can be double-clicked. Also added a manifest.txt in the src directory which is required to realise this behaviour.
|
20 years ago |
