adareducer

ada/adareducer

Fork 0

mirror of https://github.com/AdaCore/adareducer.git synced 2026-02-12 13:10:07 -08:00

Commit Graph

Author	SHA1	Message	Date
Nicolas Setton	ec89ff0cc7	Add an "adareducer" script at the toplevel For the benefit of the development environment, or any users who only "git clone" this repository and work from it. Fix the testsuite using this. Rename the "adareducer" source dir to "ada_reducer"	2022-02-02 16:18:41 +00:00
Pierre-Marie de Rodat	03b4a0dd6e	Rename ada_reduce.py to adareducer after installation	2022-02-01 20:36:25 +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

Author

SHA1

Message

Date

Nicolas Setton

ec89ff0cc7

Add an "adareducer" script at the toplevel

For the benefit of the development environment, or any
users who only "git clone" this repository and work from it.

Fix the testsuite using this.

Rename the "adareducer" source dir to "ada_reducer"

2022-02-02 16:18:41 +00:00

Pierre-Marie de Rodat

03b4a0dd6e

Rename ada_reduce.py to adareducer after installation

2022-02-01 20:36:25 +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

3 Commits