CiviDiscount based on group membership
Would using the Group Based Pricing extension be an option? You could then in theory create a smart group for those contacts that have attended the event and use that group in the price configuration?