Email I/O about spring-2013-se2-dijkstra

[GoogleCodeExporter]

I have gotten everything I/O related to admit, However the functions that rely 
on the I/O functions are still having trouble admitting to ACL2. It seems that 
all the functions will work independently but not as a whole as needed. 

Original comment by [email protected] on 23 Feb 2013 at 9:55

[GoogleCodeExporter]

Suggested that Wesley utilize the shell in order to provide input for the acl2 
script and to dynamically generate that information.  Naming convention for 
storage also discussed for clarification on multiple email messages existing in 
the same directory (persistent storage directory).

Original comment by matthew.a.crist on 26 Feb 2013 at 6:18

[GoogleCodeExporter]

Code review is under way.  Actionable execution must occur within a 
subdirectory of the module structure.  Will check for correctness.

Original comment by matthew.a.crist on 28 Feb 2013 at 6:06

• Changed state: Started

[GoogleCodeExporter]

IO should not occur within the server-email.lisp file.  This file should be 
dedicated to the logic of parsing the information contained within the data 
structure for the email subsystem.  IO should occur in a subsection of the 
module such as ./modules/email/send-email/ which can contain the 
send-email.lisp and send-email.sh files that act upon the logic contained in 
server-email.lisp.  Removed redundancies from the SVN.  Ensure that these files 
are removed from subversioning to prevent unnecessary commits to the 
repository.  io-utilities.lisp and list-utilities.lisp should be referenced in 
a relative context as opposed to absolute.  Updated references withing 
server-email.lisp.  Testing should occur in a separate file that includes this 
book instead of directly within the file itself.  Consider removal of excessive 
code.  I have left it in there for you to update upon completion.

Original comment by matthew.a.crist on 28 Feb 2013 at 6:12

• Added labels: Component-Logic

[GoogleCodeExporter]

Matthew and I have discussed the changes that need to be made. I am working on 
this now and should be finished shortly

Original comment by [email protected] on 28 Feb 2013 at 5:27

• Changed state: Fixed