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

Automaton generator #332

Open
wants to merge 71 commits into
base: main
Choose a base branch
from
Open

Automaton generator #332

wants to merge 71 commits into from

Commits on Feb 12, 2024

  1. (#318) Lexer with implemented generator

    @Robby-the-paladin
    Robby-the-paladin committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    4d69960 View commit details
    Browse the repository at this point in the history

  2. (#318) linter fixed

    @Robby-the-paladin
    Robby-the-paladin committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    2e830e3 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. (#318) memory check function

    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    c3e49f3 View commit details
    Browse the repository at this point in the history

  2. (#318) Generator MFA correctness check

    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    9b6d168 View commit details
    Browse the repository at this point in the history

  3. (#318) delete generate methods

    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    7ef070c View commit details
    Browse the repository at this point in the history

  4. (#318) linter fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    6bf823d View commit details
    Browse the repository at this point in the history

  5. (#318) DFA 

    processing added
    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    9e3e167 View commit details
    Browse the repository at this point in the history

  6. (#318) DFA fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    5ebf412 View commit details
    Browse the repository at this point in the history

  7. (#318) parser tests

    @Robby-the-paladin
    Robby-the-paladin committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    fe2bedb View commit details
    Browse the repository at this point in the history

  8. (#318) Поправил тесты

    @dak151449
    dak151449 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    6730208 View commit details
    Browse the repository at this point in the history

  9. (#318) Промежуточные правки генератора

    @dak151449
    dak151449 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    dd0610d View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2024

  1. (#318) Ещё немного курсовой Эдгара

    @dak151449
    dak151449 committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    eaee926 View commit details
    Browse the repository at this point in the history

  2. #318 verify

    @mathhyyn
    mathhyyn committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    2e6baf2 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. (#318) Parsing attribute grammar with lexy

    @Robby-the-paladin
    Robby-the-paladin committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    22333c4 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. (#318) parse_func implemented

    @Robby-the-paladin
    Robby-the-paladin committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    9fc772b View commit details
    Browse the repository at this point in the history

  2. (#318) building automata

    @Robby-the-paladin
    Robby-the-paladin committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    69b9500 View commit details
    Browse the repository at this point in the history

  3. (#318) tests fixed

    @Robby-the-paladin
    Robby-the-paladin committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    5d9259c View commit details
    Browse the repository at this point in the history

  4. (#318) automata grammar fixed + tests fixed

    @Robby-the-paladin
    Robby-the-paladin committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    ab32efa View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. (#318) parser debugged

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    88ba832 View commit details
    Browse the repository at this point in the history

  2. (#318) unit test fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    60f39b3 View commit details
    Browse the repository at this point in the history

  3. (#318) generator via attribute grammar implemented

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    a1cb678 View commit details
    Browse the repository at this point in the history

  4. (#318) AutomatonGenerator(FA type -> NFA type)

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    98ccf7a View commit details
    Browse the repository at this point in the history

  5. (#318) generator checks implemented

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    529d113 View commit details
    Browse the repository at this point in the history

  6. (#318) 性別中立

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    d71dc13 View commit details
    Browse the repository at this point in the history

  7. (#318) generator debugged

    @Robby-the-paladin
    Robby-the-paladin committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    35ac4cd View commit details
    Browse the repository at this point in the history

  8. (#318) fix for mac

    @dak151449
    dak151449 committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    a49bf6d View commit details
    Browse the repository at this point in the history

  9. (#318) fix gegara and linter

    @dak151449
    dak151449 committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    3d15468 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2024

  1. (#318) fix tests

    @dak151449
    dak151449 committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    4e3ab78 View commit details
    Browse the repository at this point in the history

  2. (#318) Test_Arden_Glushkov_equivalent

    @dak151449
    dak151449 committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    61d0fb4 View commit details
    Browse the repository at this point in the history

  3. (#318) metamorphic tests fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    8ecc740 View commit details
    Browse the repository at this point in the history

  4. (#318) oops fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    1d06eda View commit details
    Browse the repository at this point in the history

  5. (#318) merge bisim

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    bab9932 View commit details
    Browse the repository at this point in the history

  6. (#318) Test_MergeBisim_equivalent fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    db1b72b View commit details
    Browse the repository at this point in the history

  7. (#318) Test_Arden_Glushkov_equivalent equality tests

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    05233ad View commit details
    Browse the repository at this point in the history

  8. (#318) is deterministic + fast fix for yellow vertex

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    75a737f View commit details
    Browse the repository at this point in the history

  9. (#318) functions hot fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    25e83dc View commit details
    Browse the repository at this point in the history

  10. (#318) alphabet fix

    @Robby-the-paladin
    Robby-the-paladin committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    8c75300 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. (#318) Ambiguity test

    @Robby-the-paladin
    Robby-the-paladin committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    89fb21c View commit details
    Browse the repository at this point in the history

  2. (#318) refactoring

    @Robby-the-paladin
    Robby-the-paladin committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    8ba304a View commit details
    Browse the repository at this point in the history

  3. (#318) refactoring

    @Robby-the-paladin
    Robby-the-paladin committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    f842969 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. (#318) regex Test Arden Glushkov Ambiguity equivalent

    @Robby-the-paladin
    Robby-the-paladin committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    f04781c View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2024

  1. (#318) захардкодила grammar.txt

    @mathhyyn
    mathhyyn committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    99cce28 View commit details
    Browse the repository at this point in the history

  2. (#318) тесты поменьше

    @mathhyyn
    mathhyyn committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    c52c784 View commit details
    Browse the repository at this point in the history

  3. (#318) исправлен конфликт Id и FileName

    @mathhyyn
    mathhyyn committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    1513871 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. Merge branch 'main' into AutomatonGenerator

    @mathhyyn
    mathhyyn committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    dd911a5 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. (#318) "string subscript out of range" fixed 

    - fixed zero cell number parsing
    @xendalm
    xendalm committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    f3bef69 View commit details
    Browse the repository at this point in the history

  2. (#318) Generator loop fixed

    @dak151449
    dak151449 committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    8ffe240 View commit details
    Browse the repository at this point in the history

  3. (#318) Merge commit 'f3bef697f93333af03272ed69ca9511ab92f488c' into A… 

    …utomatonGenerator
    @dak151449
    dak151449 committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    84a517e View commit details
    Browse the repository at this point in the history

  4. (#318) refactoring

    @xendalm
    xendalm committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    eed0615 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. (#318) metamorphic tests fixed

    @dak151449
    dak151449 committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    4350661 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Merge branch 'main' into AutomatonGenerator

    @Robby-the-paladin
    Robby-the-paladin authored Apr 15, 2024
    Configuration menu
    Copy the full SHA
    22f0c82 View commit details
    Browse the repository at this point in the history

  2. (#223) расширение верификатора 

    не тестировался на автоматах
пока нет вывода примеров негативных тестов
    @mathhyyn
    mathhyyn committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    0f502a8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into FAverification

    @mathhyyn
    mathhyyn committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    f638c51 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'AutomatonGenerator' into FAverification

    @mathhyyn
    mathhyyn committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    297f06e View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. (#223) контрпримеры гипотезы (только регулярки)

    @mathhyyn
    mathhyyn committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    e2c30a1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into AutomatonGenerator

    @xendalm
    xendalm committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    a1ef7c2 View commit details
    Browse the repository at this point in the history

  3. (#332) linter fix

    @xendalm
    xendalm committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    446f85d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'AutomatonGenerator' into FAverification

    @mathhyyn
    mathhyyn committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    827d2e5 View commit details
    Browse the repository at this point in the history

  5. (#332) linter fix

    @xendalm
    xendalm committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    0e3302c View commit details
    Browse the repository at this point in the history

  6. Merge branch 'AutomatonGenerator' into FAverification

    @mathhyyn
    mathhyyn committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    9bb47d1 View commit details
    Browse the repository at this point in the history

  7. (#318) builder pattern implemented

    @Robby-the-paladin
    Robby-the-paladin committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    36d00fb View commit details
    Browse the repository at this point in the history

  8. (#318) oops deprecated code deleted

    @Robby-the-paladin
    Robby-the-paladin committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    9cea26a View commit details
    Browse the repository at this point in the history

  9. (#318) ...

    @Robby-the-paladin
    Robby-the-paladin committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    ddbf0b4 View commit details
    Browse the repository at this point in the history

  10. (#223) same language problem of verification objects fix

    @mathhyyn
    mathhyyn committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    326c1d3 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. (#333) interprter Id to_txt

    @mathhyyn
    mathhyyn committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    7df6b08 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. (#318) build fix :|

    @xendalm
    xendalm committed May 30, 2024
    Configuration menu
    Copy the full SHA
    c0503ff View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2024

  1. filename to string (#299)

    @mathhyyn
    mathhyyn committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    fdb1e96 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'AutomatonGenerator' into FAverification

    @mathhyyn
    mathhyyn committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    3f3804f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into FAverification

    @mathhyyn
    mathhyyn committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    5f29612 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #333 from OnionGrief/FAverification 

    Обновленный верификатор
    @xendalm
    xendalm authored Jun 8, 2024
    Configuration menu
    Copy the full SHA
    4f93988 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. (#318) letter -> symbol в dsl 

    (на самом деле строка)
    @mathhyyn
    mathhyyn committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    fcfed4e View commit details
    Browse the repository at this point in the history