0.5 -- 2025-11-09

• Add parsedProgramFnBindings to a new module, Lang.Crucible.Syntax.ParsedProgram.

0.4.1 -- 2025-03-21

• Add a Pretty instance for ExprError.

• Allow exotic characters (including Unicode symbols) in fresh atom names instead of having them be restricted to plain text identifiers.

0.4 -- 2024-02-05

• The type ACFG has been removed in favor of Lang.Crucible.CFG.Reg.AnyCFG, which serves a similar purpose (hiding the argument and return types). The CFG argument and return types can be recovered via Lang.Crucible.CFG.Reg.{cfgArgTypes,cfgReturnType}.

• crucible-syntax now supports simulating CFGs with language-specific syntax extensions:

  • SimulateProgramHooks now has a setupHook field that can run an arbitrary override action before simulation. (For example, this is used in crucible-llvm-syntax to initialize the LLVM memory global variable.)
  • SimulateProgramHooks now has an extra ext type variable so that hooks can be extension-specific.

• execCommand and related data types in Lang.Crucible.Syntax.Prog have been split off into a separate crucible-cli library.

0.3

• The return type of prog:

  TopParser s (Map GlobalName (Pair TypeRepr GlobalVar), [ACFG ext])
  

  Has been changed to:

  TopParser s (ParsedProgram ext)
  

  Where the parsedProgGlobals :: Map GlobalName (Some GlobalVar) and parsedProgCFGs :: [ACFG ext] fields of ParsedProgram now serve the roles previously filled by the first and second fields of the returned tuple. (Note that Pair TypeRepr GlobalVar has been simplified to Some GlobalVar, as the TypeRepr of a GlobalVar can be retrieved through its globalType field.)

• The type of simulateProgram's last argument:

  simulateProgram
    :: ...
    -> (forall p sym ext t st fs. (IsSymInterface sym, sym ~ (ExprBuilder t st fs)) =>
          sym -> HandleAllocator -> IO [(FnBinding p sym ext,Position)])
    -> ...
  

  Has changed to the following:

  simulateProgram
    :: ...
    -> SimulateProgramHooks
    -> ...
  

  Where the setupOverridesHook field of SimulateProgramHooks now serves the role previously filled by the function argument.

• crucible-syntax now supports forward declarations. A forward declaration is like a function, but lacking a body, and is useful for situations where one does not know what the implementation of a function will be until after the .cbl file is parsed. See the crucible-syntax README for more information.

  There is also now an extern keyword, that acts like a forward declaration for global variables.

0.2

• Various functions now take a ?parserHooks :: ParserHooks ext implicit argument, which supports arbitrary syntax extensions. Various data types now also have an additional ext type parameter, which represents the type of the parser extension being used. If you do not care about parser extensions, a reasonable default choice is ?parserHooks = defaultParserHooks.