1.16.2

Features:

• varargs are supported in blob context and fragment context

1.16.0

Features:

• Added a --blob mode for rendering generic targets as simple sequential fragments

Blob is a simple rendering mode suitable for any context-free file format such cross-compilation to another programming language

import LIB/default.html;

(html(
   (head(
      (title( 'Hello\sHTML_s ))
   ))
   (body(
      (h2( 'Hello\sWorld_s ))
   ))
))

1.15.28

Features:

• lmv assembly parser is working well enough to extract the control flow graph from annotated files

1.15.27

Features:

• successfully parsing most GNU syntax forms

1.15.26

Features:

• Verifier can now tokenize GNU assembly files to look for assertions

1.15.25

Features:

• tail cons is no longer a feature in the language and has been completely removed in favor of implicit tail cons

1.15.24

Features:

• support stack variables in return position of if statements

1.15.23

Features:

• if expressions as value expressions works now

1.15.22

Features:

• fix regression in blame tracking for function applications

1.15.21

Features:

• all hard-coded assembly in codegen has been moved to libraries