22 Commits

Author	SHA1	Message	Date
Alex Hirsch	577cef1b0f	Escape pipe in Markdown table	2021-04-13 15:28:21 +02:00
Alex Hirsch	f2e9c9afe1	Enumerate operator type support	2021-04-13 15:24:42 +02:00
Alex Hirsch	9d1e140c01	Spec: Single precision floating point arithmetic is sufficient	2021-02-05 00:50:00 +01:00
Alex Hirsch	666a1860a7	Update course information for next semester	2021-02-04 13:21:11 +01:00
Alex Hirsch	21a5b2cd61	Update spec	2021-01-27 16:48:54 +01:00
Alex Hirsch	18c724071d	Clarify array type checking, no out-of-bounds analysis	2020-04-28 18:13:56 +02:00
Alex Hirsch	e21a7c323b	Clarify that no dead code analysis is needed	2020-04-28 18:09:26 +02:00
Alex Hirsch	328e73e903	Spec: Semantic checking may stop on first error	2020-03-20 13:38:02 +01:00
Alex Hirsch	09f2f06750	Update for 2020	2020-02-27 15:40:25 +01:00
Alex Hirsch	0d1e01abe1	Fix void main	2019-06-17 09:58:36 +02:00
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