GitHub · Where software is built

Labels Milestones New issue

HeapSeparator: Implement preprocessings, rework heap separation accordingly

abstract interpretation

#295

· alexandernutz opened

on Jan 12, 2018

VPDomain: benchmarking

abstract interpretation

#290

· alexandernutz opened

on Jan 6, 2018

VPDomain: misc bugfixes

abstract interpretation

#288

· alexandernutz opened

on Jan 5, 2018

AbsInt Hoaretriplecheker is called with AbsInt only and not

abstract interpretation

#279

· greitsch opened

on Nov 22, 2017

Use Rational instead of BigDecimal in IntervalDomain (and other abstract domains)

abstract interpretation

#255

· greitsch opened

on Nov 8, 2017

Caching data structure, PredicateUnifier and beyond

abstract interpretation

#247

· alexandernutz opened

on Oct 23, 2017

Stand-alone helper for transformations from transformulas to Boogie

abstract interpretation

loop acceleration

#245

· danieldietsch opened

on Oct 19, 2017

ApplicationTerm cannot be cast to TermVariable

abstract interpretation

#244

· danieldietsch opened

on Oct 16, 2017

Implement statistics for absint weakening

abstract interpretation

#242

· danieldietsch opened

on Oct 6, 2017

Re-integrate Taipan strategies into Multitrack strategies

abstract interpretation

#241

· danieldietsch opened

on Oct 6, 2017

Check if global variabes are declared modifiable in IVariableProvider.defineVariablesAfter

abstract interpretation

#206

· danieldietsch opened

on Jul 18, 2017

Allow PredicateUnifier to create arbitrary predicates, not only BasicPredicates

abstract interpretation

#146

· danieldietsch opened

on Mar 27, 2017