Commits · 15e92b3b4f0d5a8b05832a0ad3deb7fbd932a509 · Marek Chalupa / slowbeast

Browse files

Mar 03, 2021
- Do not abort when an exit path is infeasible · 15e92b3b
  Marek Chalupa authored Mar 03, 2021
  15e92b3b
- bself: fix simple sis with inductive complement · 172793fa
  Marek Chalupa authored Mar 03, 2021
  
  172793fa
Mar 02, 2021
- bself: return multiple simple starting sis · 128bd487
  Marek Chalupa authored Mar 02, 2021
  
  128bd487
- use uninitializedRead only if the pointer is resolvable · ba7d90bf
  Marek Chalupa authored Mar 02, 2021
  ba7d90bf
- conj/disj: work as identity if only one argument is passed · 214cb007
  Marek Chalupa authored Mar 02, 2021
  
  214cb007
- rename executePath -> execute_path · 369d672c
  Marek Chalupa authored Mar 02, 2021
  
  369d672c
- bself: do not inherit from Kind · ed81deef
  Marek Chalupa authored Mar 02, 2021
  ed81deef
- bself: do not pass toplevel executor to BSELFChecker · ee16d90f
  Marek Chalupa authored Mar 02, 2021
  ee16d90f
- kindse: rename to BSELF · fcb1a0a7
  Marek Chalupa authored Mar 02, 2021
  
  fcb1a0a7
- rename KindSEChecker -> BSELFChecker · a5d1ed2e
  Marek Chalupa authored Mar 02, 2021
  
  a5d1ed2e
- Adjust tests · e1b5652d
  Marek Chalupa authored Feb 24, 2021
  
  e1b5652d
Mar 01, 2021
- kindse: use new options · abc4269b
  Marek Chalupa authored Mar 01, 2021
  
  abc4269b
- Extend options · a237d150
  Marek Chalupa authored Mar 01, 2021
  
  a237d150
- Use BSELFOptions instead of KindSEOptions · 39f03c07
  Marek Chalupa authored Mar 01, 2021
  
  39f03c07
- 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