-
Notifications
You must be signed in to change notification settings - Fork 212
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
lean4/4.7.0 package update #16226
lean4/4.7.0 package update #16226
Conversation
octo-sts
bot
commented
Apr 3, 2024
Signed-off-by: wolfi-bot <121097084+wolfi-bot@users.noreply.github.com>
Package lean4: Click to expand/collapsePackage lean4: Package lean4-static: Click to expand/collapsePackage lean4-static: Package lean4-dev: Click to expand/collapsePackage lean4-dev: bincapz found differences: Click to expand/collapseAdded: lean4/usr/src/lean/Lean/Compiler/IR/LLVMBindings.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Elab/Tactic/Omega.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Elab/Tactic/Change.leanOverall risk: ✅ 2/MEDIUM
Added: lean4/usr/src/lean/lake/Lake/Config/WorkspaceConfig.leanOverall risk: ✅ 2/MEDIUM
Added: lean4/usr/src/lean/Init/Data/BitVec/Basic.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Meta/Tactic/SolveByElim.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Server/CodeActions/Provider.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Server/CodeActions/Basic.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Init/Data/Int/DivMod.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Elab/Tactic/NormCast.leanOverall risk: ✅ 1/LOW
Added: lean4/usr/src/lean/Lean/Elab/Tactic/ShowTerm.leanOverall risk: ✅ 2/MEDIUM
Added: lean4/usr/src/lean/Init/Data/BitVec/Bitblast.leanOverall risk: ✅ 1/LOW
Changed: lean4/usr/src/lean/lake/Lake/Load/Elab.leanPrevious Risk: ✅ 0/NONE
Changed: lean4/usr/src/lean/Lean/Server/CodeActions.leanPrevious Risk: ✅ 1/LOW
Changed: lean4/usr/src/lean/Lean/Elab/Tactic/BuiltinTactic.leanPrevious Risk: ✅ 1/LOW
Changed: lean4-dev/usr/include/lean/lean.hPrevious Risk: ✅ 0/NONE
Changed: lean4/usr/lib/lean/libleanshared.so
Moved: lean4/usr/src/lean/Lean/Meta/CasesOn.lean -> lean4/usr/src/lean/Lean/Meta/CoeAttr.lean (score: 0.912195)Changed: lean4/usr/src/lean/Init/Notation.leanPrevious Risk: ✅ 0/NONE
Changed: lean4/usr/src/lean/Lean/Meta/Tactic/Replace.leanPrevious Risk: ✅ 0/NONE
Changed: lean4/usr/src/lean/Lean/Meta/DiscrTree.leanPrevious Risk: ✅ 0/NONE
|