Skip to content

Commit

Permalink
WIP: BN rewriting system
Browse files Browse the repository at this point in the history 
Speedups in DC ident,
Use DAG for rules
Remove rules that become redundant
  • Loading branch information
@hulpke
hulpke committed Sep 29, 2022
1 parent c9faaf9 commit 1df75b8
Showing 1 changed file with 443 additions and 107 deletions.
Loading

0 comments on commit 1df75b8

Please sign in to comment.