Search results

Provide a static method to get SHA256 hash of a trace object

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In trustworthy-systems-iitk/libprop;

· skmuduli92 opened on May 17, 2020

Easy switch between HyperPLTL and HyperLTL mode

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In trustworthy-systems-iitk/libprop;

· skmuduli92 opened on May 16, 2020

Multi-threading support for validating list of formulas

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In trustworthy-systems-iitk/libprop;

· skmuduli92 opened on May 16, 2020

project cleanup

code refactoringFor re-factoring and clean up tasksFor re-factoring and clean up tasks

Status: Open.

#7 In trustworthy-systems-iitk/libprop;

· skmuduli92 opened on May 8, 2020

Storing Trace objects in compressed format.

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In trustworthy-systems-iitk/libprop;

· skmuduli92 opened on May 8, 2020