3 Pull requests merged by 1 person

• [Civl] Remove ISR code

  #1007 merged Mar 4, 2025

• Fix issue #1005

  #1006 merged Mar 4, 2025

• Move modifies inference immediately after resolution

  #1004 merged Feb 28, 2025

3 Issues closed by 1 person

• Unhandled exception: Async call from a mover procedure.

  #1005 closed Mar 4, 2025

• Standalone binary

  #944 closed Feb 28, 2025

• Type checker is not flagging missing modifies

  #1001 closed Feb 28, 2025

1 Issue opened by 1 person

• Release? So we depend on .net 8, not deprecated 6

  #1003 opened Feb 27, 2025