Urpal is a utility for manipulating Uppaal models.
To contain Urpal SML source.
To contain Urpal documentation and reports.
Urpal!
Add manual page and empty README file.
Minor tweaks.
Add Id as a keyword for all files.
Add Id to Makefile.
Add a mechanism for putting the subversion revision into the executable.
Add a workaround for the lack of a Windows structure in SML/NJ
Rename into MoscowML/sml.net format.
Rename into MoscowML/sml.net format.
Rename into MoscowML/sml.net format.
Cleanup mlyacc files.
Fix bugs in renaming.
Add .ml files for building with Poly/ML.
Add MCS51 feature.
Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.
Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.
Update compilation under MLton.
Add multiply clocks feature.