Branches

• gep

  0cf82c56 · savior · Feb 02, 2020
• symbolic-mem

  391a1cab · symbolic memory · Feb 04, 2020
• simple-kind

  8880f788 · Comment debugging message · Feb 11, 2020
• inv-1

  f38d7150 · WIP: execute paths with annotations · Sep 24, 2020
• inv-2

  ba70081f · symexe: fix COW of constraints in states · Sep 29, 2020
• inv-3

  4b2ea60a · Implement pre/postconditions for paths · Oct 01, 2020
• inv-4

  f8a5da72 · kindse: move on in invariant generation · Oct 09, 2020
• inv-5

  f9da2d4e · kindse: dump debugging files · Oct 13, 2020
• inv-6

  5c4d937b · kindse: fix executing initial paths · Nov 05, 2020
• floats

  894247d7 · tests: add a few kind tests · Nov 10, 2020
• inv-9

  e7b301db · kindse: a small cleanup + dbg message · Nov 18, 2020
• svcomp21-v1

  1feb98fe · Fix implementation of fpclassify · Dec 14, 2020
• kind-bench

  7a997ed1 · add benchmarks · Feb 03, 2021
• cfas

  88bfd96b · Use also equalities to constants in overapprox · Feb 09, 2021
• cfas2

  68e0eccb · fix the initial sequences · Feb 23, 2021
• dev

  5000b96f · Fix sequences limit · Feb 24, 2021
• bse

  54c40645 · reduce the use of . a bit · Feb 24, 2021
• simpler-is

  cb723c92 · simplify creating starting sets · Feb 26, 2021
• invs-ext

  5fdcf530 · infer simple invariants · Feb 26, 2021
• fse21

  96dc6f0d · Fix creating fresh symbols · Mar 08, 2021