Currently, FIR only supports ==. (Seriously! I'm as surprised as you, as I'd have expected it'd be a low hanging fruit I'd have already fixed up :D)
We have at least one Litmus test encoding a possible bug stimulus (unlikely, but we'll see!) that requires the existence of !=, and adding !=, <, <=, >=, and > to the mix of possible operators the expression generator can generate is always a good thing. (With #207, this will become even more powerful, as we'll be able to use them in known-true and known-false contraptions.)
This is also a prerequisite for any weakening of the FIR for loop structure (since we'd now need to support arbitrary comparison operators!).
Currently, FIR only supports
==. (Seriously! I'm as surprised as you, as I'd have expected it'd be a low hanging fruit I'd have already fixed up :D)We have at least one Litmus test encoding a possible bug stimulus (unlikely, but we'll see!) that requires the existence of
!=, and adding!=,<,<=,>=, and>to the mix of possible operators the expression generator can generate is always a good thing. (With #207, this will become even more powerful, as we'll be able to use them in known-true and known-false contraptions.)This is also a prerequisite for any weakening of the FIR for loop structure (since we'd now need to support arbitrary comparison operators!).