Skip to content

Activity

Deleted branch

jverzanideleted bump • 
on Nov 26, 2024

Merge pull request #51 from jverzani/bump

Pull request merge
jverzanipushed 2 commits to main • 1f9fe68…e2d18bc • 
on Nov 26, 2024

bump for sparsearrays test

jverzanicreated bump • e02787b • 
on Nov 26, 2024

build based on 1f9fe68

github-actions[bot]pushed 1 commit to gh-pages • cb7ee15…e7c86c8 • 
on Aug 3, 2024

Deleted branch

jverzanideleted symbolics_cycle • 
on Aug 3, 2024

Merge pull request #50 from jverzani/symbolics_cycle

Pull request merge
jverzanipushed 4 commits to main • a8981cc…1f9fe68 • 
on Aug 3, 2024

term interface

jverzanipushed 1 commit to symbolics_cycle • 25867cb…7b7b90b • 
on Aug 3, 2024

version bump

jverzanicreated symbolics_cycle • 25867cb • 
on Aug 3, 2024

build based on a8981cc

github-actions[bot]pushed 1 commit to gh-pages • 0c7b73b…cb7ee15 • 
on May 24, 2024

Deleted branch

jverzanideleted bool3 • 
on May 24, 2024

Merge pull request #49 from jverzani/bool3

Pull request merge
jverzanipushed 3 commits to main • e200066…a8981cc • 
on May 24, 2024

oops

jverzanipushed 1 commit to bool3 • a449293…22ed82c • 
on May 24, 2024

bool3

jverzanicreated bool3 • a449293 • 
on May 24, 2024

build based on e200066

github-actions[bot]pushed 1 commit to gh-pages • 0c5562e…0c7b73b • 
on Apr 24, 2024

Deleted branch

jverzanideleted finite_set • 
on Apr 24, 2024

Merge pull request #48 from jverzani/finite_set

Pull request merge
jverzanipushed 5 commits to main • 82d4690…e200066 • 
on Apr 24, 2024

another collect

jverzanipushed 1 commit to finite_set • 776d632…4bd67e6 • 
on Apr 24, 2024

fix set

jverzanicreated finite_set • 776d632 • 
on Apr 24, 2024

build based on 82d4690

github-actions[bot]pushed 1 commit to gh-pages • e44402a…0c5562e • 
on Dec 12, 2023

Deleted branch

jverzanideleted complex • 
on Dec 12, 2023

Merge pull request #47 from jverzani/complex

Pull request merge
jverzanipushed 4 commits to main • 5b03ad4…82d4690 • 
on Dec 12, 2023

versionbump

jverzanicreated complex • 414195c • 
on Dec 12, 2023

build based on 5b03ad4

github-actions[bot]pushed 1 commit to gh-pages • ac30ac8…e44402a • 
on Nov 15, 2023

Deleted branch

jverzanideleted jverzani-patch-2 • 
on Nov 15, 2023

Merge pull request #46 from jverzani/jverzani-patch-2

Pull request merge
jverzanipushed 2 commits to main • ae76127…5b03ad4 • 
on Nov 15, 2023

Update Project.toml

jverzanicreated jverzani-patch-2 • 9705bc9 • 
on Nov 15, 2023
jverzanicreated uparrow • 79cfb36 • 
on Nov 15, 2023

build based on ae76127

github-actions[bot]pushed 1 commit to gh-pages • 64ec4cd…ac30ac8 • 
on Nov 15, 2023

Deleted branch

jverzanideleted uparrow • 
on Nov 15, 2023

Merge pull request #44 from jverzani/uparrow

Pull request merge
jverzanipushed 8 commits to main • ca9ea65…ae76127 • 
on Nov 15, 2023