Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 15 commits
- 9 files changed
- 2 contributors
Commits on Nov 22, 2023
Commits on Nov 23, 2023
Commits on Nov 25, 2023
Commits on Nov 28, 2023
-
-
Merge pull request #167 from kjd/add-missing-files-to-sdist
Restore tools/ and HISTORY.rst to sdist (fixes #166)
Commits on Dec 2, 2023
Commits on Dec 27, 2023
Commits on Jan 15, 2024
Commits on Apr 2, 2024
-
Update Github actions/checkout to v4
The current action is failing as it uses Node 16, which Github has deprecated.
-
-
More efficient resolution of joiner contexts
In some pathological cases, this would out eligibility under CONTEXTJ rules much faster.
-
Merge pull request #152 from elliotwutingfeng/dev
Remove redundant steps in alabel()
Commits on Apr 11, 2024
-
-
Merge pull request #172 from kjd/optimize-contextj
More efficient resolution of joiner contexts
-
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff v3.6...v3.7