Files shown: | 6 |
Directory revision: | 368 (of 7031) |
Sticky Revision: |
File | Rev. |
Age
![]() |
Author | Last log entry | |
---|---|---|---|---|---|
![]() |
|||||
![]() |
257 | 15 years | jgs | fixed specification of solver libs | |
![]() |
258 | 15 years | jgs | add options file for the prism (not tested yet) | |
![]() |
267 | 15 years | jgs | fixed typo in options string | |
![]() |
309 | 15 years | jgs | now load default options - by default! | |
![]() |
360 | 15 years | jgs | add target to run all unit tests, the build will fail for this target if any uni… | |
![]() |
368 | 15 years | gross | and a bit more on version detection |
ViewVC Help | |
Powered by ViewVC 1.1.26 |