Remove unused import #383

Adda0 · 2024-02-21T14:54:07Z

This PR removes unused import which fixes the compilation of Mata on MacOS in GitHub Actions.

…get_one_level_aut

Nft inclusion

Add state with level

This also fixes running tests on MacOS in GitHub Actions.

Adda0 · 2024-02-21T14:54:25Z

Wrong branch.

koniksedy and others added 26 commits February 7, 2024 17:20

lvlfa as a duplicate of nfa

9938c15

lvlfa builder done

465dbea

make_one_level nontested

931dfc2

Improve levels description

8a78b89

Create identity NFT

7f5757a

Add moves wherever possible

c546f82

Create identity with single replace

ac88810

Rename 'lvlfa' to 'nft'

6ba4248

Create NFT from NFA

94794dd

Check number of levels in equivalence checking

da1fc07

Implement end marker DFT for reluctant replacement

a0fdefb

Move NFT string solving function into their own namespace

be4f2f9

Create generic end marker DFT

cb7cebd

Generalize end_marker_dft() for general marker DFTconstruction

e07c1c2

Rename functions

28b00f3

Construct begin marker DFT

5ab7569

Rename dft to nft where creating DFT is not guaranteed

c7b3f0d

nft::are_quivalent implemented using the method get_one_level_aut

e75e7f1

nft::algorithms::is_included_antichains implemented using the method …

08ee399

…get_one_level_aut

default level set to 1; levels size synchronized with delta

b672b4e

levels initialization fixed

b9360f2

Merge pull request #379 from VeriFIT/nft-inclusion

702c475

Nft inclusion

Apply resize() levels instead of push_back() only when needed

5191aab

Allow adding new states with levels

f7223db

Merge pull request #382 from Adda0/add_state_resize

156811a

Add state with level

Remove unused import

2fd87d3

This also fixes running tests on MacOS in GitHub Actions.

Adda0 closed this Feb 21, 2024

Adda0 deleted the remove_unused_import branch February 21, 2024 16:38

Provide feedback