[CakeML-dev] mc_multiword

Scott Owens S.A.Owens at kent.ac.uk
Sun Jan 15 12:46:39 UTC 2017

Previous message (by thread): [CakeML-dev] translation speed after bignum
Next message (by thread): [CakeML-dev] mc_multiword
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

After merging master into env-refactor, word_bignumTheory doesn’t build, complaining of a missing mc_multiword theory.

Scott

Previous message (by thread): [CakeML-dev] translation speed after bignum
Next message (by thread): [CakeML-dev] mc_multiword
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Developers mailing list