Skip to content
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

Release 2.2.0 #141

Merged
merged 52 commits into from
Apr 29, 2024
Merged

Release 2.2.0 #141

merged 52 commits into from
Apr 29, 2024

Conversation

ibbem and others added 30 commits February 10, 2024 13:39
This gets rid of the call to the nixpkgs internal `_fromFetchGit`
because the `shallow = true` option has been adopted upstream.
Maximilian Glumann and others added 10 commits March 20, 2024 18:30
…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 pmbittner changed the title Update Main Release 2.2.0 Apr 27, 2024
@pmbittner pmbittner added bug Something isn't working enhancement New feature or request release labels Apr 27, 2024
Add FSE'24 paper to README and some updates
@pmbittner pmbittner requested a review from ibbem April 27, 2024 10:54
VariationTree::fromFile(Path)
@ibbem
Copy link
Collaborator

ibbem commented Apr 29, 2024

Is there anything blocking #135 from getting merged before the release?

@pmbittner
Copy link
Member Author

Is there anything blocking #135 from getting merged before the release?

Good question. I don't think so. Please merge. My only concern was that #135 should be robust and not introduce fragile behavior that could easily lead to bugs. I guess that fear is exaggerated though. So let's merge #135.

pmbittner and others added 4 commits April 29, 2024 11:10
Single source of truth for the DiffDetective version
If `buildGitHubPages` is `false`, the dependency shouldn't be included
to reduce the build closure size.
@pmbittner
Copy link
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.

pmbittner and others added 3 commits April 29, 2024 19:09
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
@pmbittner pmbittner self-assigned this Apr 29, 2024
@pmbittner pmbittner merged commit 913e714 into main Apr 29, 2024
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants