search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

some trigger updates #25

Open yizhou7 opened 3 years ago

yizhou7 commented 3 years ago

removed some tiggers that repeats dafny's selection added some comments for dafny selected trigger

parno commented 3 years ago

Cool, thanks for the changes!

parno commented 2 years ago

@RustanLeino I believe Yi has addressed all of the issues you raised. Is this ready to be merged?