Skip to content
Success

Changes

Summary

  1. change basic_ostream to ostream, first attempt of enumeration input (details)
  2. remove unnecessary assignment when looping with a structure type (details)
  3. formatting (details)
  4. change enumeration posE to posn (details)
  5. fix enumeration input to use reference type (details)
  6. inline enum relational and increment operators, comment out loop causing compiler segment fault (details)
  7. update 'Too many recursive assertions' error message with possible cause (details)
Commit 64eeb06f9e2ea8935a52bacf0f358cc774221c00 by Peter Buhr
change basic_ostream to ostream, first attempt of enumeration input
The file was modifiedlibcfa/src/enum.cfa
The file was modifiedlibcfa/src/enum.hfa
Commit 72abc90a93dc111c0637aacaf9ef518186e134ba by Peter Buhr
remove unnecessary assignment when looping with a structure type
The file was modifiedtests/ctrl-flow/loopctrl.cfa
Commit 7f8c2323f117b7143014f347174bd00ad62cf18e by Peter Buhr
formatting
The file was modifieddoc/theses/jiada_liang_MMath/test2.cfa
Commit c40a98268f7ac3be26d179ba49352c2b1fbcb0fd by Peter Buhr
change enumeration posE to posn
The file was modifieddoc/theses/jiada_liang_MMath/test1.cfa
Commit bc48c0d2a69ed59cb73030a516c35a7450cd60f0 by Peter Buhr
fix enumeration input to use reference type
The file was modifiedlibcfa/src/enum.hfa
Commit 062467baf2156172537dfdf1517902cb530331a6 by Peter Buhr
inline enum relational and increment operators, comment out loop causing compiler segment fault
The file was modifiedlibcfa/src/enum.cfa
The file was modifiedlibcfa/src/enum.hfa
Commit 597f28439bb7a7c7930eaafb31d0f41a67c2fd6c by Peter Buhr
update 'Too many recursive assertions' error message with possible cause
The file was modifiedsrc/ResolvExpr/SatisfyAssertions.cpp