[Javapathfinder-devel] Where is symbc project in the new repository?

[Akira Y. <a-...@do...>]

Hi all,

Would anyone be kind enough to tell me where the symbc (Symbolic Test
Data Generation) project exist in the new repository server? It looks as
if this project (or extension, formerly) has be removed from the project
lists when JPF moved to this new server. Is it still under process of
porting? Or do we have to manually reconstruct this extension so that it
fits new project architecture, as referred to by the following link?
http://babelfish.arc.nasa.gov/trac/jpf/wiki/FAQ#WhatdoIhavetodotoportmyoldextensiontothenewarchitecture

Thank you very much and sincerely,
Akira Yoshihara