Chris Timperley

Add ProgramEvidence class to store the results of modular analysis

1

To allow Darjeeling to efficiently exploit the results of multiple, modular analyses, we should add a `ProgramEvidence` class that simply records named, immutable articles of evidence that can be used...

Every transformation should be assigned a unique number, starting from zero. Numbers can be used for fast lookups by number and would be useful for debugging (e.g., a candidate patch...

Remove

An example trace that shows the current behavior: ``` Traceback (most recent call last): File "/home/chris/.local/share/virtualenvs/darjeeling-ardupilot-5Zw1Ma5z/bin/darjeeling", line 33, in sys.exit(load_entry_point('darjeeling', 'console_scripts', 'darjeeling')()) File "/home/chris/tools/darjeeling/src/darjeeling/cli/__init__.py", line 309, in main app.run() File...

Provides a nicer way of cleanly terminating the WebSocket server (#211)