[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Automation & algebra lattice
From: |
David MENTRE |
Subject: |
[Axiom-developer] Re: Automation & algebra lattice |
Date: |
Wed, 20 Aug 2003 15:23:32 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux) |
Hello Tim,
root <address@hidden> writes:
> re: automating algebra bootstrap
>
> I will eventually automate the bootstrap rebuild but I'm trying to get
> the system buildable as a first priority. I need to hand check the code
> just to ensure that I didn't make a major mistake. No doubt I've made
> several but a bootstrap mistake would be very hard to find.
At one point, we will probably have to write a bootstrap process close
to the one used in compilers: from the source, make a compiler C1 which
is used to build a compiler C2, then compare the produced binaries (or
the generated clisp in Axiom's case).
> re: lattice
>
> I looked for tools that could compute and draw the lattice but found
> none. I have a partial lattice as a DIA file but I haven't touched it
> since april. Now that I have the dependency data there are several
> things I can compute from it and I plan to write a lattice domain in
> Axiom when time permits.
VCG is definitely the tool you want to automate graph (and tree)
drawing. And it is free as in free software (GPL license).
I would be very interested in the lattice you have.
Yours,
d.
--
address@hidden