Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Basic Geb integration #1748

Merged
merged 20 commits into from
Feb 1, 2023
Merged

Basic Geb integration #1748

merged 20 commits into from
Feb 1, 2023

Commits on Feb 1, 2023

  1. Geb data structures and S-expression output

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    61df63d View commit details
    Browse the repository at this point in the history

  2. make ormolu happy

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    a56f6d2 View commit details
    Browse the repository at this point in the history

  3. Adjustments after conversation with Terence

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    01a1530 View commit details
    Browse the repository at this point in the history

  4. stubs

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    059a383 View commit details
    Browse the repository at this point in the history

  5. make ormolu happy

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    19c74a3 View commit details
    Browse the repository at this point in the history

  6. transformations

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    7cd34da View commit details
    Browse the repository at this point in the history

  7. basic translation to GEB

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    1b2445e View commit details
    Browse the repository at this point in the history

  8. translate identifiers

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    e935705 View commit details
    Browse the repository at this point in the history

  9. compute simple types in Core

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    ebf5b43 View commit details
    Browse the repository at this point in the history

  10. CLI & bugfixes

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    1c857cd View commit details
    Browse the repository at this point in the history

  11. remove debug trace

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    9fd2f25 View commit details
    Browse the repository at this point in the history

  12. make ormolu happy

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    059831c View commit details
    Browse the repository at this point in the history

  13. tests & bugfixes

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    8f38847 View commit details
    Browse the repository at this point in the history

  14. make ormolu happy

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    bb45b25 View commit details
    Browse the repository at this point in the history

  15. Adjust comment

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    7c5f2b2 View commit details
    Browse the repository at this point in the history

  16. update cntlines.sh

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    a657695 View commit details
    Browse the repository at this point in the history

  17. address review comments

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    8008d5a View commit details
    Browse the repository at this point in the history

  18. make ormolu happy

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    cc595b6 View commit details
    Browse the repository at this point in the history

  19. address review comments

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    1a549f6 View commit details
    Browse the repository at this point in the history

  20. fix ComputeTypeInfo

    @lukaszcz
    lukaszcz committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    56bcde2 View commit details
    Browse the repository at this point in the history