sat-arithmetic: add operator support#9679

Merged

andrewrk merged 17 commits intoziglang:masterfrom travisstaloch:sat-arith-operators

Sep 29, 2021

+1,319-473

Commits on Sep 29, 2021

sat-arithmetic: add operator support

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: add c backend support

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: correctly tokenize <<|, <<|=

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: fixups zig fmt / astcheck

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: fix docgen

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: update langref

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: langref - remove syntax disclaimer

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: add additional tokenizer tests

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: langref - use <th> tags

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: minor formatting changes

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: fix shl methods in cbe

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: create Sema.analyzeSatArithmetic

travisstaloch
authored and
andrewrk
committed
sat-arithmetic: don't test builtins in behavior tests

travisstaloch
authored and
andrewrk
committed
get build passing again after rebase

travisstaloch
authored and
andrewrk
committed
add missing zig fmt test for saturating arithmetic
andrewrk
committed
AstGen: delete dead code
andrewrk
committed
saturating arithmetic modifications
andrewrk
committed