Commits · 3b31ca50094d9ce98f46b252806f4d1146681823 · Marek Chalupa / slowbeast

Browse files

Mar 01, 2021
- kindse: Add BSELFOptions · 3b31ca50
  Marek Chalupa authored Mar 01, 2021
  
  3b31ca50
- kindse: move KindSEOptions to __init__ · 0937a437
  Marek Chalupa authored Mar 01, 2021
  
  0937a437
- kindse: remove unused imports · 8d997a19
  Marek Chalupa authored Mar 01, 2021
  
  8d997a19
- Allow simple computation of starting ind seq · c83e8f13
  Marek Chalupa authored Mar 01, 2021
  
  c83e8f13
- Add two new methods · 8b6d3c53
  Marek Chalupa authored Mar 01, 2021
  
  8b6d3c53
Feb 26, 2021
- remove redundant intersection · a4fb6075
  Marek Chalupa authored Feb 26, 2021
  a4fb6075
Feb 25, 2021
- Avoid name collisions · 4b1f4f2a
  Marek Chalupa authored Feb 25, 2021
  
  4b1f4f2a
- Fix a crash on concrete vals · b5db4676
  Marek Chalupa authored Feb 25, 2021
  
  b5db4676
- kindse: pass inductive sets around · 77ed935b
  Marek Chalupa authored Feb 25, 2021
  
  77ed935b
- fix creating sequences · 56698e60
  Marek Chalupa authored Feb 25, 2021
  
  56698e60
- Revert "Fix creating an initial sequence" · 29acb527
  Marek Chalupa authored Feb 25, 2021
  29acb527
- Do not support memmove atm · fbbce357
  Marek Chalupa authored Feb 25, 2021
  
  fbbce357
- Return only one inductive sequence · 932643dd
  Marek Chalupa authored Feb 25, 2021
  
  932643dd
- drop_clauses: remove 'no drop safe' · 86eaac1f
  Marek Chalupa authored Feb 25, 2021
  
  86eaac1f
- use the whole seq as target by default · c7d44531
  Marek Chalupa authored Feb 25, 2021
  
  c7d44531
- Fix creating an initial sequence · 7a3546c7
  Marek Chalupa authored Feb 25, 2021
  
  7a3546c7
- Allow using the whole sequence as a target in inductivity checks · 4656820f
  Marek Chalupa authored Feb 25, 2021
  
  4656820f
- remove redundant check · bc1fb4c1
  Marek Chalupa authored Feb 25, 2021
  
  bc1fb4c1
- remove unused functionality · 58b3715b
  Marek Chalupa authored Feb 25, 2021
  58b3715b
- Return multiple starting sequences · 91a33455
  Marek Chalupa authored Feb 25, 2021
  
  91a33455
- Reuse old sequences · 274d9ba8
  Marek Chalupa authored Feb 25, 2021
  
  274d9ba8
- Fix creating inductive sets from arbitrary iterations · c6b86319
  Marek Chalupa authored Feb 25, 2021
  
  c6b86319
- fix breaking negations · df30e5e1
  Marek Chalupa authored Feb 25, 2021
  
  df30e5e1
- Fix creting an inductive sequence · 552ee7c7
  Marek Chalupa authored Feb 25, 2021
  552ee7c7
- Add a new method · 0bcdb0d6
  Marek Chalupa authored Feb 25, 2021
  
  0bcdb0d6
- Add a method · 3b1cdf3d
  Marek Chalupa authored Feb 25, 2021
  
  3b1cdf3d
- remove duplicated relation · 7de6fc82
  Marek Chalupa authored Feb 25, 2021
  
  7de6fc82
- break also inequalities · e9e0243e
  Marek Chalupa authored Feb 25, 2021
  
  e9e0243e
- Fix extending sequences · 15a3ee74
  Marek Chalupa authored Feb 25, 2021
  
  15a3ee74
- Remove invalid assertion · 1a85c435
  Marek Chalupa authored Feb 25, 2021
  
  1a85c435
- drop clauses: do not add same formulas twice · fbc4f23b
  Marek Chalupa authored Feb 25, 2021
  
  fbc4f23b
- overapprox: refactor checking overapproximation · 994e0637
  Marek Chalupa authored Feb 25, 2021
  
  994e0637
- fix creating the initial set from the last iteration · 7892b45b
  Marek Chalupa authored Feb 25, 2021
  
  7892b45b
- remove unused methods · 9b46e3f8
  Marek Chalupa authored Feb 25, 2021
  
  9b46e3f8
- fix the initial sequences · f91824b1
  Marek Chalupa authored Feb 23, 2021
  
  f91824b1
- kindse: redesign creating initial sequences · 27cfe12f
  Marek Chalupa authored Feb 23, 2021
  
  27cfe12f
- Do not extend sequence with same (or included) frames. · f01991a8
  Marek Chalupa authored Feb 25, 2021
  
  f01991a8
- fix creating cannonical variables · 5c9b2326
  Marek Chalupa authored Feb 25, 2021
  
  5c9b2326
- Revert "Add also other instructions into state description" · 108c2792
  Marek Chalupa authored Feb 25, 2021
  108c2792
Feb 24, 2021
- remove unused import · a48fd99f
  Marek Chalupa authored Feb 24, 2021
  
  a48fd99f