Support ASL version 1.0

Extensive changes to ASLi

Changes include:

• Change ASLi to support most of ASL version 1.0 requiring significant changes to the AST, lexer, parser and typechecker.
• Cleanup the "CPU" API that ASLi expects an ISA to implement.
• Add support for compiling ASL specifications to C by adding many transformations and multiple runtimes.
• Add a demo ISA to illustrate how to generate simulators from an ASL specification.

Co-authored-by: Alastair Reid [email protected]
Co-authored-by: Nikolay Kosarev [email protected]
Co-authored-by: Niclas Adlertz [email protected]
Co-authored-by: Rafael Barbalho [email protected]

v1.1.0-alpha1

This release

• Adds a new FFI interface that is stable even as you change the internal representation of integer and bits(N) #25
• Adds support for using the System-C datatypes (to represent integer and bits(N)) #44
• Adds runtime checking of array and bitvector indexes #39
• Adds the -Obounded optimization #58
• Adds support for using 'const ref' arguments when generating C++ code #43
• Adds support for including fenced code blocks in .asl files #57
• Adds support for thread-local state #26
• Fixes issues in
  • Checks of exception markers #42
  • Fixes missing support for assigning to bits of integers #56
  • Integer constraints inferred for mutable variables #45
  • Adds more regression tests and improves testing framework
  • Improves C backend error messages when bitwidths are not statically known #66