Skip to content

Pull requests: AdaCore/langkit

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

build(deps): bump pygments from 2.6.1 to 2.15.0 dependencies Pull requests that update a dependency file
#650 by dependabot bot was closed Jun 26, 2024 Loading…
Bump pygments from 2.6.1 to 2.7.4 dependencies Pull requests that update a dependency file
#649 by dependabot bot was closed Jul 20, 2023 Loading…
getargspec removed on python 3.11
#646 by atupone was closed Feb 28, 2023 Loading…
Fix a few typos in documentation
#645 by okellogg was closed Jan 20, 2023 Loading…
create-project.py: forward verbosity option
#644 by ronan-d was closed Dec 9, 2022 Loading…
Stop depending on the funcy non-standard module
#642 by asarhaddon was closed Apr 8, 2022 Loading…
UA21-001 Don't increase/decrease logging indent...
#640 by godunko was closed Mar 23, 2022 Loading…
Generic API: bind the Is_Equivalent token predicate
#639 by pmderodat was closed Feb 16, 2022 Loading…
Remove various useless with/use clauses
#637 by pmderodat was merged Feb 14, 2022 Loading…
Generic API: minor fixes/enhancements
#636 by pmderodat was merged Feb 14, 2022 Loading…
Generic API: avoid as much as possible 'Class in the API
#635 by pmderodat was merged Feb 11, 2022 Loading…
Can_Reach: directly use token indexes instead of slocs
#634 by pmderodat was merged Feb 10, 2022 Loading…
Generic API: fix a memory leak in node member evaluation
#633 by pmderodat was merged Feb 8, 2022 Loading…
Generic API: fix Members for overriding fields/properties
#632 by pmderodat was merged Feb 7, 2022 Loading…
Generic API: various enhancements
#630 by pmderodat was merged Feb 3, 2022 Loading…
Add "py.typed" files in Python packages
#629 by pmderodat was merged Feb 1, 2022 Loading…
Generic API: various enhancements
#628 by pmderodat was merged Feb 1, 2022 Loading…
Various generic API improvements
#627 by pmderodat was merged Jan 31, 2022 Loading…
Generic API: name maps
#624 by pmderodat was merged Jan 24, 2022 Loading…
ProTip! Follow long discussions with comments:>50.