Alexander Arlt cbc2acf83e Type Checker: Add size check for fixed point types.

2021-08-04 15:27:40 -05:00

..

analysis

Type Checker: Add size check for fixed point types.

2021-08-04 15:27:40 -05:00

ast

No operators on fixed point types beyond comparison.

2021-08-03 17:48:34 +02:00

codegen

Fixed point type conversions.

2021-08-04 15:32:21 +02:00

formal

Add option to choose solver

2021-07-27 17:14:21 +02:00

interface

Simplify AsmParser::parse(.) usage

2021-08-03 15:43:17 +02:00

parsing

Eliminate unnecessary m_source from Parser

2021-08-03 16:03:45 +02:00

CMakeLists.txt

ControlFlowAnalyser: Also consider called functions in a flow

2021-06-01 15:54:37 +02:00