Differences

This shows you the differences between two versions of the page.

--- docs:main [2017/03/24 18:19] – [SaC 1.0] hnv
+++ docs:main [2021/09/20 13:24] – [SaC 1.4] sbs
@@ Line 6: / Line 6: @@
-====== SaC 1.0 ======
+====== SaC 1.4 ======
-  * The [[docs:syntax|syntax definition]] can be downloaded as {{:docs:syntax.pdf|}}. //It provides the EBNF as it should be supported by the current compiler.//
+The new [[docs:syntax_1_4|syntax definition of SaC v1.4]] can be downloaded as {{:docs:syntax_1_4.pdf|SaC v1.4}}.
-  * The [[docs:manual|language manual]] can be downloaded as {{:docs:manual.pdf|}}. //It relates the formal syntax to a formal semantics. This includes a big-step semantics of the language core as well as formal descriptions of the de-sugaring process.//
+Novelties include: support for **non-recursive structs** and new **pragmas for CUDA kernel creation**.
+These are marked in red.
+//It provides the EBNF as it should be supported by the current compiler.//
+The [[docs:syntax|definition of SaC 1.3]] is still available for download as {{:docs:syntax.pdf|SaC v1.3}}.
 ====== SaC Stdlib 1.3.0 ======