Branches

• master default protected

  ad8e1d8d · Merge branch 'xchalup4-master-patch-64576' into 'master' · Apr 05, 2023
• change-sis

  9a7130cc · bself: change how 1st-hit sis work · Apr 27, 2021
• separate-errs

  adf2f0f9 · bself: fall-back to exit-sis if other means fail · Apr 20, 2021
• init-sets

  27772fa1 · Try always add exit sets and allow max sequences of length 2 · Apr 13, 2021
• bse23

  f27c13e1 · BSE: encode also symbolic pointers · Mar 24, 2021
• atva21

  8afe259a · Rewrite BSE to be actually BSE · Mar 17, 2021
• fse21

  96dc6f0d · Fix creating fresh symbols · Mar 08, 2021
• invs-ext

  5fdcf530 · infer simple invariants · Feb 26, 2021
• simpler-is

  cb723c92 · simplify creating starting sets · Feb 26, 2021
• bse

  54c40645 · reduce the use of . a bit · Feb 24, 2021
• dev

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

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

  88bfd96b · Use also equalities to constants in overapprox · Feb 09, 2021
• kind-bench

  7a997ed1 · add benchmarks · Feb 03, 2021
• svcomp21-v1

  1feb98fe · Fix implementation of fpclassify · Dec 14, 2020
• inv-9

  e7b301db · kindse: a small cleanup + dbg message · Nov 18, 2020
• floats

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

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

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

  f8a5da72 · kindse: move on in invariant generation · Oct 09, 2020