Skip to content

Actions: AlgebraicJulia/Catlab.jl

Benchmarks

Actions

Loading...

Show workflow options

Create status badge

345 workflow runs
345 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Epic backtracking constraint
Benchmarks #1019: Pull request #910 opened by kris-brown
May 24, 2024 10:40 46m 0s surjection2
May 24, 2024 10:40 46m 0s
Fix Heyting subtraction for ACSets with variables
Benchmarks #1018: Pull request #909 synchronize by kris-brown
May 19, 2024 17:38 48m 20s subtract_variables
May 19, 2024 17:38 48m 20s
Fix Heyting subtraction for ACSets with variables
Benchmarks #1017: Pull request #909 opened by kris-brown
May 19, 2024 16:33 46m 52s subtract_variables
May 19, 2024 16:33 46m 52s
Smoothing interaction between VarSets and actual sets and functions
Benchmarks #1016: Pull request #900 synchronize by aaguinal
May 7, 2024 17:27 46m 42s attrfuncChanges
May 7, 2024 17:27 46m 42s
Smoothing interaction between VarSets and actual sets and functions
Benchmarks #1015: Pull request #900 synchronize by aaguinal
May 7, 2024 16:29 48m 2s attrfuncChanges
May 7, 2024 16:29 48m 2s
Smoothing interaction between VarSets and actual sets and functions
Benchmarks #1014: Pull request #900 synchronize by aaguinal
May 7, 2024 15:00 49m 59s attrfuncChanges
May 7, 2024 15:00 49m 59s
Decorated Cospans and Corelations
Benchmarks #1013: Pull request #853 synchronize by jpfairbanks
April 29, 2024 13:42 18m 11s jpf/decorated
April 29, 2024 13:42 18m 11s
Add Sheaf implementation
Benchmarks #1012: Pull request #852 synchronize by jpfairbanks
April 29, 2024 13:34 49m 34s jpf/sheaves
April 29, 2024 13:34 49m 34s
Delete extraneous SigmaMigration method
Benchmarks #1011: Pull request #906 opened by kris-brown
April 28, 2024 23:48 50m 35s fixsigmamethod
April 28, 2024 23:48 50m 35s
Fix typo in product keyword arguments
Benchmarks #1010: Pull request #905 opened by jpfairbanks
April 27, 2024 21:12 49m 17s jpf/904
April 27, 2024 21:12 49m 17s
Bump dependency on ACSets.jl
Benchmarks #1009: Pull request #902 opened by epatters
April 24, 2024 00:11 50m 5s acsets-bump
April 24, 2024 00:11 50m 5s
Cartesian transformations between acsets
Benchmarks #1008: Pull request #899 synchronize by KevinDCarlson
April 23, 2024 23:00 58m 12s cartesian_morphisms
April 23, 2024 23:00 58m 12s
Missing ACSetsGATsInterop methods
Benchmarks #1007: Pull request #901 opened by kris-brown
April 23, 2024 20:52 50m 34s acset_gat_interop_method
April 23, 2024 20:52 50m 34s
Cartesian transformations between acsets
Benchmarks #1006: Pull request #899 synchronize by KevinDCarlson
April 23, 2024 19:02 53m 2s cartesian_morphisms
April 23, 2024 19:02 53m 2s
Smoothing interaction between VarSets and actual sets and functions
Benchmarks #1005: Pull request #900 opened by KevinDCarlson
April 19, 2024 19:31 55m 18s attrfuncChanges
April 19, 2024 19:31 55m 18s
Cartesian transformations between acsets
Benchmarks #1004: Pull request #899 synchronize by KevinDCarlson
April 18, 2024 23:51 51m 5s cartesian_morphisms
April 18, 2024 23:51 51m 5s
Cartesian transformations between acsets
Benchmarks #1003: Pull request #899 synchronize by KevinDCarlson
April 18, 2024 03:07 48m 7s cartesian_morphisms
April 18, 2024 03:07 48m 7s
Cartesian transformations between acsets
Benchmarks #1002: Pull request #899 opened by KevinDCarlson
April 18, 2024 02:45 51m 9s cartesian_morphisms
April 18, 2024 02:45 51m 9s
Fix types in graph algorithms
Benchmarks #1001: Pull request #898 opened by slwu89
April 9, 2024 23:17 51m 10s slwu89:graph-cleanup
April 9, 2024 23:17 51m 10s
VM-based homomorphism search
Benchmarks #1000: Pull request #830 synchronize by kris-brown
April 8, 2024 22:17 44m 17s homsearch
April 8, 2024 22:17 44m 17s
Products of FinCats and isomorphism testing of diagrams of C-sets
Benchmarks #999: Pull request #896 synchronize by kris-brown
April 3, 2024 20:41 24m 33s iso_diagram
April 3, 2024 20:41 24m 33s
Products of FinCats and isomorphism testing of diagrams of C-sets
Benchmarks #998: Pull request #896 synchronize by kris-brown
April 3, 2024 00:29 24m 31s iso_diagram
April 3, 2024 00:29 24m 31s
Products of FinCats and isomorphism testing of diagrams of C-sets
Benchmarks #997: Pull request #896 opened by kris-brown
April 3, 2024 00:25 24m 36s iso_diagram
April 3, 2024 00:25 24m 36s