This is an old revision of the document!
Intro
Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.
Getting it
TARBALL wanted
News
Quickstart
You need
To use it:
cd varda
./varda
You can load an example model from the cmdline:
./varda therm-model.pl
In Varda, try vardahelp.
While working in Varda you are in the pure SWI shell, just use Prolog
Devel
CVS Access
The code in currently in the CVS at charon.
It has a restricted access.
One has to be in the hades group.
This includes the team working on tools and examples.
To check out, use:
export CVSROOT=:ext:kinio@charon.ia.agh.edu.pl/mnt/cvs/cvs-hades
export CVS_RSH=ssh
cvs co varda
Put your user name instead of kinio
.
XML support
Property removal during transform.
Modified varda_model
look for FIXED4XML
.
sar.
works, but painfully, shi.
ok, gax
seems ok
— Grzegorz J. Nalepa 2008/01/26 15:27 works fine — Igor Wojnicki 2008/01/28 02:07