13 Jan
2013
13 Jan
'13
9:07 a.m.
Hi,
--- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana rfontana@redhat.com wrote: | 5. We must be notified by email at kroening@cs.cmu.edu after you install | the program for any purpose. | | would have to be deleted. --
Upstream has agreed to remove the clause, and their svn code has been updated accordingly.
http://www.cprover.org/cbmc/LICENSE
Thanks!
SK
--
Shakthi Kannan
http://www.shakthimaan.com