AdaCore / adareducer

AdaCore/adareducer Issues

support -X switches
Updated 2 years ago1
the project should be passed in a `-P` switch
Updated 2 years ago
IndexError: list index out of range
Updated 2 years ago6
Final file is not compilable due to "predicate no longer applies"
Closed 2 years ago1
Fix support for tabs
Closed 2 years ago
add a CI
Closed 2 years ago1
Libadalang crash on deleted source file
Closed 2 years ago1
make sure not to process "externally_built" projects
Closed 2 years ago1
add coverage reports to the CI
Updated 2 years ago
reduce strategy: perform an initial deletion attempt
Closed 2 years ago2
remove useless files
Closed 2 years ago
Remove aspects during reduction
Closed 2 years ago
Fix project support
Closed 3 years ago
create an e3 testsuite driver
Closed 3 years ago
improve robustness by trapping issues and reverting the .orig
Closed 3 years ago
make sure we don't eat the last contents of exception blocks
Updated 3 years ago
[Feature Request] Output average oracle time and other statistics
Updated 3 years ago