Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 20, 2024

• Removed print statements

  DanaLu10

  committed
  72cfea4

  Copy full SHA for 72cfea4

• Modified README

  DanaLu10

  committed
  78ea1d4

  Copy full SHA for 78ea1d4

• Removed unused functions

  DanaLu10

  committed
  bbf3101

  Copy full SHA for bbf3101

Commits on Jun 19, 2024

• Refactoring

  DanaLu10

  committed
  78ed2eb

  Copy full SHA for 78ed2eb

Commits on Jun 18, 2024

• Removed commented out code

  DanaLu10

  committed
  729b96b

  Copy full SHA for 729b96b

• Bugfix: key when loading map contents

  DanaLu10

  committed
  bb30f97

  Copy full SHA for bb30f97

Commits on Jun 15, 2024

• Refactoring

  DanaLu10

  committed
  527ac7e

  Copy full SHA for 527ac7e

Commits on Jun 6, 2024

• Bugfix for key to map operations

  DanaLu10

  committed
  eba2252

  Copy full SHA for eba2252

Commits on Jun 5, 2024

• Bugfix for determining if sets contain an element

  DanaLu10

  committed
  27fb6c1

  Copy full SHA for 27fb6c1

Commits on Jun 1, 2024

• Bugfix: not initialising some members of execution state

  DanaLu10

  committed
  80fb2d6

  Copy full SHA for 80fb2d6

Commits on May 29, 2024

• Add constraint information to error messages

  DanaLu10

  committed
  01548e7

  Copy full SHA for 01548e7

Commits on May 27, 2024

• Added map update value to map correlation and refactored code

  DanaLu10

  committed
  5ee3c77

  Copy full SHA for 5ee3c77

Commits on May 24, 2024

• Refactored packet load and store to function

  DanaLu10

  committed
  c34ce94

  Copy full SHA for c34ce94

Commits on May 18, 2024

• Initial implementation of two phase for read write set

  DanaLu10

  committed
  8b358d5

  Copy full SHA for 8b358d5

• Add map type information to map information

  DanaLu10

  committed
  a1f4cb5

  Copy full SHA for a1f4cb5

Commits on May 16, 2024

• Bugfix: array map stores

  DanaLu10

  committed
  2a019be

  Copy full SHA for 2a019be

Commits on May 15, 2024

• Modified information stored for map calls & string for map correlations

  DanaLu10

  committed
  3a762bd

  Copy full SHA for 3a762bd

• Removed some unused functions

  DanaLu10

  committed
  e6a5a13

  Copy full SHA for e6a5a13

• Bugfix for memcpy, made default key name sym

  DanaLu10

  committed
  847d505

  Copy full SHA for 847d505

Commits on May 14, 2024

• Track memory object of maps for read/write sets

  DanaLu10

  committed
  1c78c8b

  Copy full SHA for 1c78c8b

Commits on May 11, 2024

• Edge case for map lookups where returned pointer is written to

  DanaLu10

  committed
  2d36a18

  Copy full SHA for 2d36a18

Commits on May 10, 2024

• Consider both key and value for map updates & edge case for store instruction

  DanaLu10

  committed
  cf65c9a

  Copy full SHA for cf65c9a

• Bugfix: if overwrite map return value remove from correlated map

  DanaLu10

  committed
  e7b319d

  Copy full SHA for e7b319d

• Compute correlated maps

  DanaLu10

  committed
  ac92254

  Copy full SHA for ac92254

Commits on May 9, 2024

• Bugfix: now creating new execution states with previous members for tracking map branches

  DanaLu10

  committed
  7549cb6

  Copy full SHA for 7549cb6

• Format error strings

  DanaLu10

  committed
  3f9c0a9

  Copy full SHA for 3f9c0a9

• Add source line and column of use of map return in a branch

  DanaLu10

  committed
  36dc0fc

  Copy full SHA for 36dc0fc

Commits on May 8, 2024

• Track when map return values are used in branches and report in assertion failure

  DanaLu10

  committed
  801f986

  Copy full SHA for 801f986

Commits on May 6, 2024

• Cleaned up commented out code

  DanaLu10

  committed
  e948a05

  Copy full SHA for e948a05

• Use Memory Object ID to keep track of changes and accesses to packet data

  DanaLu10

  committed
  37f9e3d

  Copy full SHA for 37f9e3d

Commits on May 3, 2024

• Bugfix: add to read/write set before adding as reference

  DanaLu10

  committed
  d58e6d3

  Copy full SHA for d58e6d3

• Add all bytes read/written to to read write set

  DanaLu10

  committed
  cdff920

  Copy full SHA for cdff920

• Change the read and write set to analyze byte offsets

  DanaLu10

  committed
  3185bc2

  Copy full SHA for 3185bc2

Commits on Apr 28, 2024

• Bugfix for order of checking if operands are references to argument

  DanaLu10

  committed
  a8b2a05

  Copy full SHA for a8b2a05

Commits on Apr 27, 2024

• Add case for casting argument

  DanaLu10

  committed
  62f1e5b

  Copy full SHA for 62f1e5b

Pagination

Previous

Next