SourceForge has been redesigned. Learn more.
Close

Commit [5846e0] default  Maximize  Restore  History

BC forall code generation coded. First test works. And testall works.

mtnyogi mtnyogi 2008-05-04

added examples/forall/bc_forall.krb
changed examples/forall/forall.tst
changed examples/forall/test.py
changed pyke/krb_compiler/compiler.krb
changed pyke/krb_compiler/compiler_bc.py
examples/forall/bc_forall.krb Diff Switch to side-by-side view
Loading...
examples/forall/forall.tst Diff Switch to side-by-side view
Loading...
examples/forall/test.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler.krb Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler_bc.py Diff Switch to side-by-side view
Loading...