Logo
Explore Help
Sign In
ada/adareducer
0
0
Fork 0
You've already forked adareducer
mirror of https://github.com/AdaCore/adareducer.git synced 2026-02-12 13:10:07 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
23.2
adareducer/ada_reducer
History
Pierre-Marie de Rodat 7e72532dfe Update after a Libadalang API change
For eng/libadalang/libadalang#932
2022-07-27 16:50:00 +02:00
..
__init__.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
delete_empty_units.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
dichotomy.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
engine.py
Merge pull request #30 from AdaCore/topic/tabs
2022-02-09 13:05:33 +00:00
gui.py
ada_reducer.gui: protect against ImportError exceptions for curses
2022-07-05 09:43:18 +02:00
hollow_body.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
interfaces.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
main.py
Remove the dependency on "click"
2022-07-06 17:03:03 +02:00
project_support.py
Update after a Libadalang API change
2022-07-27 16:50:00 +02:00
remove_generic_nodes.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
remove_imports.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
remove_statement.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
remove_subprograms.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
remove_trivias.py
Add an "adareducer" script at the toplevel
2022-02-02 16:18:41 +00:00
types.py
Fix support for tabs
2022-02-09 12:50:44 +00:00
Powered by Gitea Page: 82ms Template: 18ms
English
English
Licenses API