[m-users.] Open sourced Mission Critical IT code

Delmas Buckley rbuckley at ieee.org
Sun Jun 7 01:28:01 AEST 2015


I had the following conversation with Ludovic Langevine relating to the BDD
module bdd_alt.m. The bottom line is that Mission Critical IT has agreed to
release the missing "cache" module. Sorry about the awkward presentation

Robert Buckley

Recent release of bdd source code in Mercury programming language
Delmas Buckley <rbuckley at ieee.org>
7:21 AM (1 hour ago)
to llg

Recently Mercury source files for BDD operations were posted on the Mercury
User distribution. One of the BDD modules, bdd_alt.m, imports a module
named "cache", at line 74. But the standard distribution of Mercury appears
not to include the module "cache". Can you provide a copy of "cache" that
itself relies only upon standard Mercury modules/libraries? Or, in the
alternative, direct us to a source of such module.

If you are able to do so, it would be very much appreciated, as I would
like to evaluate the usefulness of the alternative BDD implementation.

Best regards,
Robert Buckley
Ludovic Langevine
Jun 4 (2 days ago)
to me

Hi Robert,
I have to check with Mission Critical IT team first, but the caching module
is definitely a useful piece of code.
I come back to you.

Ludovic Langevine <llg at missioncriticalit.com>
Jun 5 (1 day ago)
to me
Hi Robert,
We're going to distribute the "cache" module as well.
Should you have any further question about the BDD modules, feel free to
contact me.

Best regards,
Delmas Buckley <rbuckley at ieee.org>
Jun 5 (1 day ago)
to Ludovic
Thank you

Best regards,
Robert Buckley

On Sat, Jun 6, 2015 at 6:27 AM, Paul Bone <paul at bone.id.au> wrote:

> On Thu, Jun 04, 2015 at 07:52:59AM +0100, Matthias G??demann wrote:
> > Hi Paul and Robert,
> >
> > I had a look at the test_bdd.m program. It seems that there simply is a
> > problem with the argument order. In lines 283 and 293, the variable BDD
> > is of type bdd(Var) and must be passed as *second* argument instead of
> > as first, as the function evaluate has the type:
> >
> > :- func evaluate(valuation(BooleanVar), bdd(BooleanVar)) = bool.
> >
> > when this is done (see attached patch), the program compiles and all
> > tests in test_bdd.m pass (see attached compressed output).
> Thanks,  I'll push this change soon, however...
> I found that it doesn't compile with Mercury ROTD 2015-02-02, which I
> believe
> includes a more accurate mode-checker.  I'm working on fixing it but I've
> found
> that it was easier to re-write the mode incorrect parts.  I'll push it when
> I'm done.
> Cheers.
> --
> Paul Bone
> Software Developer
> http://www.bone.id.au
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20150606/639ca970/attachment.html>

More information about the users mailing list