Return-Path: <kfoury@cs.bu.edu> X-Spam-HitLevel: X-Spam-DCC: INFN-TO: cs3.bu.edu 1233; Body=3 Fuz1=3 Fuz2=3 X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu X-Spam-Level: X-Spam-Status: No, score=-4.4 required=10.0 tests=ALL_TRUSTED,BAYES_00 autolearn=ham version=3.1.0 X-Spam-Pyzor: Received: from [76.19.13.75] ([76.19.13.75]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k8QMYIC4024277; Tue, 26 Sep 2006 18:34:48 -0400 Message-ID: <4519AAF5.5040801@cs.bu.edu> Date: Tue, 26 Sep 2006 18:34:29 -0400 From: Assaf Kfoury <kfoury@cs.bu.edu> User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051013) X-Accept-Language: en-us, en To: David Cecere <dcecere@cs.bu.edu> CC: Rui Shi <shearer@cs.bu.edu>, cs520@cs.bu.edu Subject: Re: CS520 submission question References: <Pine.SOL.4.20.0609261720270.38141-100000@csa.bu.edu> In-Reply-To: <Pine.SOL.4.20.0609261720270.38141-100000@csa.bu.edu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Clamav-Status: No Status: RO Content-Length: 1296 X-UID: 8 X-Keywords:
Dave -- Rui did respond to your message. I quickly scanned his response
this morning, which was addressed to you only, not to the class list.
(Unfortunately I erased it already.) Without waiting for Rui's answer
again, you seem to refer to a particular method of carrying out
substitution -- that's OK and you can choose any method that works
(hopefully without errors!).
Assaf
David Cecere wrote:
>Hi Rui,
>
>I guess there probably isn't enough time to change anything now, but I
>never heard back from you regarding my questions that were forwarded on to
>you by Prof. Kfoury this weekend.
>
>Is it sufficient that my substitution function does not first rename and
>number all variables but only does alpha-renaming when necessary by
>checking the current variables and randomly generating a new one for a
>replacement?
>
>Thanks,
>Dave
>
>On Tue, 26 Sep 2006, Rui Shi wrote:
>
>
>
>>Hi all,
>>
>>Please gsubmit all the files including test cases.
>>
>>Thanks,
>>
>>TF
>>
>>-----Original Message-----
>>From: ilir@bu.edu [mailto:ilir@bu.edu]
>>Sent: Tuesday, September 26, 2006 1:51 PM
>>To: shearer@cs.bu.edu
>>Subject: CS520 submission question
>>
>>Dear Rui,
>>
>>Is it enough to submit only the eval.ml file, or you need all other files?
>>
>>
>>Sincerely,
>>Ilir
>>
>>
>>
This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST