Search results

Load Daikon invariants to InvariantMap

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 15, 2020

Add support for user-defined invariants

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 15, 2020

Add support for suppressing redundant invariants produced by Daikon via Simplify

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 15, 2020

Add support for enabling and disabling invariant filters

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 15, 2020

Add support for conditional invariants in Daikon

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 15, 2020

Parse Daikon invariants to native data structures

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 15, 2020

Add support for Daikon trace file writing

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 13, 2020

Add Dockerfile for Perracotta

Status: Open.

#4 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 26, 2019

Add Dockerfile for Texada

Status: Open.

#2 In ChrisTimperley/SpecMiners.py;

· ChrisTimperley opened on Apr 26, 2019