3 Commits

Author	SHA1	Message	Date
Kavon Farvardin	e17e09c294	Enable effectful properties (SE-310) by default. ... 1. Removes gating on -enable-experimental-concurrency. 2. Updates eff. prop tests to remove experimental flag, and also adjusts some tests slightly to avoid things that are still behind that flag.	2021-05-03 14:10:44 -07:00
Kavon Farvardin	c5ec5bf5b1	fix feature guards in swiftinterface for eff. props	2021-04-30 17:07:18 -07:00
Kavon Farvardin	c1f48c6855	fix missing effects specifiers on eff props in swiftinterface ... I missed the case where the body is also being printed in the interface file.	2021-04-29 20:29:50 -07:00