Boris Yakobowski
737747e068
minor "typo"
2022-02-01 22:34:36 +01:00
Nicolas Setton
836715f10e
Add a strategy to attempt removal of aspects
...
Do this before attempting to remove subprograms. When this
is successful, this allows more subprograms to be suppressed.
Add a test.
Fixes #11
2022-02-01 13:54:08 +00:00
Nicolas Setton
73fb96f4ea
Merge pull request #15 from AdaCore/topic/project_support
...
Add support for projects
2022-02-01 08:31:02 +00:00
Nicolas Setton
0873b965c3
Merge pull request #16 from AdaCore/topic/fix_handling_of_file_without_unit
...
Fix coding error
2022-01-31 20:57:45 +00:00
Nicolas Setton
d0869baf87
Add one type annotation and pass mypy
2022-01-31 19:26:35 +00:00
Nicolas Setton
e3fbdfa4e3
Fix coding error
...
Reducer.apply_strategies_on_file is expected to return a character
count: fix coding error where this was omitted, in the case where
the file does not contain a root node.
Fixes a crash in this case.
2022-01-31 18:57:23 +00:00
Nicolas Setton
13947f4bb9
Use pathlib for a more modern Python flair
2022-01-31 18:19:02 +00:00
Nicolas Setton
b88f945033
Add proper support for projects
...
Thanks to the Libadalang "SourceFiles" class.
Add a test.
2022-01-31 17:04:08 +00:00
Nicolas Setton
3da870a48c
Merge pull request #14 from AdaCore/topic/testsuite
...
Add a testsuite
2022-01-31 16:59:22 +00:00
Nicolas Setton
54553a364e
Fix the name of the testsuite driver class
...
Fixes copypasta
2022-01-31 16:55:01 +00:00
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
be58b609bf
Merge pull request #10 from AdaCore/topic/add_crash_dump
...
Add a ".crash" file when a crash occurs
2022-01-31 13:38:48 +00:00
Nicolas Setton
adad20a4e9
Merge pull request #9 from AdaCore/topic/fix_test
...
Cleanup and fix the testsuite
2022-01-31 13:37:54 +00:00
Nicolas Setton
6c73458442
Remove unnecessary space
2022-01-18 17:15:29 +00:00
Nicolas Setton
cc38a78ff4
Add a ".crash" file when a crash occurs
...
When a crash occurs as strategies are being applied, dump the
current text of the buffer to a ".crash" file, to help with the
post-mortem investigation.
2022-01-18 12:28:53 +00:00
Nicolas Setton
e2e75fa449
Cleanup and fix the testsuite
...
Adjust the testsuite to the new name of ada_reduce.py.
Rename "basic.sh" to the more meaningful "oracle.sh"
Simplify test.sh and do not trap "EXIT"
2022-01-18 12:20:52 +00:00
Nicolas Setton
16ba0f5ad5
Merge pull request #2 from AdaCore/topic/improve_cautious_doc_and_makefile
...
Fix the help for the Cautious mode
2021-12-09 12:10:34 +00:00
Nicolas Setton
6d5facb7fd
Fix the help for the Cautious mode
...
If the cautious mode catches something, write an interesting
message before aborting.
2021-11-19 17:08:49 +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
Nicolas Setton
1f00af3f3e
Merge pull request #3 from pmderodat/master
...
Make it easier to use adareducer on various environments
2021-11-19 16:56:46 +00:00
Pierre-Marie de Rodat
851f67b20e
README.md: reformat and describe the installation procedure
2021-11-19 15:41:45 +01:00
Pierre-Marie de Rodat
c65848f47c
adareducer.gui: import curses only when really needed
...
This module is not available on all platforms (for instance on some
Windows setups): just try to do without it in such environments.
2021-11-19 15:41:25 +01: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
Léo Germond
3326cf7dc4
Merge pull request #1 from AdaCore/portable_pathlib_python
...
Portable pathlib python
2021-09-08 15:37:14 +02:00
