svf-lib 1.0.2409 → 1.0.2411

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/SVF-linux-aarch64/include/AE/Core/IntervalValue.h +0 -2
  2. package/SVF-linux-x86_64/include/AE/Core/IntervalValue.h +0 -2
  3. package/package.json +1 -1
package/SVF-linux-aarch64/include/AE/Core/IntervalValue.h CHANGED
@@ -887,7 +887,6 @@ inline IntervalValue operator<=(const IntervalValue &lhs, const IntervalValue &r
887
887
  /// Left binary shift of IntervalValues
888
888
  inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)
889
889
  {
890
- //TODO: implement <<
891
890
  if (lhs.isBottom() || rhs.isBottom())
892
891
  return IntervalValue::bottom();
893
892
  if (lhs.isTop() && rhs.isTop())
@@ -925,7 +924,6 @@ inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &r
925
924
  /// Left binary shift of IntervalValues
926
925
  inline IntervalValue operator>>(const IntervalValue &lhs, const IntervalValue &rhs)
927
926
  {
928
- //TODO: implement >>
929
927
  if (lhs.isBottom() || rhs.isBottom())
930
928
  return IntervalValue::bottom();
931
929
  else if (lhs.isTop() && rhs.isTop())
package/SVF-linux-x86_64/include/AE/Core/IntervalValue.h CHANGED
@@ -887,7 +887,6 @@ inline IntervalValue operator<=(const IntervalValue &lhs, const IntervalValue &r
887
887
  /// Left binary shift of IntervalValues
888
888
  inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)
889
889
  {
890
- //TODO: implement <<
891
890
  if (lhs.isBottom() || rhs.isBottom())
892
891
  return IntervalValue::bottom();
893
892
  if (lhs.isTop() && rhs.isTop())
@@ -925,7 +924,6 @@ inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &r
925
924
  /// Left binary shift of IntervalValues
926
925
  inline IntervalValue operator>>(const IntervalValue &lhs, const IntervalValue &rhs)
927
926
  {
928
- //TODO: implement >>
929
927
  if (lhs.isBottom() || rhs.isBottom())
930
928
  return IntervalValue::bottom();
931
929
  else if (lhs.isTop() && rhs.isTop())
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2409",
3
+ "version": "1.0.2411",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {