7 Commits

Author SHA1 Message Date
Nicolas Setton
a24665c29d Add an e3 testsuite
Add a minimal test.
2022-01-31 15:06:32 +00:00
Nicolas Setton
ca47274b6d Move the demo to a "demo" directory 2022-01-31 14:46:23 +00:00
Nicolas Setton
10e0daa078 Adapt the Makefile and test driver
Adapt the Makefile so that it doesn't hard code a temporary directory,
allowing runs by multiple users or concurrent runs by one user.
2021-11-19 17:07:57 +00:00
Pierre-Marie de Rodat
86c235461c Add a setup script
This commit adds a setup.py script so that, providing libadalang is
available, installing adareducer is a one-liner.  To achieve this, it
also renames the top-level package (src -> adareducer) and the script
(adareducer.py -> ada_reduce.py) to avoid name conflicts.
2021-11-19 13:15:50 +00:00
Nicolas Setton
3e7f12a6b1 Add --follow-closure argument 2021-05-11 12:40:45 +01:00
Nicolas Setton
d595f3a075 Add support for removing packages 2021-05-11 12:40:45 +01:00
Nicolas Setton
e0a37cfdf9 Add a curses window (experimental) and a mini test 2021-05-11 12:40:45 +01:00