utopia-group / regel

REGEL: Regular Expression Generation from Examples and Language

utopia-group/regel Issues

Exception in thread "main" java.lang.UnsatisfiedLinkError: no libz3java in java.library.path: [resnax/lib/]
Updated a year ago
Resnax stucks on Main Thread
Updated 3 years ago1
ClassNotFoundException: edu.stanford.nlp.sempre.sketch.UnarySketchFn
Updated 3 years ago2
Sketch generation fails
Closed 3 years ago3
Reproducing PLDI'20 experimental results on two benchmarks
Closed 4 years ago3
automatic conversion of the target regex
Closed 3 years ago5
getting missing sketch error when sketches are found in regel/exp/deepregex/sketch
Closed 3 years ago1
editing the grammar
Closed 4 years ago3
Issues running stack overflow benchmarks
Closed 4 years ago6