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

Add Lean support #3765

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Add Lean support #3765

wants to merge 12 commits into from

Commits on Oct 29, 2023

  1. update components.json

    @tomaz1502
    tomaz1502 committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    2a8d0d9 View commit details
    Browse the repository at this point in the history

  2. update components.js

    @tomaz1502
    tomaz1502 committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    1074c52 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2024

  1. initial

    @tomaz1502
    tomaz1502 committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    76c215e View commit details
    Browse the repository at this point in the history

  2. lean initial tests

    @tomaz1502
    tomaz1502 committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    f291abd View commit details
    Browse the repository at this point in the history

  3. empty example to pass the test

    @tomaz1502
    tomaz1502 committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    e5a9112 View commit details
    Browse the repository at this point in the history

  4. progress

    @tomaz1502
    tomaz1502 committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    3db8548 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. Added strings and quotation

    @tomaz1502
    tomaz1502 committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    8ec9e6d View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Update lean decorator_feature.test

    @tomaz1502
    tomaz1502 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    e463c34 View commit details
    Browse the repository at this point in the history

  2. Adds example.

    @tomaz1502
    tomaz1502 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    a3455cd View commit details
    Browse the repository at this point in the history

  3. Fix tests. 

    Fix boundaries on numbers; remove unused groups; remove polynomial backtracking
    @tomaz1502
    tomaz1502 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    7942ff9 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. patching comment feature

    @tomaz1502
    tomaz1502 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    48f64bb View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. fix string regex and remove greedy from comments

    @tomaz1502
    tomaz1502 committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    c1943f7 View commit details
    Browse the repository at this point in the history