Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 27, 2021

• Update README.md

  MohamedA95

  authored
  35ca710

Commits on Feb 9, 2021

• editing some comments

  Hussien-Abdo

  committed
  9c8f82f

• Merge remote-tracking branch 'origin/main' into main

  Show description for 98417f7
  Hussien-Abdo

  committed
  98417f7

• is_reachable fixed, by using cofactoring method, added three states test ;)

  Hussien-Abdo

  committed
  bd50e8c

Commits on Jan 30, 2021

• Removed return by reference where unnecessary

  Show description for be74bf9
  MohamedA95

  committed
  be74bf9

Commits on Jan 28, 2021

• fixed

  Hussien-Abdo

  committed
  1d4dc2d

• Re-fix_test3

  Hussien-Abdo

  committed
  b7a4d11

• Re-fix_test2

  Hussien-Abdo

  committed
  fde42f8

• Re-fix_test

  Hussien-Abdo

  committed
  2a0f24f

• fix_test

  Hussien-Abdo

  committed
  a616e54

• reachability_test1

  Hussien-Abdo

  committed
  2e01ec4

• reachability_test

  Hussien-Abdo

  committed
  e0e50fc

• is_reachable test

  Hussien-Abdo

  committed
  f249d7e

• Reachable constructor & setDelta & setInitState & compute_reachable_states

  MohamedA95

  committed
  62dcdc3

Commits on Jan 27, 2021

• update

  Hussien-Abdo

  committed
  a26d2e5

Commits on Jan 25, 2021

• pre reachability

  MohamedA95

  committed
  c73f388

Commits on Jan 18, 2021

• bench test removed

  MohamedA95

  committed
  7372e89

• bench test

  MohamedA95

  committed
  85892ca

• bench test

  MohamedA95

  committed
  a769437

• bench test

  MohamedA95

  committed
  7a5176d

• bench test

  MohamedA95

  committed
  e8567de

• boost c++ test

  MohamedA95

  committed
  622e88b

• boost c++ test

  MohamedA95

  committed
  2672da2

• created class Container.cpp

  Show description for 81811c7
  MohamedA95

  committed
  81811c7

Commits on Jan 17, 2021

• verification done! (Y)

  Hussien-Abdo

  committed
  eb4cd0f

Commits on Jan 15, 2021

• update

  Hussien-Abdo

  committed
  4dda852

• C3540 first output verified

  Hussien-Abdo

  committed
  c15c454

Commits on Jan 14, 2021

• fixing node_id bug

  Hussien-Abdo

  committed
  f086002

• fixing hashmap bug

  Hussien-Abdo

  committed
  3e0422b

Commits on Jan 12, 2021

• start verify and bench, Part 2

  MohamedA95

  committed
  d9c73dc

Commits on Dec 18, 2020

• removed not wanted files

  MohamedA95

  committed
  160884c

• added doxygen docs to gitignore

  MohamedA95

  committed
  cfb71ca

• Adding 0 and 1 as nodes in findNodes

  Hussien-Abdo

  committed
  bdf4376

• Fixed bug with manger.Ture() & manager.False() return values

  MohamedA95

  committed
  5a853f3

• Moved manager class documentation for header to source

  Show description for 48cf24d
  MohamedA95

  committed
  48cf24d

Pagination

PreviousNext