-
-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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
WIP: deterministic evaluation of expressions/derivations #709
Commits on Jan 21, 2016
-
Configuration menu - View commit details
-
Copy full SHA for 7705822 - Browse repository at this point
Copy the full SHA 7705822View commit details -
Configuration menu - View commit details
-
Copy full SHA for f3df86a - Browse repository at this point
Copy the full SHA f3df86aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 239043f - Browse repository at this point
Copy the full SHA 239043fView commit details -
Configuration menu - View commit details
-
Copy full SHA for d0bda8f - Browse repository at this point
Copy the full SHA d0bda8fView commit details -
Configuration menu - View commit details
-
Copy full SHA for f3b593e - Browse repository at this point
Copy the full SHA f3b593eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 946b76a - Browse repository at this point
Copy the full SHA 946b76aView commit details -
Configuration menu - View commit details
-
Copy full SHA for e2498d9 - Browse repository at this point
Copy the full SHA e2498d9View commit details -
first version of working constants (currently fails when constants ch…
…ange because the result included in the primop argument)
Configuration menu - View commit details
-
Copy full SHA for b895063 - Browse repository at this point
Copy the full SHA b895063View commit details -
Configuration menu - View commit details
-
Copy full SHA for cf8b63b - Browse repository at this point
Copy the full SHA cf8b63bView commit details -
fix bug that toJSON/fromJSON wasn't inverse because the content got c…
…opied to the store. Well, they're still not inverse because a path gets converted to a string, but that doesn't seem to be a problem so far
Configuration menu - View commit details
-
Copy full SHA for b14a68c - Browse repository at this point
Copy the full SHA b14a68cView commit details -
also write information into the json file, so the command can be repl…
…ayed currently only supported for nix-instantiate (and thus probably also nix-build), not yet nix-env add --playback option to play back the exact command So the interface is now: "NIX_RECORDING=filename nix-instantiate ..." to record the nix-instantiate command and "nix-instantiate --replay filename" to play it back commands in file
Configuration menu - View commit details
-
Copy full SHA for 46520da - Browse repository at this point
Copy the full SHA 46520daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c7dfec - Browse repository at this point
Copy the full SHA 9c7dfecView commit details -
Configuration menu - View commit details
-
Copy full SHA for a838853 - Browse repository at this point
Copy the full SHA a838853View commit details -
Configuration menu - View commit details
-
Copy full SHA for 92d9e1b - Browse repository at this point
Copy the full SHA 92d9e1bView commit details -
if import is in nix store, add package instead of individual files
In combination with nix channels (or the newer http download), the whole channel is treated as one input
Configuration menu - View commit details
-
Copy full SHA for 1e69a65 - Browse repository at this point
Copy the full SHA 1e69a65View commit details -
Configuration menu - View commit details
-
Copy full SHA for 075869e - Browse repository at this point
Copy the full SHA 075869eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 955e81e - Browse repository at this point
Copy the full SHA 955e81eView commit details
Commits on Jan 22, 2016
-
don't write a json, but write nix files
we write 3 files to the nix closure: -> default.nix: just imports the other two and can be imported to get the exact reproducable output we want to have -> nix-support/recording.nix: recordings of all impurities i. e. function calls and imported files -> nix-support/expressions.nix: the expression that will be executed for the expression, a primop __findAlongAttrPath that does the supplies the autobindings along the attrpath. for the playback, a new primop prim_playback has been introduced. It's first parameter is a description of all impurities (as written to expression.nix). After this function is invoked, all subsequent calls can use the functions introduced here. In general, we allow multiple prim_playback when they don't conflict (not in all cases conflicts are found yet) It would also be cool to make the prim_playback more local, e. g. it should only apply to a specific term, but it's unclear to me how this can be achieved in a lazy language.
Configuration menu - View commit details
-
Copy full SHA for eca9dec - Browse repository at this point
Copy the full SHA eca9decView commit details -
Configuration menu - View commit details
-
Copy full SHA for ec0748b - Browse repository at this point
Copy the full SHA ec0748bView commit details
Commits on Jan 23, 2016
-
cleaning up, lower interference with normal nix-instantiate, save lin…
…k to recorded source closure (not registered in garbage collection)
Configuration menu - View commit details
-
Copy full SHA for c1eddb1 - Browse repository at this point
Copy the full SHA c1eddb1View commit details