Skip to content

Actions: benruijl/symbolica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add formatting functions
Coverage #233: Commit b15c010 pushed by benruijl
September 14, 2024 14:28 4m 3s main
September 14, 2024 14:28 4m 3s
Allow user-defined normalization function for new symbols
Coverage #232: Commit 9a424cc pushed by benruijl
September 13, 2024 12:54 4m 9s main
September 13, 2024 12:54 4m 9s
PyPi MacOS Release
PyPi MacOS Release #15: Manually run by benruijl
September 12, 2024 07:14 21m 47s main
September 12, 2024 07:14 21m 47s
Release Symbolica 0.11.0
Coverage #231: Commit 080a6b0 pushed by benruijl
September 12, 2024 07:13 4m 20s main
September 12, 2024 07:13 4m 20s
Release Symbolica 0.11.0
Coverage #230: Commit 080a6b0 pushed by benruijl
September 12, 2024 07:13 4m 32s v0.11.0
September 12, 2024 07:13 4m 32s
Add pattern filter that takes the current matches as input
Coverage #229: Commit 66bd581 pushed by benruijl
September 11, 2024 16:09 4m 19s main
September 11, 2024 16:09 4m 19s
Add edge canonization
Coverage #228: Commit 30ce931 pushed by benruijl
September 11, 2024 09:20 4m 22s main
September 11, 2024 09:20 4m 22s
Improve Windows compatibility
Coverage #227: Commit 4daebee pushed by benruijl
September 11, 2024 06:59 4m 16s windows
September 11, 2024 06:59 4m 16s
Add graph support to Python API
Coverage #226: Commit 558078f pushed by benruijl
September 10, 2024 15:35 4m 38s main
September 10, 2024 15:35 4m 38s
Compute the automorphism group size during canonization
Coverage #225: Commit 8175b5c pushed by benruijl
September 10, 2024 13:11 4m 42s main
September 10, 2024 13:11 4m 42s
Allow wildcard matching a variable as function name
Coverage #224: Commit 274c852 pushed by benruijl
September 7, 2024 12:44 4m 30s main
September 7, 2024 12:44 4m 30s
Add graph generation filter for bridges
Coverage #223: Commit 32a685c pushed by benruijl
September 7, 2024 11:14 4m 2s main
September 7, 2024 11:14 4m 2s
Add graph generation with vertex color rules
Coverage #222: Commit 18da8df pushed by benruijl
September 6, 2024 09:39 4m 12s main
September 6, 2024 09:39 4m 12s
Add method to merge evaluators
Coverage #221: Commit a0f65ef pushed by benruijl
September 5, 2024 16:27 4m 19s main
September 5, 2024 16:27 4m 19s
Fix indentation
Coverage #220: Commit c18d7d8 pushed by benruijl
September 5, 2024 15:16 4m 11s merge_evaluator
September 5, 2024 15:16 4m 11s
Prevent mapping constants
Coverage #219: Commit 55bade4 pushed by benruijl
September 5, 2024 15:15 4m 24s merge_evaluator
September 5, 2024 15:15 4m 24s
Implement Serialize, Deserialize on Expression
Coverage #218: Commit feb6f11 pushed by benruijl
September 5, 2024 10:04 4m 3s merge_evaluator
September 5, 2024 10:04 4m 3s
Implement Serialize, Deserialize on Expression
Coverage #217: Commit 7889887 pushed by benruijl
September 5, 2024 10:03 4m 7s evaluate_merge
September 5, 2024 10:03 4m 7s
RHS of replacement can now be a function
Coverage #216: Commit bc74241 pushed by benruijl
September 5, 2024 08:07 4m 8s main
September 5, 2024 08:07 4m 8s
Add several transformer methods
Coverage #215: Commit aca4408 pushed by benruijl
September 4, 2024 09:02 4m 12s main
September 4, 2024 09:02 4m 12s
Add get_all_symbols to Python API
Coverage #214: Commit 42a5d2c pushed by benruijl
September 3, 2024 14:20 4m 7s main
September 3, 2024 14:20 4m 7s
Support extending Python API from other crates
Coverage #213: Commit d52d61e pushed by benruijl
September 3, 2024 12:55 4m 17s main
September 3, 2024 12:55 4m 17s
Support antisymmetric tensor canonization
Coverage #212: Commit 80313c2 pushed by benruijl
September 2, 2024 08:07 4m 22s main
September 2, 2024 08:07 4m 22s
Add method to merge evaluators
Coverage #211: Commit cbc87b4 pushed by benruijl
August 31, 2024 07:43 4m 4s merge_evaluator
August 31, 2024 07:43 4m 4s
Improve Python expression construction
Coverage #210: Commit d246a31 pushed by benruijl
August 30, 2024 13:15 4m 17s main
August 30, 2024 13:15 4m 17s