add parser and timings #2

Open
herel wants to merge 2 commits from herel/RustyPropagation:add-timings into master
Contributor
  • CLI arguments to configure
  • display time taken to compute loop
- CLI arguments to configure - display time taken to compute loop
herel added 1 commit 2022-05-05 19:03:34 +00:00
herel force-pushed add-timings from 4f60b4e627 to 5dc9a4574b 2022-05-05 19:20:59 +00:00 Compare
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u add-timings:herel-add-timings
git checkout herel-add-timings
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Maxluli/RustyPropagation#2