Kamil Śliwak 6a41b417a3 FileReader: Store files loaded by the callback under their source unit name

2021-04-13 13:25:59 +02:00

..

analysis

Replaced boost::adaptors::transformed

2021-04-08 17:38:14 +05:30

ast

Replaced boost::adaptors::transformed

2021-04-08 17:38:14 +05:30

codegen

Fix array decoding offset overflow.

2021-04-12 13:43:51 +02:00

formal

Deprecate pragma experimental SMTChecker

2021-04-08 21:03:38 +02:00

interface

FileReader: Store files loaded by the callback under their source unit name

2021-04-13 13:25:59 +02:00

parsing

Revert statement.

2021-03-30 21:15:46 +02:00

CMakeLists.txt

Extract file reading logic from CommandLineInterface into FileReader class.

2021-04-06 17:10:43 +02:00