6 Commits

Author	SHA1	Message	Date
Neil Brown	63d18373b8	Changed tlpInterface to also return the direction of each channel, so that the (C++CSP) backend knows whether to pass it a whole channel, or just an end	2007-08-22 22:07:42 +00:00
Neil Brown	7c61208c93	Added a check to ensure that the channel parameters of the main function have the correct direction if they are specified	2007-08-22 21:49:33 +00:00
Neil Brown	849a41fcdd	Where head is used (in this case on csMainLocals), protected it with a condition so that it gives a more useful error message than simply head: empty list	2007-08-22 11:07:56 +00:00
Neil Brown	3b14eec036	Added direction specifiers and further attributes (such as whether the channel is shared) to the Chan type in the AST	2007-08-21 10:35:18 +00:00
Adam Sampson	c8d5a4ff40	Add licensing information. ... The compiler itself is under the GPLv2+; the support code that gets built into user programs is under the LGPLv2+. This matches the existing practice for the KRoC project. (As with Occade, I've used the new GPLv3-style license header in the source files, though, since that avoids having to update the FSF's postal address.)	2007-08-18 20:42:11 +00:00
Adam Sampson	50731d0b75	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00