-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Track exprs #1
Track exprs #1
Commits on Mar 7, 2016
-
Track op exprs, print with --print-expr-updates
With this commit, we track the ast that built up each shadow value, and then at each operation track the most specific AST that is general enough to be a rooted subtree of all the shadow values that passed through it (where x in the generalized tree can stand for any subtree of the shadow values). Haven't added this to the output format yet, but if you use the --print-expr-updates arg, you'll see a message every time an op gets hit, which prints its updated AST.
Configuration menu - View commit details
-
Copy full SHA for 9613326 - Browse repository at this point
Copy the full SHA 9613326View commit details -
Configuration menu - View commit details
-
Copy full SHA for de4ff52 - Browse repository at this point
Copy the full SHA de4ff52View commit details -
Configuration menu - View commit details
-
Copy full SHA for da61b30 - Browse repository at this point
Copy the full SHA da61b30View commit details -
Configuration menu - View commit details
-
Copy full SHA for b04876a - Browse repository at this point
Copy the full SHA b04876aView commit details -
Configuration menu - View commit details
-
Copy full SHA for dedc63e - Browse repository at this point
Copy the full SHA dedc63eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6afa1aa - Browse repository at this point
Copy the full SHA 6afa1aaView commit details -
Configuration menu - View commit details
-
Copy full SHA for a273b14 - Browse repository at this point
Copy the full SHA a273b14View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0fc317b - Browse repository at this point
Copy the full SHA 0fc317bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 865a68a - Browse repository at this point
Copy the full SHA 865a68aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 872261a - Browse repository at this point
Copy the full SHA 872261aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 34a167c - Browse repository at this point
Copy the full SHA 34a167cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8012900 - Browse repository at this point
Copy the full SHA 8012900View commit details -
Configuration menu - View commit details
-
Copy full SHA for f6492ea - Browse repository at this point
Copy the full SHA f6492eaView commit details -
Configuration menu - View commit details
-
Copy full SHA for f394fb7 - Browse repository at this point
Copy the full SHA f394fb7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7093538 - Browse repository at this point
Copy the full SHA 7093538View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9df18a8 - Browse repository at this point
Copy the full SHA 9df18a8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 60c543f - Browse repository at this point
Copy the full SHA 60c543fView commit details -
This way, the op ast is initialized when we add it to the tracker, which might be important.
Configuration menu - View commit details
-
Copy full SHA for b5c61c3 - Browse repository at this point
Copy the full SHA b5c61c3View commit details -
Account for lack of debug info
Now properly handles the debug info getting functions returning false.
Configuration menu - View commit details
-
Copy full SHA for b76c3dd - Browse repository at this point
Copy the full SHA b76c3ddView commit details -
Moved responsibility for initing ASTs to later
Specifically, leaf AST's were being initialized on the creation of every shadow location, and then immediately overwritten with branch AST's when they were used for the result of an operation. Now, we don't initialize them at all on creation, and rely on the sites of creation to know what they'll be used for, and initialize them properly.
Configuration menu - View commit details
-
Copy full SHA for 3f1c1c8 - Browse repository at this point
Copy the full SHA 3f1c1c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5edbedc - Browse repository at this point
Copy the full SHA 5edbedcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0892d6c - Browse repository at this point
Copy the full SHA 0892d6cView commit details -
Do proper AST memory management
Don't share AST pointers between shadow values, just copy them, and then clean them up when the values are cleaned up due to the reference counting system.
Configuration menu - View commit details
-
Copy full SHA for 16c57a9 - Browse repository at this point
Copy the full SHA 16c57a9View commit details -
Configuration menu - View commit details
-
Copy full SHA for d7c4184 - Browse repository at this point
Copy the full SHA d7c4184View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4587b65 - Browse repository at this point
Copy the full SHA 4587b65View commit details -
Configuration menu - View commit details
-
Copy full SHA for ff44ade - Browse repository at this point
Copy the full SHA ff44adeView commit details
Commits on Mar 8, 2016
-
Configuration menu - View commit details
-
Copy full SHA for a3e27fe - Browse repository at this point
Copy the full SHA a3e27feView commit details
Commits on Mar 9, 2016
-
We can now get the libm args to work if...
Debug info is enabled on the executable. I'm looking for a more robust way to do this.
Configuration menu - View commit details
-
Copy full SHA for bece57d - Browse repository at this point
Copy the full SHA bece57dView commit details
Commits on Mar 10, 2016
-
Configuration menu - View commit details
-
Copy full SHA for 1761206 - Browse repository at this point
Copy the full SHA 1761206View commit details
Commits on Mar 11, 2016
-
Added a benchmark that uses fma
This is the only ternary function I could think of, so this is useful for testing argument stuff.
Configuration menu - View commit details
-
Copy full SHA for a49ec34 - Browse repository at this point
Copy the full SHA a49ec34View commit details -
Configuration menu - View commit details
-
Copy full SHA for e33fc6d - Browse repository at this point
Copy the full SHA e33fc6dView commit details
Commits on Mar 12, 2016
-
Configuration menu - View commit details
-
Copy full SHA for 763b561 - Browse repository at this point
Copy the full SHA 763b561View commit details -
Refactored initValueBranchAST boundry
Now it uses a variable number of args to assign child values, instead of asking the client to do it manually.
Configuration menu - View commit details
-
Copy full SHA for 3ca7785 - Browse repository at this point
Copy the full SHA 3ca7785View commit details -
Configuration menu - View commit details
-
Copy full SHA for 23a4e30 - Browse repository at this point
Copy the full SHA 23a4e30View commit details -
Configuration menu - View commit details
-
Copy full SHA for dc87bc1 - Browse repository at this point
Copy the full SHA dc87bc1View commit details
Commits on Mar 19, 2016
-
Start tracking var names, buggy
I mean, I haven't seen any bugs yet, but I haven't actually started implementing the printer for the named vars, so I wouldn't.
Configuration menu - View commit details
-
Copy full SHA for d0213dd - Browse repository at this point
Copy the full SHA d0213ddView commit details
Commits on Mar 21, 2016
-
Configuration menu - View commit details
-
Copy full SHA for 1a0cfdf - Browse repository at this point
Copy the full SHA 1a0cfdfView commit details
Commits on Mar 22, 2016
-
Configuration menu - View commit details
-
Copy full SHA for fe5e2a0 - Browse repository at this point
Copy the full SHA fe5e2a0View commit details -
Added notion of "Leaf" operation
This is an op info for the leaves of a computation. Pretty important for tracking variables in an expression, but so far there's no way of associating sources of shadow values with a consistent leaf op info, I'm brainstorming ways to do this.
Configuration menu - View commit details
-
Copy full SHA for dfdfcf7 - Browse repository at this point
Copy the full SHA dfdfcf7View commit details
Commits on Mar 26, 2016
-
Configuration menu - View commit details
-
Copy full SHA for df359d8 - Browse repository at this point
Copy the full SHA df359d8View commit details -
Threaded through notion of value sources
Each opinfo keeps track of potential value sources for it's arguments. Value sources are place where values are created, leaves of the tracked operation AST's. This happens when we start interpreting some bytes as a float value for the first time.
Configuration menu - View commit details
-
Copy full SHA for 4e23e15 - Browse repository at this point
Copy the full SHA 4e23e15View commit details -
Support tracking all operations
Adds support for having all operations/expressions show up in the output file, by setting the error threshold to zero.
Configuration menu - View commit details
-
Copy full SHA for e823fbf - Browse repository at this point
Copy the full SHA e823fbfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 53cfe81 - Browse repository at this point
Copy the full SHA 53cfe81View commit details -
Configuration menu - View commit details
-
Copy full SHA for d778602 - Browse repository at this point
Copy the full SHA d778602View commit details -
Switch op_tracker to use Valgrind xarray
Instead of rolling our own like we did before, this seems less error prone.
Configuration menu - View commit details
-
Copy full SHA for aa5ff4c - Browse repository at this point
Copy the full SHA aa5ff4cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2b5cbff - Browse repository at this point
Copy the full SHA 2b5cbffView commit details -
Configuration menu - View commit details
-
Copy full SHA for 93992a6 - Browse repository at this point
Copy the full SHA 93992a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for a51869b - Browse repository at this point
Copy the full SHA a51869bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 75981f7 - Browse repository at this point
Copy the full SHA 75981f7View commit details -
Configuration menu - View commit details
-
Copy full SHA for b68ffbf - Browse repository at this point
Copy the full SHA b68ffbfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 944b3af - Browse repository at this point
Copy the full SHA 944b3afView commit details
Commits on Mar 28, 2016
-
Added mpfr link flag back to herbie-crosseval
We don't technically need to call any mpfr code, but it'd be a hassle to remove it since it would involve creating a seperate compile process.
Configuration menu - View commit details
-
Copy full SHA for d9885a7 - Browse repository at this point
Copy the full SHA d9885a7View commit details -
Add dependency on binary for results
This really should have been here all along, lets us rebuild the binaries for a full run of the results
Configuration menu - View commit details
-
Copy full SHA for c050c62 - Browse repository at this point
Copy the full SHA c050c62View commit details -
Use p42- A and B instead of just p42
This way we get both versions of quadratic instead of having them overwrite each other during compilation in weird ways.
Configuration menu - View commit details
-
Copy full SHA for 41f5358 - Browse repository at this point
Copy the full SHA 41f5358View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8aa6513 - Browse repository at this point
Copy the full SHA 8aa6513View commit details -
Fix subexpressions being erroneously reported
Instead of removing items from the op tracker when they are subexpressions, we've gone back to just setting them to NULL. This is a little ugly, but it avoids the horrors of trying to iterate backwards through a list while removing cosmetically arbitrary items from it.
Configuration menu - View commit details
-
Copy full SHA for f87848d - Browse repository at this point
Copy the full SHA f87848dView commit details
Commits on Apr 13, 2016
-
Print location creation for wrapped ops
Only when the print_moves flag is on
Configuration menu - View commit details
-
Copy full SHA for 387943c - Browse repository at this point
Copy the full SHA 387943cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3582202 - Browse repository at this point
Copy the full SHA 3582202View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5da4189 - Browse repository at this point
Copy the full SHA 5da4189View commit details -
Configuration menu - View commit details
-
Copy full SHA for 57629bb - Browse repository at this point
Copy the full SHA 57629bbView commit details