[vmchecker-dev] Proiectarea Algoritmilor on vmchecker

[Claudiu-Dan Gheorghe]

On Thu, Apr 8, 2010 at 10:16 PM, Lucian Adrian Grijincu
<lucian.grijincu at gmail.com> wrote:
> On Thu, Apr 8, 2010 at 10:11 PM, Claudiu-Dan Gheorghe
>
> You mean git branch?
Actually I wasn't thinking about a git branch, while this may be a solution.

I was thinking to make a new dir in the source tree like testing/pa/
and commit there all the scripts and utilities implemented for PA.
What do you think about this?

-- 
Claudiu