Skip to content

Pull requests: JuliaSymbolics/SymbolicUtils.jl

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Added naming based on input types
#660 opened Oct 15, 2024 by GeorgeR227 Loading…
Implement hash consing for Sym
#658 opened Oct 14, 2024 by bowenszhu Draft
Fix documentation
#654 opened Sep 29, 2024 by karlwessel Loading…
Nested associative-commutative pattern matching
#642 opened Aug 29, 2024 by zengmao Loading…
lazy evaluation of rational powers
#641 opened Aug 28, 2024 by mxhbl Loading…
Use Metatheory.jl 3.0 rule object
#620 opened Jun 26, 2024 by 0x0f0f0f Draft
start sprucing up CI
#599 opened May 17, 2024 by ArnoStrouwen Loading…
Fix nested CSE
#593 opened May 3, 2024 by spcornelius Loading…
New EGraphs integration
#591 opened May 1, 2024 by 0x0f0f0f Draft
Add hash field to all BasicSymbolic subtypes
#590 opened Apr 30, 2024 by bowenszhu Loading…
Bump crate-ci/typos from 1.16.23 to 1.19.0 dependencies Pull requests that update a dependency file
#583 opened Mar 4, 2024 by dependabot bot Loading…
Bump codecov/codecov-action from 1 to 4 dependencies Pull requests that update a dependency file
#578 opened Feb 5, 2024 by dependabot bot Loading…
Bump actions/cache from 1 to 4 dependencies Pull requests that update a dependency file
#576 opened Jan 22, 2024 by dependabot bot Loading…
Bump actions/upload-artifact from 2 to 4 dependencies Pull requests that update a dependency file
#572 opened Dec 19, 2023 by dependabot bot Loading…
Bump actions/checkout from 2 to 4 dependencies Pull requests that update a dependency file
#570 opened Dec 19, 2023 by dependabot bot Loading…
Add more trig identities
#560 opened Nov 1, 2023 by derikk Loading…
Create dependabot.yml
#540 opened Aug 7, 2023 by ranocha Loading…
equality saturation
#537 opened Aug 2, 2023 by shashi Loading…
ProTip! Follow long discussions with comments:>50.