Commit Graph

12 Commits

Author SHA1 Message Date
Alex Hirsch
390a738f8e Fix call-by-value section 2019-06-17 08:50:28 +02:00
Alex Hirsch
3cc1d691da Clarify that namespaces should be utilised in C++ 2019-06-07 15:26:11 +02:00
Alex Hirsch
2d2fc889ca Spec: Clarify repository root 2019-05-28 12:53:31 +02:00
Alex Hirsch
4d5eb79243 Spec: Default log output should be stderr 2019-04-19 15:29:05 +02:00
Alex Hirsch
4d1c986605 Spec: Clarify that system librarys can be used 2019-04-19 14:41:13 +02:00
Alex Hirsch
909162e3b0 Fix various typos + rewording (thanks Markus) 2019-03-01 21:22:40 +01:00
Alex Hirsch
116e0c5c49 Clarify type checking is also required for arrays 2019-03-01 20:49:37 +01:00
Alex Hirsch
595489d8ab Minor adjustments and rewording 2019-02-17 22:57:48 +01:00
Alex Hirsch
6e654bdc61 Provide CFG example 2019-01-30 11:27:14 +01:00
Alex Hirsch
6e0e1507de Minor additions to the spec 2019-01-30 10:47:43 +01:00
Alex Hirsch
8c27436e48 Minor fixes 2019-01-07 15:07:01 +01:00
Alex Hirsch
0045501c5e Initial commit 2019-01-05 14:57:14 +01:00