Skip to content

Commit

Permalink
Simplify/prune schneiderUtils.{sig,sml}
Browse files Browse the repository at this point in the history 
A fair bit of this code is unused or redundant. Ultimate objective is
to entirely remove it, moving what's generally useful into bossLib or
similar.

Likewise jbUtils, jrhUtils, hurdUtils etc.
  • Loading branch information
@mn200
mn200 committed Jan 22, 2024
1 parent 3d6d5fb commit 526e1eb
Show file tree
Hide file tree
Showing 6 changed files with 316 additions and 526 deletions.

1 comment on commit 526e1eb

@binghe
Copy link
Contributor

@binghe binghe commented on 526e1eb Jan 23, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Most part of hurdUtils is only used by Joe Hurd in the miller example. I only use a very small "handy" subset: Know, Suff, POP_ORW, Rewr, Rewr', wrap, KILL_TAC, etc., plus the extremely frequent art (= ASM_REWRITE_TAC). Since I knew CONJ_ASM1_TAC, I don't use STRONG_CONJ_TAC any more.

Please sign in to comment.