ASL with extensions

Extensions:

• Add fenced code block support
• Add named arguments and default arguments (this is a breaking change)
• Add asl_end_execution
• Add "x with { [2] = '1' }" to give the same expressive power that "x OR 0x4" gives you

Typechecker:

• Fix constraint inference on if statements and mutable variable declarations
• Error messages
• Improve monomorphization error messages

C/C++ backends

• Insert runtime bounds checks
• Support slices of integers - turns out they are important for FP code
• Optimize small integers in sc, ac and c23 backends (use -Obounded to enable this)

C23 backend

• integer promotion issues (that caused mis-compilation)
• asl_sub_bits was broken

SC/AC backends

• handling of INT_MIN values

Many minor bugfixes

ASL with extensions

• Extensions:
  • Add fenced code block support
  • Add named arguments and default arguments (this is a breaking change)
  • Add asl_end_execution
  • Add "x with { [2] = '1' }" to give the same expressive power that "x OR 0x4" gives you
• Typechecker:
  • Fix constraint inference on if statements and mutable variable declarations
• Error messages
  • Improve monomorphization error messages
• C/C++ backends
  • Insert runtime bounds checks
  • Support slices of integers - turns out they are important for FP code
  • C23 backend
    • integer promotion issues (that caused mis-compilation)
    • asl_sub_bits was broken
  • SC/AC backends
    • handling of INT_MIN values
  • C23 and SC backends
    • optimize representation of small ints (use -Obounded)
• Many minor bugfixes

ASL with extensions

• Extensions:
  • Add fenced code block support
  • Add named arguments and default arguments
  • Add asl_end_execution
  • Add "x with { [2] = '1' }" to give the same expressive power that "x OR 0x4" gives you
• Typechecker:
  • Fix constraint inference on if statements and mutable variable declarations
• Error messages
  • Improve monomorphization error messages
• C/C++ backends
  • Insert runtime bounds checks
  • Support slices of integers - turns out they are important for FP code
  • C23 backend
    • integer promotion issues (that caused mis-compilation)
    • asl_sub_bits was broken
  • SC/AC backends
    • handling of INT_MIN values
  • C23 and SC backends
    • optimize representation of small ints (use -Obounded)
• Many minor bugfixes

v1.1.0-alpha2

• Add fenced code block support
• Typechecker:
  • Fix constraint inference on if statements and mutable variable declarations
• Error messages
  • Improve monomorphization error messages
• Optimizations
  • 'Len(x)'
  • integer representation when we know the range of an int (-Obounded to enable)
• C/C++ backends
  • Insert runtime bounds checks
  • Support slices of integers - turns out they are important for FP code
  • C23 backend
    • integer promotion issues (that caused mis-compilation)
    • asl_sub_bits was broken
  • SC/AC backends
    • handling of INT_MIN values

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 alastair.reid@intel.com
Co-authored-by: Nikolay Kosarev nikolay.kosarev@intel.com
Co-authored-by: Niclas Adlertz niclas.adlertz@intel.com
Co-authored-by: Rafael Barbalho rafael.barbalho@intel.com

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