CSE 586 Final Code Additions #1485
Draft
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Basic CFG Implementation
Cfg history
I lost track of what I should've been doing and did a bunch of random
stuff that isn't very useful
TODO: there's a weird bug where adding newlines around the PROGRAM_INPUT
assignment can either cause
- total_operational_time to not be initialized
- the print("tracer: PROGRAM_INPUT...") line in the tracer to not print
right now, it seems to "work" by reinitializing total_operational_time
again...
Presumably this has something to do with how we skip lines
(frame.f_lineno += 1) in the tracer to avoid evaluating a (potentially
side-effectful) assignment twice.
After all the trouble this caused, we should've just set a flag when we
assign to PROGRAM_INPUT and grabbed the value on the next breakpoint.
…-passing-a-program-input-to-gins A way over complicated way to mock passing a program input to gins
Feat/json cfgs
|
Kellen Kanarios seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account. You have signed the CLA already but the status is still pending? Let us recheck it. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
PR outlining the work completed for the CSE 586 Final project. This includes the initial GinS POC, tracing, and some test cases/files we used for developing GinS.