search

flux-rs / flux

Refinement Types for Rust
MIT License
631 stars 17 forks source link

Migrate to new Fixpoint parser #661

Closed nilehmann closed 1 month ago

nilehmann commented 1 month ago

Anticipating the need for user-defined sorts, I think we should move to the new s-expression fixpoint parser, i.e., stop passing --nosmthorn

ranjitjhala commented 1 month ago

Wait, I thought flux already moved to the s-exp parser?

On Thu, Jul 18, 2024 at 9:08 PM Nico Lehmann @.***> wrote:

Assigned #661 https://urldefense.com/v3/__https://github.com/flux-rs/flux/issues/661__;!!Mih3wA!Da6SawU2DlKcS80Pg34s0N9benK7lSn8Fxj8L80Jzh_CkoXKotn8_CvOc6HUvsHFDxxMRE_8pimMTr1TlmifLNOk$ to @ranjitjhala https://urldefense.com/v3/__https://github.com/ranjitjhala__;!!Mih3wA!Da6SawU2DlKcS80Pg34s0N9benK7lSn8Fxj8L80Jzh_CkoXKotn8_CvOc6HUvsHFDxxMRE_8pimMTr1TliA4yd8c$ .

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/flux-rs/flux/issues/661*event-13566398180__;Iw!!Mih3wA!Da6SawU2DlKcS80Pg34s0N9benK7lSn8Fxj8L80Jzh_CkoXKotn8_CvOc6HUvsHFDxxMRE_8pimMTr1TlhgsmKVX$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OEV52NIGXVETMGOUM3ZNCGKLAVCNFSM6AAAAABLD2MFHOVHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJTGU3DMMZZHAYTQMA__;!!Mih3wA!Da6SawU2DlKcS80Pg34s0N9benK7lSn8Fxj8L80Jzh_CkoXKotn8_CvOc6HUvsHFDxxMRE_8pimMTr1Tlr63Dq85$ . You are receiving this because you were assigned.Message ID: @.***>

nilehmann commented 1 month ago

No, you were in the process of moving it, and then life happened.