Simplify intervals #415

Activity

1. WhiteBlackGoose

   added

   Proposal

   on May 16, 2021
2. WhiteBlackGoose

   added this to the 1.4 milestone on May 16, 2021
3. Happypig375

   added a commit that references this issue on Aug 3, 2026

   Pin seven open issues that no longer reproduce (#666)

   ...

   24b0a53
4. Happypig375

   closed this as completedon Aug 3, 2026
5. Happypig375

   reopened this on Aug 3, 2026
6. Happypig375 commented on Aug 3, 2026

   

   Happypig375

   on Aug 3, 2026

   Member

   More actions

   @Rafael-SOWNet You need to ensure the screenshotted example works
7. Happypig375

   added a commit that references this issue on Aug 4, 2026

   Simplify the intersection #415 actually asks for, and fix two wrong t…

   ...

   004e3a4
8. Rafael-SOWNet

   added a commit that references this issue on Aug 7, 2026

   Pin the interval example #415 actually reports (#793)

   ...

   0607cc9
9. Rafael-SOWNet

   closed this as completedin #793on Aug 7, 2026
10. Rafael-SOWNet

    added 2 commits that reference this issue on Aug 7, 2026

    Answer the condition when the equation has no unknown in it (#278) (#794

    ...

    ee9cb46

    Point AGENTS.md at work that is still open, and at keeping the harness (

    ...

    1f007bc
11. Happypig375

    added the

    Feature

    issue type on Sep 22, 2026
12. Happypig375

    removed

    Proposal

    on Sep 22, 2026