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
Ghjuvan Lacambre
c51e0a8c97
engine.py: perform a first pass pretending to remove unnecessary files
...
This commit makes adareducer attempt to rename as many files as possible
before doing reduction.
2022-02-02 10:56:33 +01:00
Nicolas Setton
633d948c13
Merge pull request #22 from pmderodat/master
...
Rename ada_reduce.py to adareducer after installation
2022-02-02 09:22:22 +00:00
Nicolas Setton
9294118425
Merge pull request #21 from AdaCore/topic/11
...
Add a strategy to attempt removal of aspects
2022-02-02 09:21:28 +00:00
Boris Yakobowski
737747e068
minor "typo"
2022-02-01 22:34:36 +01:00
Pierre-Marie de Rodat
03b4a0dd6e
Rename ada_reduce.py to adareducer after installation
2022-02-01 20:36:25 +00: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
