Alessandro Di Federico 0dfc81da41 Minor model improvements ...

* Introduce some documentation for the model.
* Improve the way enums are serialized/deserialized.
* Mark certain fields of model data structures as optional.
* introduces some error messages during model validation.

2021-10-18 20:44:58 +02:00

..

CMakeLists.txt

Add LLVM libs for --no-undefined compliance

2021-09-01 16:40:56 +02:00

EnforceABI.cpp

Drop --disable-enforce-abi-safety-checks

2021-10-18 20:44:58 +02:00

InlineHelpers.cpp

Update InlineFunction API to LLVM-12

2021-06-14 23:04:02 +02:00

InvokeIsolatedFunctions.cpp

Import the model's type system

2021-07-21 18:22:58 +02:00

IsolateFunctions.cpp

Minor model improvements

2021-10-18 20:44:58 +02:00

PromoteCSVs.cpp

PromoteCSV: do not promote the stack pointer

2021-10-18 20:44:58 +02:00

RemoveExceptionalCalls.cpp

Introduce RemoveExceptionalCalls

2021-04-30 14:52:25 +02:00

StructInitializers.cpp

Introduce PromoteCSVs

2021-04-22 18:07:24 +02:00