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

[Pasareanu, C. S. (ARC-TI)[S. G. T. I. (S. Inc.)] <cor...@na...>]

Hi:
symbc is being moved to the new repository.
More info will be available soon.
Corina

________________________________________
From: Akira Yoshihara [a-...@do...]
Sent: Thursday, November 12, 2009 7:49 PM
To: jav...@li...
Subject: [Javapathfinder-devel] Where is symbc project in the new repository?

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









------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Javapathfinder-devel mailing list
Jav...@li...
https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel