Search results

Make it easier to pass in values/csvs/formulae

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In roberthsheng/STL-SMTLIB;

· roberthsheng opened on Jul 14, 2023

Should simplification be done while parsing?

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#25 In roberthsheng/STL-SMTLIB;

· roberthsheng opened on Jul 6, 2023

Simplification of transformed formulas

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In roberthsheng/STL-SMTLIB;

· roberthsheng opened on Jun 26, 2023

Fix the use of True and False in UNTIL statements

bugSomething isn't workingSomething isn't working

Status: Open.

#16 In roberthsheng/STL-SMTLIB;

· roberthsheng opened on Jun 23, 2023

Add support for modalities F[t, t] phi, G[t, t] phi

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In roberthsheng/STL-SMTLIB;

· roberthsheng opened on May 23, 2023