Alessandro Di Federico 8c49f47f26 Use DefaultInterrupt<LatticeElement> as default ...

In most cases, a user of MonotoneFramework does not need a
interprocedural analysis, nor an analysis whose results on
terminal labels have to be aggregated in a FinalResults.
DefaultInterrupt<LatticeElement> is designed exactly for those
cases, and is hence used as default template parameter for
MonotoneFramework.

2019-03-06 09:04:58 +01:00

..

Assert.cpp

Fix assertion messages

2018-12-13 18:03:11 +01:00

CMakeLists.txt

Drop revamb-dump in favor of plain passes

2019-01-18 15:18:47 +01:00

CommandLine.cpp

Drop revamb-dump in favor of plain passes

2019-01-18 15:18:47 +01:00

Debug.cpp

Let --debug-log work without main involvement

2019-01-18 15:18:47 +01:00

DebugHelper.cpp

s/revamb/revng/g

2019-02-11 16:09:23 +01:00

ExampleAnalysis.cpp

Use DefaultInterrupt<LatticeElement> as default

2019-03-06 09:04:58 +01:00

IRHelpers.cpp

Tag function_call targeting external symbols

2018-11-15 16:03:09 +01:00

Statistics.cpp

Abandon argparse in favor of LLVM's CommandLine

2018-10-03 23:11:13 +02:00