Conversation
This gets rid of the call to the nixpkgs internal `_fromFetchGit` because the `shallow = true` option has been adopted upstream.
Update nixpkgs
…on in preparation for JPP parsing
These were missed in 569f663.
…ssorAnnotationParser
…s upon implementation changes
…l-formula-parser-test Add PropositionalFormulaParserTest
Unfortunately, JAR files store time stamps of the files inside them. These time stamps depend on the build time of these files hence breaking bit for bit reproducibility. By setting all time stamps to a predefined value and removing superfluous build artifacts this issue can be avoided. Conventionally, UNIX time stamp 1 signifies an intentionally set time stamp (in contrast to UNIX time stamp 0) which has no meaning and is easy to recognize.
Use reproducible time stamps for Maven build artifacts
pmbittner
added
bug
Add FSE'24 paper to README and some updates
VariationTree::fromFile(Path)
Collaborator
|
Is there anything blocking #135 from getting merged before the release? |
Member
Author
Single source of truth for the DiffDetective version
If `buildGitHubPages` is `false`, the dependency shouldn't be included to reduce the build closure size.
ibbem
approved these changes
Apr 29, 2024
Member
Author
|
Ok, thanks. I am going to test the setup with the new Demo changes soon and will then merge this PR if everything is successful. |
Previously, these links pointed to the README files of the replication packages, which made Gitlab download the READMEs instead of going to the subdirectory in the web browser.
Apparently, there is no more canonical JRE because `pkgs.jre` is an alias for `pkgs.jdk`. However, nixpkgs provides `jre_minimal` which can be used to exclude unused modules. I created the list of used modules by running the ESEC/FSE 2024 demo and adding modules until it stopped complaining.
Reduce the closure size of the Nix derivation
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
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.
Includes the following PRs:
Increases the version number to 2.2.0.