Search results

Hybrid constraints object

Status: Open.

#10 In xblahoud/Noodler;

· xblahoud opened on Apr 20, 2021

HybridSingleSEQuery that keeps both automata and RE-constraints

Status: Open.

#9 In xblahoud/Noodler;

· xblahoud opened on Apr 20, 2021

Convenient way to specify systems out of strings representation of RE

Status: Open.

#8 In xblahoud/Noodler;

· xblahoud opened on Apr 19, 2021

RE-based queries should implement propoer using RE concatenation

Status: Open.

#7 In xblahoud/Noodler;

· xblahoud opened on Apr 19, 2021

Test unification

testing

Status: Open.

#4 In xblahoud/Noodler;

· xblahoud opened on Apr 19, 2021

Use only meaningfull combinations in noodlify

performanceTasks aimed to increase speedTasks aimed to increase speed

Status: Open.

#3 In xblahoud/Noodler;

· xblahoud opened on Apr 19, 2021

Reimplement ε-preserving product using queue

performanceTasks aimed to increase speedTasks aimed to increase speed

Status: Open.

#2 In xblahoud/Noodler;

· xblahoud opened on Apr 19, 2021

Implement equation-level check for need of unification

Status: Open.

#1 In xblahoud/Noodler;

· xblahoud opened on Apr 19, 2021