AlgebraicJulia AlgebraicRewriting.jl issues

AlgebraicJulia / AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

https://algebraicjulia.github.io/AlgebraicRewriting.jl/

MIT License

25 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use migrations from Catlab.jl

#81 kris-brown opened 3 weeks ago
0
Fix new_nac_homs

#80 kris-brown closed 1 month ago
0
Sigma migrations

#79 ohaaga opened 1 month ago
1
Bug in `new_nac_homs!`

#78 kris-brown opened 2 months ago
1
Remove support for Attribute change via DPO

#77 kris-brown closed 2 months ago
0
Remove support for 'changing attribute values' via a DPO rewrite

#76 kris-brown closed 2 months ago
0
Adjust for changes in homomorphism search

#75 kris-brown closed 2 months ago
0
adding buildkite functionality

#74 quffaro opened 3 months ago
0
Data Migrations compat

#73 KevinDCarlson closed 3 months ago
0
Generalize incremental hom search to work for nonmonic matches and rules

#72 kris-brown opened 3 months ago
0
Updates for equations in schema

#71 kris-brown closed 3 months ago
0
Patch graph rewriting

#70 kris-brown opened 3 months ago
2
Simplify PBPO+ rewriting

#69 kris-brown closed 3 months ago
0
CompatHelper: bump compat for DataMigrations in [weakdeps] to 0.1, (keep existing compat)

#68 algebraicjuliabot closed 3 months ago
0
serializing rules

#67 slwu89 opened 4 months ago
0
Codom error when using rule with attribute variables

#66 slwu89 closed 4 months ago
5
CompatHelper: add new compat entry for Luxor in [weakdeps] at version 4, (keep existing compat)

#65 algebraicjuliabot opened 4 months ago
0
add presentation data to Migration

#64 kris-brown closed 4 months ago
0
Comptime + Incremental hom search

#63 kris-brown opened 4 months ago
0
Incremental hom search with constraints

#62 kris-brown closed 4 months ago
0
C-Par rewriting

#61 kris-brown opened 4 months ago
2
Parallel independence

#60 kris-brown opened 4 months ago
1
Extend incremental hom search to include monic constraints, application conditions, gluing conditions

#59 kris-brown closed 4 months ago
0
Coerce between IncSum and IncCC incremental hom set data structures

#58 kris-brown closed 4 months ago
0
cached filename changes when schema changes

#57 kris-brown closed 4 months ago
0
Fixes for docs

#56 kris-brown closed 5 months ago
0
Lotka volterra docs: don't conflate countdown and energies

#55 kris-brown closed 5 months ago
0
New pushout complement for AttrVars

#54 kris-brown closed 5 months ago
1
Pushout complement treatment of attrvars

#53 kris-brown closed 5 months ago
0
yoneda_cache file naming robustness to changing data structures

#52 kris-brown closed 4 months ago
0
Inplace DPO rewrite method that returns maps

#51 slwu89 opened 7 months ago
1
update Game of Life literate example

#50 kris-brown closed 7 months ago
0
Improve literate docs for LV

#49 kris-brown closed 7 months ago
1
Increase compatible patch version of DataMigrations.jl

#48 aaguinal closed 7 months ago
0
Benchmarking Agents.jl

#47 kris-brown closed 7 months ago
1
add compatibility with DataMigrations v0.0.3

#46 aaguinal closed 7 months ago
0
show images in literate doc examples for ABMs

#45 kris-brown closed 7 months ago
2
Integrate incremental hom search with rewriting programs

#44 kris-brown opened 7 months ago
0
Update Incremental hom search to work for patterns with AttrVars

#43 kris-brown closed 7 months ago
1
benchmark with Agents.jl

#42 kris-brown opened 7 months ago
1
Problem finding mk_sched in notebook code for "Agent-based modeling via graph rewriting" blog

#41 ndo885 closed 7 months ago
3
Add authors section to docs page

#40 aaguinal closed 8 months ago
2
change `devbranch="dev" to "main"`

#39 aaguinal closed 8 months ago
0
refactor documentation

#38 aaguinal closed 8 months ago
3
Refactor documentation

#37 aaguinal closed 8 months ago
0
Incremental hom search

#36 kris-brown closed 8 months ago
1
CompatHelper: bump compat for Catlab to 0.16, (keep existing compat)

#35 algebraicjuliabot closed 11 months ago
1
CompatHelper: bump compat for Catlab to 0.16, (keep existing compat)

#34 algebraicjuliabot closed 11 months ago
1
CompatHelper: bump compat for Catlab to 0.16, (keep existing compat)

#33 algebraicjuliabot closed 11 months ago
1
Update for GATlab.jl and DataMigrations.jl

#32 epatters closed 9 months ago
1