[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Handle mutually-recursive functions

Subject: Re: Handle mutually-recursive functions
From: Chris Warburton
Date: Wed, 28 Jun 2017 21:48:52 +0100
In-reply-to: <8088309b5c435751-0-artemis@nixos>
References: <8088309b5c435751-0-artemis@nixos>

Looks like all occurrences of 'define-fun' in the main code
(i.e. pattern matches which actually affect execution; rather than just
examples from test cases) now have a corresponding 'define-funs-rec'

References:
- Handle mutually-recursive functions
  - From: Chris Warburton

Prev by Date: Re: Handle mutually-recursive functions
Next by Date: Normalising is REALLY slow
Previous by thread: Re: Handle mutually-recursive functions
Next by thread: Take temp dir (for testing sigs) from environment
Index(es):
- Date
- Thread