Skip to content
Builds
No builds

Changes

#900 (Aug 13, 2024, 11:54:40 PM)

  1. add missing #ifdef to handle systems without io_uring — Peter Buhr / detail
  2. modify time test to deal with unfreed storage from putenv/tzset — Peter Buhr / detail
  3. preclude aggregate/enumeration type declaration in trait body — Peter Buhr / detail
  4. After a years (or at least half a year) the CodeLocation optimization is merged in. Added Symbol (using Racket's name for interned strings), and used it for CodeLocation file names. The optimizes for the high number of copies - both instances with the same value and copy operations - and consistently brings down runtime by a few percent. — ajbeach / detail
  5. update cast expression cost rule — f37yu / detail

#899 (Aug 12, 2024, 11:48:16 PM)

  1. formatting — Peter Buhr / detail
  2. remove spurious push/pop from grammar contexts where type declarations are not allowed — Peter Buhr / detail
  3. Implemented special case of sizeof/alignof, where reference types are ignored for these operations. — ajbeach / detail

#898 (Aug 11, 2024, 11:59:06 PM)

  1. add better error message for an empty enumeration, i.e., no enumerators. — Peter Buhr / detail
  2. proofread intro chapter and add citation — Peter Buhr / detail
  3. add citations — Peter Buhr / detail
  4. move section from into to background — Peter Buhr / detail

#896 (Aug 9, 2024, 11:14:15 AM)

  1. Small thesis unpdate — j82liang / detail
  2. Update on comparison table (some checkmark still need to be fixed — j82liang / detail
  3. update comparison table — j82liang / detail
  4. (Software) grammar check — j82liang / detail
  5. Move partial scope to future work — j82liang / detail
  6. grammar update and section moved — j82liang / detail
  7. last proofread of thesis — Peter Buhr / detail
  8. Minor update on the thesis (add auto initialization and update future work — j82liang / detail
  9. rephrase enum initialization — j82liang / detail
  10. remove spurious test files — Peter Buhr / detail
  11. update test file covering problem cases — Peter Buhr / detail

#895 (Aug 8, 2024, 11:55:24 PM)

  1. Small thesis unpdate — j82liang / detail
  2. Update on comparison table (some checkmark still need to be fixed — j82liang / detail
  3. update comparison table — j82liang / detail
  4. (Software) grammar check — j82liang / detail
  5. Move partial scope to future work — j82liang / detail
  6. grammar update and section moved — j82liang / detail
  7. last proofread of thesis — Peter Buhr / detail
  8. Minor update on the thesis (add auto initialization and update future work — j82liang / detail
  9. rephrase enum initialization — j82liang / detail

#895 (Aug 8, 2024, 11:55:24 PM)

  1. proofread trait chapter — Peter Buhr / detail
  2. second attempt proofread trait chapter — Peter Buhr / detail
  3. third attempt proofread trait chapter — Peter Buhr / detail
  4. Merge changes — j82liang / detail
  5. Add code comment along the example — j82liang / detail
  6. update subset section — j82liang / detail
  7. change wording — j82liang / detail
  8. remove unused parameter name from function Countof, add period to end of error messages — Peter Buhr / detail
  9. small proofreading updates — Peter Buhr / detail
  10. update unfreed storage message from memory allocator — Peter Buhr / detail
  11. formatting — Peter Buhr / detail
  12. proofread conclusion chapter — Peter Buhr / detail
  13. fix duplicate labelling of figures — Peter Buhr / detail
  14. rename file CEnum.tex to Cenum.tex to match CFAenum.tex — Peter Buhr / detail
  15. remove unused files from repository — Peter Buhr / detail
  16. fix PDF warnings about special characters in titles — Peter Buhr / detail
  17. Small thesis unpdate — j82liang / detail
  18. Update on comparison table (some checkmark still need to be fixed — j82liang / detail
  19. update comparison table — j82liang / detail
  20. (Software) grammar check — j82liang / detail
  21. Move partial scope to future work — j82liang / detail
  22. grammar update and section moved — j82liang / detail
  23. last proofread of thesis — Peter Buhr / detail
  24. Minor update on the thesis (add auto initialization and update future work — j82liang / detail

#894 (Aug 7, 2024, 11:57:43 PM)

  1. remove unused addInitType — j82liang / detail
  2. proofread thesis frontpgs and intro — Peter Buhr / detail
  3. reinterpret loop start for enum type as the first enumerator — j82liang / detail
  4. define enum to value cost as implicit cost — j82liang / detail
  5. Update .error as the cost model has changed — j82liang / detail
  6. Update +=/-= for enums — j82liang / detail
  7. display subsubsection numbering and insert into the table of contents — Peter Buhr / detail
  8. proofread background chapter — Peter Buhr / detail
  9. Update test expect for arm64 — j82liang / detail
  10. merge local changes — j82liang / detail
  11. Update test expect for x86 — j82liang / detail
  12. move overload material into background chapter — Peter Buhr / detail
  13. proofread C Enum chapter — Peter Buhr / detail
  14. remove leading whitespace — j82liang / detail
  15. Change enum pos to signed int to avoid underflow; operator on enum will not have range check (but succ and pred still have range check — j82liang / detail
  16. small fix — j82liang / detail
  17. formatting — Peter Buhr / detail
  18. add discussion about partially implemented individual scoping mechanism — Peter Buhr / detail
  19. proofread CFA enumeration chapter — Peter Buhr / detail
  20. Change FX64 (x64) to FA64 (arm64) — j82liang / detail
  21. Add "implicit case to base type" to enumerator — j82liang / detail
  22. 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion) — j82liang / detail
  23. Revert change: enumerator cannot be implicitly const — j82liang / detail
  24. formatting, add str conversion routines, add more combinations of ?+? routines — Peter Buhr / detail
  25. 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa are the code example used in loop section — j82liang / detail
  26. Wording changes — j82liang / detail
  27. formatting, documentation — Peter Buhr / detail
  28. formatting, add section of enumeration subset — Peter Buhr / detail
  29. user define enum example — j82liang / detail
  30. fix user_define_enum.cfa — Peter Buhr / detail
  31. A demo of offset algorithm used in enum containment inheritance — j82liang / detail
  32. CFAEnum to CFAEnum conversion algorithm (the previous was enumerator to CFAEnum which is not a cast suppose to do) — j82liang / detail
  33. proofread trait chapter — Peter Buhr / detail
  34. second attempt proofread trait chapter — Peter Buhr / detail
  35. third attempt proofread trait chapter — Peter Buhr / detail
  36. Merge changes — j82liang / detail
  37. Add code comment along the example — j82liang / detail
  38. update subset section — j82liang / detail
  39. change wording — j82liang / detail
  40. remove unused parameter name from function Countof, add period to end of error messages — Peter Buhr / detail
  41. small proofreading updates — Peter Buhr / detail
  42. update unfreed storage message from memory allocator — Peter Buhr / detail
  43. formatting — Peter Buhr / detail
  44. proofread conclusion chapter — Peter Buhr / detail
  45. fix duplicate labelling of figures — Peter Buhr / detail
  46. rename file CEnum.tex to Cenum.tex to match CFAenum.tex — Peter Buhr / detail
  47. remove unused files from repository — Peter Buhr / detail
  48. fix PDF warnings about special characters in titles — Peter Buhr / detail

#893 (Aug 6, 2024, 11:52:00 PM)

  1. remove unused addInitType — j82liang / detail
  2. proofread thesis frontpgs and intro — Peter Buhr / detail
  3. reinterpret loop start for enum type as the first enumerator — j82liang / detail
  4. define enum to value cost as implicit cost — j82liang / detail
  5. Update .error as the cost model has changed — j82liang / detail
  6. Update +=/-= for enums — j82liang / detail
  7. display subsubsection numbering and insert into the table of contents — Peter Buhr / detail
  8. proofread background chapter — Peter Buhr / detail
  9. Update test expect for arm64 — j82liang / detail
  10. merge local changes — j82liang / detail
  11. Update test expect for x86 — j82liang / detail
  12. move overload material into background chapter — Peter Buhr / detail
  13. proofread C Enum chapter — Peter Buhr / detail
  14. remove leading whitespace — j82liang / detail
  15. Change enum pos to signed int to avoid underflow; operator on enum will not have range check (but succ and pred still have range check — j82liang / detail
  16. small fix — j82liang / detail
  17. formatting — Peter Buhr / detail
  18. add discussion about partially implemented individual scoping mechanism — Peter Buhr / detail
  19. proofread CFA enumeration chapter — Peter Buhr / detail
  20. Change FX64 (x64) to FA64 (arm64) — j82liang / detail
  21. Add "implicit case to base type" to enumerator — j82liang / detail
  22. 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion) — j82liang / detail
  23. Revert change: enumerator cannot be implicitly const — j82liang / detail
  24. formatting, add str conversion routines, add more combinations of ?+? routines — Peter Buhr / detail
  25. 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa are the code example used in loop section — j82liang / detail
  26. Wording changes — j82liang / detail
  27. formatting, documentation — Peter Buhr / detail
  28. formatting, add section of enumeration subset — Peter Buhr / detail
  29. user define enum example — j82liang / detail
  30. fix user_define_enum.cfa — Peter Buhr / detail
  31. A demo of offset algorithm used in enum containment inheritance — j82liang / detail
  32. CFAEnum to CFAEnum conversion algorithm (the previous was enumerator to CFAEnum which is not a cast suppose to do) — j82liang / detail
  33. proofread trait chapter — Peter Buhr / detail
  34. second attempt proofread trait chapter — Peter Buhr / detail
  35. third attempt proofread trait chapter — Peter Buhr / detail
  36. Merge changes — j82liang / detail

#893 (Aug 6, 2024, 11:52:00 PM)

  1. formatting, add str conversion routines, add more combinations of ?+? routines — Peter Buhr / detail
  2. 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa are the code example used in loop section — j82liang / detail
  3. Wording changes — j82liang / detail
  4. formatting, documentation — Peter Buhr / detail
  5. formatting, add section of enumeration subset — Peter Buhr / detail
  6. user define enum example — j82liang / detail
  7. fix user_define_enum.cfa — Peter Buhr / detail
  8. A demo of offset algorithm used in enum containment inheritance — j82liang / detail
  9. CFAEnum to CFAEnum conversion algorithm (the previous was enumerator to CFAEnum which is not a cast suppose to do) — j82liang / detail

#892 (Aug 5, 2024, 11:48:10 PM)

  1. remove unused addInitType — j82liang / detail
  2. proofread thesis frontpgs and intro — Peter Buhr / detail
  3. reinterpret loop start for enum type as the first enumerator — j82liang / detail
  4. define enum to value cost as implicit cost — j82liang / detail
  5. Update .error as the cost model has changed — j82liang / detail
  6. Update +=/-= for enums — j82liang / detail
  7. display subsubsection numbering and insert into the table of contents — Peter Buhr / detail
  8. proofread background chapter — Peter Buhr / detail
  9. Update test expect for arm64 — j82liang / detail
  10. merge local changes — j82liang / detail
  11. Update test expect for x86 — j82liang / detail
  12. move overload material into background chapter — Peter Buhr / detail
  13. proofread C Enum chapter — Peter Buhr / detail
  14. remove leading whitespace — j82liang / detail
  15. Change enum pos to signed int to avoid underflow; operator on enum will not have range check (but succ and pred still have range check — j82liang / detail
  16. small fix — j82liang / detail
  17. formatting — Peter Buhr / detail
  18. add discussion about partially implemented individual scoping mechanism — Peter Buhr / detail
  19. proofread CFA enumeration chapter — Peter Buhr / detail
  20. Change FX64 (x64) to FA64 (arm64) — j82liang / detail
  21. Add "implicit case to base type" to enumerator — j82liang / detail
  22. 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion) — j82liang / detail
  23. Revert change: enumerator cannot be implicitly const — j82liang / detail
  24. formatting, add str conversion routines, add more combinations of ?+? routines — Peter Buhr / detail

#892 (Aug 5, 2024, 11:48:10 PM)

  1. remove unused addInitType — j82liang / detail
  2. reinterpret loop start for enum type as the first enumerator — j82liang / detail
  3. define enum to value cost as implicit cost — j82liang / detail
  4. Update .error as the cost model has changed — j82liang / detail
  5. Update +=/-= for enums — j82liang / detail
  6. display subsubsection numbering and insert into the table of contents — Peter Buhr / detail
  7. proofread background chapter — Peter Buhr / detail
  8. Update test expect for arm64 — j82liang / detail
  9. merge local changes — j82liang / detail
  10. Update test expect for x86 — j82liang / detail
  11. move overload material into background chapter — Peter Buhr / detail
  12. proofread C Enum chapter — Peter Buhr / detail
  13. remove leading whitespace — j82liang / detail
  14. Change enum pos to signed int to avoid underflow; operator on enum will not have range check (but succ and pred still have range check — j82liang / detail
  15. small fix — j82liang / detail
  16. formatting — Peter Buhr / detail
  17. add discussion about partially implemented individual scoping mechanism — Peter Buhr / detail
  18. proofread CFA enumeration chapter — Peter Buhr / detail
  19. Change FX64 (x64) to FA64 (arm64) — j82liang / detail
  20. Add "implicit case to base type" to enumerator — j82liang / detail
  21. 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion) — j82liang / detail
  22. Revert change: enumerator cannot be implicitly const — j82liang / detail

#891 (Aug 3, 2024, 11:49:24 PM)

  1. remove unused addInitType — j82liang / detail
  2. proofread thesis frontpgs and intro — Peter Buhr / detail
  3. reinterpret loop start for enum type as the first enumerator — j82liang / detail
  4. define enum to value cost as implicit cost — j82liang / detail

#891 (Aug 3, 2024, 11:49:24 PM)

  1. Breaks (and some other control flow) in a loop else clause now work. I also implemented else clauses in printing and code generation. — ajbeach / detail
  2. Seperate CfaEnum and Serial. — j82liang / detail
  3. formatting, comments, use break in for-else — Peter Buhr / detail
  4. In main: cleaned up a macro and updated some names. — ajbeach / detail
  5. formatting — Peter Buhr / detail
  6. Unlabelled breaks were not targetting the correct enclosing control structures. Also added a test and improved error messages. — ajbeach / detail
  7. formatting — Peter Buhr / detail
  8. add test for reading in enumerators — Peter Buhr / detail
  9. modify time test to set time zone to America/Toronto so test is repeatable where ever run — Peter Buhr / detail
  10. removed memory not freed message — Peter Buhr / detail
  11. formatting — Peter Buhr / detail
  12. formatting — Peter Buhr / detail
  13. try again to fix the unfreed storage problem — Peter Buhr / detail
  14. second attempt at including tools/prettyprinter in the distribution — Peter Buhr / detail
  15. third attempt at including tools/prettyprinter in the distribution — Peter Buhr / detail
  16. documentation — Peter Buhr / detail
  17. Update makeEnumOffsetCast to not report error for cast to non-parent type (later be a losing candidate) — j82liang / detail
  18. update — f37yu / detail
  19. get tools/prettyprinter to build in the distribution — Peter Buhr / detail
  20. second attempt to get tools/prettyprinter to build in the distribution — Peter Buhr / detail
  21. Updated iterator proposal. It was supposed to just go into a bit more detail about ranges, but ended up being a complete rewrite. — ajbeach / detail
  22. add countof as keyword to CFA lstlang — Peter Buhr / detail
  23. small wording change to enumeration introduction — Peter Buhr / detail
  24. proofread last push of CFA enumerations — Peter Buhr / detail
  25. move enumeration trait material into implementation chapter — Peter Buhr / detail
  26. Fixed goto labelled loop. I had to reorder some passes. Updated control declaration hoisting (including comments and correcting update count). Added test, moved more tests into ctrl-flow. — ajbeach / detail
  27. Save current progress for pull — j82liang / detail
  28. add section on enumeration I/O — Peter Buhr / detail
  29. update enumeration input test — Peter Buhr / detail
  30. parse keyword parameter and argument using '@' syntax — Peter Buhr / detail
  31. parse keyword parameter and argument using '?' syntax — Peter Buhr / detail
  32. rewrite section on default/named parameters — Peter Buhr / detail
  33. Implement boxing for arrays. — mlbrooks / detail
  34. small updates to the default/named parameter section — Peter Buhr / detail
  35. temporary hack to allow parsing of default/named parameters/calls — Peter Buhr / detail
  36. formatting — Peter Buhr / detail
  37. formatting, replace subscript-check asserts with error message — Peter Buhr / detail
  38. forgot period at end of error message. — Peter Buhr / detail
  39. make subscript check DEBUG only, remove #include <assert.h>, which is no longer used — Peter Buhr / detail
  40. add #include <assert.h>, as no longer in array.hfa — Peter Buhr / detail
  41. formatting — Peter Buhr / detail
  42. proofread array chapter and update example programs — Peter Buhr / detail
  43. add lstlisting for java — Peter Buhr / detail
  44. add Huawei acknowledgement — Peter Buhr / detail
  45. update thesis — j82liang / detail
  46. Rename implementation to trait — j82liang / detail
  47. Add CEnum.tex — j82liang / detail
  48. Add CEnum.tex — j82liang / detail
  49. Bit of clean-up to the box pass. Mostly just wrapping a new common set of operations and checks into a helpper function. — ajbeach / detail
  50. update on thesis — j82liang / detail
  51. Add abstract and acknoledgement — j82liang / detail
  52. Add motivation for trait — j82liang / detail
  53. Updated the named parameter proposal. Adding sections (or paragraphs) for syntax options, the current status and where it is placed in compilation. — ajbeach / detail
  54. Add a discussion on Static Type information — j82liang / detail
  55. Update — j82liang / detail
  56. add stream parameter to OSTYPE_VOID_IMPL macro and update all macro calls — Peter Buhr / detail
  57. modify abort error message — Peter Buhr / detail
  58. update loop control test and expected output — Peter Buhr / detail
  59. proofread thesis frontpgs and intro — Peter Buhr / detail

#890 (Aug 2, 2024, 11:52:58 PM)

  1. Add motivation for trait — j82liang / detail
  2. Add a discussion on Static Type information — j82liang / detail
  3. Update — j82liang / detail
  4. add stream parameter to OSTYPE_VOID_IMPL macro and update all macro calls — Peter Buhr / detail
  5. modify abort error message — Peter Buhr / detail
  6. update loop control test and expected output — Peter Buhr / detail

#888 (Jul 31, 2024, 11:50:07 PM)

  1. Updated the named parameter proposal. Adding sections (or paragraphs) for syntax options, the current status and where it is placed in compilation. — ajbeach / detail

#887 (Jul 30, 2024, 11:47:27 PM)

  1. Bit of clean-up to the box pass. Mostly just wrapping a new common set of operations and checks into a helpper function. — ajbeach / detail
  2. update on thesis — j82liang / detail
  3. Add abstract and acknoledgement — j82liang / detail

#886 (Jul 29, 2024, 11:49:02 PM)

  1. Save current progress for pull — j82liang / detail
  2. proofread array chapter and update example programs — Peter Buhr / detail
  3. add lstlisting for java — Peter Buhr / detail
  4. add Huawei acknowledgement — Peter Buhr / detail
  5. update thesis — j82liang / detail
  6. Rename implementation to trait — j82liang / detail
  7. Add CEnum.tex — j82liang / detail
  8. Add CEnum.tex — j82liang / detail

#885 (Jul 28, 2024, 11:49:51 PM)

  1. formatting — Peter Buhr / detail
  2. formatting, replace subscript-check asserts with error message — Peter Buhr / detail
  3. forgot period at end of error message. — Peter Buhr / detail
  4. make subscript check DEBUG only, remove #include <assert.h>, which is no longer used — Peter Buhr / detail
  5. add #include <assert.h>, as no longer in array.hfa — Peter Buhr / detail
  6. formatting — Peter Buhr / detail

#884 (Jul 26, 2024, 11:49:33 PM)

  1. small updates to the default/named parameter section — Peter Buhr / detail
  2. temporary hack to allow parsing of default/named parameters/calls — Peter Buhr / detail

#883 (Jul 25, 2024, 11:52:12 PM)

  1. add countof as keyword to CFA lstlang — Peter Buhr / detail
  2. small wording change to enumeration introduction — Peter Buhr / detail
  3. proofread last push of CFA enumerations — Peter Buhr / detail
  4. move enumeration trait material into implementation chapter — Peter Buhr / detail
  5. Fixed goto labelled loop. I had to reorder some passes. Updated control declaration hoisting (including comments and correcting update count). Added test, moved more tests into ctrl-flow. — ajbeach / detail
  6. add section on enumeration I/O — Peter Buhr / detail
  7. update enumeration input test — Peter Buhr / detail
  8. parse keyword parameter and argument using '@' syntax — Peter Buhr / detail
  9. parse keyword parameter and argument using '?' syntax — Peter Buhr / detail
  10. rewrite section on default/named parameters — Peter Buhr / detail
  11. Implement boxing for arrays. — mlbrooks / detail

#882 (Jul 23, 2024, 11:52:52 PM)

  1. Updated iterator proposal. It was supposed to just go into a bit more detail about ranges, but ended up being a complete rewrite. — ajbeach / detail

#880 (Jul 22, 2024, 2:04:45 PM)

  1. second attempt to get tools/prettyprinter to build in the distribution — Peter Buhr / detail

#877 (Jul 20, 2024, 4:15:10 PM)

  1. Update makeEnumOffsetCast to not report error for cast to non-parent type (later be a losing candidate) — j82liang / detail
  2. update — f37yu / detail
  3. get tools/prettyprinter to build in the distribution — Peter Buhr / detail

#876 (Jul 19, 2024, 5:46:39 PM)

  1. third attempt at including tools/prettyprinter in the distribution — Peter Buhr / detail
  2. documentation — Peter Buhr / detail

#874 (Jul 19, 2024, 11:44:53 AM)

  1. second attempt at including tools/prettyprinter in the distribution — Peter Buhr / detail

#873 (Jul 19, 2024, 9:20:52 AM)

  1. Unlabelled breaks were not targetting the correct enclosing control structures. Also added a test and improved error messages. — ajbeach / detail
  2. formatting — Peter Buhr / detail
  3. add test for reading in enumerators — Peter Buhr / detail
  4. modify time test to set time zone to America/Toronto so test is repeatable where ever run — Peter Buhr / detail
  5. removed memory not freed message — Peter Buhr / detail
  6. formatting — Peter Buhr / detail
  7. formatting — Peter Buhr / detail
  8. try again to fix the unfreed storage problem — Peter Buhr / detail

#872 (Jul 17, 2024, 11:49:39 PM)

  1. formatting, comments, use break in for-else — Peter Buhr / detail
  2. In main: cleaned up a macro and updated some names. — ajbeach / detail
  3. formatting — Peter Buhr / detail

#871 (Jul 16, 2024, 11:52:14 PM)

  1. commenting — Peter Buhr / detail
  2. add tools/prettyprinter for promotion to GitHub — Peter Buhr / detail
  3. update citation file — Peter Buhr / detail
  4. add BibDir macro to user-manual Makefile — Peter Buhr / detail
  5. Breaks (and some other control flow) in a loop else clause now work. I also implemented else clauses in printing and code generation. — ajbeach / detail
  6. Seperate CfaEnum and Serial. — j82liang / detail

#870 (Jul 16, 2024, 6:28:43 PM)

  1. commenting — Peter Buhr / detail
  2. add tools/prettyprinter for promotion to GitHub — Peter Buhr / detail
  3. update citation file — Peter Buhr / detail
  4. add BibDir macro to user-manual Makefile — Peter Buhr / detail
  5. Breaks (and some other control flow) in a loop else clause now work. I also implemented else clauses in printing and code generation. — ajbeach / detail

#870 (Jul 16, 2024, 6:28:43 PM)

  1. first attempt at updating enum auxiliary operations — Peter Buhr / detail
  2. clarify for-control for enumerations — Peter Buhr / detail
  3. 1. Disallow implicit conversion from cfa enum to int during on the function call site; 2. implement the reverse enum loop — j82liang / detail
  4. add +~ and +~= for-control operators to match with -~ and -~= operators — Peter Buhr / detail
  5. put back quasi_void print — Peter Buhr / detail
  6. Added some notes about how to enable heap statistics. Reformated some of the related macro code to make it a bit more compact and hopefully clearer. — ajbeach / detail
  7. remove calls to label() from planet program — Peter Buhr / detail
  8. Fix the bug that C style enum cannot to use as an lvalue — j82liang / detail
  9. Allow explict conversion from cfa enum to int (while disallow implicit) — j82liang / detail
  10. Current enum has bug when use as a reference as in ?++. Change TranslateEnumRange to use succ and pred instead. Will look back into the reference problem — j82liang / detail
  11. change basic_ostream to ostream, first attempt of enumeration input — Peter Buhr / detail
  12. remove unnecessary assignment when looping with a structure type — Peter Buhr / detail
  13. formatting — Peter Buhr / detail
  14. change enumeration posE to posn — Peter Buhr / detail
  15. fix enumeration input to use reference type — Peter Buhr / detail
  16. inline enum relational and increment operators, comment out loop causing compiler segment fault — Peter Buhr / detail
  17. update 'Too many recursive assertions' error message with possible cause — Peter Buhr / detail
  18. Added some code near the end of main to improve some internal statistics (about a tenth of all allocations seem to be missing a deallocation). Also some clean-up of passes in main. — ajbeach / detail
  19. One extra whitespace line removed. I do not believe that represented an important ordering point. — ajbeach / detail
  20. Change (enum) range loop so that it works on any type that define succ() and upperBound() — j82liang / detail
  21. replace decl->base with isTyped() — j82liang / detail
  22. Fix the bug that enum {} var syntax cannot be recognized as cfa enum — j82liang / detail
  23. Fixed spelling mistake. (I'm 99% sure.) — ajbeach / detail
  24. Made string literals constants. Preformed required updates. Resisted preforming large refactoring. — ajbeach / detail
  25. Constant strings on input. The previous changes only effected generated code. — ajbeach / detail
  26. Reverted the change to the compiler. The other changes are both practically and theoretically correct. — ajbeach / detail
  27. add lstlisting for Pascal — Peter Buhr / detail
  28. harmonize format of section titles — Peter Buhr / detail
  29. proofreading array chapter — Peter Buhr / detail
  30. update example programs — Peter Buhr / detail
  31. update target names for running test suite — Peter Buhr / detail
  32. formatting — Peter Buhr / detail
  33. update reading boolean and match text — Peter Buhr / detail
  34. fix selecting wrong input operator for enumeration, first attempt at reading enumerators — Peter Buhr / detail
  35. set return argument for boolean read — Peter Buhr / detail
  36. allow empty global declaration ';', adjust semi-colon rules after static_assert — Peter Buhr / detail
  37. Added an overview of how named parameters could be added to Cforall. — ajbeach / detail
  38. Fixed the problem when enum use another enumerator as initializer — j82liang / detail
  39. Add attribute functions back after the bug fix — j82liang / detail
  40. Fix the bug with typed anomynous enum got incorrect forward declaration — j82liang / detail
  41. corrections, update loop control — Peter Buhr / detail
  42. Visit the else_ children of loops. I don't know how things worked this long, but hopefully it will not matter going forward. — ajbeach / detail
  43. Remove quasi_void for enums. The idea of quasi_void from Mike was to get around some resolution problem that enum pick function defines for Bounded over CfaEnum/TypedEnum. But it is not clear that how often this can happen, and cfa might change the cast function scheme in the future. (change cost comparison scheme) Deprecate quasi_void for now so that enum traits looks cleaner without the dummy type for opaque enums — j82liang / detail
  44. Not sure why we copy in the return values all the time, but we do. This prevents an unused error from appearing when the library is being compiled (shows up about 4 times right now). Switching some passes around might have also solved the problem, but I think we should be generating normalized code instead of mixing in the normalization and code generation. — ajbeach / detail
  45. 1. Add bound check to Serial function: now compiler generates the unchecked functions in ImplementEnumFunc, and enum.hfa implements the bound check on top. Todo: Wrapped the checked version into a trait; 2. countof is now works on any type that implement Countof(). Because Countof() is implemented in enum.hfa for all CfaEnum, we can call countof on { T | CfaEnum(T) } — j82liang / detail
  46. Remove automatic conversion from Enum type name to its len; change With() semantic for enum to avoid type ambiguity (not fully implemented) — j82liang / detail
  47. change assert to abort, second attempt to read enumerators — Peter Buhr / detail
  48. change order of ungetc parameters to harmonize with C ungetc — Peter Buhr / detail
  49. add enumeration planet program to test suite — Peter Buhr / detail
  50. move planet test under directory enum_tests — Peter Buhr / detail
  51. Silenced a warning. — ajbeach / detail
  52. update CFAenum.tex — j82liang / detail
  53. grammar fixed by a dsoftware — j82liang / detail
  54. commenting — Peter Buhr / detail
  55. add tools/prettyprinter for promotion to GitHub — Peter Buhr / detail
  56. update citation file — Peter Buhr / detail
  57. add BibDir macro to user-manual Makefile — Peter Buhr / detail

#869 (Jul 15, 2024, 11:49:14 PM)

  1. Silenced a warning. — ajbeach / detail
  2. update CFAenum.tex — j82liang / detail
  3. grammar fixed by a dsoftware — j82liang / detail

#868 (Jul 14, 2024, 11:49:28 PM)

  1. change assert to abort, second attempt to read enumerators — Peter Buhr / detail
  2. change order of ungetc parameters to harmonize with C ungetc — Peter Buhr / detail
  3. add enumeration planet program to test suite — Peter Buhr / detail
  4. move planet test under directory enum_tests — Peter Buhr / detail

#867 (Jul 13, 2024, 11:49:13 PM)

  1. Remove automatic conversion from Enum type name to its len; change With() semantic for enum to avoid type ambiguity (not fully implemented) — j82liang / detail

#866 (Jul 12, 2024, 11:51:18 PM)

  1. Not sure why we copy in the return values all the time, but we do. This prevents an unused error from appearing when the library is being compiled (shows up about 4 times right now). Switching some passes around might have also solved the problem, but I think we should be generating normalized code instead of mixing in the normalization and code generation. — ajbeach / detail
  2. 1. Add bound check to Serial function: now compiler generates the unchecked functions in ImplementEnumFunc, and enum.hfa implements the bound check on top. Todo: Wrapped the checked version into a trait; 2. countof is now works on any type that implement Countof(). Because Countof() is implemented in enum.hfa for all CfaEnum, we can call countof on { T | CfaEnum(T) } — j82liang / detail

#865 (Jul 11, 2024, 11:49:48 PM)

  1. corrections, update loop control — Peter Buhr / detail
  2. Visit the else_ children of loops. I don't know how things worked this long, but hopefully it will not matter going forward. — ajbeach / detail
  3. Remove quasi_void for enums. The idea of quasi_void from Mike was to get around some resolution problem that enum pick function defines for Bounded over CfaEnum/TypedEnum. But it is not clear that how often this can happen, and cfa might change the cast function scheme in the future. (change cost comparison scheme) Deprecate quasi_void for now so that enum traits looks cleaner without the dummy type for opaque enums — j82liang / detail

#864 (Jul 10, 2024, 11:56:39 PM)

  1. Fixed the problem when enum use another enumerator as initializer — j82liang / detail
  2. Add attribute functions back after the bug fix — j82liang / detail
  3. Fix the bug with typed anomynous enum got incorrect forward declaration — j82liang / detail

#863 (Jul 9, 2024, 11:48:32 PM)

  1. allow empty global declaration ';', adjust semi-colon rules after static_assert — Peter Buhr / detail
  2. Added an overview of how named parameters could be added to Cforall. — ajbeach / detail

#862 (Jul 9, 2024, 1:03:42 AM)

  1. add lstlisting for Pascal — Peter Buhr / detail
  2. harmonize format of section titles — Peter Buhr / detail
  3. proofreading array chapter — Peter Buhr / detail
  4. update example programs — Peter Buhr / detail
  5. update target names for running test suite — Peter Buhr / detail
  6. formatting — Peter Buhr / detail
  7. update reading boolean and match text — Peter Buhr / detail
  8. fix selecting wrong input operator for enumeration, first attempt at reading enumerators — Peter Buhr / detail
  9. set return argument for boolean read — Peter Buhr / detail

#859 (Jul 5, 2024, 11:52:55 PM)

  1. Fixed spelling mistake. (I'm 99% sure.) — ajbeach / detail
  2. Made string literals constants. Preformed required updates. Resisted preforming large refactoring. — ajbeach / detail
  3. Constant strings on input. The previous changes only effected generated code. — ajbeach / detail
  4. Reverted the change to the compiler. The other changes are both practically and theoretically correct. — ajbeach / detail

#858 (Jul 4, 2024, 11:50:20 PM)

  1. replace decl->base with isTyped() — j82liang / detail
  2. Fix the bug that enum {} var syntax cannot be recognized as cfa enum — j82liang / detail

#857 (Jul 3, 2024, 11:51:55 PM)

  1. Added some code near the end of main to improve some internal statistics (about a tenth of all allocations seem to be missing a deallocation). Also some clean-up of passes in main. — ajbeach / detail
  2. One extra whitespace line removed. I do not believe that represented an important ordering point. — ajbeach / detail
  3. Change (enum) range loop so that it works on any type that define succ() and upperBound() — j82liang / detail

#856 (Jul 2, 2024, 11:53:25 PM)

  1. change basic_ostream to ostream, first attempt of enumeration input — Peter Buhr / detail
  2. remove unnecessary assignment when looping with a structure type — Peter Buhr / detail
  3. formatting — Peter Buhr / detail
  4. change enumeration posE to posn — Peter Buhr / detail
  5. fix enumeration input to use reference type — Peter Buhr / detail
  6. inline enum relational and increment operators, comment out loop causing compiler segment fault — Peter Buhr / detail
  7. update 'Too many recursive assertions' error message with possible cause — Peter Buhr / detail

#853 (Jun 29, 2024, 11:50:55 PM)

  1. 1. Disallow implicit conversion from cfa enum to int during on the function call site; 2. implement the reverse enum loop — j82liang / detail
  2. remove calls to label() from planet program — Peter Buhr / detail
  3. Fix the bug that C style enum cannot to use as an lvalue — j82liang / detail
  4. Allow explict conversion from cfa enum to int (while disallow implicit) — j82liang / detail
  5. Current enum has bug when use as a reference as in ?++. Change TranslateEnumRange to use succ and pred instead. Will look back into the reference problem — j82liang / detail

#852 (Jun 28, 2024, 11:49:44 PM)

  1. add +~ and +~= for-control operators to match with -~ and -~= operators — Peter Buhr / detail
  2. put back quasi_void print — Peter Buhr / detail
  3. Added some notes about how to enable heap statistics. Reformated some of the related macro code to make it a bit more compact and hopefully clearer. — ajbeach / detail

#850 (Jun 26, 2024, 11:51:57 PM)

  1. change error message header, simplify forCtrl to have only identifier in initialization — Peter Buhr / detail
  2. change enumeration function names labelE, valueE, posE to label, value, posn — Peter Buhr / detail
  3. add protect for latex abbreviation macros — Peter Buhr / detail
  4. update planet example program — Peter Buhr / detail
  5. update Pascal enumeration — Peter Buhr / detail
  6. update test programs for different program languages — Peter Buhr / detail
  7. corrections to Pascal discussion — Peter Buhr / detail
  8. clean up, prepare for downto enumerating — Peter Buhr / detail
  9. first attempt at updating enum auxiliary operations — Peter Buhr / detail
  10. clarify for-control for enumerations — Peter Buhr / detail

#849 (Jun 25, 2024, 11:49:07 PM)

  1. change error message header, simplify forCtrl to have only identifier in initialization — Peter Buhr / detail
  2. change enumeration function names labelE, valueE, posE to label, value, posn — Peter Buhr / detail
  3. add protect for latex abbreviation macros — Peter Buhr / detail
  4. update planet example program — Peter Buhr / detail
  5. update Pascal enumeration — Peter Buhr / detail
  6. update test programs for different program languages — Peter Buhr / detail
  7. corrections to Pascal discussion — Peter Buhr / detail
  8. clean up, prepare for downto enumerating — Peter Buhr / detail
  9. first attempt at updating enum auxiliary operations — Peter Buhr / detail

#849 (Jun 25, 2024, 11:49:07 PM)

  1. change error message header, simplify forCtrl to have only identifier in initialization — Peter Buhr / detail
  2. change enumeration function names labelE, valueE, posE to label, value, posn — Peter Buhr / detail
  3. add protect for latex abbreviation macros — Peter Buhr / detail
  4. update planet example program — Peter Buhr / detail
  5. update Pascal enumeration — Peter Buhr / detail
  6. update test programs for different program languages — Peter Buhr / detail
  7. corrections to Pascal discussion — Peter Buhr / detail
  8. clean up, prepare for downto enumerating — Peter Buhr / detail

#848 (Jun 24, 2024, 11:48:47 PM)

  1. change error message header, simplify forCtrl to have only identifier in initialization — Peter Buhr / detail
  2. change enumeration function names labelE, valueE, posE to label, value, posn — Peter Buhr / detail

#848 (Jun 24, 2024, 11:48:47 PM)

  1. small cleanups — Peter Buhr / detail
  2. Updated the rest of the names in src/ (except for the generated files). — ajbeach / detail
  3. Shoot, the non-extension renamings did not get caught in some corners. — ajbeach / detail
  4. Apparently the source file lists aren't used until distribution. I went over all the lists and also found a stray header. — ajbeach / detail
  5. Perhaps only src/Makefile.am needed to change, but I did a text search to try and be absolutely sure I got everything. — ajbeach / detail
  6. formatting — Peter Buhr / detail
  7. small updates, and more proofreading of the related-works chapter — Peter Buhr / detail
  8. proofread string section of background chapter — Peter Buhr / detail
  9. Change enum conversion steps — j82liang / detail
  10. more proofreading with respect to Gregor's comments — Peter Buhr / detail
  11. updates related to introduction chapter changes — Peter Buhr / detail
  12. Added the review of all the autogeneration problems. Now, hopefully, we can start making some solutions. — ajbeach / detail
  13. Various whitespace and intentation updates. — ajbeach / detail
  14. add Elliott18 paper — Peter Buhr / detail
  15. remove Grothoff14 paper — Peter Buhr / detail
  16. proofreading changes — Peter Buhr / detail
  17. program updates to match text — Peter Buhr / detail
  18. add Elliott18 citation — Peter Buhr / detail
  19. change xleftmargin spacing for lstinput, add code formatting macro for C++ — Peter Buhr / detail
  20. A upcast proposal for enums — j82liang / detail
  21. Disable to voidEnum test for now to pass the test suite (voidEnum is WIP) — j82liang / detail
  22. Added proposal for adding knowledge of modules to Cforall. — ajbeach / detail
  23. small proofreading changes — Peter Buhr / detail
  24. change minimum left/right hyphenation from 4 to 3 characters — Peter Buhr / detail
  25. add iterator paper — Peter Buhr / detail
  26. Simplified the visit children guard to use a ValueGuardPtr. For consistency, so all three guards use the same pattern, I also updated the value guard, which is a side ways step in complexity (although less of it is under macros now). — ajbeach / detail
  27. added some ideas to the module proposal — Peter Buhr / detail
  28. It seems clang uses different scoping rules for the trailing return of a scoped runction declaration. This form seems compatable with clang and gcc. Since I switched over to clang for testing I also cleaned up all errors that clang or gcc mentioned. — ajbeach / detail
  29. attempt to fix #286 — f37yu / detail
  30. Update enumInlineValue.cfa — j82liang / detail
  31. Removed an extra include. — ajbeach / detail
  32. Update to the module system, folding in feedback and some PAB content. — ajbeach / detail
  33. make bool a keyword for CFA lstlisting so it is bolded — Peter Buhr / detail
  34. citation updates — Peter Buhr / detail
  35. added Mike's comments about modules to proposal — Peter Buhr / detail
  36. Noticing that a function could have an early exit to save a level of indentation lead to a larger refactor. Slight code improvements besides the formatting change. — ajbeach / detail
  37. 1. Implement enum cast; 2. Change valueE so that opague enum returns quasi_void; 3. change enum hiding interpretation and pass visiting scheme — j82liang / detail
  38. parse tuple-element declarations but unimplemented — Peter Buhr / detail
  39. Updates to the module proposal. Just an assortment of clean-up and things I missed. — ajbeach / detail
  40. Add soft copy of existing thesis diagram — mlbrooks / detail
  41. simplify grammar in a few places — Peter Buhr / detail
  42. add missing keywords match and case to Python lstnewenvironment — Peter Buhr / detail
  43. address Gregor's comment about quantity and a unit in examples, add emails as latex comments — Peter Buhr / detail
  44. more proofreading of C background chapter — Peter Buhr / detail
  45. first complete proofread of related-work chapter, still needs harmonizing across languages — Peter Buhr / detail
  46. small proofreading changes to Cforall numeration chapter — Peter Buhr / detail
  47. Elaborate the description and context of the md-array subscripting figure. — mlbrooks / detail
  48. add enumeration test programs for different programming languages — Peter Buhr / detail
  49. formatting — Peter Buhr / detail
  50. git ignore parser.tab.cc — Peter Buhr / detail
  51. 1. Add __count_e__( enum_name ), a pseudo function that return the number of element in an enum; 2. Implementation of enum range loop. — j82liang / detail
  52. Missing files from the last commit — j82liang / detail
  53. Linked-list background additions for identity model and end treatment. — mlbrooks / detail
  54. lex countof pseudo-function — Peter Buhr / detail
  55. parse countof pseduo-function, update for-loop for enumeration — Peter Buhr / detail
  56. fix spelling mistake in file src/ControlStruct/TrasnlateEnumRange.hpp and referents — Peter Buhr / detail

#846 (Jun 23, 2024, 6:14:38 PM)

  1. fix spelling mistake in file src/ControlStruct/TrasnlateEnumRange.hpp and referents — Peter Buhr / detail

#844 (Jun 22, 2024, 7:10:03 PM)

  1. 1. Add __count_e__( enum_name ), a pseudo function that return the number of element in an enum; 2. Implementation of enum range loop. — j82liang / detail
  2. Missing files from the last commit — j82liang / detail
  3. Linked-list background additions for identity model and end treatment. — mlbrooks / detail
  4. lex countof pseudo-function — Peter Buhr / detail
  5. parse countof pseduo-function, update for-loop for enumeration — Peter Buhr / detail

#843 (Jun 17, 2024, 11:50:15 PM)

  1. formatting — Peter Buhr / detail
  2. git ignore parser.tab.cc — Peter Buhr / detail

#840 (Jun 14, 2024, 11:52:18 PM)

  1. Add soft copy of existing thesis diagram — mlbrooks / detail
  2. add missing keywords match and case to Python lstnewenvironment — Peter Buhr / detail
  3. address Gregor's comment about quantity and a unit in examples, add emails as latex comments — Peter Buhr / detail
  4. more proofreading of C background chapter — Peter Buhr / detail
  5. first complete proofread of related-work chapter, still needs harmonizing across languages — Peter Buhr / detail
  6. small proofreading changes to Cforall numeration chapter — Peter Buhr / detail
  7. Elaborate the description and context of the md-array subscripting figure. — mlbrooks / detail
  8. add enumeration test programs for different programming languages — Peter Buhr / detail

#839 (Jun 11, 2024, 11:48:22 PM)

  1. parse tuple-element declarations but unimplemented — Peter Buhr / detail
  2. Updates to the module proposal. Just an assortment of clean-up and things I missed. — ajbeach / detail
  3. simplify grammar in a few places — Peter Buhr / detail

#838 (Jun 10, 2024, 11:50:12 PM)

  1. Update enumInlineValue.cfa — j82liang / detail
  2. make bool a keyword for CFA lstlisting so it is bolded — Peter Buhr / detail
  3. citation updates — Peter Buhr / detail
  4. added Mike's comments about modules to proposal — Peter Buhr / detail
  5. 1. Implement enum cast; 2. Change valueE so that opague enum returns quasi_void; 3. change enum hiding interpretation and pass visiting scheme — j82liang / detail

#837 (Jun 7, 2024, 11:50:40 PM)

  1. Noticing that a function could have an early exit to save a level of indentation lead to a larger refactor. Slight code improvements besides the formatting change. — ajbeach / detail

#836 (Jun 6, 2024, 11:49:39 PM)

  1. Removed an extra include. — ajbeach / detail
  2. Update to the module system, folding in feedback and some PAB content. — ajbeach / detail

#833 (Jun 1, 2024, 11:52:04 PM)

  1. attempt to fix #286 — f37yu / detail

#831 (May 30, 2024, 11:49:26 PM)

  1. small proofreading changes — Peter Buhr / detail
  2. change minimum left/right hyphenation from 4 to 3 characters — Peter Buhr / detail
  3. add iterator paper — Peter Buhr / detail
  4. Simplified the visit children guard to use a ValueGuardPtr. For consistency, so all three guards use the same pattern, I also updated the value guard, which is a side ways step in complexity (although less of it is under macros now). — ajbeach / detail
  5. added some ideas to the module proposal — Peter Buhr / detail
  6. It seems clang uses different scoping rules for the trailing return of a scoped runction declaration. This form seems compatable with clang and gcc. Since I switched over to clang for testing I also cleaned up all errors that clang or gcc mentioned. — ajbeach / detail

#830 (May 27, 2024, 11:53:49 PM)

  1. Added proposal for adding knowledge of modules to Cforall. — ajbeach / detail

#827 (May 24, 2024, 11:54:17 PM)

  1. Change enum conversion steps — j82liang / detail
  2. add Elliott18 paper — Peter Buhr / detail
  3. remove Grothoff14 paper — Peter Buhr / detail
  4. proofreading changes — Peter Buhr / detail
  5. program updates to match text — Peter Buhr / detail
  6. add Elliott18 citation — Peter Buhr / detail
  7. change xleftmargin spacing for lstinput, add code formatting macro for C++ — Peter Buhr / detail
  8. A upcast proposal for enums — j82liang / detail
  9. Disable to voidEnum test for now to pass the test suite (voidEnum is WIP) — j82liang / detail

#826 (May 23, 2024, 11:50:06 PM)

  1. Various whitespace and intentation updates. — ajbeach / detail

#819 (May 16, 2024, 11:50:25 PM)

  1. Added the review of all the autogeneration problems. Now, hopefully, we can start making some solutions. — ajbeach / detail

#818 (May 14, 2024, 11:52:53 PM)

  1. more proofreading with respect to Gregor's comments — Peter Buhr / detail
  2. updates related to introduction chapter changes — Peter Buhr / detail

#817 (May 13, 2024, 11:58:37 PM)

  1. formatting — Peter Buhr / detail
  2. small updates, and more proofreading of the related-works chapter — Peter Buhr / detail
  3. proofread string section of background chapter — Peter Buhr / detail

#814 (May 11, 2024, 7:45:38 PM)

  1. Perhaps only src/Makefile.am needed to change, but I did a text search to try and be absolutely sure I got everything. — ajbeach / detail

#813 (May 11, 2024, 5:18:07 PM)

  1. Apparently the source file lists aren't used until distribution. I went over all the lists and also found a stray header. — ajbeach / detail

#811 (May 10, 2024, 7:23:37 PM)

  1. Shoot, the non-extension renamings did not get caught in some corners. — ajbeach / detail

#810 (May 10, 2024, 5:18:47 PM)

  1. Updated the rest of the names in src/ (except for the generated files). — ajbeach / detail

#808 (May 8, 2024, 11:52:40 PM)

  1. Update last reference to BasicTypes-gen.cc. I don't know if it needs to be distributed at all but this should get things working now. — ajbeach / detail
  2. Refactor based type from operator assertion — j82liang / detail
  3. Add GCC visibility push(default); Fix trait satisfaction problem — j82liang / detail
  4. small cleanups — Peter Buhr / detail

#807 (May 8, 2024, 7:13:53 PM)

  1. Update last reference to BasicTypes-gen.cc. I don't know if it needs to be distributed at all but this should get things working now. — ajbeach / detail
  2. Refactor based type from operator assertion — j82liang / detail
  3. Add GCC visibility push(default); Fix trait satisfaction problem — j82liang / detail
  4. small cleanups — Peter Buhr / detail

#807 (May 8, 2024, 7:13:53 PM)

  1. more work on introduction — Peter Buhr / detail
  2. word smithing and poking at rust enumerations — Peter Buhr / detail
  3. word smithing — Peter Buhr / detail
  4. Removed unused field from TypeData. — ajbeach / detail
  5. Save the change in main for git pull — j82liang / detail
  6. Comment on relatedwork work — j82liang / detail
  7. Comment out lines the require implementEnumFunc — j82liang / detail
  8. Re-enable replace pseudo func to temporarily fix the compilation error — j82liang / detail
  9. Small update — j82liang / detail
  10. Fused TypeData::Enum and TypeData::Aggregate, an enumeration is a kind of aggregate after all. There will always be some unused fields in Aggregate_t (but less in TypeData overall) but the code is almost always simpler. — ajbeach / detail
  11. update and add ISO C citations and update clang citation — Peter Buhr / detail
  12. add sorting key to web-site citations — Peter Buhr / detail
  13. fix CFA citation — Peter Buhr / detail
  14. start proofreading of Section 2.1 — Peter Buhr / detail
  15. clear out draft content and link syntactic reference figures — mlbrooks / detail
  16. General clean-up in the parser. Removed the commented DeclarationNode::name and added some helper functions to remove duplicate code. — ajbeach / detail
  17. One more bit of clean-up, improving some names. — ajbeach / detail
  18. Fixed memory leak in the parser. — ajbeach / detail
  19. work on Figure 2.1 — Peter Buhr / detail
  20. Small improvement in the Pass template implementation. Thierry and I discussed this years ago but at the time we were not using a high enough C++ standard. — ajbeach / detail
  21. more work on Figure 2.1 and surrounding text — Peter Buhr / detail
  22. finish current proofreading of background chapter — Peter Buhr / detail
  23. more work on background chapter — Peter Buhr / detail
  24. add citation for AlgolW — Peter Buhr / detail
  25. notZeroExpr (in the parser) has become createCondExpr (in the resolver). A small part of this, with expressions, had been done previously. — ajbeach / detail
  26. formatting — Peter Buhr / detail
  27. comment out asserts that fail when malloc(0) returns non-null — Peter Buhr / detail
  28. formatting, change free null statistic to also count malloc(0), remove spurious union/struct in header, remove spurious CALIGN after attribute fix, update the PROLOG macro — Peter Buhr / detail
  29. Clean-up in the Pass template around call_accept. Removed overloads that no longer contain unique behaviour. Redundent early exits have been removed. Updated the names and removed redundent checks following up the result* type update. New constructors for the delta helper type show how the data is actually used. The differs functions are unused (that value is stored in the result* types). — ajbeach / detail
  30. Further Pass template clean-up, reimplementing the translation unit getter with the standard tools. The only time we needed a mutable TranslationUnit/TranslationGlobal it was implemented manually anyways. — ajbeach / detail
  31. Reimplement the resolution of Enum instance type — j82liang / detail
  32. Fix some warning — j82liang / detail
  33. Fix Enum predecessor — j82liang / detail
  34. formatting, add missing CFA reallocarray routine — Peter Buhr / detail
  35. Fixing some whitespace around a recent merge. That lead to some general clean-up, including removing tailing whitespace and removing some unneeded dependences. — ajbeach / detail
  36. Fix succ(Enum) error and resolution ambiguity of enum with inheritance — j82liang / detail
  37. Change for C++20 compatability. We may not be upgrading soon but this is the only error that arised in my tests. — ajbeach / detail
  38. formatting — Peter Buhr / detail
  39. Moved ast::BasicType::Kind to ast::BasicKind in its own hearder. This is more consistent with other utility enums (although we still use this as a enum class) and reduces what some files need to include. Also did a upgrade in a comment with MAX_INTEGER_TYPE, it is now part of the enum. — ajbeach / detail
  40. Remove unnecessary implicit enum type conversion — j82liang / detail
  41. missing keyword coroutine to lstlang CFA — Peter Buhr / detail
  42. change see macro to support capital See, update cquote macro with better above/below spacing, add package tabularx to allow @ in tabular definition when \lstMakeShortInline@ — Peter Buhr / detail
  43. add citation from OED for enumerate — Peter Buhr / detail
  44. documentation — Peter Buhr / detail
  45. more proofreading on enumerations — Peter Buhr / detail
  46. proofreading changes — Peter Buhr / detail
  47. changes to postfix function and storage management sections — Peter Buhr / detail
  48. remove spurious 'this' qualification — Peter Buhr / detail
  49. One missing BasicType::Kind -> BasicKind updates. — ajbeach / detail
  50. formatting, add CFA versions of resize, realloc, and reallocarray — Peter Buhr / detail
  51. Removed porting.md, although some of its information is still relavant, but that should be clear from the rest of the project at this point. — ajbeach / detail
  52. Style update. Focused on indentation and trailing whitespace. — ajbeach / detail
  53. The polyCost function was just a bit more complicated than it needed to be. — ajbeach / detail
  54. Removed some overloads from the Pass template. I believe these were needed for g++ 5 and 6, which we supported at the time but we have since dropped support for them. — ajbeach / detail
  55. move __attribute__((unused)) so it applies to variable — Peter Buhr / detail
  56. formatting — Peter Buhr / detail
  57. formatting, documentation refactor alloc code, remove annoying warnings — Peter Buhr / detail
  58. Updated files in ResolvExpr to the new indentation style. It seems the remaining places have reason to break from the style. — ajbeach / detail
  59. add combinations of pointer/reference for memset and memcpy — Peter Buhr / detail
  60. update postfix function, storage management, and memory set/copy — Peter Buhr / detail
  61. fix parsing bug in field declaring list with empty declarator — Peter Buhr / detail
  62. Added a Python script for reviewing the timing of the test suite. — ajbeach / detail
  63. Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging. — ajbeach / detail
  64. move all lstnewenvironment macros to central location in uw-ethesis.tex — Peter Buhr / detail
  65. more proofreading on introduction chapter (discussion of ADT) — Peter Buhr / detail
  66. Change enum functions return type — j82liang / detail
  67. add parsing support for enum type in 'with' statement — Peter Buhr / detail
  68. more proofreading on enumeration chapters — Peter Buhr / detail
  69. 1. Change return value of typed Enum in null context: they now return the position. Therefore, printf with enumeration value will no longer be supported. 2. sout now will return the enumeration value. So sout | enumValue will print what we expect. 3. Provide enum.hfa, which contains traits that related to enum. 4. Implement functions declare in enum.hfa for enum types, so enum type fulfill the traits. Known defeat: error if we use the enum traits on enum types. They work but c compiler gives an warning — j82liang / detail
  70. Missing changes for the last commit — j82liang / detail
  71. Updated hoistStruct so the nested mangled names are human readable. This does require more code to update instances, but I think it is reasonable in complexity and runtime. — ajbeach / detail
  72. remove glossary macros, switch back to newterm marco from Newterm, update Planet example — Peter Buhr / detail
  73. Add trait subsection — j82liang / detail
  74. Update writing part for enum trait — j82liang / detail
  75. Add libcfa/src/enum.hfa — j82liang / detail
  76. proofread section Enumeration Trait, and a few other wording changes — Peter Buhr / detail
  77. Simplified the visit_children feature of Pass template. This should also fix a warning in g++-13. — ajbeach / detail
  78. add pl.bib to file dependencies — Peter Buhr / detail
  79. proofreading background section Linked Lists — Peter Buhr / detail
  80. move background material from list chapter to background chapter — Peter Buhr / detail
  81. formatting changes to programs — Peter Buhr / detail
  82. update thesis front page from 2020 to 2022 macros — Peter Buhr / detail
  83. First wave of file renaming. Rename files in src/ and update all references to them. — ajbeach / detail
  84. add gcc builtin function __builtin_dynamic_object_size for gcc-13 — Peter Buhr / detail
  85. gcc-13 include file problem in /usr/include/aarch64-linux-gnu/bits/math-vector.h — Peter Buhr / detail
  86. update search strings to raw strings for python 3.12 — Peter Buhr / detail
  87. Remove intermeidate type (enum attribute type); remove replacePseudoFunc (has been migrated to resolver) — j82liang / detail
  88. Missing produceDecl in the last commit — j82liang / detail
  89. Update the test file — j82liang / detail
  90. Reformat forall clause in enum.hfa — j82liang / detail
  91. Update last reference to BasicTypes-gen.cc. I don't know if it needs to be distributed at all but this should get things working now. — ajbeach / detail
  92. Refactor based type from operator assertion — j82liang / detail
  93. Add GCC visibility push(default); Fix trait satisfaction problem — j82liang / detail

#806 (May 7, 2024, 11:56:28 PM)

  1. First wave of file renaming. Rename files in src/ and update all references to them. — ajbeach / detail
  2. add gcc builtin function __builtin_dynamic_object_size for gcc-13 — Peter Buhr / detail
  3. gcc-13 include file problem in /usr/include/aarch64-linux-gnu/bits/math-vector.h — Peter Buhr / detail
  4. update search strings to raw strings for python 3.12 — Peter Buhr / detail
  5. Remove intermeidate type (enum attribute type); remove replacePseudoFunc (has been migrated to resolver) — j82liang / detail
  6. Missing produceDecl in the last commit — j82liang / detail
  7. Update the test file — j82liang / detail
  8. Reformat forall clause in enum.hfa — j82liang / detail

#805 (May 6, 2024, 11:52:15 PM)

  1. Simplified the visit_children feature of Pass template. This should also fix a warning in g++-13. — ajbeach / detail
  2. add pl.bib to file dependencies — Peter Buhr / detail
  3. proofreading background section Linked Lists — Peter Buhr / detail
  4. move background material from list chapter to background chapter — Peter Buhr / detail
  5. formatting changes to programs — Peter Buhr / detail
  6. update thesis front page from 2020 to 2022 macros — Peter Buhr / detail

#802 (May 3, 2024, 11:55:51 PM)

  1. proofread section Enumeration Trait, and a few other wording changes — Peter Buhr / detail

#801 (May 2, 2024, 11:53:10 PM)

  1. Add libcfa/src/enum.hfa — j82liang / detail

#800 (May 1, 2024, 11:53:35 PM)

  1. Add trait subsection — j82liang / detail
  2. Update writing part for enum trait — j82liang / detail

#799 (May 1, 2024, 8:29:36 AM)

  1. remove glossary macros, switch back to newterm marco from Newterm, update Planet example — Peter Buhr / detail

#798 (Apr 29, 2024, 11:52:48 PM)

  1. Updated hoistStruct so the nested mangled names are human readable. This does require more code to update instances, but I think it is reasonable in complexity and runtime. — ajbeach / detail

#797 (Apr 28, 2024, 11:55:47 PM)

  1. Change enum functions return type — j82liang / detail
  2. more proofreading on enumeration chapters — Peter Buhr / detail
  3. 1. Change return value of typed Enum in null context: they now return the position. Therefore, printf with enumeration value will no longer be supported. 2. sout now will return the enumeration value. So sout | enumValue will print what we expect. 3. Provide enum.hfa, which contains traits that related to enum. 4. Implement functions declare in enum.hfa for enum types, so enum type fulfill the traits. Known defeat: error if we use the enum traits on enum types. They work but c compiler gives an warning — j82liang / detail
  4. Missing changes for the last commit — j82liang / detail

#796 (Apr 27, 2024, 11:53:16 PM)

  1. add parsing support for enum type in 'with' statement — Peter Buhr / detail

#794 (Apr 25, 2024, 11:51:05 PM)

  1. Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging. — ajbeach / detail
  2. move all lstnewenvironment macros to central location in uw-ethesis.tex — Peter Buhr / detail
  3. more proofreading on introduction chapter (discussion of ADT) — Peter Buhr / detail

#793 (Apr 24, 2024, 11:53:11 PM)

  1. Added a Python script for reviewing the timing of the test suite. — ajbeach / detail

#792 (Apr 23, 2024, 11:53:30 PM)

  1. move __attribute__((unused)) so it applies to variable — Peter Buhr / detail
  2. formatting — Peter Buhr / detail
  3. formatting, documentation refactor alloc code, remove annoying warnings — Peter Buhr / detail
  4. Updated files in ResolvExpr to the new indentation style. It seems the remaining places have reason to break from the style. — ajbeach / detail
  5. add combinations of pointer/reference for memset and memcpy — Peter Buhr / detail
  6. update postfix function, storage management, and memory set/copy — Peter Buhr / detail
  7. fix parsing bug in field declaring list with empty declarator — Peter Buhr / detail

#791 (Apr 22, 2024, 11:51:39 PM)

  1. Removed some overloads from the Pass template. I believe these were needed for g++ 5 and 6, which we supported at the time but we have since dropped support for them. — ajbeach / detail

#788 (Apr 19, 2024, 11:59:46 PM)

  1. add citation for AlgolW — Peter Buhr / detail
  2. missing keyword coroutine to lstlang CFA — Peter Buhr / detail
  3. change see macro to support capital See, update cquote macro with better above/below spacing, add package tabularx to allow @ in tabular definition when \lstMakeShortInline@ — Peter Buhr / detail
  4. add citation from OED for enumerate — Peter Buhr / detail
  5. documentation — Peter Buhr / detail
  6. more proofreading on enumerations — Peter Buhr / detail
  7. proofreading changes — Peter Buhr / detail
  8. changes to postfix function and storage management sections — Peter Buhr / detail
  9. remove spurious 'this' qualification — Peter Buhr / detail
  10. formatting, add CFA versions of resize, realloc, and reallocarray — Peter Buhr / detail
  11. Removed porting.md, although some of its information is still relavant, but that should be clear from the rest of the project at this point. — ajbeach / detail
  12. Style update. Focused on indentation and trailing whitespace. — ajbeach / detail
  13. The polyCost function was just a bit more complicated than it needed to be. — ajbeach / detail

#787 (Apr 19, 2024, 10:43:03 AM)

  1. Fix Enum predecessor — j82liang / detail
  2. Fix succ(Enum) error and resolution ambiguity of enum with inheritance — j82liang / detail
  3. Change for C++20 compatability. We may not be upgrading soon but this is the only error that arised in my tests. — ajbeach / detail
  4. formatting — Peter Buhr / detail
  5. Moved ast::BasicType::Kind to ast::BasicKind in its own hearder. This is more consistent with other utility enums (although we still use this as a enum class) and reduces what some files need to include. Also did a upgrade in a comment with MAX_INTEGER_TYPE, it is now part of the enum. — ajbeach / detail
  6. Remove unnecessary implicit enum type conversion — j82liang / detail
  7. One missing BasicType::Kind -> BasicKind updates. — ajbeach / detail

#786 (Apr 17, 2024, 11:51:09 PM)

  1. Fixing some whitespace around a recent merge. That lead to some general clean-up, including removing tailing whitespace and removing some unneeded dependences. — ajbeach / detail

#784 (Apr 15, 2024, 11:58:32 PM)

  1. Reimplement the resolution of Enum instance type — j82liang / detail
  2. Fix some warning — j82liang / detail
  3. formatting, add missing CFA reallocarray routine — Peter Buhr / detail

#781 (Apr 12, 2024, 11:57:11 PM)

  1. formatting — Peter Buhr / detail
  2. comment out asserts that fail when malloc(0) returns non-null — Peter Buhr / detail
  3. formatting, change free null statistic to also count malloc(0), remove spurious union/struct in header, remove spurious CALIGN after attribute fix, update the PROLOG macro — Peter Buhr / detail
  4. Clean-up in the Pass template around call_accept. Removed overloads that no longer contain unique behaviour. Redundent early exits have been removed. Updated the names and removed redundent checks following up the result* type update. New constructors for the delta helper type show how the data is actually used. The differs functions are unused (that value is stored in the result* types). — ajbeach / detail
  5. Further Pass template clean-up, reimplementing the translation unit getter with the standard tools. The only time we needed a mutable TranslationUnit/TranslationGlobal it was implemented manually anyways. — ajbeach / detail

#780 (Apr 11, 2024, 11:52:43 PM)

  1. notZeroExpr (in the parser) has become createCondExpr (in the resolver). A small part of this, with expressions, had been done previously. — ajbeach / detail

#779 (Apr 10, 2024, 11:55:56 PM)

  1. more work on background chapter — Peter Buhr / detail

#778 (Apr 9, 2024, 11:53:40 PM)

  1. finish current proofreading of background chapter — Peter Buhr / detail

#777 (Apr 8, 2024, 11:53:29 PM)

  1. work on Figure 2.1 — Peter Buhr / detail
  2. Small improvement in the Pass template implementation. Thierry and I discussed this years ago but at the time we were not using a high enough C++ standard. — ajbeach / detail
  3. more work on Figure 2.1 and surrounding text — Peter Buhr / detail

#773 (Apr 4, 2024, 11:56:19 PM)

  1. clear out draft content and link syntactic reference figures — mlbrooks / detail
  2. General clean-up in the parser. Removed the commented DeclarationNode::name and added some helper functions to remove duplicate code. — ajbeach / detail
  3. One more bit of clean-up, improving some names. — ajbeach / detail
  4. Fixed memory leak in the parser. — ajbeach / detail

#767 (Mar 27, 2024, 11:53:35 PM)

  1. update and add ISO C citations and update clang citation — Peter Buhr / detail
  2. add sorting key to web-site citations — Peter Buhr / detail
  3. fix CFA citation — Peter Buhr / detail
  4. start proofreading of Section 2.1 — Peter Buhr / detail

#766 (Mar 26, 2024, 11:55:08 PM)

  1. Save the change in main for git pull — j82liang / detail
  2. Comment on relatedwork work — j82liang / detail
  3. Comment out lines the require implementEnumFunc — j82liang / detail
  4. Re-enable replace pseudo func to temporarily fix the compilation error — j82liang / detail
  5. Small update — j82liang / detail
  6. Fused TypeData::Enum and TypeData::Aggregate, an enumeration is a kind of aggregate after all. There will always be some unused fields in Aggregate_t (but less in TypeData overall) but the code is almost always simpler. — ajbeach / detail

#765 (Mar 25, 2024, 11:54:13 PM)

  1. fine tune justification for enumerations — Peter Buhr / detail
  2. interchange chapters list and array — Peter Buhr / detail
  3. start introduction — Peter Buhr / detail
  4. move material from background to intro — Peter Buhr / detail
  5. add material from background — Peter Buhr / detail
  6. more work on introduction — Peter Buhr / detail
  7. word smithing and poking at rust enumerations — Peter Buhr / detail
  8. word smithing — Peter Buhr / detail
  9. Removed unused field from TypeData. — ajbeach / detail

#764 (Mar 24, 2024, 11:53:22 PM)

  1. fine tune justification for enumerations — Peter Buhr / detail
  2. interchange chapters list and array — Peter Buhr / detail
  3. start introduction — Peter Buhr / detail
  4. move material from background to intro — Peter Buhr / detail
  5. add material from background — Peter Buhr / detail
  6. more work on introduction — Peter Buhr / detail

#764 (Mar 24, 2024, 11:53:22 PM)

  1. omnibus I/O changes to get quoted manipulator to work — Peter Buhr / detail
  2. copy enum proposal to enum thesis — Peter Buhr / detail
  3. Updated indentation in Resolver. Removed trailing whitespace. — ajbeach / detail
  4. Added a few more missing keywords to the cfa.nanorc. — ajbeach / detail
  5. more cleanup, changes related to detection of missing values during input — Peter Buhr / detail
  6. formatting — Peter Buhr / detail
  7. remove unnecessary code, start missing values for C strings — Peter Buhr / detail
  8. add tests for getline and quoted input manipulators — Peter Buhr / detail
  9. switch from '\n' to nl, update test data — Peter Buhr / detail
  10. more testing for missing data when reading — Peter Buhr / detail
  11. move exception macro to general location, update more code to use macros — Peter Buhr / detail
  12. more documentation on stream input — Peter Buhr / detail
  13. add swift language macros for formatting by lstlisting — Peter Buhr / detail
  14. Fixed whitespace ResolveTypeof.cc. — ajbeach / detail
  15. remove 'swift' language reference because it is available in lstlisting under the name 'Swift' — Peter Buhr / detail
  16. small cleanup to latex 'common' macros — Peter Buhr / detail
  17. remove unnecessary latex macros — Peter Buhr / detail
  18. add more text to related-work chapter — Peter Buhr / detail
  19. add citation for programming language 'Swift' — Peter Buhr / detail
  20. change text to use macros \eg amd \ie — Peter Buhr / detail
  21. update related work for Ada and Golang — Peter Buhr / detail
  22. Add position.cfa test file — j82liang / detail
  23. more proofreading on enumeration thesis — Peter Buhr / detail
  24. The two argument form of the conditional operator now only has two arguments all the way to the resolver. — ajbeach / detail
  25. Forgot to update comments from the last commit. — ajbeach / detail
  26. Used structural binding to shorten some loop setup. The generally useful clean-up I did while trying to get layout call hoisting working. — ajbeach / detail
  27. Clean-up of GenImplicitCall module. Changing the return type for consistency spilled out into some other files, but that should also saves some operations. The other big one is the template instances were reduced to one and then the templates removed. — ajbeach / detail
  28. Note to self: Check the comments before you push. — ajbeach / detail
  29. formatting — Peter Buhr / detail
  30. first attempt at correct distribution of attributes for aggregates — Peter Buhr / detail
  31. update lst language for uC++ — Peter Buhr / detail
  32. update 32-bit test result for distribution of attributes for aggregates — Peter Buhr / detail
  33. update 64-bit test result on ARM for distribution of attributes for aggregates — Peter Buhr / detail
  34. more proofreading on enumeration thesis — Peter Buhr / detail
  35. Add EnumPosType to type system — j82liang / detail
  36. fix problme wiht exclamation mark in comon.sty file — Peter Buhr / detail
  37. Remove unused variables — j82liang / detail
  38. Factored out a very complex condition into a helper function and documented it. — ajbeach / detail
  39. Moved ParseNode's name field down to DeclarationNode, it is not used in any of the other child classes. — ajbeach / detail
  40. Factored out the ParseNode's next field into a new child type. This is only type safe when used in the given one level curiously reoccurring template pattern, as it is now. This allowed most of the intermedate helpers to be removed. — ajbeach / detail
  41. more proofreading on the enumeration related-work section — Peter Buhr / detail
  42. more proofreading on the enumeration related-work section — Peter Buhr / detail
  43. Add prototype of succ function — j82liang / detail
  44. try @@(...) for attributes, rename and reorder grammar rules, remove apparently unnecessary push/pop rules, first attempt at [] => [void] return type — Peter Buhr / detail
  45. more proofreading for enumeration related-work — Peter Buhr / detail
  46. Removed casts around get_next (also replaced with direct field access) that are no longer needed. — ajbeach / detail
  47. Moved a field and functions from DeclarationNode to TypeData. Trying to make the line between them cleaner. — ajbeach / detail
  48. Add the Working support to succ() and pred() pseudo function to Enum — j82liang / detail
  49. Remove unused variables — j82liang / detail
  50. continue work on memory allocation paper — Peter Buhr / detail
  51. documentations, support CFA declaration syntax in sizeof/alignof — Peter Buhr / detail
  52. add updated function-declaration test — Peter Buhr / detail
  53. fix 32-bit functions results — Peter Buhr / detail
  54. Return 'TypeData *' from some parse rules. Moved TypeData construction over to that file. — ajbeach / detail
  55. Removed casts no longer needed on the result of set_last. — ajbeach / detail
  56. Fix thesis demo program build isssue: handle substring API switch to start-len from start-end — mlbrooks / detail
  57. update expected output for functions test on ARM — Peter Buhr / detail
  58. Remove conversion part of the EnumPosType. It can be resolved by the current unifier — j82liang / detail
  59. Change the common type interpretation of EnumPos — j82liang / detail
  60. switch to tabs, first attempt changing program-input style — Peter Buhr / detail
  61. second attempt changing program-input style — Peter Buhr / detail
  62. more switch to tabs — Peter Buhr / detail
  63. Add OCamal section to related work — j82liang / detail
  64. Moved the DeclarationNode enums over to TypeData where they are actually used. — ajbeach / detail
  65. Fix ocaml code — j82liang / detail
  66. update for-control for iterating over enumeration type — Peter Buhr / detail
  67. update OCaml text — Peter Buhr / detail
  68. update compile commands — Peter Buhr / detail
  69. update llheap paper — Peter Buhr / detail
  70. update lstlang for CFA — Peter Buhr / detail
  71. update OCaml text and add OCaml citation — Peter Buhr / detail
  72. more updates on OCaml — Peter Buhr / detail
  73. Some Parser clean-up I did while investigating. — ajbeach / detail
  74. added lstlang entry for OCaml — Peter Buhr / detail
  75. more updates on OCaml — Peter Buhr / detail
  76. fold in Gregor's comments on OCaml — Peter Buhr / detail
  77. add comparison table for related work — Peter Buhr / detail
  78. Handle typedef wrapped declarations before buildList in addTypedef. The extractAggregate code is still used in other cases. There is a small change in behaviour, a typedef wrapping a enum declaration will have the qualifiers on its local copy cleared. This may be the intended behaviour, it is how all other aggregates are handled. — ajbeach / detail
  79. fix convert function for float-point values, add isspace-like routines for C arrays — Peter Buhr / detail
  80. update string to type test — Peter Buhr / detail
  81. update ato expected output for ARM — Peter Buhr / detail
  82. update ato expected output for x86 — Peter Buhr / detail
  83. reorganized enum_type rule in parser and add missing call to makeTypedef — Peter Buhr / detail
  84. more reorganized enum_type rule in parser — Peter Buhr / detail
  85. remove isspace-like routines for C arrays, and replace with general checkif routine — Peter Buhr / detail
  86. Parser clean-up: Removed an unused field, added a comment, fixed a memory leak and reformated a function. — ajbeach / detail
  87. Removed some code from main that supported the old ast. — ajbeach / detail
  88. Add support for printing multiple returns. Mostly useful for early code dumps. — ajbeach / detail
  89. more proofreading for enumerations — Peter Buhr / detail
  90. add SPE PDF for paper Cforall: Adding Modern Programming Language Features to C — Peter Buhr / detail
  91. fix citations in bibliography/pl.bib — Peter Buhr / detail
  92. added Gregor and Andrew emails — Peter Buhr / detail
  93. justification for enumerations — Peter Buhr / detail
  94. fine tune justification for enumerations — Peter Buhr / detail
  95. interchange chapters list and array — Peter Buhr / detail
  96. start introduction — Peter Buhr / detail
  97. move material from background to intro — Peter Buhr / detail
  98. add material from background — Peter Buhr / detail

#763 (Mar 23, 2024, 11:55:55 PM)

  1. fix citations in bibliography/pl.bib — Peter Buhr / detail
  2. added Gregor and Andrew emails — Peter Buhr / detail
  3. justification for enumerations — Peter Buhr / detail

#762 (Mar 22, 2024, 11:55:42 PM)

  1. add SPE PDF for paper Cforall: Adding Modern Programming Language Features to C — Peter Buhr / detail

#761 (Mar 21, 2024, 11:54:05 PM)

  1. Parser clean-up: Removed an unused field, added a comment, fixed a memory leak and reformated a function. — ajbeach / detail
  2. Removed some code from main that supported the old ast. — ajbeach / detail
  3. Add support for printing multiple returns. Mostly useful for early code dumps. — ajbeach / detail
  4. more proofreading for enumerations — Peter Buhr / detail

#759 (Mar 17, 2024, 11:56:15 PM)

  1. Handle typedef wrapped declarations before buildList in addTypedef. The extractAggregate code is still used in other cases. There is a small change in behaviour, a typedef wrapping a enum declaration will have the qualifiers on its local copy cleared. This may be the intended behaviour, it is how all other aggregates are handled. — ajbeach / detail
  2. fix convert function for float-point values, add isspace-like routines for C arrays — Peter Buhr / detail
  3. update string to type test — Peter Buhr / detail
  4. update ato expected output for ARM — Peter Buhr / detail
  5. update ato expected output for x86 — Peter Buhr / detail
  6. reorganized enum_type rule in parser and add missing call to makeTypedef — Peter Buhr / detail
  7. more reorganized enum_type rule in parser — Peter Buhr / detail
  8. remove isspace-like routines for C arrays, and replace with general checkif routine — Peter Buhr / detail

#757 (Mar 13, 2024, 11:52:12 PM)

  1. fold in Gregor's comments on OCaml — Peter Buhr / detail
  2. add comparison table for related work — Peter Buhr / detail

#756 (Mar 12, 2024, 11:54:16 PM)

  1. Add OCamal section to related work — j82liang / detail
  2. Moved the DeclarationNode enums over to TypeData where they are actually used. — ajbeach / detail
  3. Fix ocaml code — j82liang / detail
  4. update for-control for iterating over enumeration type — Peter Buhr / detail
  5. update OCaml text — Peter Buhr / detail
  6. update compile commands — Peter Buhr / detail
  7. update llheap paper — Peter Buhr / detail
  8. update lstlang for CFA — Peter Buhr / detail
  9. update OCaml text and add OCaml citation — Peter Buhr / detail
  10. more updates on OCaml — Peter Buhr / detail
  11. Some Parser clean-up I did while investigating. — ajbeach / detail
  12. added lstlang entry for OCaml — Peter Buhr / detail
  13. more updates on OCaml — Peter Buhr / detail

#755 (Mar 10, 2024, 11:55:14 PM)

  1. second attempt changing program-input style — Peter Buhr / detail
  2. more switch to tabs — Peter Buhr / detail

#754 (Mar 9, 2024, 11:54:38 PM)

  1. Remove conversion part of the EnumPosType. It can be resolved by the current unifier — j82liang / detail
  2. Change the common type interpretation of EnumPos — j82liang / detail
  3. switch to tabs, first attempt changing program-input style — Peter Buhr / detail

#752 (Mar 6, 2024, 11:52:43 PM)

  1. Add prototype of succ function — j82liang / detail
  2. Removed casts around get_next (also replaced with direct field access) that are no longer needed. — ajbeach / detail
  3. Moved a field and functions from DeclarationNode to TypeData. Trying to make the line between them cleaner. — ajbeach / detail
  4. Add the Working support to succ() and pred() pseudo function to Enum — j82liang / detail
  5. Remove unused variables — j82liang / detail
  6. continue work on memory allocation paper — Peter Buhr / detail
  7. documentations, support CFA declaration syntax in sizeof/alignof — Peter Buhr / detail
  8. add updated function-declaration test — Peter Buhr / detail
  9. fix 32-bit functions results — Peter Buhr / detail
  10. Return 'TypeData *' from some parse rules. Moved TypeData construction over to that file. — ajbeach / detail
  11. Removed casts no longer needed on the result of set_last. — ajbeach / detail
  12. Fix thesis demo program build isssue: handle substring API switch to start-len from start-end — mlbrooks / detail
  13. update expected output for functions test on ARM — Peter Buhr / detail

#751 (Mar 4, 2024, 11:52:47 PM)

  1. try @@(...) for attributes, rename and reorder grammar rules, remove apparently unnecessary push/pop rules, first attempt at [] => [void] return type — Peter Buhr / detail
  2. more proofreading for enumeration related-work — Peter Buhr / detail

#748 (Mar 1, 2024, 11:58:00 PM)

  1. more proofreading on the enumeration related-work section — Peter Buhr / detail

#746 (Feb 28, 2024, 11:56:40 PM)

  1. more proofreading on the enumeration related-work section — Peter Buhr / detail

#745 (Feb 28, 2024, 12:00:29 AM)

  1. Factored out a very complex condition into a helper function and documented it. — ajbeach / detail
  2. Moved ParseNode's name field down to DeclarationNode, it is not used in any of the other child classes. — ajbeach / detail
  3. Factored out the ParseNode's next field into a new child type. This is only type safe when used in the given one level curiously reoccurring template pattern, as it is now. This allowed most of the intermedate helpers to be removed. — ajbeach / detail

#744 (Feb 26, 2024, 11:52:52 PM)

  1. Remove unused variables — j82liang / detail

#743 (Feb 26, 2024, 9:54:29 AM)

  1. Add position.cfa test file — j82liang / detail
  2. Used structural binding to shorten some loop setup. The generally useful clean-up I did while trying to get layout call hoisting working. — ajbeach / detail
  3. Clean-up of GenImplicitCall module. Changing the return type for consistency spilled out into some other files, but that should also saves some operations. The other big one is the template instances were reduced to one and then the templates removed. — ajbeach / detail
  4. Note to self: Check the comments before you push. — ajbeach / detail
  5. formatting — Peter Buhr / detail
  6. first attempt at correct distribution of attributes for aggregates — Peter Buhr / detail
  7. update lst language for uC++ — Peter Buhr / detail
  8. update 32-bit test result for distribution of attributes for aggregates — Peter Buhr / detail
  9. update 64-bit test result on ARM for distribution of attributes for aggregates — Peter Buhr / detail
  10. more proofreading on enumeration thesis — Peter Buhr / detail
  11. Add EnumPosType to type system — j82liang / detail
  12. fix problme wiht exclamation mark in comon.sty file — Peter Buhr / detail

#742 (Feb 22, 2024, 11:55:34 PM)

  1. more proofreading on enumeration thesis — Peter Buhr / detail
  2. The two argument form of the conditional operator now only has two arguments all the way to the resolver. — ajbeach / detail
  3. Forgot to update comments from the last commit. — ajbeach / detail

#737 (Feb 16, 2024, 11:56:06 PM)

  1. change text to use macros \eg amd \ie — Peter Buhr / detail
  2. update related work for Ada and Golang — Peter Buhr / detail

#734 (Feb 14, 2024, 12:00:22 AM)

  1. Fixed whitespace ResolveTypeof.cc. — ajbeach / detail
  2. remove 'swift' language reference because it is available in lstlisting under the name 'Swift' — Peter Buhr / detail
  3. small cleanup to latex 'common' macros — Peter Buhr / detail
  4. remove unnecessary latex macros — Peter Buhr / detail
  5. add more text to related-work chapter — Peter Buhr / detail
  6. add citation for programming language 'Swift' — Peter Buhr / detail

#733 (Feb 12, 2024, 11:54:58 PM)

  1. formatting — Peter Buhr / detail
  2. remove unnecessary code, start missing values for C strings — Peter Buhr / detail
  3. add tests for getline and quoted input manipulators — Peter Buhr / detail
  4. switch from '\n' to nl, update test data — Peter Buhr / detail
  5. more testing for missing data when reading — Peter Buhr / detail
  6. move exception macro to general location, update more code to use macros — Peter Buhr / detail
  7. more documentation on stream input — Peter Buhr / detail
  8. add swift language macros for formatting by lstlisting — Peter Buhr / detail

#732 (Feb 10, 2024, 11:54:06 PM)

  1. more cleanup, changes related to detection of missing values during input — Peter Buhr / detail

#730 (Feb 8, 2024, 11:52:16 PM)

  1. formatting — Peter Buhr / detail
  2. more updates — Peter Buhr / detail
  3. omnibus I/O changes to get quoted manipulator to work — Peter Buhr / detail
  4. copy enum proposal to enum thesis — Peter Buhr / detail
  5. Updated indentation in Resolver. Removed trailing whitespace. — ajbeach / detail
  6. Added a few more missing keywords to the cfa.nanorc. — ajbeach / detail

#729 (Feb 7, 2024, 11:52:26 PM)

  1. formatting — Peter Buhr / detail
  2. more updates — Peter Buhr / detail
  3. omnibus I/O changes to get quoted manipulator to work — Peter Buhr / detail

#729 (Feb 7, 2024, 11:52:26 PM)

  1. formatting — Peter Buhr / detail
  2. Unified and fixed handling of parameter attributes. — ajbeach / detail
  3. second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection — Peter Buhr / detail
  4. Attempt to fix overnight build; add test-suite Makefile entry missing from cfbc56ecb. — mlbrooks / detail
  5. interpose experiment to see if it is causing the build failure — Peter Buhr / detail
  6. first documentation for string API — Peter Buhr / detail
  7. formatting, add string constructor for char, add string *= operator, simplify ?+? and ?*? operations — Peter Buhr / detail
  8. change shape of latex minus sign, change lstlisting escapechar from $ to section symbol — Peter Buhr / detail
  9. Add missing test for string *= and refactor */*= to follow +/+= pattern with string_res. — mlbrooks / detail
  10. formatting — Peter Buhr / detail
  11. Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations. — mlbrooks / detail
  12. Replayed maybeClone with maybeCopy, removed unused helppers in utility.h and pushed some includes out of headers. — ajbeach / detail
  13. I believe switching isValidOnFuncParam from an allow-list to a forbid-list may have solved the recent nightly builds. — ajbeach / detail
  14. Harmonize string constructors with assignments, refactor implementations to include string_res, add missing tests — mlbrooks / detail
  15. tidy a string-library unhelpful comment — mlbrooks / detail
  16. Modify substring interface from start-end to start-len, and add a missing test. — mlbrooks / detail
  17. Draft Implementation for enum position pesudo function (posE). EnumPosExpr is mostly irrelevant for now. It is used in development/code probing and will be removed later — j82liang / detail
  18. Add replacePseudoFunc — j82liang / detail
  19. Adjust string assignment declarations for consistent/standard return type. — mlbrooks / detail
  20. revert interpose experiment for build failure, not the cause — Peter Buhr / detail
  21. Implement string initialization and assignment from various numeric types — mlbrooks / detail
  22. switch C designators for initialization — Peter Buhr / detail
  23. Update enum.tex — j82liang / detail
  24. I was working in FixInit.cpp so I did a round of general clean-up. Mostly lowering some indentation and removing cruft comments. — ajbeach / detail
  25. change from href to url in bibtex citations — Peter Buhr / detail
  26. Changed notZeroExpr so that expressions with conditional contexts are handled in the resolver instead of the parser. Bugs kept the same from being done with statements. (Also a bit of clean-up from the last commit and a small fix in code-gen.) — ajbeach / detail
  27. Update ReplacePseudoFunc, mostly the runtime lookup for attribute pseudo-function. It is imcomplete and returning dummy value — j82liang / detail
  28. Fix analysis error in string-input testing. — mlbrooks / detail
  29. Fix string reading bug: Manipulator `ignore` should not write to its output argument. — mlbrooks / detail
  30. restrict nesting of manipulators and update manipulator test — Peter Buhr / detail
  31. Remove ilog2, an unused math helper. — ajbeach / detail
  32. update expected output for other architectures — Peter Buhr / detail
  33. Fix the print for enum with type — j82liang / detail
  34. increase lstlisting comment start from 2.75in to 3in — Peter Buhr / detail
  35. formatting, a little more string stuff — Peter Buhr / detail
  36. some updates on the enum proposal — Peter Buhr / detail
  37. some updates on the llheap paper — Peter Buhr / detail
  38. update testing for manipulators — Peter Buhr / detail
  39. cleanup, fix bug for input manipulator nl — Peter Buhr / detail
  40. add more input tests for recent changes — Peter Buhr / detail
  41. start updaing documentation for input changes — Peter Buhr / detail
  42. advance_to_mutex has been replaced nextMutex. — ajbeach / detail
  43. started some related work — Peter Buhr / detail
  44. small updated to uC++toCFA document — Peter Buhr / detail
  45. more word-smithing — Peter Buhr / detail
  46. Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration. — j82liang / detail
  47. Fix dangling reference to posE function — j82liang / detail
  48. Remove EnumPosExpr, an early design that no longer used. The implementation of the feature has been replaced by ReplacePseudoFunc — j82liang / detail
  49. Remove duality functions. They are replaced by recent changed in Cost conversion and CandidateFinder — j82liang / detail
  50. more proofreading, related-work section still needs work — Peter Buhr / detail
  51. The remaining improvements I had planned for the Box pass are either very hard or (on reflection) of questionable value, and none are required. Cleans up some loose threads before I may move on. — ajbeach / detail
  52. 1. Add debug print option for replacePseudoFunc; 2. Change resolver handling enum types; 3. change QualifiedNameExpr representation pre-resolver; 4. Disable able a test that currently doesn't work — j82liang / detail
  53. add more material — Peter Buhr / detail
  54. formatting — Peter Buhr / detail
  55. Remove mid-array assertion from the Box pass. — ajbeach / detail
  56. Added Peter's fix to ensure syscall argument is initialized. I did check it against valgrind. — ajbeach / detail
  57. more updates — Peter Buhr / detail

#728 (Feb 6, 2024, 11:53:48 PM)

  1. Remove mid-array assertion from the Box pass. — ajbeach / detail
  2. Added Peter's fix to ensure syscall argument is initialized. I did check it against valgrind. — ajbeach / detail

#727 (Feb 5, 2024, 11:52:33 PM)

  1. Fix the print for enum with type — j82liang / detail
  2. Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration. — j82liang / detail
  3. Fix dangling reference to posE function — j82liang / detail
  4. Remove EnumPosExpr, an early design that no longer used. The implementation of the feature has been replaced by ReplacePseudoFunc — j82liang / detail
  5. Remove duality functions. They are replaced by recent changed in Cost conversion and CandidateFinder — j82liang / detail
  6. more proofreading, related-work section still needs work — Peter Buhr / detail
  7. The remaining improvements I had planned for the Box pass are either very hard or (on reflection) of questionable value, and none are required. Cleans up some loose threads before I may move on. — ajbeach / detail
  8. 1. Add debug print option for replacePseudoFunc; 2. Change resolver handling enum types; 3. change QualifiedNameExpr representation pre-resolver; 4. Disable able a test that currently doesn't work — j82liang / detail
  9. add more material — Peter Buhr / detail

#726 (Jan 31, 2024, 11:53:15 PM)

  1. more word-smithing — Peter Buhr / detail

#725 (Jan 30, 2024, 11:51:59 PM)

  1. advance_to_mutex has been replaced nextMutex. — ajbeach / detail
  2. started some related work — Peter Buhr / detail
  3. small updated to uC++toCFA document — Peter Buhr / detail

#723 (Jan 28, 2024, 11:52:22 PM)

  1. increase lstlisting comment start from 2.75in to 3in — Peter Buhr / detail
  2. formatting, a little more string stuff — Peter Buhr / detail
  3. some updates on the enum proposal — Peter Buhr / detail
  4. some updates on the llheap paper — Peter Buhr / detail
  5. update testing for manipulators — Peter Buhr / detail
  6. cleanup, fix bug for input manipulator nl — Peter Buhr / detail
  7. add more input tests for recent changes — Peter Buhr / detail
  8. start updaing documentation for input changes — Peter Buhr / detail

#721 (Jan 25, 2024, 11:52:04 PM)

  1. switch C designators for initialization — Peter Buhr / detail
  2. change from href to url in bibtex citations — Peter Buhr / detail
  3. restrict nesting of manipulators and update manipulator test — Peter Buhr / detail
  4. Remove ilog2, an unused math helper. — ajbeach / detail
  5. update expected output for other architectures — Peter Buhr / detail

#720 (Jan 24, 2024, 11:53:03 PM)

  1. Update enum.tex — j82liang / detail
  2. Update ReplacePseudoFunc, mostly the runtime lookup for attribute pseudo-function. It is imcomplete and returning dummy value — j82liang / detail
  3. Fix analysis error in string-input testing. — mlbrooks / detail
  4. Fix string reading bug: Manipulator `ignore` should not write to its output argument. — mlbrooks / detail

#719 (Jan 23, 2024, 11:58:12 PM)

  1. Changed notZeroExpr so that expressions with conditional contexts are handled in the resolver instead of the parser. Bugs kept the same from being done with statements. (Also a bit of clean-up from the last commit and a small fix in code-gen.) — ajbeach / detail

#718 (Jan 22, 2024, 11:52:23 PM)

  1. I was working in FixInit.cpp so I did a round of general clean-up. Mostly lowering some indentation and removing cruft comments. — ajbeach / detail

#715 (Jan 19, 2024, 11:57:50 PM)

  1. tidy a string-library unhelpful comment — mlbrooks / detail
  2. Modify substring interface from start-end to start-len, and add a missing test. — mlbrooks / detail
  3. Draft Implementation for enum position pesudo function (posE). EnumPosExpr is mostly irrelevant for now. It is used in development/code probing and will be removed later — j82liang / detail
  4. Add replacePseudoFunc — j82liang / detail
  5. Adjust string assignment declarations for consistent/standard return type. — mlbrooks / detail
  6. revert interpose experiment for build failure, not the cause — Peter Buhr / detail
  7. Implement string initialization and assignment from various numeric types — mlbrooks / detail

#714 (Jan 17, 2024, 11:50:03 PM)

  1. formatting — Peter Buhr / detail
  2. Unified and fixed handling of parameter attributes. — ajbeach / detail
  3. second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection — Peter Buhr / detail
  4. Attempt to fix overnight build; add test-suite Makefile entry missing from cfbc56ecb. — mlbrooks / detail
  5. interpose experiment to see if it is causing the build failure — Peter Buhr / detail
  6. first documentation for string API — Peter Buhr / detail
  7. formatting, add string constructor for char, add string *= operator, simplify ?+? and ?*? operations — Peter Buhr / detail
  8. change shape of latex minus sign, change lstlisting escapechar from $ to section symbol — Peter Buhr / detail
  9. Add missing test for string *= and refactor */*= to follow +/+= pattern with string_res. — mlbrooks / detail
  10. formatting — Peter Buhr / detail
  11. Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations. — mlbrooks / detail
  12. Replayed maybeClone with maybeCopy, removed unused helppers in utility.h and pushed some includes out of headers. — ajbeach / detail
  13. I believe switching isValidOnFuncParam from an allow-list to a forbid-list may have solved the recent nightly builds. — ajbeach / detail
  14. Harmonize string constructors with assignments, refactor implementations to include string_res, add missing tests — mlbrooks / detail

#713 (Jan 11, 2024, 9:22:17 AM)

  1. formatting — Peter Buhr / detail
  2. Unified and fixed handling of parameter attributes. — ajbeach / detail
  3. second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection — Peter Buhr / detail

#713 (Jan 11, 2024, 9:22:17 AM)

  1. Save parser change for git pull — j82liang / detail
  2. Basic change for enable enumerated array syntax — j82liang / detail
  3. Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit — j82liang / detail
  4. The invariant flags on the test script were set up incorrectly. They should do as documented now and be on by default now. — ajbeach / detail
  5. Removed extra copy in FixInitNew. — ajbeach / detail
  6. fixed unhandled exception bug causing deleted memory to be accessed sometimes with full coroutines — caparsons / detail
  7. add reading fixed strings, seperate skip input manipulator, getline checks for delimiter — Peter Buhr / detail
  8. add string output manipulators, third attempt at input manipulators for strings — Peter Buhr / detail
  9. test reading fixed strings — Peter Buhr / detail
  10. use arm64 to select 64-bit random numbers — Peter Buhr / detail
  11. add get_seed for thread random numbers — Peter Buhr / detail
  12. simplify 32/64-bit random-number constructors — Peter Buhr / detail
  13. fix get_seed signature — Peter Buhr / detail
  14. remove ucpp-style collections used before Mike's lists — Peter Buhr / detail
  15. Revert "remove ucpp-style collections used before Mike's lists" — Peter Buhr / detail
  16. remove unnecessary include bits/sequence.hfa — Peter Buhr / detail
  17. add include bits/sequence.hfa to pthread.cfa after removing it from weakso_lock.hfa — Peter Buhr / detail
  18. remove empty rule in cfa_abstract_parameter_declaration to remove conflicts — Peter Buhr / detail
  19. Rename internal macro away from `TYPE`, which is a cs343 name collision. — mlbrooks / detail
  20. Port basic input-manipulator test from cstring to string and fix resulting bug. — mlbrooks / detail
  21. formatting — mlbrooks / detail
  22. Duplicate manipulator read-to-string code for string_res, and test. — mlbrooks / detail
  23. Deduplicate manipulator read-to-string by delegating from string to string_res. — mlbrooks / detail
  24. edited thesis to incorporate Gregors comments — caparsons / detail
  25. Bug fix — j82liang / detail
  26. expanded upon intro and conclusion — caparsons / detail
  27. Clean-up in MultiLevelExit. Primary purpose is to remove some uneeded fill code. — ajbeach / detail
  28. changes over all usages of uC++ collections to use dlist instead — caparsons / detail
  29. Allow uninitialized enum value as designators — j82liang / detail
  30. Implement full set of relational operators for strings — mlbrooks / detail
  31. proofread chapters CFA_concurrency, intro, and conclusion — Peter Buhr / detail
  32. merged in Peter's edits with a few small changes — caparsons / detail
  33. made some small formatting changes — caparsons / detail
  34. Fix cstring input length interpretation issue that had a buffer overflow case. — mlbrooks / detail
  35. Insert additional checks so that impossible, or just unimplemented, local control flow raises an error in CFA. — ajbeach / detail
  36. add getenv, strlen, strcmp, strncmp to extras — Peter Buhr / detail
  37. rename clock routines processor and program to processor_cpu and program_cpu to deal with name clash with processor — Peter Buhr / detail
  38. formatting — Peter Buhr / detail
  39. add malloc_stats_clear routine to zero the heap master and all active thread heaps — Peter Buhr / detail
  40. Incorporated changes in response to Trevor's comments. — caparsons / detail
  41. Added references when incorporating Trevor's comments — caparsons / detail
  42. Added cfa equivalent of cofor/cobegin/coend — caparsons / detail
  43. Added another check to the invariants for SizeofExpr/AlignofExpr. — ajbeach / detail
  44. committed makefile change for cofor include — caparsons / detail
  45. Update max/min so n-ary version doesn't match against the 2 argument case. Also added a test. — ajbeach / detail
  46. Some mistakes in isPolyType found while working on the box pass. There was a new-ast verison using the old type map and, perhaps relatedly, the new type map version recursed into the no type map form. Also some clean-up in related functions. — ajbeach / detail
  47. add uC++toCFA document — Peter Buhr / detail
  48. clean up command-line handling and I/O — Peter Buhr / detail
  49. formatting, replace constructor calls with set_allocation calls — Peter Buhr / detail
  50. added cofor macro — caparsons / detail
  51. updated cofor test to use macro — caparsons / detail
  52. refactor cofor.hfa into cofor.cfa, adjust Makefile.am to handle cofor.cfa — Peter Buhr / detail
  53. formatting — Peter Buhr / detail
  54. formatting — Peter Buhr / detail
  55. remove superfluous inner_loop routine — Peter Buhr / detail
  56. Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration — j82liang / detail
  57. Revert "Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration" — j82liang / detail
  58. Fix designation value error — j82liang / detail
  59. Fix typo{ — j82liang / detail
  60. formatting, remove unnecessary use of c_str(), add better debug printing for cc1 — Peter Buhr / detail
  61. add using namespace std to cfa.cc — Peter Buhr / detail
  62. update help message from main.cc — Peter Buhr / detail
  63. tweak comments for CFA comand-line options — Peter Buhr / detail
  64. update tiobe index, update new command-line documentation — Peter Buhr / detail
  65. fix lock/unlock for heap statistic-mode — Peter Buhr / detail
  66. added enable/disable ehm with no params for coroutines — caparsons / detail
  67. added hotpotato non-local ehm test in both enable/disable and poll flavours — caparsons / detail
  68. a bit of cleanup of the hotpotato tests — caparsons / detail
  69. final hotpotato cleanup, removed two unneeded routines from explicit polling flavour — caparsons / detail
  70. make hotpotato test 32/64-bit specific due to different prng — Peter Buhr / detail
  71. create 32-bit test results for hotpotato — Peter Buhr / detail
  72. create ARM test results for hotpotato — Peter Buhr / detail
  73. add keyword _Exception to uC++ lstlisting — Peter Buhr / detail
  74. update citation entry — Peter Buhr / detail
  75. add command setgcolumn to set lstlisting comment-column alignment, change size of lstlisting ^ character — Peter Buhr / detail
  76. general updates to the Cforall user manual — Peter Buhr / detail
  77. add keywords alignas, alignof, static_assert, and thread_local — Peter Buhr / detail
  78. Translated the box pass to the new AST. This includes direct as possible translations of the existing passes are two fix in passes which correct AST problems the direct translation causes. Outside the box pass there have already been many changes, ad there is another in Instantiate Generics, which disconnects designators instead of leaving them connected to the original polymorphic type, which breaks the invarants once the fields are removed in the Eraser sub-pass. There was also a change that was made and un-made in one commit. If translate from the new-AST to the old-AST part way you must, where possible, sort the TypeEnvKey values by string comparison. However, it now passes over that so it would be just extra complexity and run time, so I removed it. I stand at the exit from a great woods, just shy of a year from when I entered it. It has been a difficult and tiring journey. The path has been long and at times comically winding; but most often it was invisible, hidden under an impenetrable canopy and I spend days looking for it. All for a short jog forward before getting lost again. In front of me is another woods. It looks smaller, but I can't see the other side. Anyways, time to keep walking. — ajbeach / detail
  79. add corun/cofor statement, update old cofor — Peter Buhr / detail
  80. Translated the Link-Once pass to the new ast. — ajbeach / detail
  81. increase timeout in test.py from 180 to 240 seconds to deal with long locking tests on the ARM — Peter Buhr / detail
  82. First clean-up pass on box pass. Some of it is stuff that could have been done in the initial commit but there was just so much of it. The rest is mostly simple restructuring that makes the translation less direct. — ajbeach / detail
  83. Updated some documentation about the Instantiate Generic pass. — ajbeach / detail
  84. Implement "scanset" semantics for manipulator `skip`, in place of exact-match. — mlbrooks / detail
  85. Support match-failure reporting for string input. — mlbrooks / detail
  86. Fixes to Box pass's DeclAdapter. The two largest are: Only local information in scopeTypeVars was used so it was replaced with localTypeVars, that greatly simplified the pass. The added parameters are also divided into groups more consistently. — ajbeach / detail
  87. Fix read-to-variable-length-string cases when internal buffer fills. — mlbrooks / detail
  88. Fix compiler bug where duplicate type declarations caused crash. — mlbrooks / detail
  89. add arm64 to Jenkins nightly build — Peter Buhr / detail
  90. add ARM architecture to nightly build — Peter Buhr / detail
  91. add ARM architecture to nightly build — Peter Buhr / detail
  92. add ARM architecture to regression tests — Peter Buhr / detail
  93. fix typing mistake: arm4 to arm64 — Peter Buhr / detail
  94. formatting — Peter Buhr / detail
  95. formatting — Peter Buhr / detail
  96. formatting, add PRNG copy to checkpoint PRNG state, remove autogen PRNG copy constructor and assignment to prevent accidental PRNG copy — Peter Buhr / detail
  97. change host from arm64 to aarch64 for ARM nightly build — Peter Buhr / detail
  98. Took the new EraseWith pass out of the box pass. It might be able to go even earlier or folded into an existing pass. C code generation now will not generate WithStmt nodes. — ajbeach / detail
  99. formatting, SKULLDUGGERY to remove spurious free-nonheap-object warning — Peter Buhr / detail
  100. allow precision < 3 for manipulator eng — Peter Buhr / detail
  101. Implemented corun statement — caparsons / detail
  102. Updated cofor test to use new corun statement — caparsons / detail
  103. added error message for using corun statements without including the appropriate header — caparsons / detail
  104. Changed cofor files to support the corun statement — caparsons / detail
  105. Fixed up some whitespace. Pretty minor stuff mostly. — ajbeach / detail
  106. Clean-up of some names and comments. Removed some TODO comments which are too old to do anything with. — ajbeach / detail
  107. Added fence after channel handoff to prevent reordering on the arm that resulted in stale values — caparsons / detail
  108. temporary fix to linkonce problem by changing -7 to 7 so initialization does not invoke an operator — Peter Buhr / detail
  109. change valide (French) to valid (English) — Peter Buhr / detail
  110. Layout function builds its entire parameter list before creating the declaration now. — ajbeach / detail
  111. Initial commit — j82liang / detail
  112. updates to the uC++toCFA cheat sheet — Peter Buhr / detail
  113. Boxing no longer passes layout information about polymorphic types in the signature of the function. This simplifies the sub-passes in the box pass that added the arguments to the calls, the parameters to the declarations, and used the information internally. The effects in functions are less well quantified, because there are cases were the information has to be generated instead of passed in, but it is also never passed in (or generated) when not needed at all. — ajbeach / detail
  114. Update the introduction — j82liang / detail
  115. Rename and move the file to proposal — j82liang / detail
  116. Remove some cruft from the box pass. Some pieces left over from earlier versions that are no longer needed and some rejected notes. — ajbeach / detail
  117. temporally remove gcc-9 from ARM nightly build because it is failing — Peter Buhr / detail
  118. TypeVarMap is now a subtype instead of an alias to remove the redundent constructor argument. Various bits of box pass clean-up. — ajbeach / detail
  119. Small refactoring of some helper functions to avoid repeating a loop. — ajbeach / detail
  120. add additional test for engineering and unit manipulator output — Peter Buhr / detail
  121. Change string-read semantics so that reading nothing leaves the original value unmodified. — mlbrooks / detail
  122. Work on the box pass, fixing up the FunctionDecl update. — ajbeach / detail
  123. added missing ARM fence on the signallee side of channel handoff — caparsons / detail
  124. first attempt at new C string input — Peter Buhr / detail
  125. added fence to failing test to hopefully fix stale data issue on the arm, if this passes this fence will be put in waituntil code gen — caparsons / detail
  126. remove ISTYPE_VOID and ISTYPE_VOID_IMPL, and ends for input — Peter Buhr / detail
  127. change genericUnion test fromt printf to sout — Peter Buhr / detail
  128. ifdef'd the arm fences that were added to channels so that they only appear on the arm — caparsons / detail
  129. added WO fences for mcs spin lock to fix failing arm test — caparsons / detail
  130. added missing semicolons — caparson / detail
  131. temporary change to as command to test ARM build — Peter Buhr / detail
  132. add gcc-9 back into ARM full build — Peter Buhr / detail
  133. Make all new declarations have a properly defined LinkageSpec. Also some general clean-up. — ajbeach / detail
  134. test as.cc file on ARM — Peter Buhr / detail
  135. comment out debug prints — Peter Buhr / detail
  136. add __i386 with __x86_64 — Peter Buhr / detail
  137. formatting — Peter Buhr / detail
  138. Direct translation of code generation. — ajbeach / detail
  139. Translation of the fix main pass to the new ast data structures. — ajbeach / detail
  140. Updated some stats/counters to trigger off the new AST. Others will just have to be updated/re-added later because the support code to run them is missing and I don't know what stats we might need in the future. — ajbeach / detail
  141. Code dumps (under the -P flag) no longer convert to the old ast to print. — ajbeach / detail
  142. I don't actually know if this fixes anything, but the old version was definitely not doing anything and this is should have the same behaviour as the old one, and run just a bit faster. — ajbeach / detail
  143. Parser now uses constants from the new ast types. — ajbeach / detail
  144. Simple rework to BasicTypes-gen.cc to avoid refering to the old ast. No larger rework at this time. — ajbeach / detail
  145. Added a missing include (not sure how that slipped through) and did some other replacements so the new ast is the source of constants. — ajbeach / detail
  146. Hang on, eval doesn't have any side effects. — ajbeach / detail
  147. Took out some old code from the new section of the Mangler. — ajbeach / detail
  148. I forgot to move genName over to the new CodeGenerator module. It isn't really a code gen thing, more a modified lookup. — ajbeach / detail
  149. Changed some new uses of UniqueId to the ast version. Changed where some debugging variables are stored. — ajbeach / detail
  150. rename files gcc-builtins.cf builtins.cf extras.cf bootloader.cf and sync-builtins.cf with suffix .cfa — Peter Buhr / detail
  151. Added test for the checks on the constructor/destructor attributes. — ajbeach / detail
  152. removed print from static and dynamic tests that could be reordered due to a race — caparson / detail
  153. Refactored the OperatorTable module. Most is just an update in style and some documentation. I did add a function that should be a useful utility for the demangler. — ajbeach / detail
  154. added cofor implementation — caparson / detail
  155. Added supporting library routines for cofor impl — caparson / detail
  156. switched test to use new cofor syntax — caparson / detail
  157. Updated the demangler to also demangle operator names. You can also pass a filename to demangle now. There is also a test, but I don't really know what good tests are for the demangler. — ajbeach / detail
  158. removed fences for ARM that are likely not needed, insertion of fences into waituntil codegen TBD — caparson / detail
  159. forgot to include in last push. Added a get_proc_count that doesn't need a cluster argument — caparson / detail
  160. The demangler now uses the compiler's genType. The only difference I can find is that the demangler genType wrote functions ': RET_TYPE' instead of the C style. If this or a different change turns out to be imported it will have to be replicated post-translation. — ajbeach / detail
  161. Translated the demangling code from the old ast to the new ast. — ajbeach / detail
  162. Made UniqueName use other tools we have, removed the unused default and did some general clean-up. — ajbeach / detail
  163. Remove BaseSyntaxNode and clean-up. — ajbeach / detail
  164. Removed an extra forward declaration. — ajbeach / detail
  165. Took the special main linkage code out of FunctionDecl and put it into a new pass. There is also a lot of related clean-up done. — ajbeach / detail
  166. input manipulators for getline, excl, and incl reset argument to null string for failed read, temporarily make reading a C-string have the same semantics — Peter Buhr / detail
  167. update bibliography entries — Peter Buhr / detail
  168. formatting — Peter Buhr / detail
  169. some updates — j82liang / detail
  170. latex formatting changes — Peter Buhr / detail
  171. Removed forward declarations missed in the BaseSyntaxNode removal. Removed code and modified names to support two versions of the ast. — ajbeach / detail
  172. remove old enum.md file — Peter Buhr / detail
  173. Remove the warning directive from SpecCost, you can't actually use the standard maybe_accept here, it does not allow the user to insert code between visiting elements in a container. — ajbeach / detail
  174. Fixed non-local ehm memory leak that occurs when a coroutine is deleted while suspended in a catchresume handler — caparson / detail
  175. added test case for non-local ehm memory leak — caparson / detail
  176. Some clean-up in src/Makefile.am (no change in behaviour). — ajbeach / detail
  177. It turns out enumerate does work if you use this very particular form of the for loop added in C++17. Ironically in this simple vector case it is about as complex. Swapped the order of fields in the enuemate value to make the binding read key-then-value. — ajbeach / detail
  178. Major round of clean-up in the GenPoly directory. — ajbeach / detail
  179. added architecture specific expect files for non-local exception test since it uses prng — caparson / detail
  180. added arm64 expect file for non-local exception test — caparsons / detail
  181. added x86 expect file for non-local exception test cardgame — caparsons / detail
  182. Round of clean-up in Tuples directory. (Skipping TupleExpansion, which will be fused together later.) — ajbeach / detail
  183. Reformating and clean-up in SymTab directory. — ajbeach / detail
  184. fixed bug where uninit mem was sometimes printed in test — caparson / detail
  185. regen expected to match test change — caparsons / detail
  186. Most of ResolvExpr was written before the new style standard. Some files updated, focus on headers. — ajbeach / detail
  187. fixed error where order of argument eval in compiler could cause different code to be generated — caparson / detail
  188. formatting — Peter Buhr / detail
  189. raise exception missing_data when read fails to find value, initial code for quoted manipulator — Peter Buhr / detail
  190. proofread enumeration proposal — Peter Buhr / detail
  191. formatting — Peter Buhr / detail
  192. slight restructuring of automake rules for generating the demangler — Peter Buhr / detail
  193. disable building the demangler (executable and library) — Peter Buhr / detail
  194. fixed bug where cofor runner could derefence a null pointer — caparson / detail
  195. Did some investigation of WithStmt. It may not be possible to convert it to a Stmt without changing how SymbolTable handles the with clauses. — ajbeach / detail
  196. Added a test showing how the conflict handling in the with clause currently works. — ajbeach / detail
  197. Removed Decl::fromId as it was unused. There are a few places that use uniqueId directly. — ajbeach / detail
  198. Round of significant clean-up and reindentation of InitTweak directory. — ajbeach / detail
  199. Round of clean-up in the Concurrency directory headers. — ajbeach / detail
  200. Box pass Eraser now removes the polymorphic arguments now that the functions are no longer actually polymorphic. — ajbeach / detail
  201. Slight improvement to forall clause erasing. — ajbeach / detail
  202. formatting — Peter Buhr / detail
  203. formatting — Peter Buhr / detail
  204. formatting — Peter Buhr / detail
  205. formatting — Peter Buhr / detail
  206. Update enum.tex — j82liang / detail
  207. Removed unused case in CurrentObject::findNext. Did a bit of clean-up in the area. — ajbeach / detail
  208. Completed the second demangler/automake task: The demangler (when built) in played in the driver directory beside cfa-cc. — ajbeach / detail
  209. Removed the old-ast-compatable FunctionDecl constructor. However, enough cases pass nothing polymorphic along some of the uses of the constructor now go to a new monomorphic function constructor. — ajbeach / detail
  210. Updated .gitignore for the new location of demangler. — ajbeach / detail
  211. Combined the new and old TupleExpansion files. — ajbeach / detail
  212. Removed 'New' suffixes, they are no longer needed for disambiguation. — ajbeach / detail
  213. Renamed ResolvMode to ResolveMode. This is less consistent with the namespace, but is more consistent with almost everything else. — ajbeach / detail
  214. Rename the ScrubTyVars moduel to ScrubTypeVars. This makes it more consistent with the data types and function names now used. — ajbeach / detail
  215. Rename the linkReferenceTypes pass and the file that contains it. BaseInstType used to be called ReferenceToType, so the reason for the pass being called that is no longer true. — ajbeach / detail
  216. Removed some code that supported ast conversion, it supported ast translation, and that is done. — ajbeach / detail
  217. Implicit and layout parameters are now marked as const. This is primarily a safety feature to catch bad writes. — ajbeach / detail
  218. Just some random clean-up in Box pass while I was musing. — ajbeach / detail
  219. Some general clean-up, removing bits and pieces from the old version. — ajbeach / detail
  220. Moved include from Decl header. Removed some old ast code from the Parser. — ajbeach / detail
  221. reduce runtime testing duration of PRNG — Peter Buhr / detail
  222. update PRNG output for x86 — Peter Buhr / detail
  223. change incorrect architecture name __arm_64__ to __aarch64__ — Peter Buhr / detail
  224. add PRNG expected output for arm64 — Peter Buhr / detail
  225. Clean-up of the chain mutator. Seems like it is underused. — ajbeach / detail
  226. (Not really readable right now. Will clean up today and probably tomorrow) 1. Remove implicit conversion; 2. Companion trait; — j82liang / detail
  227. Try terminate now does not call the catch function, now they have the same caller. This involved updating some platform dependent code which should be correct in all cases. — ajbeach / detail
  228. Accept Peter's proofreading and adjustment of examples to current syntax — mlbrooks / detail
  229. Recent thesis writing — mlbrooks / detail
  230. change containers/list.hfa to collections/list.hfa in thesis test files — Peter Buhr / detail
  231. comment out assert( s1_mid == fc ) bug — Peter Buhr / detail
  232. comment out missing lstinputlisting files, fix missing @'s for lstinline code — Peter Buhr / detail
  233. Missing files from last thesis push — mlbrooks / detail
  234. comment back in lstinputlisting files after missing files pushed — Peter Buhr / detail
  235. Minimal change to get exceptions running the old way while a fix is found. Or even more details on the problem. — ajbeach / detail
  236. add papers directory and start populating it — Peter Buhr / detail
  237. first attempt at simplifying SemanticError and its usage — Peter Buhr / detail
  238. formatting — Peter Buhr / detail
  239. update expected output from tests after changes in semantic error messages — Peter Buhr / detail
  240. Change the unification scheme — j82liang / detail
  241. A harder revert of exception changes, hopefully it will get the tests working. — ajbeach / detail
  242. Started the storage section (inling and weak reference) — j82liang / detail
  243. first attempt at simplifying SemanticWarning, inline SemanticError routine — Peter Buhr / detail
  244. second attempt at simplifying SemanticError messages — Peter Buhr / detail
  245. small proofreading changes — Peter Buhr / detail
  246. Small fix in code generation. The first case in a switch is formatted properly. — ajbeach / detail
  247. Update enumeration data structure — j82liang / detail
  248. Another attempt at fixing execptions. It is very close to the last attempt but the offsets have been updated and checked. — ajbeach / detail
  249. Clean-up in the exception translate pass. This changes some patterns from pre-translation and sets some things up for later reworks. — ajbeach / detail
  250. You can how use local control flow out of 'catch' clauses. Added a test to show that it works. — ajbeach / detail
  251. Forgot to remove an unused function from the exception code. — ajbeach / detail
  252. Reorganization of Linkage::Spec. is_mangled represented two properties with is_gcc_builtin separating them in one case. The second property is_overloadable which replaces is_gcc_builtin. — ajbeach / detail
  253. Small bug fix in code generation. Seems to only come up while generating intermediate code. — ajbeach / detail
  254. Remove extra compound statement and clean-up in InitTweak. — ajbeach / detail
  255. Hoist nested enum in Struct — j82liang / detail
  256. formatting, change cmp to strcmp, add strlen and strcat — Peter Buhr / detail
  257. formatting — Peter Buhr / detail
  258. continue to work on quoted formatting and generalization — Peter Buhr / detail
  259. first attempt to interpose dl_iterate_phdr with disable/enable interrupt protection — Peter Buhr / detail
  260. update string testing and expected output — Peter Buhr / detail
  261. update manipulator testing and expected output — Peter Buhr / detail
  262. update command-line processing — Peter Buhr / detail
  263. Enable array RAII and provide uninit(-), a uNoCtor equivalent. — mlbrooks / detail

#712 (Jan 10, 2024, 11:50:40 PM)

  1. Enable array RAII and provide uninit(-), a uNoCtor equivalent. — mlbrooks / detail

#706 (Jan 4, 2024, 11:51:05 PM)

  1. Hoist nested enum in Struct — j82liang / detail
  2. formatting, change cmp to strcmp, add strlen and strcat — Peter Buhr / detail
  3. formatting — Peter Buhr / detail
  4. continue to work on quoted formatting and generalization — Peter Buhr / detail
  5. first attempt to interpose dl_iterate_phdr with disable/enable interrupt protection — Peter Buhr / detail
  6. update string testing and expected output — Peter Buhr / detail
  7. update manipulator testing and expected output — Peter Buhr / detail
  8. update command-line processing — Peter Buhr / detail

#699 (Dec 23, 2023, 11:49:17 PM)

  1. Remove extra compound statement and clean-up in InitTweak. — ajbeach / detail

#698 (Dec 21, 2023, 11:51:07 PM)

  1. Reorganization of Linkage::Spec. is_mangled represented two properties with is_gcc_builtin separating them in one case. The second property is_overloadable which replaces is_gcc_builtin. — ajbeach / detail
  2. Small bug fix in code generation. Seems to only come up while generating intermediate code. — ajbeach / detail

#697 (Dec 20, 2023, 11:51:58 PM)

  1. You can how use local control flow out of 'catch' clauses. Added a test to show that it works. — ajbeach / detail
  2. Forgot to remove an unused function from the exception code. — ajbeach / detail

#696 (Dec 19, 2023, 11:50:07 PM)

  1. Clean-up in the exception translate pass. This changes some patterns from pre-translation and sets some things up for later reworks. — ajbeach / detail

#694 (Dec 18, 2023, 5:43:54 PM)

  1. Another attempt at fixing execptions. It is very close to the last attempt but the offsets have been updated and checked. — ajbeach / detail

#692 (Dec 16, 2023, 11:50:29 PM)

  1. Change the unification scheme — j82liang / detail
  2. Started the storage section (inling and weak reference) — j82liang / detail
  3. Update enumeration data structure — j82liang / detail

#691 (Dec 15, 2023, 11:50:16 PM)

  1. small proofreading changes — Peter Buhr / detail
  2. Small fix in code generation. The first case in a switch is formatted properly. — ajbeach / detail

#690 (Dec 14, 2023, 11:49:52 PM)

  1. first attempt at simplifying SemanticWarning, inline SemanticError routine — Peter Buhr / detail
  2. second attempt at simplifying SemanticError messages — Peter Buhr / detail

#689 (Dec 13, 2023, 11:49:21 PM)

  1. (Not really readable right now. Will clean up today and probably tomorrow) 1. Remove implicit conversion; 2. Companion trait; — j82liang / detail
  2. Try terminate now does not call the catch function, now they have the same caller. This involved updating some platform dependent code which should be correct in all cases. — ajbeach / detail
  3. Accept Peter's proofreading and adjustment of examples to current syntax — mlbrooks / detail
  4. Recent thesis writing — mlbrooks / detail
  5. change containers/list.hfa to collections/list.hfa in thesis test files — Peter Buhr / detail
  6. comment out assert( s1_mid == fc ) bug — Peter Buhr / detail
  7. comment out missing lstinputlisting files, fix missing @'s for lstinline code — Peter Buhr / detail
  8. Missing files from last thesis push — mlbrooks / detail
  9. comment back in lstinputlisting files after missing files pushed — Peter Buhr / detail
  10. Minimal change to get exceptions running the old way while a fix is found. Or even more details on the problem. — ajbeach / detail
  11. add papers directory and start populating it — Peter Buhr / detail
  12. first attempt at simplifying SemanticError and its usage — Peter Buhr / detail
  13. formatting — Peter Buhr / detail
  14. update expected output from tests after changes in semantic error messages — Peter Buhr / detail
  15. A harder revert of exception changes, hopefully it will get the tests working. — ajbeach / detail

#685 (Dec 8, 2023, 11:27:24 AM)

  1. formatting — Peter Buhr / detail
  2. formatting — Peter Buhr / detail
  3. reduce runtime testing duration of PRNG — Peter Buhr / detail
  4. update PRNG output for x86 — Peter Buhr / detail
  5. change incorrect architecture name __arm_64__ to __aarch64__ — Peter Buhr / detail
  6. add PRNG expected output for arm64 — Peter Buhr / detail
  7. Clean-up of the chain mutator. Seems like it is underused. — ajbeach / detail

#684 (Dec 4, 2023, 11:58:21 PM)

  1. Some general clean-up, removing bits and pieces from the old version. — ajbeach / detail
  2. Moved include from Decl header. Removed some old ast code from the Parser. — ajbeach / detail

#681 (Dec 2, 2023, 2:05:55 PM)

  1. Implicit and layout parameters are now marked as const. This is primarily a safety feature to catch bad writes. — ajbeach / detail
  2. Just some random clean-up in Box pass while I was musing. — ajbeach / detail

#680 (Nov 30, 2023, 11:50:30 PM)

  1. Combined the new and old TupleExpansion files. — ajbeach / detail
  2. Removed 'New' suffixes, they are no longer needed for disambiguation. — ajbeach / detail
  3. Renamed ResolvMode to ResolveMode. This is less consistent with the namespace, but is more consistent with almost everything else. — ajbeach / detail
  4. Rename the ScrubTyVars moduel to ScrubTypeVars. This makes it more consistent with the data types and function names now used. — ajbeach / detail
  5. Rename the linkReferenceTypes pass and the file that contains it. BaseInstType used to be called ReferenceToType, so the reason for the pass being called that is no longer true. — ajbeach / detail
  6. Removed some code that supported ast conversion, it supported ast translation, and that is done. — ajbeach / detail

#678 (Nov 28, 2023, 11:56:53 PM)

  1. Completed the second demangler/automake task: The demangler (when built) in played in the driver directory beside cfa-cc. — ajbeach / detail
  2. Removed the old-ast-compatable FunctionDecl constructor. However, enough cases pass nothing polymorphic along some of the uses of the constructor now go to a new monomorphic function constructor. — ajbeach / detail
  3. Updated .gitignore for the new location of demangler. — ajbeach / detail

#677 (Nov 27, 2023, 11:56:32 PM)

  1. Update enum.tex — j82liang / detail
  2. Removed unused case in CurrentObject::findNext. Did a bit of clean-up in the area. — ajbeach / detail

#676 (Nov 26, 2023, 11:55:32 PM)

  1. Box pass Eraser now removes the polymorphic arguments now that the functions are no longer actually polymorphic. — ajbeach / detail
  2. Slight improvement to forall clause erasing. — ajbeach / detail
  3. formatting — Peter Buhr / detail
  4. formatting — Peter Buhr / detail

#673 (Nov 21, 2023, 11:50:54 PM)

  1. Did some investigation of WithStmt. It may not be possible to convert it to a Stmt without changing how SymbolTable handles the with clauses. — ajbeach / detail
  2. Added a test showing how the conflict handling in the with clause currently works. — ajbeach / detail
  3. Removed Decl::fromId as it was unused. There are a few places that use uniqueId directly. — ajbeach / detail
  4. Round of significant clean-up and reindentation of InitTweak directory. — ajbeach / detail
  5. Round of clean-up in the Concurrency directory headers. — ajbeach / detail

#672 (Nov 20, 2023, 11:50:28 PM)

  1. proofread enumeration proposal — Peter Buhr / detail
  2. formatting — Peter Buhr / detail
  3. slight restructuring of automake rules for generating the demangler — Peter Buhr / detail
  4. disable building the demangler (executable and library) — Peter Buhr / detail
  5. fixed bug where cofor runner could derefence a null pointer — caparson / detail

#670 (Nov 18, 2023, 11:53:56 PM)

  1. Fixed non-local ehm memory leak that occurs when a coroutine is deleted while suspended in a catchresume handler — caparson / detail
  2. added test case for non-local ehm memory leak — caparson / detail
  3. Some clean-up in src/Makefile.am (no change in behaviour). — ajbeach / detail
  4. It turns out enumerate does work if you use this very particular form of the for loop added in C++17. Ironically in this simple vector case it is about as complex. Swapped the order of fields in the enuemate value to make the binding read key-then-value. — ajbeach / detail
  5. Major round of clean-up in the GenPoly directory. — ajbeach / detail
  6. added architecture specific expect files for non-local exception test since it uses prng — caparson / detail
  7. added arm64 expect file for non-local exception test — caparsons / detail
  8. added x86 expect file for non-local exception test cardgame — caparsons / detail
  9. Round of clean-up in Tuples directory. (Skipping TupleExpansion, which will be fused together later.) — ajbeach / detail
  10. Reformating and clean-up in SymTab directory. — ajbeach / detail
  11. fixed bug where uninit mem was sometimes printed in test — caparson / detail
  12. regen expected to match test change — caparsons / detail
  13. Most of ResolvExpr was written before the new style standard. Some files updated, focus on headers. — ajbeach / detail
  14. fixed error where order of argument eval in compiler could cause different code to be generated — caparson / detail
  15. formatting — Peter Buhr / detail
  16. raise exception missing_data when read fails to find value, initial code for quoted manipulator — Peter Buhr / detail

#669 (Nov 13, 2023, 11:51:55 PM)

  1. some updates — j82liang / detail
  2. latex formatting changes — Peter Buhr / detail
  3. Removed forward declarations missed in the BaseSyntaxNode removal. Removed code and modified names to support two versions of the ast. — ajbeach / detail
  4. remove old enum.md file — Peter Buhr / detail
  5. Remove the warning directive from SpecCost, you can't actually use the standard maybe_accept here, it does not allow the user to insert code between visiting elements in a container. — ajbeach / detail

#667 (Nov 11, 2023, 11:52:48 PM)

  1. input manipulators for getline, excl, and incl reset argument to null string for failed read, temporarily make reading a C-string have the same semantics — Peter Buhr / detail
  2. update bibliography entries — Peter Buhr / detail
  3. formatting — Peter Buhr / detail

#666 (Nov 10, 2023, 11:52:17 PM)

  1. Took the special main linkage code out of FunctionDecl and put it into a new pass. There is also a lot of related clean-up done. — ajbeach / detail

#665 (Nov 10, 2023, 11:47:59 AM)

  1. Removed an extra forward declaration. — ajbeach / detail

#664 (Nov 9, 2023, 11:52:15 PM)

  1. Remove BaseSyntaxNode and clean-up. — ajbeach / detail

#663 (Nov 8, 2023, 12:02:38 AM)

  1. added cofor implementation — caparson / detail
  2. Added supporting library routines for cofor impl — caparson / detail
  3. switched test to use new cofor syntax — caparson / detail
  4. Updated the demangler to also demangle operator names. You can also pass a filename to demangle now. There is also a test, but I don't really know what good tests are for the demangler. — ajbeach / detail
  5. removed fences for ARM that are likely not needed, insertion of fences into waituntil codegen TBD — caparson / detail
  6. forgot to include in last push. Added a get_proc_count that doesn't need a cluster argument — caparson / detail
  7. The demangler now uses the compiler's genType. The only difference I can find is that the demangler genType wrote functions ': RET_TYPE' instead of the C style. If this or a different change turns out to be imported it will have to be replicated post-translation. — ajbeach / detail
  8. Translated the demangling code from the old ast to the new ast. — ajbeach / detail
  9. Made UniqueName use other tools we have, removed the unused default and did some general clean-up. — ajbeach / detail

#660 (Nov 4, 2023, 12:02:44 AM)

  1. Refactored the OperatorTable module. Most is just an update in style and some documentation. I did add a function that should be a useful utility for the demangler. — ajbeach / detail

#659 (Nov 3, 2023, 12:02:40 AM)

  1. Changed some new uses of UniqueId to the ast version. Changed where some debugging variables are stored. — ajbeach / detail
  2. rename files gcc-builtins.cf builtins.cf extras.cf bootloader.cf and sync-builtins.cf with suffix .cfa — Peter Buhr / detail
  3. Added test for the checks on the constructor/destructor attributes. — ajbeach / detail
  4. removed print from static and dynamic tests that could be reordered due to a race — caparson / detail

#658 (Nov 1, 2023, 12:02:05 AM)

  1. Took out some old code from the new section of the Mangler. — ajbeach / detail
  2. I forgot to move genName over to the new CodeGenerator module. It isn't really a code gen thing, more a modified lookup. — ajbeach / detail

#657 (Oct 31, 2023, 1:09:41 PM)

  1. I don't actually know if this fixes anything, but the old version was definitely not doing anything and this is should have the same behaviour as the old one, and run just a bit faster. — ajbeach / detail
  2. Parser now uses constants from the new ast types. — ajbeach / detail
  3. Simple rework to BasicTypes-gen.cc to avoid refering to the old ast. No larger rework at this time. — ajbeach / detail
  4. Added a missing include (not sure how that slipped through) and did some other replacements so the new ast is the source of constants. — ajbeach / detail
  5. Hang on, eval doesn't have any side effects. — ajbeach / detail

#655 (Oct 29, 2023, 12:08:40 AM)

  1. Updated some stats/counters to trigger off the new AST. Others will just have to be updated/re-added later because the support code to run them is missing and I don't know what stats we might need in the future. — ajbeach / detail
  2. Code dumps (under the -P flag) no longer convert to the old ast to print. — ajbeach / detail

#654 (Oct 27, 2023, 12:01:55 AM)

  1. Translation of the fix main pass to the new ast data structures. — ajbeach / detail

#653 (Oct 26, 2023, 12:05:05 AM)

  1. Direct translation of code generation. — ajbeach / detail

#652 (Oct 25, 2023, 12:07:19 AM)

  1. formatting — Peter Buhr / detail

#651 (Oct 24, 2023, 8:04:37 PM)

  1. Make all new declarations have a properly defined LinkageSpec. Also some general clean-up. — ajbeach / detail
  2. test as.cc file on ARM — Peter Buhr / detail
  3. comment out debug prints — Peter Buhr / detail
  4. add __i386 with __x86_64 — Peter Buhr / detail

#650 (Oct 24, 2023, 12:06:17 AM)

  1. Fix typo{ — j82liang / detail
  2. add arm64 to Jenkins nightly build — Peter Buhr / detail
  3. add ARM architecture to nightly build — Peter Buhr / detail
  4. add ARM architecture to nightly build — Peter Buhr / detail
  5. add ARM architecture to regression tests — Peter Buhr / detail
  6. fix typing mistake: arm4 to arm64 — Peter Buhr / detail
  7. formatting — Peter Buhr / detail
  8. formatting — Peter Buhr / detail
  9. formatting, add PRNG copy to checkpoint PRNG state, remove autogen PRNG copy constructor and assignment to prevent accidental PRNG copy — Peter Buhr / detail
  10. change host from arm64 to aarch64 for ARM nightly build — Peter Buhr / detail
  11. Took the new EraseWith pass out of the box pass. It might be able to go even earlier or folded into an existing pass. C code generation now will not generate WithStmt nodes. — ajbeach / detail
  12. formatting, SKULLDUGGERY to remove spurious free-nonheap-object warning — Peter Buhr / detail
  13. allow precision < 3 for manipulator eng — Peter Buhr / detail
  14. Implemented corun statement — caparsons / detail
  15. Updated cofor test to use new corun statement — caparsons / detail
  16. added error message for using corun statements without including the appropriate header — caparsons / detail
  17. Changed cofor files to support the corun statement — caparsons / detail
  18. Fixed up some whitespace. Pretty minor stuff mostly. — ajbeach / detail
  19. Clean-up of some names and comments. Removed some TODO comments which are too old to do anything with. — ajbeach / detail
  20. Added fence after channel handoff to prevent reordering on the arm that resulted in stale values — caparsons / detail
  21. temporary fix to linkonce problem by changing -7 to 7 so initialization does not invoke an operator — Peter Buhr / detail
  22. change valide (French) to valid (English) — Peter Buhr / detail
  23. Layout function builds its entire parameter list before creating the declaration now. — ajbeach / detail
  24. Initial commit — j82liang / detail
  25. updates to the uC++toCFA cheat sheet — Peter Buhr / detail
  26. Boxing no longer passes layout information about polymorphic types in the signature of the function. This simplifies the sub-passes in the box pass that added the arguments to the calls, the parameters to the declarations, and used the information internally. The effects in functions are less well quantified, because there are cases were the information has to be generated instead of passed in, but it is also never passed in (or generated) when not needed at all. — ajbeach / detail
  27. Update the introduction — j82liang / detail
  28. Rename and move the file to proposal — j82liang / detail
  29. Remove some cruft from the box pass. Some pieces left over from earlier versions that are no longer needed and some rejected notes. — ajbeach / detail
  30. temporally remove gcc-9 from ARM nightly build because it is failing — Peter Buhr / detail
  31. TypeVarMap is now a subtype instead of an alias to remove the redundent constructor argument. Various bits of box pass clean-up. — ajbeach / detail
  32. Small refactoring of some helper functions to avoid repeating a loop. — ajbeach / detail
  33. add additional test for engineering and unit manipulator output — Peter Buhr / detail
  34. Change string-read semantics so that reading nothing leaves the original value unmodified. — mlbrooks / detail
  35. Work on the box pass, fixing up the FunctionDecl update. — ajbeach / detail
  36. added missing ARM fence on the signallee side of channel handoff — caparsons / detail
  37. first attempt at new C string input — Peter Buhr / detail
  38. added fence to failing test to hopefully fix stale data issue on the arm, if this passes this fence will be put in waituntil code gen — caparsons / detail
  39. remove ISTYPE_VOID and ISTYPE_VOID_IMPL, and ends for input — Peter Buhr / detail
  40. change genericUnion test fromt printf to sout — Peter Buhr / detail
  41. ifdef'd the arm fences that were added to channels so that they only appear on the arm — caparsons / detail
  42. added WO fences for mcs spin lock to fix failing arm test — caparsons / detail
  43. added missing semicolons — caparson / detail
  44. temporary change to as command to test ARM build — Peter Buhr / detail
  45. add gcc-9 back into ARM full build — Peter Buhr / detail

#649 (Oct 7, 2023, 12:02:20 AM)

  1. Fix compiler bug where duplicate type declarations caused crash. — mlbrooks / detail

#648 (Oct 6, 2023, 12:01:49 AM)

  1. Updated some documentation about the Instantiate Generic pass. — ajbeach / detail
  2. Implement "scanset" semantics for manipulator `skip`, in place of exact-match. — mlbrooks / detail
  3. Support match-failure reporting for string input. — mlbrooks / detail
  4. Fixes to Box pass's DeclAdapter. The two largest are: Only local information in scopeTypeVars was used so it was replaced with localTypeVars, that greatly simplified the pass. The added parameters are also divided into groups more consistently. — ajbeach / detail
  5. Fix read-to-variable-length-string cases when internal buffer fills. — mlbrooks / detail

#647 (Oct 5, 2023, 12:01:52 AM)

  1. Translated the Link-Once pass to the new ast. — ajbeach / detail
  2. increase timeout in test.py from 180 to 240 seconds to deal with long locking tests on the ARM — Peter Buhr / detail
  3. First clean-up pass on box pass. Some of it is stuff that could have been done in the initial commit but there was just so much of it. The rest is mostly simple restructuring that makes the translation less direct. — ajbeach / detail

#646 (Oct 4, 2023, 12:02:01 AM)

  1. Translated the box pass to the new AST. This includes direct as possible translations of the existing passes are two fix in passes which correct AST problems the direct translation causes. Outside the box pass there have already been many changes, ad there is another in Instantiate Generics, which disconnects designators instead of leaving them connected to the original polymorphic type, which breaks the invarants once the fields are removed in the Eraser sub-pass. There was also a change that was made and un-made in one commit. If translate from the new-AST to the old-AST part way you must, where possible, sort the TypeEnvKey values by string comparison. However, it now passes over that so it would be just extra complexity and run time, so I removed it. I stand at the exit from a great woods, just shy of a year from when I entered it. It has been a difficult and tiring journey. The path has been long and at times comically winding; but most often it was invisible, hidden under an impenetrable canopy and I spend days looking for it. All for a short jog forward before getting lost again. In front of me is another woods. It looks smaller, but I can't see the other side. Anyways, time to keep walking. — ajbeach / detail
  2. add corun/cofor statement, update old cofor — Peter Buhr / detail

#645 (Oct 2, 2023, 11:59:46 PM)

  1. added enable/disable ehm with no params for coroutines — caparsons / detail
  2. added hotpotato non-local ehm test in both enable/disable and poll flavours — caparsons / detail
  3. a bit of cleanup of the hotpotato tests — caparsons / detail
  4. final hotpotato cleanup, removed two unneeded routines from explicit polling flavour — caparsons / detail
  5. make hotpotato test 32/64-bit specific due to different prng — Peter Buhr / detail
  6. create 32-bit test results for hotpotato — Peter Buhr / detail
  7. create ARM test results for hotpotato — Peter Buhr / detail
  8. add keyword _Exception to uC++ lstlisting — Peter Buhr / detail
  9. update citation entry — Peter Buhr / detail
  10. add command setgcolumn to set lstlisting comment-column alignment, change size of lstlisting ^ character — Peter Buhr / detail
  11. general updates to the Cforall user manual — Peter Buhr / detail
  12. add keywords alignas, alignof, static_assert, and thread_local — Peter Buhr / detail

#644 (Sep 30, 2023, 11:59:17 PM)

  1. fix lock/unlock for heap statistic-mode — Peter Buhr / detail

#643 (Sep 28, 2023, 11:59:31 PM)

  1. add using namespace std to cfa.cc — Peter Buhr / detail
  2. update help message from main.cc — Peter Buhr / detail
  3. tweak comments for CFA comand-line options — Peter Buhr / detail
  4. update tiobe index, update new command-line documentation — Peter Buhr / detail

#642 (Sep 27, 2023, 11:58:55 PM)

  1. formatting, remove unnecessary use of c_str(), add better debug printing for cc1 — Peter Buhr / detail

#640 (Sep 26, 2023, 12:00:13 AM)

  1. Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration — j82liang / detail
  2. Revert "Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration" — j82liang / detail
  3. Fix designation value error — j82liang / detail

#638 (Sep 19, 2023, 11:58:26 PM)

  1. refactor cofor.hfa into cofor.cfa, adjust Makefile.am to handle cofor.cfa — Peter Buhr / detail
  2. formatting — Peter Buhr / detail
  3. formatting — Peter Buhr / detail
  4. remove superfluous inner_loop routine — Peter Buhr / detail

#637 (Sep 18, 2023, 11:59:30 PM)

  1. added cofor macro — caparsons / detail
  2. updated cofor test to use macro — caparsons / detail

#636 (Sep 18, 2023, 12:00:07 AM)

  1. add uC++toCFA document — Peter Buhr / detail
  2. clean up command-line handling and I/O — Peter Buhr / detail
  3. formatting, replace constructor calls with set_allocation calls — Peter Buhr / detail

#634 (Sep 14, 2023, 11:59:24 PM)

  1. committed makefile change for cofor include — caparsons / detail
  2. Update max/min so n-ary version doesn't match against the 2 argument case. Also added a test. — ajbeach / detail
  3. Some mistakes in isPolyType found while working on the box pass. There was a new-ast verison using the old type map and, perhaps relatedly, the new type map version recursed into the no type map form. Also some clean-up in related functions. — ajbeach / detail

#633 (Sep 13, 2023, 11:58:57 PM)

  1. Added cfa equivalent of cofor/cobegin/coend — caparsons / detail
  2. Added another check to the invariants for SizeofExpr/AlignofExpr. — ajbeach / detail

#631 (Sep 12, 2023, 12:00:44 AM)

  1. add malloc_stats_clear routine to zero the heap master and all active thread heaps — Peter Buhr / detail
  2. Incorporated changes in response to Trevor's comments. — caparsons / detail
  3. Added references when incorporating Trevor's comments — caparsons / detail

#629 (Sep 10, 2023, 12:01:27 AM)

  1. add getenv, strlen, strcmp, strncmp to extras — Peter Buhr / detail
  2. rename clock routines processor and program to processor_cpu and program_cpu to deal with name clash with processor — Peter Buhr / detail
  3. formatting — Peter Buhr / detail

#628 (Sep 9, 2023, 12:02:15 AM)

  1. Fix cstring input length interpretation issue that had a buffer overflow case. — mlbrooks / detail
  2. Insert additional checks so that impossible, or just unimplemented, local control flow raises an error in CFA. — ajbeach / detail

#627 (Sep 8, 2023, 12:00:50 AM)

  1. Implement full set of relational operators for strings — mlbrooks / detail
  2. proofread chapters CFA_concurrency, intro, and conclusion — Peter Buhr / detail
  3. merged in Peter's edits with a few small changes — caparsons / detail
  4. made some small formatting changes — caparsons / detail

#626 (Sep 6, 2023, 11:58:52 PM)

  1. formatting — mlbrooks / detail
  2. Duplicate manipulator read-to-string code for string_res, and test. — mlbrooks / detail
  3. Deduplicate manipulator read-to-string by delegating from string to string_res. — mlbrooks / detail
  4. Bug fix — j82liang / detail
  5. expanded upon intro and conclusion — caparsons / detail
  6. Clean-up in MultiLevelExit. Primary purpose is to remove some uneeded fill code. — ajbeach / detail
  7. changes over all usages of uC++ collections to use dlist instead — caparsons / detail
  8. Allow uninitialized enum value as designators — j82liang / detail

#625 (Sep 5, 2023, 11:59:02 PM)

  1. Rename internal macro away from `TYPE`, which is a cs343 name collision. — mlbrooks / detail
  2. Port basic input-manipulator test from cstring to string and fix resulting bug. — mlbrooks / detail
  3. edited thesis to incorporate Gregors comments — caparsons / detail

#624 (Sep 4, 2023, 11:58:36 PM)

  1. use arm64 to select 64-bit random numbers — Peter Buhr / detail
  2. add get_seed for thread random numbers — Peter Buhr / detail
  3. simplify 32/64-bit random-number constructors — Peter Buhr / detail
  4. fix get_seed signature — Peter Buhr / detail
  5. remove ucpp-style collections used before Mike's lists — Peter Buhr / detail
  6. Revert "remove ucpp-style collections used before Mike's lists" — Peter Buhr / detail
  7. remove unnecessary include bits/sequence.hfa — Peter Buhr / detail
  8. add include bits/sequence.hfa to pthread.cfa after removing it from weakso_lock.hfa — Peter Buhr / detail
  9. remove empty rule in cfa_abstract_parameter_declaration to remove conflicts — Peter Buhr / detail

#623 (Sep 3, 2023, 12:02:35 AM)

  1. add reading fixed strings, seperate skip input manipulator, getline checks for delimiter — Peter Buhr / detail
  2. add string output manipulators, third attempt at input manipulators for strings — Peter Buhr / detail
  3. test reading fixed strings — Peter Buhr / detail

#622 (Sep 1, 2023, 11:59:34 PM)

  1. Save parser change for git pull — j82liang / detail
  2. Basic change for enable enumerated array syntax — j82liang / detail
  3. second attempt at input manipulators for strings — Peter Buhr / detail
  4. rename directories containers to collections — Peter Buhr / detail
  5. more rename directories containers to collections — Peter Buhr / detail
  6. third attempt at input manipulators for strings — Peter Buhr / detail
  7. Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit — j82liang / detail
  8. The invariant flags on the test script were set up incorrectly. They should do as documented now and be on by default now. — ajbeach / detail
  9. Removed extra copy in FixInitNew. — ajbeach / detail
  10. fixed unhandled exception bug causing deleted memory to be accessed sometimes with full coroutines — caparsons / detail

#621 (Aug 31, 2023, 11:59:53 PM)

  1. Save parser change for git pull — j82liang / detail
  2. Basic change for enable enumerated array syntax — j82liang / detail
  3. second attempt at input manipulators for strings — Peter Buhr / detail
  4. rename directories containers to collections — Peter Buhr / detail
  5. more rename directories containers to collections — Peter Buhr / detail
  6. third attempt at input manipulators for strings — Peter Buhr / detail
  7. Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit — j82liang / detail

#621 (Aug 31, 2023, 11:59:53 PM)

  1. more rename directories containers to collections — Peter Buhr / detail
  2. third attempt at input manipulators for strings — Peter Buhr / detail

#620 (Aug 31, 2023, 12:03:31 AM)

  1. second attempt at input manipulators for strings — Peter Buhr / detail
  2. rename directories containers to collections — Peter Buhr / detail
  3. more rename directories containers to collections — Peter Buhr / detail

#620 (Aug 31, 2023, 12:03:31 AM)

  1. add files Makefile and .gitignore — Peter Buhr / detail
  2. create a glossary example — Peter Buhr / detail
  3. create MMath thesis macros for Jiada — Peter Buhr / detail
  4. change setter routines in basic_i/ostream to return previous state — Peter Buhr / detail
  5. update reading C strings with size check — Peter Buhr / detail
  6. first attempt reading strings in chunks using C strings — Peter Buhr / detail
  7. remove special case for getline in C-string input — Peter Buhr / detail
  8. Fixing space/tabs confusion in ExceptDeclNew.cpp. — ajbeach / detail
  9. Cleaning old box pass for easier translation. Factored out a helper function that is slightly simpler as a helper instead of in the larger function. — ajbeach / detail
  10. formatting, use C-style compound literal — Peter Buhr / detail
  11. first attempt at input manipulators for strings — Peter Buhr / detail
  12. second attempt at input manipulators for strings — Peter Buhr / detail
  13. rename directories containers to collections — Peter Buhr / detail

#618 (Aug 29, 2023, 12:00:59 AM)

  1. Fixing space/tabs confusion in ExceptDeclNew.cpp. — ajbeach / detail
  2. Cleaning old box pass for easier translation. Factored out a helper function that is slightly simpler as a helper instead of in the larger function. — ajbeach / detail
  3. formatting, use C-style compound literal — Peter Buhr / detail
  4. first attempt at input manipulators for strings — Peter Buhr / detail

#616 (Aug 27, 2023, 12:00:07 AM)

  1. remove special case for getline in C-string input — Peter Buhr / detail

#615 (Aug 25, 2023, 12:02:05 AM)

  1. update reading C strings with size check — Peter Buhr / detail
  2. first attempt reading strings in chunks using C strings — Peter Buhr / detail

#609 (Aug 19, 2023, 12:04:51 AM)

  1. change setter routines in basic_i/ostream to return previous state — Peter Buhr / detail

#607 (Aug 16, 2023, 11:57:46 PM)

  1. fix printing of decimal point when manipulator nodp is on — Peter Buhr / detail
  2. add files Makefile and .gitignore — Peter Buhr / detail
  3. create a glossary example — Peter Buhr / detail
  4. create MMath thesis macros for Jiada — Peter Buhr / detail

#606 (Aug 16, 2023, 12:08:41 AM)

  1. fix printing of decimal point when manipulator nodp is on — Peter Buhr / detail
  2. add files Makefile and .gitignore — Peter Buhr / detail
  3. create a glossary example — Peter Buhr / detail
  4. create MMath thesis macros for Jiada — Peter Buhr / detail

#606 (Aug 16, 2023, 12:08:41 AM)

  1. fussed with Figure 7.3 — Peter Buhr / detail
  2. fix figure 7.12 placement — Peter Buhr / detail
  3. fix line break in conclusion — Peter Buhr / detail
  4. missing add of terminating thread-heap statistics to master heap, check for environment variable CFA_MALLOC_STATS and print heap statistics at program termination — Peter Buhr / detail
  5. add comment on lock$ in i/ofstream indicating used by trait is_lock for mutex statement — Peter Buhr / detail
  6. add macros Exception and Throw to simplify using exceptions — Peter Buhr / detail
  7. remove static from Exception macro — Peter Buhr / detail
  8. formatting — Peter Buhr / detail
  9. update exception macros — Peter Buhr / detail
  10. add missing slicing routine with one argument — Peter Buhr / detail
  11. formatting — Peter Buhr / detail
  12. added support for resuming at resumer, added test for support and cleaned up uneeded include in pingpong exception test — caparsons / detail
  13. added comment explaining test — caparsons / detail
  14. fixed nonlocal exception edge case for program main and added poll() routine with no args that polls the currrent active coroutine — caparsons / detail
  15. added exception thrown at main to the cor_resumer test — caparsons / detail
  16. exposed some exception routines to use for non local ehm in coroutines — caparsons / detail
  17. fixed non-local ehm issue and added no arg resumer routine — caparsons / detail
  18. force all input of C strings to specify a maximum length for the string target — Peter Buhr / detail
  19. change test programs to reflect input changes for C strings — Peter Buhr / detail
  20. added warning message and cleanup for unhandled pending non-local exceptions on coroutine shutdown — caparsons / detail
  21. update documentation about changes to I/O — Peter Buhr / detail
  22. fix error when exception propagation does not find a handler and print appropriate message — Peter Buhr / detail
  23. fix incorrect location of decimal point for floating-point value in hex, print base (0x) before 0 for hexadecimal — Peter Buhr / detail
  24. add missing .expect file — Peter Buhr / detail
  25. added code to copy attributes from vtable decl to generated decl — caparsons / detail
  26. Fixed whitespace in last commit, removed extra use of static. — ajbeach / detail
  27. rename file to fix build — Peter Buhr / detail
  28. ARM .expect change due to iostream formatting changes — Peter Buhr / detail
  29. another .expect change to match with the iostream formatting changes — Peter Buhr / detail
  30. remove timeout clause from waituntil statement — Peter Buhr / detail
  31. formatting, remove superfluous space at end of string when printing, change C for-loops into CFA for-loops — Peter Buhr / detail
  32. String input operator with chunked memory management. — mlbrooks / detail
  33. made generated vtable functions link-once — caparsons / detail
  34. move exception macros from common.hfa to their own include file Exception.hfa — Peter Buhr / detail
  35. add new wdi manipulator for C-strings to specify string and read size — Peter Buhr / detail
  36. formatting — Peter Buhr / detail
  37. move setting the default random-generator size from PRNG.cfa to stdlib.hfa, change to the exception macros — Peter Buhr / detail
  38. formatting — Peter Buhr / detail
  39. change examples to use the new wdi manipulator for C-strings to specify string and read size — Peter Buhr / detail
  40. fix printing of decimal point when manipulator nodp is on — Peter Buhr / detail

#605 (Aug 15, 2023, 12:05:50 AM)

  1. made generated vtable functions link-once — caparsons / detail
  2. move exception macros from common.hfa to their own include file Exception.hfa — Peter Buhr / detail
  3. add new wdi manipulator for C-strings to specify string and read size — Peter Buhr / detail
  4. formatting — Peter Buhr / detail
  5. move setting the default random-generator size from PRNG.cfa to stdlib.hfa, change to the exception macros — Peter Buhr / detail
  6. formatting — Peter Buhr / detail
  7. change examples to use the new wdi manipulator for C-strings to specify string and read size — Peter Buhr / detail

#603 (Aug 12, 2023, 11:57:17 PM)

  1. added warning message and cleanup for unhandled pending non-local exceptions on coroutine shutdown — caparsons / detail
  2. update documentation about changes to I/O — Peter Buhr / detail
  3. fix error when exception propagation does not find a handler and print appropriate message — Peter Buhr / detail
  4. fix incorrect location of decimal point for floating-point value in hex, print base (0x) before 0 for hexadecimal — Peter Buhr / detail
  5. add missing .expect file — Peter Buhr / detail
  6. added code to copy attributes from vtable decl to generated decl — caparsons / detail
  7. Fixed whitespace in last commit, removed extra use of static. — ajbeach / detail
  8. rename file to fix build — Peter Buhr / detail
  9. ARM .expect change due to iostream formatting changes — Peter Buhr / detail
  10. another .expect change to match with the iostream formatting changes — Peter Buhr / detail
  11. remove timeout clause from waituntil statement — Peter Buhr / detail
  12. formatting, remove superfluous space at end of string when printing, change C for-loops into CFA for-loops — Peter Buhr / detail
  13. String input operator with chunked memory management. — mlbrooks / detail

#602 (Aug 10, 2023, 12:01:14 AM)

  1. exposed some exception routines to use for non local ehm in coroutines — caparsons / detail
  2. fixed non-local ehm issue and added no arg resumer routine — caparsons / detail
  3. force all input of C strings to specify a maximum length for the string target — Peter Buhr / detail
  4. change test programs to reflect input changes for C strings — Peter Buhr / detail

#600 (Aug 8, 2023, 12:01:47 AM)

  1. formatting — Peter Buhr / detail
  2. update exception macros — Peter Buhr / detail
  3. add missing slicing routine with one argument — Peter Buhr / detail
  4. formatting — Peter Buhr / detail
  5. added support for resuming at resumer, added test for support and cleaned up uneeded include in pingpong exception test — caparsons / detail
  6. added comment explaining test — caparsons / detail
  7. fixed nonlocal exception edge case for program main and added poll() routine with no args that polls the currrent active coroutine — caparsons / detail
  8. added exception thrown at main to the cor_resumer test — caparsons / detail

#598 (Aug 5, 2023, 11:58:44 PM)

  1. missing add of terminating thread-heap statistics to master heap, check for environment variable CFA_MALLOC_STATS and print heap statistics at program termination — Peter Buhr / detail
  2. add comment on lock$ in i/ofstream indicating used by trait is_lock for mutex statement — Peter Buhr / detail
  3. add macros Exception and Throw to simplify using exceptions — Peter Buhr / detail
  4. remove static from Exception macro — Peter Buhr / detail

#595 (Aug 3, 2023, 12:00:38 AM)

  1. various small changes across entire thesis — caparsons / detail
  2. fix month in citation — Peter Buhr / detail
  3. move figure — Peter Buhr / detail
  4. fix number of examples — Peter Buhr / detail
  5. fix bad line break — Peter Buhr / detail
  6. change code listing to figure — Peter Buhr / detail
  7. final proofread of waituntil chapter — Peter Buhr / detail
  8. fixed bad page break and made figure location better — caparsons / detail
  9. fussed with Figure 7.3 — Peter Buhr / detail
  10. fix figure 7.12 placement — Peter Buhr / detail
  11. fix line break in conclusion — Peter Buhr / detail

#594 (Aug 2, 2023, 12:00:06 AM)

  1. various small changes across entire thesis — caparsons / detail
  2. fix month in citation — Peter Buhr / detail
  3. move figure — Peter Buhr / detail
  4. fix number of examples — Peter Buhr / detail
  5. fix bad line break — Peter Buhr / detail
  6. change code listing to figure — Peter Buhr / detail
  7. final proofread of waituntil chapter — Peter Buhr / detail
  8. fixed bad page break and made figure location better — caparsons / detail
  9. fussed with Figure 7.3 — Peter Buhr / detail
  10. fix figure 7.12 placement — Peter Buhr / detail
  11. fix line break in conclusion — Peter Buhr / detail

#594 (Aug 2, 2023, 12:00:06 AM)

  1. fix comments — Peter Buhr / detail
  2. formatting, change set_allocation to return previous value, add get_allocation — Peter Buhr / detail
  3. first draft of full waituntil chapter and conclusion chapter. Lots of graph/plotting utilities cleanup. Reran all CFA actor benchmarks after recent changes. Small changes to actor.tex in performance section — caparsons / detail
  4. added pragma once — caparsons / detail
  5. added termination check for non-stealing actor system — caparsons / detail
  6. removed comment — caparsons / detail
  7. harmonize separator manipulators names with newline names: change from sep, sepTuple, sepEnable, sepDisable, sepOn, sepOff to sepVal, sepTupleVal, sepOn, sepOff, sep, nosep; fix bug printing null string with WD so no separator — Peter Buhr / detail
  8. update files from old separator manipulator names to new names — Peter Buhr / detail
  9. change from printf to sout — Peter Buhr / detail
  10. update user manual from old separator manipulator names to new names — Peter Buhr / detail
  11. add and update citations — Peter Buhr / detail
  12. Updated indentation in AST/LinckageSpec. — ajbeach / detail
  13. fix number of calls to latex — Peter Buhr / detail
  14. update documentation for stream input and output — Peter Buhr / detail
  15. added to conclusion, cleaned up and added some citations — caparsons / detail
  16. fixed bug where virtual dtor would not work if dtors or ctors of the type had unnamed params — caparsons / detail
  17. added flattening so that the mutex statement now can accept tuples — caparsons / detail
  18. added test for mutex stmt tuples and changed actor test to use a unnamed param to test the virtual dtor fix — caparsons / detail
  19. print proper error for hiding enumerator names of an anonymous enumeration, which means the names are inaccessible — Peter Buhr / detail
  20. change from printf to sout — Peter Buhr / detail
  21. remove duplicate entries from local.bib in pl.bib — Peter Buhr / detail
  22. force bibtex to run in Makefile and print more output — Peter Buhr / detail
  23. add LIFO and FIFO to glossary abbreviation — Peter Buhr / detail
  24. use FIFO abbrev in channel chapter — Peter Buhr / detail
  25. change text font-size in figures to match paper font-size — Peter Buhr / detail
  26. fixed two bugs with breaks in waituntils, required reordering of waituntil pass to set correct labels for breaks — caparsons / detail
  27. added test for fixed waituntil break case — caparsons / detail
  28. very slim race condition between a channel closing and a waituntil unregister was being handled improperly and is now fixed — caparsons / detail
  29. more proofreading of actor chapter — Peter Buhr / detail
  30. reworked actor steal section — caparsons / detail
  31. added steal diagram — caparsons / detail
  32. polished waituntil and conclusion chapter — caparsons / detail
  33. added conclusion to makefile, removed duplicate bib entry and added conclusion to thesis.tex — caparsons / detail
  34. read through up to start of actor chapter and made some small polishing changes — caparsons / detail
  35. Changes related to invariant checking scoping, it is not ready by these are unlikely to change. — ajbeach / detail
  36. Combined some fixes from the variaus scoped containers. Reducing redeclarations, internal type names now use one consistent naming scheme (it is different from the public naming convention), a whitespace fix and shrinking a few functions. — ajbeach / detail
  37. more proofreading of actor chapter — Peter Buhr / detail
  38. change font style and size in figure — Peter Buhr / detail
  39. reworked later part of actor stealing section — caparsons / detail
  40. minor actor stealing section changes — caparsons / detail
  41. more proofreading of actor chapter — Peter Buhr / detail
  42. another pass over the work stealing section — caparsons / detail
  43. added support for missed gulps benchmark — caparsons / detail
  44. merging together benchmark run files — caparson / detail
  45. small update to end of work stealing section — caparsons / detail
  46. Removed a comment that referenced a long gone pass. — ajbeach / detail
  47. Fixed some warnings, deleted some commented out code. — ajbeach / detail
  48. Some cases in linkReferencesToTypes: It always hits one or both of the conditionals, so moving the mutation outside is a slight optimization and also reduces noise. — ajbeach / detail
  49. added support for non-local exceptions — caparsons / detail
  50. added basic tests for non-local exceptions — caparsons / detail
  51. harmonize name for fibonacci_nonlocal and pingpong_nonlocal — Peter Buhr / detail
  52. alternative version of fibonacci_nonlocal — Peter Buhr / detail
  53. refactored to fix bug in channel_close test. As a consquence can no longer break out of waituntil statements that have an and — caparsons / detail
  54. removed test since it now contains unsupportd behaviour — caparsons / detail
  55. Removed unused includes from a file. (Clean-up, plus it cuts down on code that might be the problem in that pass.) — ajbeach / detail
  56. add and update citations — Peter Buhr / detail
  57. add glossary abbreviations CAS, DWCAS, DCAS, DAS, LL, SC — Peter Buhr / detail
  58. more proofreading of actor chapter — Peter Buhr / detail
  59. some changes to the queue swap chapter — caparsons / detail
  60. various actor changes and fixes — caparsons / detail
  61. more proofreading of actor chapter — Peter Buhr / detail
  62. first pass at cleaning up per chapter reorganization — caparsons / detail
  63. actor perf cleanup following reordering — caparsons / detail
  64. fixed undefined reference — caparsons / detail
  65. fix problems in pingpong_nonlocal — Peter Buhr / detail
  66. updated pingpong exception test to remove output race for repeatable test output — caparsons / detail
  67. hide numtimes — Peter Buhr / detail
  68. fixed spurious channel close waituntil error case. Was caused by a race condition causing an exception to be thrown while another was in flight — caparsons / detail
  69. missed two files with previous commit — caparsons / detail
  70. added test that consistently produced the waituntil channel close failure case — caparsons / detail
  71. updated documentation related to waituntil changes — caparsons / detail
  72. add additional debug printing — Peter Buhr / detail
  73. add additional debug printing, remove push/pop associated with parameter passing because local declarations are disallowed — Peter Buhr / detail
  74. add labels to sections — Peter Buhr / detail
  75. more proofreading of actor chapter — Peter Buhr / detail
  76. Renaming of some SymbolTable functions because they are different and should be tracked. Removed an extra forward declaration and modified some indentation in the area. — ajbeach / detail
  77. Made changes in response to Peter's comments — caparsons / detail
  78. change href to url, add citations — Peter Buhr / detail
  79. update discussion about work stealing — Peter Buhr / detail
  80. reworked part of actor perf section — caparsons / detail
  81. remove push/pop from KR_parameter_list and typedef_declaration — Peter Buhr / detail
  82. Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases. — ajbeach / detail
  83. Revert "remove push/pop from KR_parameter_list and typedef_declaration" — ajbeach / detail
  84. Repeat "remove push/pop from KR_parameter_list and typedef_declaration" — ajbeach / detail
  85. This may fix the excessive 'struct _IO_FILE;' declarations. I still don't know how to replicate it on my machine. — ajbeach / detail
  86. reduce whitespace before backtick — Peter Buhr / detail
  87. update Ada citation from Ada12 to Ada16 — Peter Buhr / detail
  88. move uC++ beside CFA in table — Peter Buhr / detail
  89. capitalize titles in citations — Peter Buhr / detail
  90. final proofread of actor chapter — Peter Buhr / detail
  91. first proofread of waituntil chapter up to Section 7.5 — Peter Buhr / detail
  92. smoothed over 7.5 intro — caparsons / detail
  93. more 7.5 improvements. Tried to improve chapter flow — caparsons / detail
  94. added support for go style channel operators — caparsons / detail
  95. cleaned up a waituntil test and changed a channel test to use go-style operators — caparsons / detail
  96. refactored some waituntil code gen to be more concise — caparsons / detail
  97. reverted addition of channel operators since it broke the waituntil statement — caparsons / detail
  98. revert channel test change — caparsons / detail
  99. added support for general channel operators and cleaned up some cruft — caparsons / detail
  100. added support for general channel operators — caparsons / detail
  101. changed test back to using new operators — caparsons / detail
  102. added discussion of channel shorthand operators — caparsons / detail
  103. modified waituntil tests to test new features — caparsons / detail
  104. added support for remove and insert calls in waituntils — caparsons / detail
  105. refactored tests to use new syntax for channel ops — caparsons / detail
  106. removed ambiguous waituntil remove support — caparsons / detail
  107. updated channel chapter to reflect new syntax — caparsons / detail
  108. updated waituntil benchmarks to use new channel arrow syntax — caparsons / detail
  109. formatting, create macros OSTYPE_VOID, OSTYPE_VOID_IMPL. ISTYPE_VOID, ISTYPE_VOID_IMPL to create companion void print routine — Peter Buhr / detail
  110. update types to use new void-creation stream macros — Peter Buhr / detail
  111. fixed remove ambiguity issue — caparsons / detail
  112. added test with new waituntil remove() syntax — caparsons / detail
  113. more convertion to new void-creation stream macros — Peter Buhr / detail
  114. Reorganize ?\? operator to shorten it a bit and move lines of code closer to the comments associated with them. — ajbeach / detail
  115. test change to fix broken build. Working on fix to underlying issue and will push that soon — caparsons / detail
  116. Added min/max for 3+ argument cases. — ajbeach / detail
  117. added label to section to reference later — caparsons / detail
  118. did some cleanup in locks.hfa and fixed seg fault bug in channel waituntil remove() — caparsons / detail
  119. refactored test to now use remove() in waituntil — caparsons / detail
  120. more proofreading waituntil chapter — Peter Buhr / detail
  121. reworked 7.5.3 of thesis — caparsons / detail
  122. more proofreading of chapter waituntil — Peter Buhr / detail
  123. more proofreading of waituntil chapter — Peter Buhr / detail
  124. first proofread of conclusion chapter — Peter Buhr / detail
  125. use memset to initialize struct io_uring_sqe to zero in routine zero_sqe — Peter Buhr / detail
  126. add FIX-ME comment for forall-void routine in iostream — Peter Buhr / detail
  127. add missing #include <string.h> — Peter Buhr / detail
  128. change C style for-loops to CFA-style for-loops — Peter Buhr / detail
  129. change zeroing of individual statistics fields to memset — Peter Buhr / detail
  130. small wording changes — Peter Buhr / detail
  131. Clean-up some white spaces, spaces to tabs. — ajbeach / detail
  132. change old trait syntax to use new forall syntax — Peter Buhr / detail
  133. remove spurious .section from exception assembler code, which is causing compilation problems on Ubuntu 22.04 — Peter Buhr / detail
  134. change lstlisting in common macros from belowskip=2pt to belowskip=0pt to remove excess space after code blocks — Peter Buhr / detail
  135. Modified the dimexpr-match tests. This is because dimexpr-match-cfa had a weird case (nested polymorphic function using the array macro) that generates bad code internally and working around that in the invariants is hard. The expect files may only change line numbers, all of those should be updated. — ajbeach / detail
  136. Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved. — ajbeach / detail
  137. incorporated actor and waituntil comments — caparsons / detail
  138. fleshed out conclusion — caparsons / detail
  139. Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation level, moved exported function and added spaces around namespacing lines. — ajbeach / detail
  140. various small changes across entire thesis — caparsons / detail
  141. add empty thesis directory for Fangren — Peter Buhr / detail
  142. change startup sequence by adding back heapManagerBootFlag, add build flag for non-null return for malloc(0) — Peter Buhr / detail
  143. formatting — Peter Buhr / detail
  144. update empty thesis directory for Fangren — Peter Buhr / detail
  145. fix month in citation — Peter Buhr / detail
  146. move figure — Peter Buhr / detail
  147. fix number of examples — Peter Buhr / detail
  148. fix bad line break — Peter Buhr / detail
  149. change code listing to figure — Peter Buhr / detail
  150. final proofread of waituntil chapter — Peter Buhr / detail
  151. fixed bad page break and made figure location better — caparsons / detail

#593 (Jul 31, 2023, 11:59:45 PM)

  1. Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved. — ajbeach / detail
  2. incorporated actor and waituntil comments — caparsons / detail
  3. fleshed out conclusion — caparsons / detail
  4. Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation level, moved exported function and added spaces around namespacing lines. — ajbeach / detail
  5. add empty thesis directory for Fangren — Peter Buhr / detail
  6. change startup sequence by adding back heapManagerBootFlag, add build flag for non-null return for malloc(0) — Peter Buhr / detail
  7. formatting — Peter Buhr / detail
  8. update empty thesis directory for Fangren — Peter Buhr / detail

#590 (Jul 28, 2023, 11:59:24 PM)

  1. Modified the dimexpr-match tests. This is because dimexpr-match-cfa had a weird case (nested polymorphic function using the array macro) that generates bad code internally and working around that in the invariants is hard. The expect files may only change line numbers, all of those should be updated. — ajbeach / detail

#589 (Jul 27, 2023, 11:59:18 PM)

  1. change old trait syntax to use new forall syntax — Peter Buhr / detail
  2. remove spurious .section from exception assembler code, which is causing compilation problems on Ubuntu 22.04 — Peter Buhr / detail
  3. change lstlisting in common macros from belowskip=2pt to belowskip=0pt to remove excess space after code blocks — Peter Buhr / detail

#586 (Jul 24, 2023, 11:57:57 PM)

  1. Clean-up some white spaces, spaces to tabs. — ajbeach / detail

#584 (Jul 22, 2023, 11:58:16 PM)

  1. change C style for-loops to CFA-style for-loops — Peter Buhr / detail
  2. change zeroing of individual statistics fields to memset — Peter Buhr / detail
  3. small wording changes — Peter Buhr / detail

#583 (Jul 21, 2023, 11:55:25 PM)

  1. more proofreading of waituntil chapter — Peter Buhr / detail
  2. first proofread of conclusion chapter — Peter Buhr / detail
  3. use memset to initialize struct io_uring_sqe to zero in routine zero_sqe — Peter Buhr / detail
  4. add FIX-ME comment for forall-void routine in iostream — Peter Buhr / detail
  5. add missing #include <string.h> — Peter Buhr / detail

#582 (Jul 20, 2023, 11:55:04 PM)

  1. Added min/max for 3+ argument cases. — ajbeach / detail
  2. added label to section to reference later — caparsons / detail
  3. did some cleanup in locks.hfa and fixed seg fault bug in channel waituntil remove() — caparsons / detail
  4. refactored test to now use remove() in waituntil — caparsons / detail
  5. more proofreading waituntil chapter — Peter Buhr / detail
  6. reworked 7.5.3 of thesis — caparsons / detail
  7. more proofreading of chapter waituntil — Peter Buhr / detail

#581 (Jul 19, 2023, 11:56:31 PM)

  1. reduce whitespace before backtick — Peter Buhr / detail
  2. update Ada citation from Ada12 to Ada16 — Peter Buhr / detail
  3. move uC++ beside CFA in table — Peter Buhr / detail
  4. capitalize titles in citations — Peter Buhr / detail
  5. final proofread of actor chapter — Peter Buhr / detail
  6. first proofread of waituntil chapter up to Section 7.5 — Peter Buhr / detail
  7. smoothed over 7.5 intro — caparsons / detail
  8. more 7.5 improvements. Tried to improve chapter flow — caparsons / detail
  9. added support for go style channel operators — caparsons / detail
  10. cleaned up a waituntil test and changed a channel test to use go-style operators — caparsons / detail
  11. refactored some waituntil code gen to be more concise — caparsons / detail
  12. reverted addition of channel operators since it broke the waituntil statement — caparsons / detail
  13. revert channel test change — caparsons / detail
  14. added support for general channel operators and cleaned up some cruft — caparsons / detail
  15. added support for general channel operators — caparsons / detail
  16. changed test back to using new operators — caparsons / detail
  17. added discussion of channel shorthand operators — caparsons / detail
  18. modified waituntil tests to test new features — caparsons / detail
  19. added support for remove and insert calls in waituntils — caparsons / detail
  20. refactored tests to use new syntax for channel ops — caparsons / detail
  21. removed ambiguous waituntil remove support — caparsons / detail
  22. updated channel chapter to reflect new syntax — caparsons / detail
  23. updated waituntil benchmarks to use new channel arrow syntax — caparsons / detail
  24. formatting, create macros OSTYPE_VOID, OSTYPE_VOID_IMPL. ISTYPE_VOID, ISTYPE_VOID_IMPL to create companion void print routine — Peter Buhr / detail
  25. update types to use new void-creation stream macros — Peter Buhr / detail
  26. fixed remove ambiguity issue — caparsons / detail
  27. added test with new waituntil remove() syntax — caparsons / detail
  28. more convertion to new void-creation stream macros — Peter Buhr / detail
  29. Reorganize ?\? operator to shorten it a bit and move lines of code closer to the comments associated with them. — ajbeach / detail
  30. test change to fix broken build. Working on fix to underlying issue and will push that soon — caparsons / detail

#578 (Jul 14, 2023, 11:55:06 PM)

  1. Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases. — ajbeach / detail
  2. Revert "remove push/pop from KR_parameter_list and typedef_declaration" — ajbeach / detail
  3. Repeat "remove push/pop from KR_parameter_list and typedef_declaration" — ajbeach / detail
  4. This may fix the excessive 'struct _IO_FILE;' declarations. I still don't know how to replicate it on my machine. — ajbeach / detail

#577 (Jul 13, 2023, 11:56:40 PM)

  1. add additional debug printing — Peter Buhr / detail
  2. add additional debug printing, remove push/pop associated with parameter passing because local declarations are disallowed — Peter Buhr / detail
  3. add labels to sections — Peter Buhr / detail
  4. more proofreading of actor chapter — Peter Buhr / detail
  5. Renaming of some SymbolTable functions because they are different and should be tracked. Removed an extra forward declaration and modified some indentation in the area. — ajbeach / detail
  6. Made changes in response to Peter's comments — caparsons / detail
  7. change href to url, add citations — Peter Buhr / detail
  8. update discussion about work stealing — Peter Buhr / detail
  9. reworked part of actor perf section — caparsons / detail
  10. remove push/pop from KR_parameter_list and typedef_declaration — Peter Buhr / detail

#576 (Jul 11, 2023, 11:54:49 PM)

  1. refactored to fix bug in channel_close test. As a consquence can no longer break out of waituntil statements that have an and — caparsons / detail
  2. removed test since it now contains unsupportd behaviour — caparsons / detail
  3. add and update citations — Peter Buhr / detail
  4. add glossary abbreviations CAS, DWCAS, DCAS, DAS, LL, SC — Peter Buhr / detail
  5. more proofreading of actor chapter — Peter Buhr / detail
  6. some changes to the queue swap chapter — caparsons / detail
  7. various actor changes and fixes — caparsons / detail
  8. more proofreading of actor chapter — Peter Buhr / detail
  9. first pass at cleaning up per chapter reorganization — caparsons / detail
  10. actor perf cleanup following reordering — caparsons / detail
  11. fixed undefined reference — caparsons / detail
  12. fix problems in pingpong_nonlocal — Peter Buhr / detail
  13. updated pingpong exception test to remove output race for repeatable test output — caparsons / detail
  14. hide numtimes — Peter Buhr / detail
  15. fixed spurious channel close waituntil error case. Was caused by a race condition causing an exception to be thrown while another was in flight — caparsons / detail
  16. missed two files with previous commit — caparsons / detail
  17. added test that consistently produced the waituntil channel close failure case — caparsons / detail
  18. updated documentation related to waituntil changes — caparsons / detail

#574 (Jul 7, 2023, 11:54:31 PM)

  1. alternative version of fibonacci_nonlocal — Peter Buhr / detail
  2. Removed unused includes from a file. (Clean-up, plus it cuts down on code that might be the problem in that pass.) — ajbeach / detail

#573 (Jul 6, 2023, 11:56:15 PM)

  1. Removed a comment that referenced a long gone pass. — ajbeach / detail
  2. Fixed some warnings, deleted some commented out code. — ajbeach / detail
  3. Some cases in linkReferencesToTypes: It always hits one or both of the conditionals, so moving the mutation outside is a slight optimization and also reduces noise. — ajbeach / detail
  4. added support for non-local exceptions — caparsons / detail
  5. added basic tests for non-local exceptions — caparsons / detail
  6. harmonize name for fibonacci_nonlocal and pingpong_nonlocal — Peter Buhr / detail

#572 (Jul 5, 2023, 11:54:37 PM)

  1. more proofreading of actor chapter — Peter Buhr / detail
  2. another pass over the work stealing section — caparsons / detail
  3. added support for missed gulps benchmark — caparsons / detail
  4. merging together benchmark run files — caparson / detail
  5. small update to end of work stealing section — caparsons / detail

#571 (Jul 4, 2023, 11:56:41 PM)

  1. added steal diagram — caparsons / detail
  2. polished waituntil and conclusion chapter — caparsons / detail
  3. added conclusion to makefile, removed duplicate bib entry and added conclusion to thesis.tex — caparsons / detail
  4. read through up to start of actor chapter and made some small polishing changes — caparsons / detail
  5. Changes related to invariant checking scoping, it is not ready by these are unlikely to change. — ajbeach / detail
  6. Combined some fixes from the variaus scoped containers. Reducing redeclarations, internal type names now use one consistent naming scheme (it is different from the public naming convention), a whitespace fix and shrinking a few functions. — ajbeach / detail
  7. more proofreading of actor chapter — Peter Buhr / detail
  8. change font style and size in figure — Peter Buhr / detail
  9. reworked later part of actor stealing section — caparsons / detail
  10. minor actor stealing section changes — caparsons / detail

#570 (Jul 3, 2023, 11:54:10 PM)

  1. fixed two bugs with breaks in waituntils, required reordering of waituntil pass to set correct labels for breaks — caparsons / detail
  2. added test for fixed waituntil break case — caparsons / detail
  3. very slim race condition between a channel closing and a waituntil unregister was being handled improperly and is now fixed — caparsons / detail
  4. more proofreading of actor chapter — Peter Buhr / detail
  5. reworked actor steal section — caparsons / detail

#568 (Jun 30, 2023, 11:54:53 PM)

  1. added to conclusion, cleaned up and added some citations — caparsons / detail
  2. fixed bug where virtual dtor would not work if dtors or ctors of the type had unnamed params — caparsons / detail
  3. added flattening so that the mutex statement now can accept tuples — caparsons / detail
  4. added test for mutex stmt tuples and changed actor test to use a unnamed param to test the virtual dtor fix — caparsons / detail
  5. print proper error for hiding enumerator names of an anonymous enumeration, which means the names are inaccessible — Peter Buhr / detail
  6. change from printf to sout — Peter Buhr / detail
  7. remove duplicate entries from local.bib in pl.bib — Peter Buhr / detail
  8. force bibtex to run in Makefile and print more output — Peter Buhr / detail
  9. add LIFO and FIFO to glossary abbreviation — Peter Buhr / detail
  10. use FIFO abbrev in channel chapter — Peter Buhr / detail
  11. change text font-size in figures to match paper font-size — Peter Buhr / detail

#567 (Jun 29, 2023, 11:56:08 PM)

  1. harmonize separator manipulators names with newline names: change from sep, sepTuple, sepEnable, sepDisable, sepOn, sepOff to sepVal, sepTupleVal, sepOn, sepOff, sep, nosep; fix bug printing null string with WD so no separator — Peter Buhr / detail
  2. update files from old separator manipulator names to new names — Peter Buhr / detail
  3. change from printf to sout — Peter Buhr / detail
  4. update user manual from old separator manipulator names to new names — Peter Buhr / detail
  5. add and update citations — Peter Buhr / detail
  6. Updated indentation in AST/LinckageSpec. — ajbeach / detail
  7. fix number of calls to latex — Peter Buhr / detail
  8. update documentation for stream input and output — Peter Buhr / detail

#565 (Jun 27, 2023, 11:54:28 PM)

  1. refactored waituntil future benchmarks and updated runscript — caparson / detail
  2. small cleanup — caparson / detail
  3. more actor changes and touchups — caparsons / detail
  4. changed throughput in plotting script to be per second not per 10 seconds — caparson / detail
  5. fix comments — Peter Buhr / detail
  6. formatting, change set_allocation to return previous value, add get_allocation — Peter Buhr / detail
  7. first draft of full waituntil chapter and conclusion chapter. Lots of graph/plotting utilities cleanup. Reran all CFA actor benchmarks after recent changes. Small changes to actor.tex in performance section — caparsons / detail
  8. added pragma once — caparsons / detail
  9. added termination check for non-stealing actor system — caparsons / detail
  10. removed comment — caparsons / detail

#564 (Jun 26, 2023, 11:54:17 PM)

  1. refactored waituntil future benchmarks and updated runscript — caparson / detail
  2. small cleanup — caparson / detail
  3. more actor changes and touchups — caparsons / detail
  4. changed throughput in plotting script to be per second not per 10 seconds — caparson / detail
  5. fix comments — Peter Buhr / detail
  6. formatting, change set_allocation to return previous value, add get_allocation — Peter Buhr / detail

#564 (Jun 26, 2023, 11:54:17 PM)

  1. refactored waituntil future benchmarks and updated runscript — caparson / detail
  2. small cleanup — caparson / detail
  3. add length qualifiers on one_t constants in ceiling_div — Peter Buhr / detail
  4. update mathX.arm64 expected output — Peter Buhr / detail
  5. simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div — Peter Buhr / detail
  6. more proofreading of actor chapter — Peter Buhr / detail
  7. update glossary — Peter Buhr / detail
  8. intermediate commit to pull actor changes — caparsons / detail
  9. cleaned up actor send/terminate sections — caparsons / detail
  10. Moved the using statement in main out of view of the includes. Tried moving 'Eliminate Typedef' closer to 'Replace Typedef' but it only made it one pass. — ajbeach / detail
  11. added ability to get number of processors constructed on a cluster (not necessarily registered yet) — caparsons / detail
  12. various cleanups and improvements (shutdown flags, automatic processor count) — caparsons / detail
  13. updated a test to use the actor automatic executor config — caparsons / detail
  14. Add tests demonstrating CFA's treatment of C arrays, compared with GCC's. — mlbrooks / detail
  15. In a sentence, invariants is correct. — ajbeach / detail
  16. added a comment — caparsons / detail
  17. refactored actors to not need base pointers in envelopes — caparsons / detail
  18. added extra poll point to check for termination in actor system — caparsons / detail
  19. Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass. — ajbeach / detail
  20. Add Makefile entries to include new test-support files in Promote build.  Try to fix nightly build.  Missing from 0f4ac1051. — mlbrooks / detail
  21. Some clean-up in LinkReferenceToTypes.cpp. — ajbeach / detail
  22. Implement new rules for array dimension expression matching. — mlbrooks / detail
  23. change printf to sout — Peter Buhr / detail
  24. fix include files — Peter Buhr / detail
  25. The 'sized' trait is now implemented on top of 'T *' declarations and has no special status in the compiler. — ajbeach / detail
  26. more actor changes and touchups — caparsons / detail
  27. changed throughput in plotting script to be per second not per 10 seconds — caparson / detail

#561 (Jun 23, 2023, 11:54:06 PM)

  1. The 'sized' trait is now implemented on top of 'T *' declarations and has no special status in the compiler. — ajbeach / detail

#559 (Jun 22, 2023, 9:17:02 AM)

  1. fix include files — Peter Buhr / detail

#558 (Jun 21, 2023, 11:54:51 PM)

  1. Implement new rules for array dimension expression matching. — mlbrooks / detail
  2. change printf to sout — Peter Buhr / detail

#557 (Jun 20, 2023, 11:52:26 PM)

  1. In a sentence, invariants is correct. — ajbeach / detail
  2. added a comment — caparsons / detail
  3. refactored actors to not need base pointers in envelopes — caparsons / detail
  4. added extra poll point to check for termination in actor system — caparsons / detail
  5. Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass. — ajbeach / detail
  6. Add Makefile entries to include new test-support files in Promote build.  Try to fix nightly build.  Missing from 0f4ac1051. — mlbrooks / detail
  7. Some clean-up in LinkReferenceToTypes.cpp. — ajbeach / detail

#556 (Jun 19, 2023, 11:51:50 PM)

  1. intermediate commit to pull actor changes — caparsons / detail
  2. cleaned up actor send/terminate sections — caparsons / detail
  3. Moved the using statement in main out of view of the includes. Tried moving 'Eliminate Typedef' closer to 'Replace Typedef' but it only made it one pass. — ajbeach / detail
  4. added ability to get number of processors constructed on a cluster (not necessarily registered yet) — caparsons / detail
  5. various cleanups and improvements (shutdown flags, automatic processor count) — caparsons / detail
  6. updated a test to use the actor automatic executor config — caparsons / detail
  7. Add tests demonstrating CFA's treatment of C arrays, compared with GCC's. — mlbrooks / detail

#555 (Jun 18, 2023, 11:51:18 PM)

  1. current progress — f37yu / detail
  2. WIP some bugs show up resolving array tuple indexing — f37yu / detail
  3. fix — f37yu / detail
  4. updated invariant flag to be default, can be toggled off with --no-invariant — caparsons / detail
  5. changes test.py invariant flag to --no-invariant, with the default being on — caparsons / detail
  6. commented out some debugging code — caparsons / detail
  7. add back --invariant with --no-invariant as both are needed for toggling — Peter Buhr / detail
  8. harmonized help messages for --invariant and --no-invariant — Peter Buhr / detail
  9. Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update. — ajbeach / detail
  10. Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge. — ajbeach / detail
  11. Removed duplicate substution code in Autogen. — ajbeach / detail
  12. changed actors to use bar operator — caparsons / detail
  13. refactored benchmarks to use actor bar operator — caparsons / detail
  14. refactored actor tests to use bar operator — caparsons / detail
  15. add commented alternative option for ARM atomics — Peter Buhr / detail
  16. add comments for attomic pointer types — Peter Buhr / detail
  17. formatting — Peter Buhr / detail
  18. fix end-of-file bug when checking for I/O errors — Peter Buhr / detail
  19. formatting — Peter Buhr / detail
  20. formatting and comments — Peter Buhr / detail
  21. add test case to device-driver input — Peter Buhr / detail
  22. formatting — Peter Buhr / detail
  23. change ceiling function to work with negative values — Peter Buhr / detail
  24. update conflicting type-specifier error-messages — Peter Buhr / detail
  25. fix bug in gcc conditional expression by cloning omitted operand — Peter Buhr / detail
  26. update mathX.x86 expected output — Peter Buhr / detail
  27. add length qualifiers on one_t constants in ceiling_div — Peter Buhr / detail
  28. update mathX.arm64 expected output — Peter Buhr / detail
  29. simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div — Peter Buhr / detail
  30. more proofreading of actor chapter — Peter Buhr / detail
  31. update glossary — Peter Buhr / detail

#554 (Jun 17, 2023, 11:52:57 PM)

  1. current progress — f37yu / detail
  2. WIP some bugs show up resolving array tuple indexing — f37yu / detail
  3. fix — f37yu / detail
  4. updated invariant flag to be default, can be toggled off with --no-invariant — caparsons / detail
  5. changes test.py invariant flag to --no-invariant, with the default being on — caparsons / detail
  6. commented out some debugging code — caparsons / detail
  7. add back --invariant with --no-invariant as both are needed for toggling — Peter Buhr / detail
  8. harmonized help messages for --invariant and --no-invariant — Peter Buhr / detail
  9. Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update. — ajbeach / detail
  10. Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge. — ajbeach / detail
  11. Removed duplicate substution code in Autogen. — ajbeach / detail
  12. changed actors to use bar operator — caparsons / detail
  13. refactored benchmarks to use actor bar operator — caparsons / detail
  14. refactored actor tests to use bar operator — caparsons / detail
  15. add commented alternative option for ARM atomics — Peter Buhr / detail
  16. add comments for attomic pointer types — Peter Buhr / detail
  17. formatting — Peter Buhr / detail
  18. fix end-of-file bug when checking for I/O errors — Peter Buhr / detail
  19. formatting — Peter Buhr / detail
  20. formatting and comments — Peter Buhr / detail
  21. add test case to device-driver input — Peter Buhr / detail
  22. formatting — Peter Buhr / detail
  23. change ceiling function to work with negative values — Peter Buhr / detail
  24. update conflicting type-specifier error-messages — Peter Buhr / detail
  25. fix bug in gcc conditional expression by cloning omitted operand — Peter Buhr / detail
  26. update mathX.x86 expected output — Peter Buhr / detail
  27. add length qualifiers on one_t constants in ceiling_div — Peter Buhr / detail
  28. update mathX.arm64 expected output — Peter Buhr / detail

#554 (Jun 17, 2023, 11:52:57 PM)

  1. add parsing test for waitfor statement — Peter Buhr / detail
  2. add Kahn74 citation — Peter Buhr / detail
  3. clean up .gitignore file — Peter Buhr / detail
  4. update channel chapter intro — Peter Buhr / detail
  5. Clean-up in parser. ClauseNode rework, plus internal adjustments to reduce extra code and unchecked casts. — ajbeach / detail
  6. Missed some uses of the new parser helpers. — ajbeach / detail
  7. Clean-up in CodeLocationTools. — ajbeach / detail
  8. Added/cleaned some AST comments. — ajbeach / detail
  9. Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it. — ajbeach / detail
  10. CandidateFinder fills in the CodeLocation on a generated expression. With that and recent changes, the fills seem to be redundent now, so I removed them. — ajbeach / detail
  11. Update macros in main. DUMP is now a macro to save space/noise and the PASS macro now runs checkInvariants afterwards if --invariant is on. — ajbeach / detail
  12. Clean-up in the parser %union. — ajbeach / detail
  13. Updated Iterate.hpp documentation. — ajbeach / detail
  14. Moved new ast code out of one of the old files. The new file may have to change if SymTab is removed entirely, but for now at least, there is a lot less template code in headers. — ajbeach / detail
  15. Some SymbolTable clean-up I did while trying a change I didn't go through with. — ajbeach / detail
  16. fix PRNG test to work correctly on ARM — Peter Buhr / detail
  17. fix 32-bit build with new PRNG output — Peter Buhr / detail
  18. Cleaned up some indentation in DeclarationNode.h. — ajbeach / detail
  19. Adding explination to the memory leak in driver/cfa.cc. — ajbeach / detail
  20. The test.py (through Makefile) handles --invariant passing it to the build. It passes it through CFAFLAGS which are the caller's additional configuration. This is simpler than creating a config variable and then passing 'invariant=yes' to make (like debug or installed). — ajbeach / detail
  21. Cleaned up some DeclarationNode code that had some extra code no longer needed because of the translation. Also added a helper function for clarity. — ajbeach / detail
  22. Clean-up in DeclarationNode.cc. Made all buildList loops the same. The ast::Decl function also got some restructuring, mostly moving code around and into helpers. — ajbeach / detail
  23. Added IndexIterator, which absorbs some functionality of some MemberIterator types for CurrentObject. — ajbeach / detail
  24. change waituntil expression from cast_expression to comma_expression — Peter Buhr / detail
  25. update comment about locale problem with leaked storage — Peter Buhr / detail
  26. remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly builds to gcc 7-11 — Peter Buhr / detail
  27. some cleanup and a bunch of changes to support waituntil statement — caparsons / detail
  28. updated lock interface to support waituntil trait — caparsons / detail
  29. added support for the waituntil statement in the compiler — caparsons / detail
  30. added tests for the waituntil stmt — caparsons / detail
  31. removed clh lock — caparsons / detail
  32. removed scoped lock — caparsons / detail
  33. removed old unused benchmark file — caparsons / detail
  34. removed TODO since it is now done — caparsons / detail
  35. added waituntil test expect files — caparsons / detail
  36. formatting, adjust target names for Makefiles — Peter Buhr / detail
  37. change all-tests to tests to match new make targets — Peter Buhr / detail
  38. current progress — f37yu / detail
  39. WIP some bugs show up resolving array tuple indexing — f37yu / detail
  40. remove unsed cfa-format.tex file — Peter Buhr / detail
  41. update list of CFA keywords in lstlang.sty — Peter Buhr / detail
  42. add citations for Actor paper — Peter Buhr / detail
  43. put keywords in alphabetic order in lex.ll — Peter Buhr / detail
  44. formatting, add intro chapter to tex dependencies — Peter Buhr / detail
  45. formatting, small updates — Peter Buhr / detail
  46. small updates — Peter Buhr / detail
  47. formatting, small updates — Peter Buhr / detail
  48. small updates — Peter Buhr / detail
  49. small updates — Peter Buhr / detail
  50. start proofreading of channel chapter — Peter Buhr / detail
  51. remove version count of thesis builds — Peter Buhr / detail
  52. fix — f37yu / detail
  53. added 32 bit failure fix for channels — caparsons / detail
  54. start paper on llheap — Peter Buhr / detail
  55. small changes to channel chapter — Peter Buhr / detail
  56. did some cleanup of channels — caparsons / detail
  57. added a test change to help locate the deadlock on next test failure — caparsons / detail
  58. added some variations on failing channel test to try and narrow down failure to minimal case. Window for deadlock must be small as it seems to be irreproducible unless during full build + test. — caparsons / detail
  59. added and removed some tests in pursuit of a more minimal repro of the deadlock failure case — caparsons / detail
  60. removed uneeded tests — caparsons / detail
  61. removed potential race to attempt to fix failing test — caparsons / detail
  62. updated channel and mutex stmt figures — caparsons / detail
  63. updated plotting scripts with new plot style — caparsons / detail
  64. added CAP annotation macro — caparsons / detail
  65. added various small edits and resolved some action items — caparsons / detail
  66. cleaned up benchmark pseudocode — caparsons / detail
  67. fixed a bug which may potentially fix build — caparsons / detail
  68. added zero size channel waituntil test case — caparsons / detail
  69. refactored tests to refine failure case to minimal repro — caparsons / detail
  70. removed tests that are redundant — caparsons / detail
  71. removed some redundant tests and added some instrumentation to help track down bug — caparsons / detail
  72. added some instrumentation to attempt to glean some insight into optimized away values — caparsons / detail
  73. Clean up methods for result1/N/Nstmt classes and the padantic pass macros. — ajbeach / detail
  74. Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa changes is an ongoing TODO — caparsons / detail
  75. continue working on llheap paper — Peter Buhr / detail
  76. add Makefile for llheap paper — Peter Buhr / detail
  77. removed uneeded busy wait — caparsons / detail
  78. added atomic to eliminate if failing test deadlock is a staleness issue — caparsons / detail
  79. Eliminating the busy wait spin at the end seems to resolve deadlock. Added further tests to try and narrow down failure case, and to see if the failure is waituntil specific — caparsons / detail
  80. more updates for llheap paper — Peter Buhr / detail
  81. changed variable name in makefile to try and avoid shell command with same name — caparsons / detail
  82. changed dist-hook rule to use curly braces to access shell vars where it should use them instead of parens — caparsons / detail
  83. removed tests made during deadlock debugging — caparsons / detail
  84. added back initially failing test and cleaned up other test — caparsons / detail
  85. added atomic_load to non-MX channel get routines — caparsons / detail
  86. add make-help option and change parenthesis to braces for variables — Peter Buhr / detail
  87. added invariant flag to test makefile — caparsons / detail
  88. added waituntil timeout test and added waituntil test that uses multiple waituntil primitive types — caparsons / detail
  89. cleanup up locks files and fixed a minor whitespace issue in preemption.cfa — caparsons / detail
  90. fixed bug in special OR case for channels and waituntil — caparsons / detail
  91. fixed bug in waituntil and future interop where signals could be lost — caparsons / detail
  92. added support for timeouts in waituntil — caparsons / detail
  93. changed makefile since select has a .cfa now — caparsons / detail
  94. Added proposal for alternate enumerations that could replace some of the typed enumeration features. — ajbeach / detail
  95. changed channel fetch routines to use relaxed atomics — caparsons / detail
  96. fix spelling mistake — Peter Buhr / detail
  97. more cleanup of the make-help option — Peter Buhr / detail
  98. more proofreading of the channel chapter — Peter Buhr / detail
  99. added beginning of waituntil chapter — caparsons / detail
  100. Completed next iteration on channel chapter — caparsons / detail
  101. add compilation flag -mno-outline-atomics on the ARM processor — Peter Buhr / detail
  102. fixed a bug in mcs implementation and cleaned up a bit — caparsons / detail
  103. added a small waituntil optimization and added some improvements to statistic collection — caparsons / detail
  104. added go and cfa waituntil channel benchmarks — caparsons / detail
  105. small bit of cleanup in waituntil pass — caparsons / detail
  106. Removed internal code from TypeSubstitution header. It caused a chain of include problems, which have been corrected. — ajbeach / detail
  107. add short atomic instruction macros — Peter Buhr / detail
  108. add lock-free stack using double-wide CAS — Peter Buhr / detail
  109. add new atomic macros to Makefile.am — Peter Buhr / detail
  110. update header comments — Peter Buhr / detail
  111. Flesh out "C" array syntax testing. — mlbrooks / detail
  112. Address build error from commit a5aa5b. — mlbrooks / detail
  113. fix lockfree-stack test on 32-bit — Peter Buhr / detail
  114. first attempt at renaming directory tests/concurrent to tests/concurrency to harmonize with other concurrency directory names — Peter Buhr / detail
  115. found further uses of concurrent directory — Peter Buhr / detail
  116. fix spelling mistake of concurrency — Peter Buhr / detail
  117. fix comments referring to concurrency directory — Peter Buhr / detail
  118. Re-enable testing function prototype taking length-star array, working around false GCC warning. — mlbrooks / detail
  119. remove/specialize test/Makfile.am variables concurrent/timeout, respectively — Peter Buhr / detail
  120. update tests/Makefile.am and corresponding Jenkinsfile with more specialized variables — Peter Buhr / detail
  121. intermediate commit to move some benchmarking to another machine — caparsons / detail
  122. intermediate runscript to move to benchmarking on another machine — caparsons / detail
  123. Fixed small whitespace issue. — ajbeach / detail
  124. Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones. — ajbeach / detail
  125. add glossary.tex to Makefile dependencies — Peter Buhr / detail
  126. make glossary abbreviation be newterms — Peter Buhr / detail
  127. add Golang lstlisting environment — Peter Buhr / detail
  128. add breaklinks=true to hyperref — Peter Buhr / detail
  129. second proofread of channels chapter — Peter Buhr / detail
  130. missing change — Peter Buhr / detail
  131. update citations in bibliography/pl.bib — Peter Buhr / detail
  132. add documentation about ARM atomic flag — Peter Buhr / detail
  133. reduce duration of lock-free stack test on ARM because CASV is very slow on ARM — Peter Buhr / detail
  134. wording changes in channel chapter — Peter Buhr / detail
  135. refactored to remove return val from on_selected — caparsons / detail
  136. refactores to account for removal of ret val from on_selected — caparsons / detail
  137. missed including in previous commits — caparsons / detail
  138. commit before pull to resolve merge conflicts — caparsons / detail
  139. fixed bug where waituntil deadlock could occur — caparson / detail
  140. fixed merge — caparsons / detail
  141. worked through Peter's changes to channel chapter — caparsons / detail
  142. added utility functions for channel exceptions — caparsons / detail
  143. added some citation and waituntil chapter draft up until performance section — caparsons / detail
  144. updated plot layout in benchmark scripts — caparsons / detail
  145. forgot to include this file in previous commit — caparsons / detail
  146. remove reference to symbol table in unify — f37yu / detail
  147. fixed build failure — caparson / detail
  148. renamed some types to make style consistent. fixed race condition in terminated actor detection — caparsons / detail
  149. refactored test to reflect new naming — caparsons / detail
  150. refactored allocation enum to match naming style and refactored some verifyf's to be aborts — caparsons / detail
  151. refactored tests to use new name for allocation enum — caparsons / detail
  152. refactored thesis actor code to use new lowercase allocation enum name — caparsons / detail
  153. Make the symbol table's error-checking times explicit. — mlbrooks / detail
  154. miscellaneous updates — Peter Buhr / detail
  155. lower case type names open_failure, close_failure, write_failure, read_failure — Peter Buhr / detail
  156. make trait names not, equality, relational, additive, inc_dec, multiplicative, arithmetic, lower-case — Peter Buhr / detail
  157. make type names arithmetic, rational, rat_int lower-case — Peter Buhr / detail
  158. continue condensing Mubeen's thesis into a paper — Peter Buhr / detail
  159. harmonize semantic error messages with yacc error messages — Peter Buhr / detail
  160. Removed some warnings. — ajbeach / detail
  161. Simplify one of the Pass::visit methods for CompoundStmt. It repeats two lines to move the conditional code into different if clauses. — ajbeach / detail
  162. Cleaned up namespacing, indentation and whitespacing in Pass.impl.hpp. — ajbeach / detail
  163. fix error in cc1.cc with repect to missing -dumpbase-ext check — Peter Buhr / detail
  164. update short atomic macros — Peter Buhr / detail
  165. lex _static_assert from C23 — Peter Buhr / detail
  166. update comments for special invalid syntax rules — Peter Buhr / detail
  167. update lockfree stack with double-wide CAS — Peter Buhr / detail
  168. change font size of text in EHMHierarchy.fig — Peter Buhr / detail
  169. Improved hoisting. However, I had to change some code because of other errors, so more work will have to be done. Also folded in another invariant for MemberExpr. — ajbeach / detail
  170. removed unneeded fstream include from locks.hfa — caparsons / detail
  171. add lstlang.sty dependency to Makefile — Peter Buhr / detail
  172. update figures changing worker to executor — Peter Buhr / detail
  173. add glossary entry for gulp — Peter Buhr / detail
  174. remove unicode hyphens — Peter Buhr / detail
  175. change default horizontal comment position — Peter Buhr / detail
  176. add label for inheritance subsection — Peter Buhr / detail
  177. continue proofreading actor chapter — Peter Buhr / detail
  178. change urlcolor to blue in hyperref — Peter Buhr / detail
  179. Clarify and fix accuracy in `eval` public API, on reporting "unable to evaluate." — mlbrooks / detail
  180. commit some thesis changes before pull to resolve merge — caparsons / detail
  181. updated actor-related passes to fix some bugs — caparsons / detail
  182. cleanup/bugfix actors and fix virtual dtor bug — caparsons / detail
  183. added new actor test for plan-9 edge case — caparsons / detail
  184. refactored inherit test to avoid base ctor call bug — caparsons / detail
  185. added waituntil chapter figures — caparsons / detail
  186. reformatted a bit of whitespace in mutex stmt chapter — caparsons / detail
  187. fixed marker issue in data plotting scripts — caparsons / detail
  188. Lifted _Ostream_Flags out of _Ostream_Manip, so the bitfields do not exist in the polymorphic structure. — ajbeach / detail
  189. updated invariant flag to be default, can be toggled off with --no-invariant — caparsons / detail
  190. changes test.py invariant flag to --no-invariant, with the default being on — caparsons / detail
  191. commented out some debugging code — caparsons / detail
  192. add back --invariant with --no-invariant as both are needed for toggling — Peter Buhr / detail
  193. harmonized help messages for --invariant and --no-invariant — Peter Buhr / detail
  194. Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update. — ajbeach / detail
  195. Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge. — ajbeach / detail
  196. Removed duplicate substution code in Autogen. — ajbeach / detail
  197. changed actors to use bar operator — caparsons / detail
  198. refactored benchmarks to use actor bar operator — caparsons / detail
  199. refactored actor tests to use bar operator — caparsons / detail
  200. add commented alternative option for ARM atomics — Peter Buhr / detail
  201. add comments for attomic pointer types — Peter Buhr / detail
  202. formatting — Peter Buhr / detail
  203. fix end-of-file bug when checking for I/O errors — Peter Buhr / detail
  204. formatting — Peter Buhr / detail
  205. formatting and comments — Peter Buhr / detail
  206. add test case to device-driver input — Peter Buhr / detail
  207. formatting — Peter Buhr / detail
  208. change ceiling function to work with negative values — Peter Buhr / detail
  209. update conflicting type-specifier error-messages — Peter Buhr / detail
  210. fix bug in gcc conditional expression by cloning omitted operand — Peter Buhr / detail
  211. update mathX.x86 expected output — Peter Buhr / detail

#553 (Jun 16, 2023, 12:04:04 AM)

  1. Cleaned up namespacing, indentation and whitespacing in Pass.impl.hpp. — ajbeach / detail
  2. fix error in cc1.cc with repect to missing -dumpbase-ext check — Peter Buhr / detail
  3. update short atomic macros — Peter Buhr / detail
  4. lex _static_assert from C23 — Peter Buhr / detail
  5. update comments for special invalid syntax rules — Peter Buhr / detail
  6. update lockfree stack with double-wide CAS — Peter Buhr / detail
  7. change font size of text in EHMHierarchy.fig — Peter Buhr / detail
  8. Improved hoisting. However, I had to change some code because of other errors, so more work will have to be done. Also folded in another invariant for MemberExpr. — ajbeach / detail
  9. removed unneeded fstream include from locks.hfa — caparsons / detail
  10. add lstlang.sty dependency to Makefile — Peter Buhr / detail
  11. update figures changing worker to executor — Peter Buhr / detail
  12. add glossary entry for gulp — Peter Buhr / detail
  13. remove unicode hyphens — Peter Buhr / detail
  14. change default horizontal comment position — Peter Buhr / detail
  15. add label for inheritance subsection — Peter Buhr / detail
  16. continue proofreading actor chapter — Peter Buhr / detail
  17. change urlcolor to blue in hyperref — Peter Buhr / detail
  18. Clarify and fix accuracy in `eval` public API, on reporting "unable to evaluate." — mlbrooks / detail
  19. commit some thesis changes before pull to resolve merge — caparsons / detail
  20. updated actor-related passes to fix some bugs — caparsons / detail
  21. cleanup/bugfix actors and fix virtual dtor bug — caparsons / detail
  22. added new actor test for plan-9 edge case — caparsons / detail
  23. refactored inherit test to avoid base ctor call bug — caparsons / detail
  24. added waituntil chapter figures — caparsons / detail
  25. reformatted a bit of whitespace in mutex stmt chapter — caparsons / detail
  26. fixed marker issue in data plotting scripts — caparsons / detail
  27. Lifted _Ostream_Flags out of _Ostream_Manip, so the bitfields do not exist in the polymorphic structure. — ajbeach / detail

#552 (Jun 9, 2023, 12:04:49 AM)

  1. Removed some warnings. — ajbeach / detail
  2. Simplify one of the Pass::visit methods for CompoundStmt. It repeats two lines to move the conditional code into different if clauses. — ajbeach / detail

#551 (Jun 8, 2023, 12:04:48 AM)

  1. harmonize semantic error messages with yacc error messages — Peter Buhr / detail

#550 (Jun 7, 2023, 12:02:41 AM)

  1. make trait names not, equality, relational, additive, inc_dec, multiplicative, arithmetic, lower-case — Peter Buhr / detail
  2. make type names arithmetic, rational, rat_int lower-case — Peter Buhr / detail
  3. continue condensing Mubeen's thesis into a paper — Peter Buhr / detail

#549 (Jun 6, 2023, 12:03:05 AM)

  1. Make the symbol table's error-checking times explicit. — mlbrooks / detail
  2. miscellaneous updates — Peter Buhr / detail
  3. lower case type names open_failure, close_failure, write_failure, read_failure — Peter Buhr / detail

#548 (Jun 5, 2023, 12:04:54 AM)

  1. refactored allocation enum to match naming style and refactored some verifyf's to be aborts — caparsons / detail
  2. refactored tests to use new name for allocation enum — caparsons / detail
  3. refactored thesis actor code to use new lowercase allocation enum name — caparsons / detail

#547 (Jun 4, 2023, 12:03:19 AM)

  1. renamed some types to make style consistent. fixed race condition in terminated actor detection — caparsons / detail
  2. refactored test to reflect new naming — caparsons / detail

#545 (Jun 2, 2023, 12:05:42 AM)

  1. refactored to remove return val from on_selected — caparsons / detail
  2. refactores to account for removal of ret val from on_selected — caparsons / detail
  3. missed including in previous commits — caparsons / detail
  4. commit before pull to resolve merge conflicts — caparsons / detail
  5. fixed bug where waituntil deadlock could occur — caparson / detail
  6. fixed merge — caparsons / detail
  7. worked through Peter's changes to channel chapter — caparsons / detail
  8. added utility functions for channel exceptions — caparsons / detail
  9. added some citation and waituntil chapter draft up until performance section — caparsons / detail
  10. updated plot layout in benchmark scripts — caparsons / detail
  11. forgot to include this file in previous commit — caparsons / detail
  12. remove reference to symbol table in unify — f37yu / detail
  13. fixed build failure — caparson / detail

#544 (Jun 1, 2023, 12:03:52 AM)

  1. wording changes in channel chapter — Peter Buhr / detail

#543 (May 31, 2023, 12:00:55 AM)

  1. Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones. — ajbeach / detail
  2. add glossary.tex to Makefile dependencies — Peter Buhr / detail
  3. make glossary abbreviation be newterms — Peter Buhr / detail
  4. add Golang lstlisting environment — Peter Buhr / detail
  5. add breaklinks=true to hyperref — Peter Buhr / detail
  6. second proofread of channels chapter — Peter Buhr / detail
  7. missing change — Peter Buhr / detail
  8. update citations in bibliography/pl.bib — Peter Buhr / detail
  9. add documentation about ARM atomic flag — Peter Buhr / detail
  10. reduce duration of lock-free stack test on ARM because CASV is very slow on ARM — Peter Buhr / detail

#542 (May 30, 2023, 12:01:49 AM)

  1. small bit of cleanup in waituntil pass — caparsons / detail
  2. intermediate commit to move some benchmarking to another machine — caparsons / detail
  3. intermediate runscript to move to benchmarking on another machine — caparsons / detail
  4. Fixed small whitespace issue. — ajbeach / detail

#540 (May 28, 2023, 9:57:25 AM)

  1. update tests/Makefile.am and corresponding Jenkinsfile with more specialized variables — Peter Buhr / detail

#539 (May 28, 2023, 12:02:07 AM)

  1. remove/specialize test/Makfile.am variables concurrent/timeout, respectively — Peter Buhr / detail

#538 (May 27, 2023, 12:01:31 AM)

  1. Re-enable testing function prototype taking length-star array, working around false GCC warning. — mlbrooks / detail

#537 (May 26, 2023, 3:47:49 PM)

  1. added go and cfa waituntil channel benchmarks — caparsons / detail
  2. Removed internal code from TypeSubstitution header. It caused a chain of include problems, which have been corrected. — ajbeach / detail
  3. add short atomic instruction macros — Peter Buhr / detail
  4. add lock-free stack using double-wide CAS — Peter Buhr / detail
  5. add new atomic macros to Makefile.am — Peter Buhr / detail
  6. update header comments — Peter Buhr / detail
  7. Flesh out "C" array syntax testing. — mlbrooks / detail
  8. Address build error from commit a5aa5b. — mlbrooks / detail
  9. fix lockfree-stack test on 32-bit — Peter Buhr / detail
  10. first attempt at renaming directory tests/concurrent to tests/concurrency to harmonize with other concurrency directory names — Peter Buhr / detail
  11. found further uses of concurrent directory — Peter Buhr / detail
  12. fix spelling mistake of concurrency — Peter Buhr / detail
  13. fix comments referring to concurrency directory — Peter Buhr / detail

#536 (May 25, 2023, 12:04:36 AM)

  1. fixed a bug in mcs implementation and cleaned up a bit — caparsons / detail
  2. added a small waituntil optimization and added some improvements to statistic collection — caparsons / detail

#535 (May 24, 2023, 12:01:56 AM)

  1. added beginning of waituntil chapter — caparsons / detail
  2. Completed next iteration on channel chapter — caparsons / detail
  3. add compilation flag -mno-outline-atomics on the ARM processor — Peter Buhr / detail

#529 (May 18, 2023, 12:02:12 AM)

  1. fix spelling mistake — Peter Buhr / detail
  2. more cleanup of the make-help option — Peter Buhr / detail
  3. more proofreading of the channel chapter — Peter Buhr / detail

#528 (May 17, 2023, 12:02:26 AM)

  1. changed channel fetch routines to use relaxed atomics — caparsons / detail

#527 (May 16, 2023, 12:01:30 AM)

  1. added invariant flag to test makefile — caparsons / detail
  2. added waituntil timeout test and added waituntil test that uses multiple waituntil primitive types — caparsons / detail
  3. cleanup up locks files and fixed a minor whitespace issue in preemption.cfa — caparsons / detail
  4. fixed bug in special OR case for channels and waituntil — caparsons / detail
  5. fixed bug in waituntil and future interop where signals could be lost — caparsons / detail
  6. added support for timeouts in waituntil — caparsons / detail
  7. changed makefile since select has a .cfa now — caparsons / detail
  8. Added proposal for alternate enumerations that could replace some of the typed enumeration features. — ajbeach / detail

#523 (May 12, 2023, 8:07:51 PM)

  1. add make-help option and change parenthesis to braces for variables — Peter Buhr / detail

#522 (May 12, 2023, 3:33:10 PM)

  1. removed tests made during deadlock debugging — caparsons / detail
  2. added back initially failing test and cleaned up other test — caparsons / detail
  3. added atomic_load to non-MX channel get routines — caparsons / detail

#521 (May 12, 2023, 1:36:15 PM)

  1. changed dist-hook rule to use curly braces to access shell vars where it should use them instead of parens — caparsons / detail

#520 (May 12, 2023, 10:09:49 AM)

  1. changed variable name in makefile to try and avoid shell command with same name — caparsons / detail

#519 (May 11, 2023, 11:59:06 PM)

  1. added atomic to eliminate if failing test deadlock is a staleness issue — caparsons / detail
  2. Eliminating the busy wait spin at the end seems to resolve deadlock. Added further tests to try and narrow down failure case, and to see if the failure is waituntil specific — caparsons / detail
  3. more updates for llheap paper — Peter Buhr / detail

#518 (May 11, 2023, 11:44:08 AM)

  1. some cleanup and a bunch of changes to support waituntil statement — caparsons / detail
  2. updated lock interface to support waituntil trait — caparsons / detail
  3. added support for the waituntil statement in the compiler — caparsons / detail
  4. added tests for the waituntil stmt — caparsons / detail
  5. removed clh lock — caparsons / detail
  6. removed scoped lock — caparsons / detail
  7. removed old unused benchmark file — caparsons / detail
  8. removed TODO since it is now done — caparsons / detail
  9. added waituntil test expect files — caparsons / detail
  10. formatting, adjust target names for Makefiles — Peter Buhr / detail
  11. change all-tests to tests to match new make targets — Peter Buhr / detail
  12. remove unsed cfa-format.tex file — Peter Buhr / detail
  13. update list of CFA keywords in lstlang.sty — Peter Buhr / detail
  14. add citations for Actor paper — Peter Buhr / detail
  15. put keywords in alphabetic order in lex.ll — Peter Buhr / detail
  16. formatting, add intro chapter to tex dependencies — Peter Buhr / detail
  17. formatting, small updates — Peter Buhr / detail
  18. small updates — Peter Buhr / detail
  19. formatting, small updates — Peter Buhr / detail
  20. small updates — Peter Buhr / detail
  21. small updates — Peter Buhr / detail
  22. start proofreading of channel chapter — Peter Buhr / detail
  23. remove version count of thesis builds — Peter Buhr / detail
  24. added 32 bit failure fix for channels — caparsons / detail
  25. start paper on llheap — Peter Buhr / detail
  26. small changes to channel chapter — Peter Buhr / detail
  27. did some cleanup of channels — caparsons / detail
  28. added a test change to help locate the deadlock on next test failure — caparsons / detail
  29. added some variations on failing channel test to try and narrow down failure to minimal case. Window for deadlock must be small as it seems to be irreproducible unless during full build + test. — caparsons / detail
  30. added and removed some tests in pursuit of a more minimal repro of the deadlock failure case — caparsons / detail
  31. removed uneeded tests — caparsons / detail
  32. removed potential race to attempt to fix failing test — caparsons / detail
  33. updated channel and mutex stmt figures — caparsons / detail
  34. updated plotting scripts with new plot style — caparsons / detail
  35. added CAP annotation macro — caparsons / detail
  36. added various small edits and resolved some action items — caparsons / detail
  37. cleaned up benchmark pseudocode — caparsons / detail
  38. fixed a bug which may potentially fix build — caparsons / detail
  39. added zero size channel waituntil test case — caparsons / detail
  40. refactored tests to refine failure case to minimal repro — caparsons / detail
  41. removed tests that are redundant — caparsons / detail
  42. removed some redundant tests and added some instrumentation to help track down bug — caparsons / detail
  43. added some instrumentation to attempt to glean some insight into optimized away values — caparsons / detail
  44. Clean up methods for result1/N/Nstmt classes and the padantic pass macros. — ajbeach / detail
  45. Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa changes is an ongoing TODO — caparsons / detail
  46. continue working on llheap paper — Peter Buhr / detail
  47. add Makefile for llheap paper — Peter Buhr / detail
  48. removed uneeded busy wait — caparsons / detail

#517 (May 1, 2023, 8:56:24 AM)

  1. remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly builds to gcc 7-11 — Peter Buhr / detail

#512 (Apr 27, 2023, 12:02:21 AM)

  1. change waituntil expression from cast_expression to comma_expression — Peter Buhr / detail
  2. update comment about locale problem with leaked storage — Peter Buhr / detail

#506 (Apr 20, 2023, 11:58:12 PM)

  1. Clean-up in DeclarationNode.cc. Made all buildList loops the same. The ast::Decl function also got some restructuring, mostly moving code around and into helpers. — ajbeach / detail
  2. Added IndexIterator, which absorbs some functionality of some MemberIterator types for CurrentObject. — ajbeach / detail

#504 (Apr 19, 2023, 6:33:01 PM)

  1. Adding explination to the memory leak in driver/cfa.cc. — ajbeach / detail
  2. The test.py (through Makefile) handles --invariant passing it to the build. It passes it through CFAFLAGS which are the caller's additional configuration. This is simpler than creating a config variable and then passing 'invariant=yes' to make (like debug or installed). — ajbeach / detail
  3. Cleaned up some DeclarationNode code that had some extra code no longer needed because of the translation. Also added a helper function for clarity. — ajbeach / detail

#502 (Apr 17, 2023, 11:56:51 PM)

  1. Cleaned up some indentation in DeclarationNode.h. — ajbeach / detail

#500 (Apr 16, 2023, 10:25:26 AM)

  1. fix PRNG test to work correctly on ARM — Peter Buhr / detail
  2. fix 32-bit build with new PRNG output — Peter Buhr / detail

#499 (Apr 14, 2023, 11:59:52 PM)

  1. Moved new ast code out of one of the old files. The new file may have to change if SymTab is removed entirely, but for now at least, there is a lot less template code in headers. — ajbeach / detail
  2. Some SymbolTable clean-up I did while trying a change I didn't go through with. — ajbeach / detail

#498 (Apr 13, 2023, 11:57:11 PM)

  1. Clean-up in the parser %union. — ajbeach / detail
  2. Updated Iterate.hpp documentation. — ajbeach / detail

#497 (Apr 12, 2023, 11:58:09 PM)

  1. Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it. — ajbeach / detail
  2. CandidateFinder fills in the CodeLocation on a generated expression. With that and recent changes, the fills seem to be redundent now, so I removed them. — ajbeach / detail
  3. Update macros in main. DUMP is now a macro to save space/noise and the PASS macro now runs checkInvariants afterwards if --invariant is on. — ajbeach / detail

#496 (Apr 12, 2023, 12:00:28 AM)

  1. Run LL perf with more stable compile flags and run context. — mlbrooks / detail
  2. Some clean-up in CurrentObject, so that TupleIterator is no longer faking being a AggregateIterator. — ajbeach / detail
  3. Adjust LL perf to use a random layout of nodes in memory — mlbrooks / detail
  4. add -invariant/--invariant flag to enable invariant checking during AST passes — Peter Buhr / detail
  5. add parsing test for waitfor statement — Peter Buhr / detail
  6. add Kahn74 citation — Peter Buhr / detail
  7. clean up .gitignore file — Peter Buhr / detail
  8. update channel chapter intro — Peter Buhr / detail
  9. Clean-up in parser. ClauseNode rework, plus internal adjustments to reduce extra code and unchecked casts. — ajbeach / detail
  10. Missed some uses of the new parser helpers. — ajbeach / detail
  11. Clean-up in CodeLocationTools. — ajbeach / detail
  12. Added/cleaned some AST comments. — ajbeach / detail

#495 (Apr 11, 2023, 12:03:42 AM)

  1. Run LL perf with more stable compile flags and run context. — mlbrooks / detail
  2. Some clean-up in CurrentObject, so that TupleIterator is no longer faking being a AggregateIterator. — ajbeach / detail
  3. Adjust LL perf to use a random layout of nodes in memory — mlbrooks / detail
  4. add -invariant/--invariant flag to enable invariant checking during AST passes — Peter Buhr / detail
  5. add parsing test for waitfor statement — Peter Buhr / detail
  6. add Kahn74 citation — Peter Buhr / detail

#495 (Apr 11, 2023, 12:03:42 AM)

  1. small commits before changing latex macros — Peter Buhr / detail
  2. updated style to remove some 800-lb gorilla macros — caparsons / detail
  3. fixed accidental duplicate label — caparsons / detail
  4. removed uneeded make rules — caparsons / detail
  5. cleaned up cpp figure — caparsons / detail
  6. Big cleanup pass. Updated style to get rid of almost all macros. Reformated thesis to match current template. Added newlines at the end of all sentences. Reworked terminology and acronyms to fit new glossary format — caparsons / detail
  7. fixed citation issue — caparsons / detail
  8. LL perf: Add comments for rerunning tests — mlbrooks / detail
  9. LL perf: reduce frequency of using volatile variables. — mlbrooks / detail
  10. add style file to Makefile dependencies — Peter Buhr / detail
  11. turn on CFAStyle and make default language — Peter Buhr / detail
  12. convert to CFAStyle in CFA_intro chapter — Peter Buhr / detail
  13. formatting — Peter Buhr / detail
  14. removed code style and refactored to use cfa code style — caparsons / detail
  15. proofread CFA-introduction chapter — Peter Buhr / detail
  16. change citation colour from green to blue — Peter Buhr / detail
  17. formatting — Peter Buhr / detail
  18. proofread CFA-concurrency chapter — Peter Buhr / detail
  19. add access to LstNumberStyle, make tt font smalled for lst string constants — Peter Buhr / detail
  20. small corrections — Peter Buhr / detail
  21. Tweak LL perf compilation--CLI to support a fixed-work mode that does not re-check clock() during the run. — mlbrooks / detail
  22. Remove mistakenly committed diagnostic output from LL prf. — mlbrooks / detail
  23. Fix Makefile noise on LL perf rebuild. — mlbrooks / detail
  24. Apply volatile variable frequency reduction (of fa6ca1ac779b4) to _classic test too. — mlbrooks / detail
  25. Translated parser to the new ast. This incuded a small fix in the resolver so larger expressions can be used in with statements and some updated tests. errors/declaration just is a formatting update. attributes now actually preserves more attributes (unknown if all versions work). — ajbeach / detail
  26. Extend LL perf experiment to run on many dataset sizes. — mlbrooks / detail
  27. More use of the new AST named boolean types. — ajbeach / detail
  28. ast::SuspendStmt::Type -> ::Kind, this fits the new convention where Type is limited for actual compiler types. — ajbeach / detail
  29. Split up ParseNode.h so that headers match implementation. May have a bit less to include total because of it. — ajbeach / detail
  30. Removed members from TupleType. They were only used in one place, CurrentObject. That now has a patch to create its own imaginary members. — ajbeach / detail
  31. Moved code out of the CurrentObject header. — ajbeach / detail
  32. Run LL perf with more stable compile flags and run context. — mlbrooks / detail
  33. add temporary Newterm, PAB macro, save boxes, and lstnewenvironment java — Peter Buhr / detail
  34. replace latex package subcaption with subfig — Peter Buhr / detail
  35. proofread chapter mutex_stmt — Peter Buhr / detail
  36. formatting, replace latex package subcaption with subfig — Peter Buhr / detail
  37. formatting, replace latex package subcaption with subfig — Peter Buhr / detail
  38. Some clean-up in CurrentObject, so that TupleIterator is no longer faking being a AggregateIterator. — ajbeach / detail
  39. Adjust LL perf to use a random layout of nodes in memory — mlbrooks / detail
  40. add -invariant/--invariant flag to enable invariant checking during AST passes — Peter Buhr / detail

#494 (Apr 9, 2023, 11:59:28 PM)

  1. add temporary Newterm, PAB macro, save boxes, and lstnewenvironment java — Peter Buhr / detail
  2. replace latex package subcaption with subfig — Peter Buhr / detail
  3. proofread chapter mutex_stmt — Peter Buhr / detail
  4. formatting, replace latex package subcaption with subfig — Peter Buhr / detail
  5. formatting, replace latex package subcaption with subfig — Peter Buhr / detail

#492 (Apr 7, 2023, 8:45:51 AM)

  1. Split up ParseNode.h so that headers match implementation. May have a bit less to include total because of it. — ajbeach / detail
  2. Removed members from TupleType. They were only used in one place, CurrentObject. That now has a patch to create its own imaginary members. — ajbeach / detail
  3. Moved code out of the CurrentObject header. — ajbeach / detail

#491 (Apr 5, 2023, 11:59:13 PM)

  1. More use of the new AST named boolean types. — ajbeach / detail
  2. ast::SuspendStmt::Type -> ::Kind, this fits the new convention where Type is limited for actual compiler types. — ajbeach / detail

#490 (Apr 4, 2023, 11:58:12 PM)

  1. Big cleanup pass. Updated style to get rid of almost all macros. Reformated thesis to match current template. Added newlines at the end of all sentences. Reworked terminology and acronyms to fit new glossary format — caparsons / detail
  2. fixed citation issue — caparsons / detail
  3. LL perf: Add comments for rerunning tests — mlbrooks / detail
  4. LL perf: reduce frequency of using volatile variables. — mlbrooks / detail
  5. add style file to Makefile dependencies — Peter Buhr / detail
  6. turn on CFAStyle and make default language — Peter Buhr / detail
  7. convert to CFAStyle in CFA_intro chapter — Peter Buhr / detail
  8. formatting — Peter Buhr / detail
  9. removed code style and refactored to use cfa code style — caparsons / detail
  10. proofread CFA-introduction chapter — Peter Buhr / detail
  11. change citation colour from green to blue — Peter Buhr / detail
  12. formatting — Peter Buhr / detail
  13. proofread CFA-concurrency chapter — Peter Buhr / detail
  14. add access to LstNumberStyle, make tt font smalled for lst string constants — Peter Buhr / detail
  15. small corrections — Peter Buhr / detail
  16. Tweak LL perf compilation--CLI to support a fixed-work mode that does not re-check clock() during the run. — mlbrooks / detail
  17. Remove mistakenly committed diagnostic output from LL prf. — mlbrooks / detail
  18. Fix Makefile noise on LL perf rebuild. — mlbrooks / detail
  19. Apply volatile variable frequency reduction (of fa6ca1ac779b4) to _classic test too. — mlbrooks / detail
  20. Translated parser to the new ast. This incuded a small fix in the resolver so larger expressions can be used in with statements and some updated tests. errors/declaration just is a formatting update. attributes now actually preserves more attributes (unknown if all versions work). — ajbeach / detail
  21. Extend LL perf experiment to run on many dataset sizes. — mlbrooks / detail

#488 (Apr 2, 2023, 11:57:59 PM)

  1. added channel tests that use new termination feature — caparson / detail
  2. updated actor header to use better name for stat toggling — caparson / detail
  3. cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa — caparson / detail
  4. added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around — caparson / detail
  5. added go counterpart to cfa benchmarks — caparson / detail
  6. updated plotting and run scripts for channel benchmarks — caparson / detail
  7. fixed build issue caused by globals — caparsons / detail
  8. added figures for mutex stmt and channels — caparsons / detail
  9. did more editing, finished first draft of mutex stmt and channel chapters, added brief intro — caparsons / detail
  10. clean up waituntil grammar — Peter Buhr / detail
  11. Add linked list performance experiment — mlbrooks / detail
  12. LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine. — mlbrooks / detail
  13. Removed unneeded include. Should fix failing channels/churn test. — caparsons / detail
  14. small commits before changing latex macros — Peter Buhr / detail
  15. updated style to remove some 800-lb gorilla macros — caparsons / detail
  16. fixed accidental duplicate label — caparsons / detail
  17. removed uneeded make rules — caparsons / detail
  18. cleaned up cpp figure — caparsons / detail

#487 (Apr 1, 2023, 11:58:22 PM)

  1. added channel tests that use new termination feature — caparson / detail
  2. updated actor header to use better name for stat toggling — caparson / detail
  3. cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa — caparson / detail
  4. added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around — caparson / detail
  5. added go counterpart to cfa benchmarks — caparson / detail
  6. updated plotting and run scripts for channel benchmarks — caparson / detail
  7. fixed build issue caused by globals — caparsons / detail
  8. added figures for mutex stmt and channels — caparsons / detail
  9. did more editing, finished first draft of mutex stmt and channel chapters, added brief intro — caparsons / detail
  10. clean up waituntil grammar — Peter Buhr / detail
  11. Add linked list performance experiment — mlbrooks / detail
  12. LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine. — mlbrooks / detail
  13. Removed unneeded include. Should fix failing channels/churn test. — caparsons / detail
  14. small commits before changing latex macros — Peter Buhr / detail

#487 (Apr 1, 2023, 11:58:22 PM)

  1. LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine. — mlbrooks / detail
  2. Removed unneeded include. Should fix failing channels/churn test. — caparsons / detail

#486 (Mar 31, 2023, 11:58:15 PM)

  1. added channel tests that use new termination feature — caparson / detail
  2. updated actor header to use better name for stat toggling — caparson / detail
  3. cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa — caparson / detail
  4. added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around — caparson / detail
  5. added go counterpart to cfa benchmarks — caparson / detail
  6. updated plotting and run scripts for channel benchmarks — caparson / detail
  7. fixed build issue caused by globals — caparsons / detail
  8. added figures for mutex stmt and channels — caparsons / detail
  9. did more editing, finished first draft of mutex stmt and channel chapters, added brief intro — caparsons / detail
  10. clean up waituntil grammar — Peter Buhr / detail
  11. Add linked list performance experiment — mlbrooks / detail
  12. LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine. — mlbrooks / detail

#486 (Mar 31, 2023, 11:58:15 PM)

  1. proofread Mike's list chapter — Peter Buhr / detail
  2. added padding to channel to prevent false sharing that was occurring — caparson / detail
  3. minor changes to channel test harness — caparson / detail
  4. print unimplemented error for forall in typedef — Peter Buhr / detail
  5. update call.cfa.in with generic casts for io-uring field types — Peter Buhr / detail
  6. Removed unused (debug only?) code. If you want to change how GenStructMemberCalls handles errors you may just need to write a local helper. — ajbeach / detail
  7. Added printing of with clauses to the printing of both new and old ast nodes. — ajbeach / detail
  8. cleaned up exp_backoff lock and rewrote parts of channels to improve performance — caparson / detail
  9. added two other channel variations to channel file — caparsons / detail
  10. various edits and cleanup and added mutexstmt chapter — caparsons / detail
  11. added WIP channels chapter — caparsons / detail
  12. added first channel bench and copied over scripts that will need to be edited for channel usage. intermediate commit so that benchmarks can be pulled and run on another server — caparsons / detail
  13. some mutex stmt benchmark cleanup — caparsons / detail
  14. update interpose code, and document 32-bit interpose bug in glibc — Peter Buhr / detail
  15. trying to get Jenkins Promote to work with new credentials — caparsons / detail
  16. Moved toString and toCString to a new header. Updated includes. cassert was somehow getting instances of toString before but that stopped working so I embedded the new smaller include. — ajbeach / detail
  17. Looks like we missed one of the ast 'should be in every derived class' declarations. — ajbeach / detail
  18. formatting, add new waituntil grammar, rewrite waitfor grammar, simplify waitfor build-routines to match new grammar — Peter Buhr / detail
  19. deprecated qualifiers/specifiers before TYPEDEF — Peter Buhr / detail
  20. forgot to add to last commit — Peter Buhr / detail
  21. added channel tests that use new termination feature — caparson / detail
  22. updated actor header to use better name for stat toggling — caparson / detail
  23. cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa — caparson / detail
  24. added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around — caparson / detail
  25. added go counterpart to cfa benchmarks — caparson / detail
  26. updated plotting and run scripts for channel benchmarks — caparson / detail
  27. fixed build issue caused by globals — caparsons / detail
  28. added figures for mutex stmt and channels — caparsons / detail
  29. did more editing, finished first draft of mutex stmt and channel chapters, added brief intro — caparsons / detail
  30. clean up waituntil grammar — Peter Buhr / detail
  31. Add linked list performance experiment — mlbrooks / detail

#485 (Mar 29, 2023, 11:58:13 PM)

  1. Moved toString and toCString to a new header. Updated includes. cassert was somehow getting instances of toString before but that stopped working so I embedded the new smaller include. — ajbeach / detail
  2. Looks like we missed one of the ast 'should be in every derived class' declarations. — ajbeach / detail
  3. formatting, add new waituntil grammar, rewrite waitfor grammar, simplify waitfor build-routines to match new grammar — Peter Buhr / detail
  4. deprecated qualifiers/specifiers before TYPEDEF — Peter Buhr / detail
  5. forgot to add to last commit — Peter Buhr / detail

#482 (Mar 28, 2023, 12:49:50 PM)

  1. trying to get Jenkins Promote to work with new credentials — caparsons / detail

#481 (Mar 27, 2023, 11:56:36 PM)

  1. update interpose code, and document 32-bit interpose bug in glibc — Peter Buhr / detail

#474 (Mar 24, 2023, 11:55:20 PM)

  1. cleaned up exp_backoff lock and rewrote parts of channels to improve performance — caparson / detail
  2. added two other channel variations to channel file — caparsons / detail
  3. various edits and cleanup and added mutexstmt chapter — caparsons / detail
  4. added WIP channels chapter — caparsons / detail
  5. added first channel bench and copied over scripts that will need to be edited for channel usage. intermediate commit so that benchmarks can be pulled and run on another server — caparsons / detail
  6. some mutex stmt benchmark cleanup — caparsons / detail

#473 (Mar 23, 2023, 11:59:53 PM)

  1. update call.cfa.in with generic casts for io-uring field types — Peter Buhr / detail
  2. Removed unused (debug only?) code. If you want to change how GenStructMemberCalls handles errors you may just need to write a local helper. — ajbeach / detail
  3. Added printing of with clauses to the printing of both new and old ast nodes. — ajbeach / detail

#472 (Mar 23, 2023, 12:01:11 AM)

  1. remove SKULLDUGGERY dealing with CFA typedef numbering problem — Peter Buhr / detail
  2. add missing comma for citation field — Peter Buhr / detail
  3. refactored to use generators for seeding state, added splitmix32 for 32 bit seeding — caparsons / detail
  4. fixed merge conflict — caparsons / detail
  5. updated expect files for prng based tests — caparsons / detail
  6. added splitmix64 since wyhash has 128 bit dependency and xoshiro doesnt — caparsons / detail
  7. small comment cleanup — caparsons / detail
  8. use splitmix32/64 to prime set seed for all PRNG — Peter Buhr / detail
  9. update 32-bit tests after change to PRNG — Peter Buhr / detail
  10. Removed list initialization and simple assignment expression rules for functions. Split variable_type_redeclarator rule into variable_type_redeclarator and function_type_redeclarator rules — mganesan / detail
  11. proofread Mike's list chapter — Peter Buhr / detail
  12. added padding to channel to prevent false sharing that was occurring — caparson / detail
  13. minor changes to channel test harness — caparson / detail
  14. print unimplemented error for forall in typedef — Peter Buhr / detail

#471 (Mar 22, 2023, 12:02:23 PM)

  1. remove SKULLDUGGERY dealing with CFA typedef numbering problem — Peter Buhr / detail
  2. add missing comma for citation field — Peter Buhr / detail
  3. refactored to use generators for seeding state, added splitmix32 for 32 bit seeding — caparsons / detail
  4. fixed merge conflict — caparsons / detail
  5. updated expect files for prng based tests — caparsons / detail
  6. added splitmix64 since wyhash has 128 bit dependency and xoshiro doesnt — caparsons / detail
  7. small comment cleanup — caparsons / detail
  8. use splitmix32/64 to prime set seed for all PRNG — Peter Buhr / detail
  9. update 32-bit tests after change to PRNG — Peter Buhr / detail
  10. Removed list initialization and simple assignment expression rules for functions. Split variable_type_redeclarator rule into variable_type_redeclarator and function_type_redeclarator rules — mganesan / detail
  11. proofread Mike's list chapter — Peter Buhr / detail

#471 (Mar 22, 2023, 12:02:23 PM)

  1. added mutex stmt benchmarking — caparsons / detail
  2. added diagram subdir for thesis — caparsons / detail
  3. added actor performance graph plotting script — caparsons / detail
  4. committing current actor figures, will overwrite as benchmarks are rerun later — caparsons / detail
  5. cleaned up data files — caparsons / detail
  6. added baseline mutex stmt and scoped lock benchmarks — caparsons / detail
  7. added plotting script for mutexstmt benchmarks — caparsons / detail
  8. moved existing diagrams to diagram dir — caparsons / detail
  9. updated mutex stmt run script and header for cpp variant — caparsons / detail
  10. various additions to thesis, finished first draft of actor chapter (lots of polish needed), added first draft of intro to CFA features & intro to CFA threading, added start of mutex stmt chapter — caparsons / detail
  11. made generated finally routine inline to allow for better optimization — caparsons / detail
  12. a little bit of mutex stmt header cleanup — caparsons / detail
  13. Fixed some whitespace. — ajbeach / detail
  14. added randomized lock ordering bench for mutexstmt — caparsons / detail
  15. updated runscript and shared header for rand bench — caparsons / detail
  16. renamed baseline bench and added separate cluster to cfa benchmark to avoid main thread starvation issue — caparsons / detail
  17. remove SKULLDUGGERY dealing with CFA typedef numbering problem — Peter Buhr / detail
  18. add missing comma for citation field — Peter Buhr / detail
  19. refactored to use generators for seeding state, added splitmix32 for 32 bit seeding — caparsons / detail
  20. fixed merge conflict — caparsons / detail
  21. updated expect files for prng based tests — caparsons / detail
  22. added splitmix64 since wyhash has 128 bit dependency and xoshiro doesnt — caparsons / detail
  23. small comment cleanup — caparsons / detail
  24. use splitmix32/64 to prime set seed for all PRNG — Peter Buhr / detail
  25. update 32-bit tests after change to PRNG — Peter Buhr / detail
  26. Removed list initialization and simple assignment expression rules for functions. Split variable_type_redeclarator rule into variable_type_redeclarator and function_type_redeclarator rules — mganesan / detail

#469 (Mar 19, 2023, 11:58:52 PM)

  1. Fixed some whitespace. — ajbeach / detail
  2. added randomized lock ordering bench for mutexstmt — caparsons / detail
  3. updated runscript and shared header for rand bench — caparsons / detail
  4. renamed baseline bench and added separate cluster to cfa benchmark to avoid main thread starvation issue — caparsons / detail

#468 (Mar 19, 2023, 12:03:41 AM)

  1. added diagram subdir for thesis — caparsons / detail
  2. added actor performance graph plotting script — caparsons / detail
  3. committing current actor figures, will overwrite as benchmarks are rerun later — caparsons / detail
  4. cleaned up data files — caparsons / detail
  5. added baseline mutex stmt and scoped lock benchmarks — caparsons / detail
  6. added plotting script for mutexstmt benchmarks — caparsons / detail
  7. moved existing diagrams to diagram dir — caparsons / detail
  8. updated mutex stmt run script and header for cpp variant — caparsons / detail
  9. various additions to thesis, finished first draft of actor chapter (lots of polish needed), added first draft of intro to CFA features & intro to CFA threading, added start of mutex stmt chapter — caparsons / detail
  10. made generated finally routine inline to allow for better optimization — caparsons / detail
  11. a little bit of mutex stmt header cleanup — caparsons / detail

#464 (Mar 17, 2023, 5:49:53 PM)

  1. added mutex stmt benchmarking — caparsons / detail

#463 (Mar 17, 2023, 2:59:25 PM)

  1. added mutex stmt benchmarking — caparsons / detail

#463 (Mar 17, 2023, 2:59:25 PM)

  1. cleaned up some lock stuff — caparson / detail
  2. Fix casted enum init — j82liang / detail
  3. major update of PRNG — Peter Buhr / detail
  4. parse enumerated dimension — Peter Buhr / detail
  5. 32-bit update of PRNG — Peter Buhr / detail
  6. change type of yield parameter from unsigned int to size_t — Peter Buhr / detail
  7. remove unsigned cast for prng calls — Peter Buhr / detail
  8. parse CFA dimension-list with types — Peter Buhr / detail
  9. Explicitly zero initialize the intrusive link fields — Thierry Delisle / detail
  10. changes to PRNG types to eliminate casts — Peter Buhr / detail
  11. Small fix to the exception header, the wrong trait was used in one place. — ajbeach / detail
  12. Minimal changes to pull out nested types, TypeInstType::TypeEnvKey and TypeDecl::Data (now TypeData) from there parent types. Although they do connect to the parent types they were nested in they are used on their own most of the time. — ajbeach / detail
  13. Follow up to TypeEnvKey/TypeDecl, removing extra includes (but I only found one). — ajbeach / detail
  14. Last corrections to my thesis... hopefully — Thierry Delisle / detail
  15. fixed some tiny issues in the bibtex — Thierry Delisle / detail
  16. Cleaning old box pass for easier translation. Again, this loop confuses me. Some other general clean-up. — ajbeach / detail
  17. Cleaning old box pass for easier translation. I believe I have an explination for why the confusing loop works. — ajbeach / detail
  18. Changed fairness tests to use sched_yield in case exhausting the time slice is what causing test failures — Thierry Delisle / detail
  19. generalization of PRNG — Peter Buhr / detail
  20. Changes needed for UWSpace — Thierry Delisle / detail
  21. remove 32-bit use of lehmer64, which requires __uint128_t — Peter Buhr / detail
  22. Cleaning old box pass for easier translation. Removing another out parameter. — ajbeach / detail
  23. formatting — Peter Buhr / detail
  24. formatting, switch to typedef for PRNG complex state — Peter Buhr / detail
  25. Added test that stresses more how we link anonymous types — Thierry Delisle / detail
  26. Updating gdb tools to latest invoke.h changes — Thierry Delisle / detail
  27. Forgot to commit the changes to the Makefile — Thierry Delisle / detail
  28. Clean-up from my investigation on the __anonymous issue. The parser change improves highlighting. — ajbeach / detail
  29. Added more stats — Thierry Delisle / detail
  30. change all PRNG to prime the PRNG state in set_seed with the given seed — Peter Buhr / detail
  31. update documentation — Peter Buhr / detail
  32. adjust PRNG types from size_t to uint32_t/uint64_t — Peter Buhr / detail
  33. add missing parenthesis in KISS PRNG — Peter Buhr / detail
  34. formatting, remove unnecessary temporary variable in prng function — Peter Buhr / detail
  35. add comments — Peter Buhr / detail
  36. small lock cleanup — caparson / detail
  37. added/fixed lock tests — caparson / detail
  38. more lock cleanup — caparson / detail
  39. added helping and lock to allow remote processors to flush unresponsive procs — Thierry Delisle / detail
  40. added convoy analysis script and sample data — caparsons / detail
  41. small CLI changes to convoy script — caparsons / detail
  42. Changed bounded buffer tests to use prng, which has better defined multi-threaded behavior — Thierry Delisle / detail
  43. Moved parsing code out of main into the parsing directly, as an organizational improvement. The new files use the new naming convention, and should be converted to the new AST. — ajbeach / detail
  44. Removed extra scope calls in the new Pass. Added some documentation on the core's possible special members. — ajbeach / detail
  45. Cleaning old box pass for easier translation. Cleaning unused code out of Pass3, it was tracking information it never used. — ajbeach / detail
  46. added single run mode and added sample for single run to data — caparsons / detail
  47. Forgot that prng used different algorithm on 32bit — Thierry Delisle / detail
  48. Cleaning old box pass for easier translation. Renamed the numbered sub-passes. — ajbeach / detail
  49. changed algorithm to approximation since max cycle finding is NP-hard — caparsons / detail
  50. Moved the 'Hoist Type Decls' pass up because it establishes some (not as enforced) invariants about everything being reachable by ptrs. — ajbeach / detail
  51. formatting, switch to XOSHIRO256PP/XOSHIRO128PP as the 64/32-bit default PRNG, fix kiss_64 shifts — Peter Buhr / detail
  52. change printing format in PRNG, update .expect for tests using PRNG — Peter Buhr / detail
  53. update 32-bit .expect for tests using PRNG — Peter Buhr / detail
  54. Moved new to old ast conversion up into the RunParser module. As far as main is concerned the new ast is used from the beginning (except for LinkageSpec::Spec). — ajbeach / detail
  55. Adjusted -Pasterr so it works while using the new ast. Removed the -Ptree option as it doesn't seem to work and no one uses it. — ajbeach / detail
  56. Reorganize ScrubTyVars, the Node specialization trick is redundent when there are three functions with the same base. — ajbeach / detail
  57. change spinlock atomics to ATOMIC_ACQUIRE/RELEASE, increase alignment of FreeHeader elements, change counter types from int64_t to ptrdiff_t/size_t, fix bug allocating heapManager arrays, move return push counters — Peter Buhr / detail
  58. formatting — Peter Buhr / detail
  59. add cast from int to unsigned — Peter Buhr / detail
  60. Cleaning old box pass for easier translation. Compacting one of the functions to save space. — ajbeach / detail
  61. Should silence a GCC 12 warning. — ajbeach / detail
  62. __pass::get_result -> __pass::result::get for consistency with the other proto helpers. — ajbeach / detail
  63. fixed clh bug where you couldn't hold more than 1 clh lock at once — caparsons / detail
  64. add Scott13 citation to pl.bib — Peter Buhr / detail
  65. remove all uses of __USE_GNU — Peter Buhr / detail
  66. added new future and added rudimentary select statement support for it — caparsons / detail
  67. added select to includes — caparsons / detail
  68. added and updated future tests — caparsons / detail
  69. small update to configure scripts, which should help for ubuntu 22.04 — Thierry Delisle / detail
  70. More small autoconf tweaks — Thierry Delisle / detail
  71. fixed race condition in select_future test to fix build failure — caparsons / detail
  72. small future touchups — caparsons / detail
  73. Some cleanup in RenameVars.cc. — ajbeach / detail
  74. refactored naming for lock to be more accurate and cleaned up REACQ nonsense in locks.hfa — caparsons / detail
  75. renamed tests to match naming refactor — caparsons / detail
  76. moved unified locking tests to be under concurrent directory since they probably should have been there this whole time — caparsons / detail
  77. missed another lock name refactor in the earlier commit — caparsons / detail
  78. commit expect files for the unified locking dir move — caparsons / detail
  79. moved unified_locking test dir to be under concurrent — caparsons / detail
  80. added channel impl with basic test. Will expand impl and tests soon — caparsons / detail
  81. removed accidentally committed a.out — caparsons / detail
  82. added expect for channel test — caparsons / detail
  83. made changes to support zero-size channels — caparsons / detail
  84. added another channel test and refactored the existing one to reuse code — caparsons / detail
  85. refactored name of channel test to remove channel from the name — caparsons / detail
  86. remove unused expect file due to renaming — caparsons / detail
  87. removed file accidentally included in earlier commit — caparsons / detail
  88. fixed makefile for tests by adding appropriate includes — caparsons / detail
  89. Clean-up in the name mangler. — ajbeach / detail
  90. Fix CodeGen for function type enum — j82liang / detail
  91. fixed parameters for test to eliminate deadlock case — caparsons / detail
  92. fixed termination synchronization in the channel benchmark to get rid of deadlock case — caparsons / detail
  93. Clean up some code related to Enum codegen — j82liang / detail
  94. removed unneeded dependency that broke build — caparsons / detail
  95. Cleaning old box pass for easier translation. Removed an unused variables, reduced cloning and reduced the indent in passAdapters. — ajbeach / detail
  96. Header Clean-up: Clearing out typeops, moving things to Unify because that header already exist. — ajbeach / detail
  97. Header Clean-up: Moved more things from typeops to Unify. — ajbeach / detail
  98. Header Clean-up: Moving more declarations to the header of the implementation file. — ajbeach / detail
  99. Header Clean-Up: Created new headers for new AST typeops and moved declarations. — ajbeach / detail
  100. Header Clean-up: Removed no longer needed includes from typeops, and one from Node. — ajbeach / detail
  101. add keyword waituntil, add parsing stub for static declarations in aggregates — Peter Buhr / detail
  102. small lock cleanup to remove unused field on spin_queue_lock — caparsons / detail
  103. added actor support to the compiler — caparsons / detail
  104. ported uC++-style actor system — caparsons / detail
  105. added two actor tests. More to come — caparsons / detail
  106. added expect files for actor tests — caparsons / detail
  107. cleaned up actor matrix test a bit — caparsons / detail
  108. Fixed decl before use issue with actors sending messages to other actors — caparsons / detail
  109. added pingpong test — caparsons / detail
  110. print better error message when semi-colon missing after aggregate — Peter Buhr / detail
  111. change 0 to nullptr — Peter Buhr / detail
  112. add alternate syntax using forall with trait — Peter Buhr / detail
  113. temporary fix to correct build error, fix in actor pass to come later — caparsons / detail
  114. simply grammar for forall with trait — Peter Buhr / detail
  115. added missing header — caparsons / detail
  116. Added appropriate fwd decl hoisting to ensure there are no use before decl issues with the actor send operator — caparsons / detail
  117. fixed non-inline actor/message bug and cleaned up Actor pass — caparsons / detail
  118. reverted changes to types.cfa now that I fixed the underlying bug and added static send actor test — caparsons / detail
  119. added dynamic allocation actor test — caparsons / detail
  120. added envelope copying to avoid allocations — caparsons / detail
  121. added executor test — caparsons / detail
  122. fixed bug where I used buffer as a stack not a queue — caparsons / detail
  123. updated test params so that they ran for appropriate duration — caparsons / detail
  124. added support for copying envelopes in generated | routine — caparsons / detail
  125. intermediate push so I can move to nasus to performance test some stuff — caparsons / detail
  126. Updated ScopedMap to use the layout of ErasableScopedMap; putting the iterator details at the end of the file. — ajbeach / detail
  127. Fixed indentation in ScopedSet and moved the iterator details to the bottom of the file. — ajbeach / detail
  128. Fixed clang++-10 error. One of the problem functions was never used and may not add functionality, it was removed. The other was simply moved, although changing it might be better, that was not working as a quick fix. — ajbeach / detail
  129. switch from old trait syntax to new trait syntax using forall clause — Peter Buhr / detail
  130. Fixed a clang warning and cleaned up the rest of the function. — ajbeach / detail
  131. Added contains to some of our containers. Also changed some code to use the new method. — ajbeach / detail
  132. Replaced ScopedMap::erase with a version that should avoid the order of declaration problems and also better reflects how it is actually used. — ajbeach / detail
  133. change test forall.cfa from compilation only to execution — Peter Buhr / detail
  134. formatting, add bibliography entries for Actor paper — Peter Buhr / detail
  135. fix documentation — Peter Buhr / detail
  136. This should fix the issues with building with older gcc versions. — ajbeach / detail
  137. added support for copy based envelopes — caparson / detail
  138. Cleaning old box pass for easier translation. Added guards to cut down on some leaking (and luckily ignored) information. — ajbeach / detail
  139. update Csharp macro, remove pslatex package and replace with helvet, add vs (versus) macro, add VRefrange macros — Peter Buhr / detail
  140. Removed CompilerError and UnimplementedError — mganesan / detail
  141. Added some box pass utilities that I believe are working and I don't want to look at all the time. — ajbeach / detail
  142. add Actor and work-stealing citations, change inproceedings booktitle to organization — Peter Buhr / detail
  143. formatting — Peter Buhr / detail
  144. formatting, minor expression restructuring — Peter Buhr / detail
  145. formatting — Peter Buhr / detail
  146. add include bits/debug.hfa for verify function — Peter Buhr / detail
  147. remove explicit declaration of accept4 function — Peter Buhr / detail
  148. Added some notes to porting.md. — ajbeach / detail
  149. RunParser now uses AST for its interface everywhere. (Works because LinkageSpec::Spec and ast::Linkage::Spec have the same layout.) — ajbeach / detail
  150. Split the forward include namespace from the declaration namespace in Pass.proto.hpp. Used nested namespace to for the declaration namespace as well. — ajbeach / detail
  151. Updated indentation in Pass.proto.hpp. — ajbeach / detail
  152. Moved parser utility from common utility file to the parserutility file. — ajbeach / detail
  153. make _GNU_SOURCE default, change IO to use __SOCKADDR_ARG and __CONST_SOCKADDR_ARG, move sys/socket.h to first include because of anonymous naming problem — Peter Buhr / detail
  154. isolate error variable declaration — Peter Buhr / detail
  155. add explicit cast of with function exp10 — Peter Buhr / detail
  156. remove unnecessary #define for _XOPEN_SOURCE 600 — Peter Buhr / detail
  157. update printing attributes, clean up anon flag setting, move attribute transparent_union from typedef to its union alias — Peter Buhr / detail
  158. fix build problem — Peter Buhr / detail
  159. Some clean-up in Common/utility.h. Deleted some unused declarations and moved others to one of two new headers. — ajbeach / detail
  160. clean up #include files — Peter Buhr / detail
  161. remove comment about _GNU_SOURCE — Peter Buhr / detail
  162. formatting — Peter Buhr / detail
  163. remove use of _GNU_SOURCE and RTLD_NEXT to provide alternate means for interposing — Peter Buhr / detail
  164. formatting — Peter Buhr / detail
  165. make CV qualifiers on empty SUE declaration an error, gcc only has a warning — Peter Buhr / detail
  166. formatting — Peter Buhr / detail
  167. formatting — Peter Buhr / detail
  168. formatting — Peter Buhr / detail
  169. print enumeration type-name in print member — Peter Buhr / detail
  170. comment out ifaddrs.h in #include file test because it is breaking the build — Peter Buhr / detail
  171. Remove the unused DeclarationNode::Attr_t type and support. — ajbeach / detail
  172. partial commit to move theses framework to plg — caparson / detail
  173. rest of partial commit to move WIP thesis to plg — caparson / detail
  174. Made some of the AST/Print helpers public. — ajbeach / detail
  175. make anonymous struct declaration static — Peter Buhr / detail
  176. update expected test output after declaring anonymous structs static — Peter Buhr / detail
  177. formatting — Peter Buhr / detail
  178. copy typedef name to SUE name for anonymous SUE — Peter Buhr / detail
  179. formatting — Peter Buhr / detail
  180. parser rejects useless type qualifier in empty declaration, and extern anonymous SUE declarations, switch from bitset val to any(), reset() — Peter Buhr / detail
  181. temporary exclusion of include files causing build failure — Peter Buhr / detail
  182. update expected test output for 32-bit — Peter Buhr / detail
  183. update expected test output for arm64 — Peter Buhr / detail
  184. update from old to new trait syntax using forall — Peter Buhr / detail
  185. generate error for empty mutex argument list — Peter Buhr / detail
  186. change BadQualifiersZeroOne warning from dubious print of specified qualifer(s) to a generic message — Peter Buhr / detail
  187. remove warnings for incorrect usage of SuperfluousElse and DeprecTraitSyntax in parser — Peter Buhr / detail
  188. restructure #include files because issues with attribute transparent_union are resolved — Peter Buhr / detail
  189. Thought of new channel implementation while working on the prevention paper. Resulted in 30%+ greater throughput so impl is now switched to that. — caparson / detail
  190. added figures, code examples and more to thesis stuff. wrote many more pages on actors — caparsons / detail
  191. Add comments about arpk internals. — mlbrooks / detail
  192. Repair bad commit ad2424.  Put back `ix0` definition that was removed by mistake. — mlbrooks / detail
  193. move assert(env) to appropriate location — Peter Buhr / detail
  194. fix errors on interpose code for libc and libpthread — Peter Buhr / detail
  195. Explicity initialized the fields of ResolveCopyCtors. This may account for the inconsistent behaviour of the assert and should prevent anything similar happening in the future. — ajbeach / detail
  196. expunge all rseq code from runtime — Peter Buhr / detail
  197. added some safety/productivity features and some stats — caparson / detail
  198. changed actor send from | operator to << operator to avoid conflict with iostream — caparsons / detail
  199. changed actor tests to reflect syntax change and some small changes due to other features — caparsons / detail
  200. small comment cleanup — caparsons / detail
  201. fixed div by zero bug in actor stats, cleaned up includes, changed to work steal mode for tests — caparsons / detail
  202. added poison pill messages and made test for them — caparsons / detail
  203. added test case to types test and refactored to remove redundant ctor calls — caparsons / detail
  204. missed this in prev commit — caparsons / detail
  205. changed some stat collection for actors and attempted to fix matrix.cfa related bug — caparsons / detail
  206. fixed failing dynamic.cfa test — caparsons / detail
  207. added caf/uC++/proto benchmarks — caparson / detail
  208. added cfa benchmarks — caparson / detail
  209. added timing header and cleaned up benchmarks — caparson / detail
  210. added caf benchmarks — caparson / detail
  211. updated run script and plotting script — caparson / detail
  212. some actor cleanup/optimizations — caparson / detail
  213. added data files for tables in thesis — caparson / detail
  214. added latex compatible output format — caparson / detail
  215. added data files needed to generate plots/tables — caparson / detail
  216. changed default number of sends for CAF sendstatic — caparson / detail
  217. fixed matrix.cfa test error by reworking globals to avoid spurious dtor calls — caparsons / detail
  218. added data files for memory footprint benchmark — caparson / detail
  219. After many red herrings I think the race between checking a message and shutdown is the true cause of the matrix.cfa bug and should be fixed — caparsons / detail
  220. added plotting script support for memory footprint bench — caparson / detail
  221. Pre-translation pass on the parser. Entirely code readability improvements, no behaviour (on a larger scale) should be effected. — ajbeach / detail
  222. Make sure fields of the TranslationUnit, and its TranslationGlobal component, are initialized. — ajbeach / detail
  223. Preventing NullStmts from being added into ForCtrl ended up being a larger rework as some timing issues caused problems. However, the NullStmts are mostly gone now along with the extra hosting they caused. — ajbeach / detail
  224. add test for problem with anonymous naming across compilation units — Peter Buhr / detail
  225. formatting — Peter Buhr / detail
  226. add name for lstlisting numbering style — Peter Buhr / detail
  227. update multiple citations — Peter Buhr / detail
  228. add #pragma once to .h and .hfa files — Peter Buhr / detail
  229. add newline at end of file — Peter Buhr / detail
  230. formatting, remove unnecessary #include files and code — Peter Buhr / detail
  231. formatting, rework interpose code (again), remove unnecessary #include files, temporary patch to fix 32-bit build problem using _GNU_SOURCE — Peter Buhr / detail
  232. small formatting changes after Andrew's major updates — Peter Buhr / detail
  233. remove unnecessary code, add action to not duplicate aggregate (work in progress) — Peter Buhr / detail
  234. comment out #pragma once to fix build — Peter Buhr / detail
  235. Removing some indent changes in parser. These can go in later, but hopefully this will avoid conflicts with the translation. — ajbeach / detail
  236. add comment about why no #pragma once — Peter Buhr / detail
  237. cleaned up actor pass and added virtual destructor pass — caparsons / detail
  238. added libcfa support for virtual dtors and added it to actor impl — caparsons / detail
  239. added virtual dtor test to actor test suite, updated other relevant tests accordingly — caparsons / detail
  240. added better x tick marks in plotting script — caparsons / detail
  241. Whitespace clean-up in Makefile. — ajbeach / detail
  242. This should get some of the Parser changes working on older compilers. — ajbeach / detail
  243. Support P9_EMBEDDED annotations inside functions and at more flexible places. — mlbrooks / detail
  244. Start of the linked-list chapter. — mlbrooks / detail

#462 (Mar 17, 2023, 1:17:28 PM)

  1. Support P9_EMBEDDED annotations inside functions and at more flexible places. — mlbrooks / detail
  2. Start of the linked-list chapter. — mlbrooks / detail

#460 (Mar 16, 2023, 5:35:26 PM)

  1. move assert(env) to appropriate location — Peter Buhr / detail
  2. fix errors on interpose code for libc and libpthread — Peter Buhr / detail
  3. Explicity initialized the fields of ResolveCopyCtors. This may account for the inconsistent behaviour of the assert and should prevent anything similar happening in the future. — ajbeach / detail
  4. expunge all rseq code from runtime — Peter Buhr / detail
  5. added some safety/productivity features and some stats — caparson / detail
  6. changed actor send from | operator to << operator to avoid conflict with iostream — caparsons / detail
  7. changed actor tests to reflect syntax change and some small changes due to other features — caparsons / detail
  8. small comment cleanup — caparsons / detail
  9. fixed div by zero bug in actor stats, cleaned up includes, changed to work steal mode for tests — caparsons / detail
  10. added poison pill messages and made test for them — caparsons / detail
  11. added test case to types test and refactored to remove redundant ctor calls — caparsons / detail
  12. missed this in prev commit — caparsons / detail
  13. changed some stat collection for actors and attempted to fix matrix.cfa related bug — caparsons / detail
  14. fixed failing dynamic.cfa test — caparsons / detail
  15. added caf/uC++/proto benchmarks — caparson / detail
  16. added cfa benchmarks — caparson / detail
  17. added timing header and cleaned up benchmarks — caparson / detail
  18. added caf benchmarks — caparson / detail
  19. updated run script and plotting script — caparson / detail
  20. some actor cleanup/optimizations — caparson / detail
  21. added data files for tables in thesis — caparson / detail
  22. added latex compatible output format — caparson / detail
  23. added data files needed to generate plots/tables — caparson / detail
  24. changed default number of sends for CAF sendstatic — caparson / detail
  25. fixed matrix.cfa test error by reworking globals to avoid spurious dtor calls — caparsons / detail
  26. added data files for memory footprint benchmark — caparson / detail
  27. After many red herrings I think the race between checking a message and shutdown is the true cause of the matrix.cfa bug and should be fixed — caparsons / detail
  28. added plotting script support for memory footprint bench — caparson / detail
  29. Pre-translation pass on the parser. Entirely code readability improvements, no behaviour (on a larger scale) should be effected. — ajbeach / detail
  30. Make sure fields of the TranslationUnit, and its TranslationGlobal component, are initialized. — ajbeach / detail
  31. Preventing NullStmts from being added into ForCtrl ended up being a larger rework as some timing issues caused problems. However, the NullStmts are mostly gone now along with the extra hosting they caused. — ajbeach / detail
  32. add test for problem with anonymous naming across compilation units — Peter Buhr / detail
  33. formatting — Peter Buhr / detail
  34. add name for lstlisting numbering style — Peter Buhr / detail
  35. update multiple citations — Peter Buhr / detail
  36. add #pragma once to .h and .hfa files — Peter Buhr / detail
  37. add newline at end of file — Peter Buhr / detail
  38. formatting, remove unnecessary #include files and code — Peter Buhr / detail
  39. formatting, rework interpose code (again), remove unnecessary #include files, temporary patch to fix 32-bit build problem using _GNU_SOURCE — Peter Buhr / detail
  40. small formatting changes after Andrew's major updates — Peter Buhr / detail
  41. remove unnecessary code, add action to not duplicate aggregate (work in progress) — Peter Buhr / detail
  42. comment out #pragma once to fix build — Peter Buhr / detail
  43. Removing some indent changes in parser. These can go in later, but hopefully this will avoid conflicts with the translation. — ajbeach / detail
  44. add comment about why no #pragma once — Peter Buhr / detail
  45. cleaned up actor pass and added virtual destructor pass — caparsons / detail
  46. added libcfa support for virtual dtors and added it to actor impl — caparsons / detail
  47. added virtual dtor test to actor test suite, updated other relevant tests accordingly — caparsons / detail
  48. added better x tick marks in plotting script — caparsons / detail
  49. Whitespace clean-up in Makefile. — ajbeach / detail
  50. This should get some of the Parser changes working on older compilers. — ajbeach / detail