• BCS (10/10) Dec 26 2007 In working on my backmath library I have realized that the number of cas...
• BCS (8/8) Dec 27 2007 I have posted the lisp code needed to generate the logic for backmath. T...
• BCS (2/2) Dec 28 2007 I just committed a fix to a bug in BackMath. If you are using it, update...

BCS <ao pathlink.com> writes:

In working on my backmath library I have realized that the number of cases 
I will need to deal with is huge (~1k). I'm wondering if anyone would be 
willing to help work on it. Much of the work is not vary complicated and 
doesn't requiter a lot of skill, it's just repetitive. Also I plan on
generating 
formal proofs of correctness so there will be a safety net to help with
checking 
code.

If anyone is interested, tell me and I'll post the stuff that is needed to 
do the work. (The work would be done in LISP so anyone working on it would 
need a LISP interpreter, but that's not hard to get.)

http://www.dsource.org/projects/scrapple/browser/trunk/backmath

BCS <ao pathlink.com> writes:

I have posted the lisp code needed to generate the logic for backmath. There 
is some comments in "meta.lisp" that show how to work with it. If you are 
interested in working on this, please contact me before you start so we can 
avoid duplicating work.

link:
http://www.dsource.org/projects/scrapple/browser/trunk/backmath

to run it, dump it into a common lisp interpreter:
$(CL) < gen_code_for_template.lisp

BCS <ao pathlink.com> writes:

I just committed a fix to a bug in BackMath. If you are using it, update 
now. The old version is broken.