Skip to content

Activity

Showing most recent first

smt: indicate whether solver supports as const

ekiwipushed 1 commit to rtl-repair-changes • 56a358b…a8b95af • 
on Jan 20

smt: try to get error message when write_cmd fails

ekiwipushed 1 commit to rtl-repair-changes • aaf3797…56a358b • 
on Jan 20

smt: do not panic in drop

ekiwipushed 1 commit to rtl-repair-changes • f86c397…aaf3797 • 
on Jan 20

implement array literal creation

ekiwipushed 1 commit to rtl-repair-changes • e477a38…f86c397 • 
on Jan 20

increase the size of StringRef

ekiwipushed 1 commit to rtl-repair-changes • b5a4993…e477a38 • 
on Jan 20

smt: fix symbol name escaping for commands

ekiwipushed 1 commit to rtl-repair-changes • b20da12…b5a4993 • 
on Jan 20

fix tests

ekiwipushed 2 commits to rtl-repair-changes • a14cab5…b20da12 • 
on Jan 20

implement random simulator initialization

ekiwipushed 1 commit to rtl-repair-changes • 2a7e820…a14cab5 • 
on Jan 17

fix tests

ekiwipushed 1 commit to rtl-repair-changes • 3b1ccfa…2a7e820 • 
on Jan 16

mockup new APIs

ekiwicreated rtl-repair-changes • 3b1ccfa • 
on Jan 16

wip: custom applier

ekiwipushed 1 commit to egraph-width-conds • 2732c20…03e6653 • 
on Jan 14

comment

ekiwipushed 1 commit to egraph-width-conds • 6a7dc7e…2732c20 • 
on Jan 13

wip: formalize width constraints

ekiwicreated egraph-width-conds • 6a7dc7e • 
on Jan 13

egraph: deal with new width op

ekiwipushed 1 commit to main • ac59fff…7f7c555 • 
on Dec 20, 2024

egraph: example equality working

ekiwipushed 1 commit to main • 51a4246…ac59fff • 
on Dec 20, 2024

egraph: add constant folding

ekiwipushed 1 commit to main • ed6c034…51a4246 • 
on Dec 20, 2024

egraph: debugging rewrites

ekiwipushed 1 commit to main • 3fb8ffd…ed6c034 • 
on Dec 20, 2024

egraph: move around debugging code

ekiwipushed 1 commit to main • 52b72ad…3fb8ffd • 
on Dec 20, 2024

egraph: add function to debug match failures

ekiwipushed 1 commit to main • 086cfae…52b72ad • 
on Dec 20, 2024

egraph: split of rewrite code

ekiwipushed 1 commit to main • 566d5c7…086cfae • 
on Dec 20, 2024

egraph: print width and signedness on edges

ekiwipushed 1 commit to main • daee6e9…566d5c7 • 
on Dec 20, 2024

egraph: add custom to_dot

ekiwipushed 1 commit to main • 5b11c4a…daee6e9 • 
on Dec 20, 2024

egraph: debug fig1

ekiwipushed 1 commit to main • 40a3bb0…5b11c4a • 
on Dec 19, 2024

egraph: add left-shift-mult rule

ekiwipushed 1 commit to main • f2839a5…40a3bb0 • 
on Dec 19, 2024

egraph: extract derived widths from egraph

ekiwipushed 1 commit to main • 863bd24…f2839a5 • 
on Dec 19, 2024

egraph: add unmerge-left-shift

ekiwipushed 1 commit to main • c29f17e…863bd24 • 
on Dec 19, 2024

format

ekiwipushed 1 commit to main • ceeaad9…c29f17e • 
on Dec 19, 2024

restrict merge-left-shift

ekiwipushed 1 commit to main • 8596aad…ceeaad9 • 
on Dec 19, 2024

egraph: improve merge-left-shift

ekiwipushed 1 commit to main • 8b6e916…8596aad • 
on Dec 19, 2024

arith: derived widths

ekiwipushed 1 commit to main • 49edaad…8b6e916 • 
on Dec 19, 2024