Code

Rework the architecture#27

Code

Draft

bygu4 wants to merge 48 commits intoAunsiels:masterAunsiels/pyformlang:masterfrom FormalLanguageConstrainedPathQuerying:rework_architectureFormalLanguageConstrainedPathQuerying/pyformlang:rework_architectureCopy head branch name to clipboard

+2,522-2,058

Commits

Commits on Sep 28, 2024

• add finite automaton word generation

  bygu4

  committed
  2e141f8

  Copy full SHA for 2e141f8

• add final path existance checks

  bygu4

  committed
  5a7119e

  Copy full SHA for 5a7119e

Commits on Sep 29, 2024

• set up CI for all branches, minor style changes

  bygu4

  committed
  2ddf4ad

  Copy full SHA for 2ddf4ad

• add tests for word generation, debug

  bygu4

  committed
  001d7a9

  Copy full SHA for 001d7a9

• refactor

  bygu4

  committed
  a97e69f

  Copy full SHA for a97e69f

Commits on Sep 30, 2024

• make path check methods private, refactor, add type signatures

  bygu4

  committed
  660b8e9

  Copy full SHA for 660b8e9

• import Tuple to debug

  bygu4

  committed
  7ca0408

  Copy full SHA for 7ca0408

Commits on Oct 2, 2024

• add tests for transitions iteration

  bygu4

  committed
  d4e7a2f

  Copy full SHA for d4e7a2f

Commits on Oct 4, 2024

• update CI

  bygu4

  committed
  76d5b75

  Copy full SHA for 76d5b75

Commits on Oct 11, 2024

• Merge pull request #3 from FormalLanguageConstrainedPathQuerying/fa_string_generator

  Show description for 176a609
  bygu4

  authored
  176a609

  Copy full SHA for 176a609

Commits on Oct 16, 2024

• add max word length specification, refactor, add cyclic enfa test

  bygu4

  committed
  d72eff8

  Copy full SHA for d72eff8

• rewrite the generator without networkx

  bygu4

  committed
  f49ce75

  Copy full SHA for f49ce75

Commits on Oct 19, 2024

• use deque collection

  bygu4

  committed
  5406e6f

  Copy full SHA for 5406e6f

Commits on Oct 21, 2024

• generalize _get_reachable_states, correct max length specification

  bygu4

  committed
  ed3e418

  Copy full SHA for ed3e418

• avoid epsilon cycles, add tests with epsilon cycles, add tests with max_length zero, debug

  bygu4

  committed
  0fe3d88

  Copy full SHA for 0fe3d88

• minor style changes

  bygu4

  committed
  2ae69a3

  Copy full SHA for 2ae69a3

Commits on Oct 22, 2024

• correct cycle checks, use BFS in _get_reachable_states

  bygu4

  committed
  82202da

  Copy full SHA for 82202da

• Merge from origin, update tests

  bygu4

  committed
  7a0d27f

  Copy full SHA for 7a0d27f

• update tests for word generator

  bygu4

  committed
  deed143

  Copy full SHA for deed143

Commits on Oct 24, 2024

• add checks for any duplicates, add test for duplicate generation

  bygu4

  committed
  bd3daba

  Copy full SHA for bd3daba

Commits on Oct 26, 2024

• Merge pull request #11 from FormalLanguageConstrainedPathQuerying/fa_string_generator

  Show description for bffade7
  bygu4

  authored
  bffade7

  Copy full SHA for bffade7

Commits on Nov 11, 2024

• add type annotations for finite_automaton module, refactor

  bygu4

  committed
  ebf7101

  Copy full SHA for ebf7101

• rename _start_state, correct start_state property

  bygu4

  committed
  9c0512b

  Copy full SHA for 9c0512b

• rework transition function

  bygu4

  committed
  95a93fd

  Copy full SHA for 95a93fd

• change input types to Hashable, add utils.py

  bygu4

  committed
  7e54208

  Copy full SHA for 7e54208

• remove to_deterministic, refactor

  bygu4

  committed
  85a06d1

  Copy full SHA for 85a06d1

• add type annotations for regex

  bygu4

  committed
  5ee276d

  Copy full SHA for 5ee276d

• add annotations for python_regex

  bygu4

  committed
  5fdb201

  Copy full SHA for 5fdb201

• refactor regex

  bygu4

  committed
  422e4b5

  Copy full SHA for 422e4b5

• refactor to_regex, remove regexable

  bygu4

  committed
  61acee7

  Copy full SHA for 61acee7

Commits on Nov 12, 2024

• make finite_automaton.copy generic, move regex to minimal dfa to Regex, refactor

  bygu4

  committed
  c1d8f46

  Copy full SHA for c1d8f46

• reimplement regexable methods for epsilon_nfa

  bygu4

  committed
  f0b0030

  Copy full SHA for f0b0030

• refactor tests for fa to regex transitions

  bygu4

  committed
  fab3a37

  Copy full SHA for fab3a37

Commits on Nov 13, 2024

• correct union of enfas, refactor

  bygu4

  committed
  f17cf85

  Copy full SHA for f17cf85

• correct partition, debug regex

  bygu4

  committed
  2a7aaac

  Copy full SHA for 2a7aaac

• debug, refactor tests

  bygu4

  committed
  cf3ec20

  Copy full SHA for cf3ec20

• try to fix typing issue in python_regex

  bygu4

  committed
  fafd489

  Copy full SHA for fafd489

• correct pda intersection, add more tests for union, concatenation and kleene star

  bygu4

  committed
  e4bf660

  Copy full SHA for e4bf660

Commits on Nov 14, 2024

• add from_networkx abstract method to fa, use update instead of union in enfa

  bygu4

  committed
  33d0895

  Copy full SHA for 33d0895

• add recursive automaton annotations

  bygu4

  committed
  38880e7

  Copy full SHA for 38880e7

Commits on Nov 15, 2024

• minor style changes in automata

  bygu4

  committed
  30d00d9

  Copy full SHA for 30d00d9

Commits on Nov 16, 2024

• refactor PreviousTransitions

  bygu4

  committed
  72cd938

  Copy full SHA for 72cd938

Commits on Nov 25, 2024

• handle cycles in get_states_leading_to_final, add more tests

  bygu4

  committed
  ac97aec

  Copy full SHA for ac97aec

Commits on Nov 28, 2024

• Merge pull request #13 from FormalLanguageConstrainedPathQuerying/fa_string_generator

  Show description for 0c9930d
  bygu4

  authored
  0c9930d

  Copy full SHA for 0c9930d

• Merge branch 'master' of github.com:FormalLanguageConstrainedPathQuerying/pyformlang into rework_finite_automaton

  bygu4

  committed
  b83c71a

  Copy full SHA for b83c71a

• Merge pull request #12 from FormalLanguageConstrainedPathQuerying/rework_finite_automaton

  Show description for 7fcec6c
  bygu4

  authored
  7fcec6c

  Copy full SHA for 7fcec6c

Commits on Dec 29, 2024

• remove fastcore import, update pyright config

  bygu4

  committed
  b5a0735

  Copy full SHA for b5a0735

• correct generic type naming, simplify _to_epsilon_nfa_internal method

  bygu4

  committed
  94af59a

  Copy full SHA for 94af59a