GitHub · Where software is built

Labels Milestones New issue

Fall back strategy in ACDLP

#83

· rajdeep87 opened

on Apr 17, 2017

Expensive SAT checks in ACDL

#82

· rajdeep87 opened

on Apr 14, 2017

passing struct as argument to function in acdl

#79

· rajdeep87 opened

on Mar 9, 2017

Unit-ness check for learnt clause

#77

· rajdeep87 opened

on Mar 1, 2017

Abductive generalisation transformer

#76

· rajdeep87 opened

on Feb 27, 2017

Initial conflict reason heuristic

#75

· rajdeep87 opened

on Feb 26, 2017

Syntactic+semantic subsumption check

#72

· rajdeep87 opened

on Feb 15, 2017

Determining phase of a variable in decision

#71

· rajdeep87 opened

on Feb 14, 2017

Improved decision in presence of assumption

#69

· rajdeep87 opened

on Feb 13, 2017

Subsumption check for octagonal constraints

#68

· rajdeep87 opened

on Feb 12, 2017

Closure check for deductions

#67

· rajdeep87 opened

on Feb 12, 2017

Determine lower and upper bound for decision variables in octagon analysis

#65

· rajdeep87 opened

on Feb 7, 2017