Changes

#1046 (Jan 26, 2025, 11:56:04 PM)

1. updates to prepare for moving location of inline data for new kinds of types — Peter Buhr / detail

#1045 (Jan 25, 2025, 11:55:14 PM)

1. Improved code generation for intermediate steps. Now generates using @= on the approprate initializers. — ajbeach / detail
2. update C arithmetic conversions and add ARM conversion testing — Peter Buhr / detail
3. try to fix cost table one more time, add some comments — f37yu / detail

#1043 (Jan 23, 2025, 7:16:18 PM)

1. CountExpr -> CountofExpr. Actually the main fix was making countof use the same pattern as sizeof/alignof, using a typeof to combine the two cases and have one field instead of two. — ajbeach / detail
2. update input file names for eofType test — Peter Buhr / detail

#1042 (Jan 23, 2025, 12:43:06 PM)

1. CountExpr -> CountofExpr. Actually the main fix was making countof use the same pattern as sizeof/alignof, using a typeof to combine the two cases and have one field instead of two. — ajbeach / detail

#1042 (Jan 23, 2025, 12:43:06 PM)

1. resolve enum dimension as size of enum — j82liang / detail
2. test for end-of-file with and without a terminating newline across multiple types — Peter Buhr / detail
3. more updates for eof of file checking — Peter Buhr / detail
4. remove spurious include file — Peter Buhr / detail
5. formatting — Peter Buhr / detail
6. Fix test suite to run with no warnings on gcc 12, 13, 14 — Michael Brooks / detail

#1041 (Jan 22, 2025, 11:43:18 PM)

1. test for end-of-file with and without a terminating newline across multiple types — Peter Buhr / detail
2. more updates for eof of file checking — Peter Buhr / detail
3. remove spurious include file — Peter Buhr / detail
4. formatting — Peter Buhr / detail
5. Fix test suite to run with no warnings on gcc 12, 13, 14 — Michael Brooks / detail

#1040 (Jan 21, 2025, 11:40:13 PM)

1. update eof of file checking — Peter Buhr / detail
2. resolve enum dimension as size of enum — j82liang / detail

#1039 (Jan 20, 2025, 11:48:38 PM)

1. update eof of file checking — Peter Buhr / detail
2. resolve enum dimension as size of enum — j82liang / detail

#1039 (Jan 20, 2025, 11:48:38 PM)

1. Changed some inline declarations to static or static inline (which are the same except for intent communication). This makes them more robust to inline changes. — ajbeach / detail
2. fix build problem by fixing unsupported C23 attribute in test — Peter Buhr / detail
3. update architecture expect file for ARM — Peter Buhr / detail
4. update architecture expect file for x86 — Peter Buhr / detail
5. update architecture expect file for x64 — Peter Buhr / detail
6. Add back overnight build's benchmark compile attribute data point — Michael Brooks / detail
7. Remove warnings due to unused parameters in generated code for zero-length ttype instantiations. — Michael Brooks / detail
8. Remove test-code-induced warnings from Array RAII. — Michael Brooks / detail
9. Try to fix full build by suppressing known warning's -W code under gcc 7-8-9. — Michael Brooks / detail
10. respond to Andrew's comments about intro chapter — Peter Buhr / detail
11. Isolated the removal of -fgnu89-inline. With the recent static/static inline updates this does not effect any of our code but should enable further optimizations. And the new standard is a quarter centery old. — ajbeach / detail
12. Added prelude-inline.cfa to the standard library. This should now have the single copy of many functions defined in the prelude. — ajbeach / detail
13. formatting, comment out unused parameter names to remove warnings — Peter Buhr / detail
14. Remove uses of warnings to show test success.  Eliminate simple causes of other warnings from affected tests and remove the result from WFLAG_OPT_LAX. — Michael Brooks / detail
15. Restore full sense of wflag strictness, mistakenly reduced in 2853d6fb0. — Michael Brooks / detail
16. Fix a warning missed in 2853d6fb0. — Michael Brooks / detail
17. Remove warnings from remaining array-collections tests. — Michael Brooks / detail
18. implement return cast for other types of expressions — f37yu / detail
19. Partly fix #269 and try to fix nightly build.  Switch to correct type for polymorphic sizeof(-) on 32-bit. — Michael Brooks / detail
20. Added some tests for recent changes to the resolver. — ajbeach / detail
21. Try to fix full build by removing missed x86-debug-specific workaround for #269 — Michael Brooks / detail
22. Try to fix full build by regenerating botched .arm64.expect file on algol, having observed dimexpr-match-detail.sh succeeding there. — Michael Brooks / detail
23. Fix many test-suite- and libcfa-caused unused variable warnings. — Michael Brooks / detail
24. Returning to exceptions after a long time and added the ability to provide fields to the virtual table. Added a connected test. — ajbeach / detail
25. Fix transpiler-induced unused parameter on layoutof. — Michael Brooks / detail
26. Moved massive function log2_u32_32 out of header. — ajbeach / detail
27. Fixed white-space. Woops. — ajbeach / detail
28. Added some code to the code generator for printing try statements in intermediate states. — ajbeach / detail
29. Added more custom constructors into the new exceptions test to avoid errors on some machines. — ajbeach / detail
30. update io_uring casts to prevent 32-bit warning messages about wrong sized pointer to inter conversion — Peter Buhr / detail
31. Starter for developer roll-on instructions. — Michael Brooks / detail
32. Looking over some virtual cast related code to reduce the forall list of type-ids down to a minimal form. You could repeat this with virtual tables, although that might conflict with some proposed features, using the same pattern. — ajbeach / detail
33. attempt to fix complex float conversion cost — f37yu / detail
34. update complex float conversion cost — Peter Buhr / detail
35. make AST/BasicKind.hpp .PRECIOUS so it is not deleted if BasicTypes-gen fails — Peter Buhr / detail
36. adjust formatting of second-level enumeration — Peter Buhr / detail
37. more thesis proofreading — Peter Buhr / detail
38. add thesis pictures — Peter Buhr / detail
39. remove temp files generated by xfig — Peter Buhr / detail
40. update prelude basicTypes with _Float128 and _Float128 _Complex needed for the root of the conversion hierarchy — Peter Buhr / detail
41. update conversion graph to correct and complete all relationships among basic types in gcc — Peter Buhr / detail
42. add test for gcc arithmetic conversions — Peter Buhr / detail
43. rename test ArithmeticConversions to arithmeticConversions — Peter Buhr / detail
44. unsure if these files should be committed because they have generated code — Peter Buhr / detail
45. expected output for arithmeticConversions test on x64 — Peter Buhr / detail
46. move optional code out of #ifdef — Peter Buhr / detail
47. update arithmeticConversions test to work on ARM — Peter Buhr / detail
48. Improve pointer's debug print format to include array-like detail when present. — Michael Brooks / detail
49. Offer CodeGen::generate overloads that simplify calling from gdb. — Michael Brooks / detail
50. Add basic gdb navigation. — Michael Brooks / detail
51. Clean some warnings from unused variables and pointer-to-int casts. — Michael Brooks / detail
52. move code out of #ifdef — Peter Buhr / detail
53. add information about sources for providing permissions — Peter Buhr / detail
54. update comparison of C++ and Cforall I/O — Peter Buhr / detail
55. fixed a parser bug to generate correct ast for waitfor. — lseo / detail
56. reduce yields in test but still get deterministic results — Peter Buhr / detail
57. Updated documenation in VariableExpr::get_lvalue. This accounts for the code update that did not update the documentation and the rather sparse original documentation. — ajbeach / detail
58. add contributions section — f37yu / detail
59. remove spurious file my_tests/floating.cfa — Peter Buhr / detail
60. expunge fallthru keyword and replace its usages with fallthrough — Peter Buhr / detail
61. update eof of file checking — Peter Buhr / detail

#1036 (Jan 17, 2025, 11:45:23 PM)

1. remove spurious file my_tests/floating.cfa — Peter Buhr / detail
2. expunge fallthru keyword and replace its usages with fallthrough — Peter Buhr / detail

#1035 (Jan 16, 2025, 11:41:04 PM)

1. update comparison of C++ and Cforall I/O — Peter Buhr / detail
2. fixed a parser bug to generate correct ast for waitfor. — lseo / detail
3. reduce yields in test but still get deterministic results — Peter Buhr / detail
4. Updated documenation in VariableExpr::get_lvalue. This accounts for the code update that did not update the documentation and the rather sparse original documentation. — ajbeach / detail
5. add contributions section — f37yu / detail

#1032 (Jan 13, 2025, 11:43:12 PM)

1. move optional code out of #ifdef — Peter Buhr / detail
2. update arithmeticConversions test to work on ARM — Peter Buhr / detail
3. Improve pointer's debug print format to include array-like detail when present. — Michael Brooks / detail
4. Offer CodeGen::generate overloads that simplify calling from gdb. — Michael Brooks / detail
5. Add basic gdb navigation. — Michael Brooks / detail
6. Clean some warnings from unused variables and pointer-to-int casts. — Michael Brooks / detail
7. move code out of #ifdef — Peter Buhr / detail
8. add information about sources for providing permissions — Peter Buhr / detail

#1031 (Jan 12, 2025, 11:42:37 PM)

1. update prelude basicTypes with _Float128 and _Float128 _Complex needed for the root of the conversion hierarchy — Peter Buhr / detail
2. update conversion graph to correct and complete all relationships among basic types in gcc — Peter Buhr / detail
3. add test for gcc arithmetic conversions — Peter Buhr / detail
4. rename test ArithmeticConversions to arithmeticConversions — Peter Buhr / detail
5. unsure if these files should be committed because they have generated code — Peter Buhr / detail
6. expected output for arithmeticConversions test on x64 — Peter Buhr / detail

#1030 (Jan 11, 2025, 11:42:24 PM)

1. Starter for developer roll-on instructions. — Michael Brooks / detail
2. Looking over some virtual cast related code to reduce the forall list of type-ids down to a minimal form. You could repeat this with virtual tables, although that might conflict with some proposed features, using the same pattern. — ajbeach / detail
3. attempt to fix complex float conversion cost — f37yu / detail
4. update complex float conversion cost — Peter Buhr / detail
5. make AST/BasicKind.hpp .PRECIOUS so it is not deleted if BasicTypes-gen fails — Peter Buhr / detail
6. adjust formatting of second-level enumeration — Peter Buhr / detail
7. more thesis proofreading — Peter Buhr / detail
8. add thesis pictures — Peter Buhr / detail
9. remove temp files generated by xfig — Peter Buhr / detail

#1028 (Jan 9, 2025, 4:26:06 PM)

1. Fix many test-suite- and libcfa-caused unused variable warnings. — Michael Brooks / detail
2. Returning to exceptions after a long time and added the ability to provide fields to the virtual table. Added a connected test. — ajbeach / detail
3. Fix transpiler-induced unused parameter on layoutof. — Michael Brooks / detail
4. Moved massive function log2_u32_32 out of header. — ajbeach / detail
5. Fixed white-space. Woops. — ajbeach / detail
6. Added some code to the code generator for printing try statements in intermediate states. — ajbeach / detail
7. Added more custom constructors into the new exceptions test to avoid errors on some machines. — ajbeach / detail
8. update io_uring casts to prevent 32-bit warning messages about wrong sized pointer to inter conversion — Peter Buhr / detail

#1026 (Jan 6, 2025, 7:26:18 PM)

1. Remove warnings from remaining array-collections tests. — Michael Brooks / detail
2. implement return cast for other types of expressions — f37yu / detail
3. Partly fix #269 and try to fix nightly build.  Switch to correct type for polymorphic sizeof(-) on 32-bit. — Michael Brooks / detail
4. Added some tests for recent changes to the resolver. — ajbeach / detail
5. Try to fix full build by removing missed x86-debug-specific workaround for #269 — Michael Brooks / detail
6. Try to fix full build by regenerating botched .arm64.expect file on algol, having observed dimexpr-match-detail.sh succeeding there. — Michael Brooks / detail

#1025 (Jan 2, 2025, 11:47:39 PM)

1. Remove uses of warnings to show test success.  Eliminate simple causes of other warnings from affected tests and remove the result from WFLAG_OPT_LAX. — Michael Brooks / detail
2. Restore full sense of wflag strictness, mistakenly reduced in 2853d6fb0. — Michael Brooks / detail
3. Fix a warning missed in 2853d6fb0. — Michael Brooks / detail

#1016 (Dec 24, 2024, 11:48:42 PM)

1. Isolated the removal of -fgnu89-inline. With the recent static/static inline updates this does not effect any of our code but should enable further optimizations. And the new standard is a quarter centery old. — ajbeach / detail
2. Added prelude-inline.cfa to the standard library. This should now have the single copy of many functions defined in the prelude. — ajbeach / detail
3. formatting, comment out unused parameter names to remove warnings — Peter Buhr / detail

#1015 (Dec 22, 2024, 11:57:08 PM)

1. respond to Andrew's comments about intro chapter — Peter Buhr / detail

#1014 (Dec 21, 2024, 8:39:34 AM)

1. Added a check in operatorLookup so bad operators give a proper error message instead of segment fault. — ajbeach / detail
2. remove superflous calls to std::move — Peter Buhr / detail
3. Attempted to inject some examples (and some other pieces I had missed) into the enum proposal. — ajbeach / detail
4. fix length for juxtaposed strings: "ABC" "DEF" — Peter Buhr / detail
5. add another attribute test — Peter Buhr / detail
6. update expected for attribute test aarch64 — Peter Buhr / detail
7. update expected for attribute test x86 — Peter Buhr / detail
8. more proofreading of introduction chapter — Peter Buhr / detail
9. Removed increment and decrement operators for enumerations from builtins. I am confident the generic fallbacks work because I added tests. — ajbeach / detail
10. Explicate the present state for test-suite programs being free of warnings. — Michael Brooks / detail
11. Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks. — Michael Brooks / detail
12. remove warnings from alloc_internal$ in stdlib.hfa — Peter Buhr / detail
13. put back parameter names in comments — Peter Buhr / detail
14. remove fixed tests from WFLGAS_OPT_LAX — Peter Buhr / detail
15. change wflags-orig.txt to wflags-lax.txt — Peter Buhr / detail
16. Solved the requested warning with exceptions. Also went through the exceptions tests and managed to remove about 2/3rds of them from the lax list that now either didn't have any warnings or warnings because of the test itself. — ajbeach / detail
17. Try to get full build completing by disabling a data-collection substep. — Michael Brooks / detail
18. Fix test-classification commands to detect more strict-capable tests.  Remove such tests from the lax list. — Michael Brooks / detail
19. Add file missed in d9162ec9 — Michael Brooks / detail
20. Add completion of work in progress mistakenly included in 584612d.  Fix test string-api-coverage to be warning free. — Michael Brooks / detail
21. Changed some inline declarations to static or static inline (which are the same except for intent communication). This makes them more robust to inline changes. — ajbeach / detail
22. fix build problem by fixing unsupported C23 attribute in test — Peter Buhr / detail
23. update architecture expect file for ARM — Peter Buhr / detail
24. update architecture expect file for x86 — Peter Buhr / detail
25. update architecture expect file for x64 — Peter Buhr / detail
26. Add back overnight build's benchmark compile attribute data point — Michael Brooks / detail
27. Remove warnings due to unused parameters in generated code for zero-length ttype instantiations. — Michael Brooks / detail
28. Remove test-code-induced warnings from Array RAII. — Michael Brooks / detail
29. Try to fix full build by suppressing known warning's -W code under gcc 7-8-9. — Michael Brooks / detail

#1013 (Dec 20, 2024, 3:47:25 PM)

1. Added a check in operatorLookup so bad operators give a proper error message instead of segment fault. — ajbeach / detail
2. remove superflous calls to std::move — Peter Buhr / detail
3. Attempted to inject some examples (and some other pieces I had missed) into the enum proposal. — ajbeach / detail
4. fix length for juxtaposed strings: "ABC" "DEF" — Peter Buhr / detail
5. add another attribute test — Peter Buhr / detail
6. update expected for attribute test aarch64 — Peter Buhr / detail
7. update expected for attribute test x86 — Peter Buhr / detail
8. more proofreading of introduction chapter — Peter Buhr / detail
9. Removed increment and decrement operators for enumerations from builtins. I am confident the generic fallbacks work because I added tests. — ajbeach / detail
10. Explicate the present state for test-suite programs being free of warnings. — Michael Brooks / detail
11. Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks. — Michael Brooks / detail
12. remove warnings from alloc_internal$ in stdlib.hfa — Peter Buhr / detail
13. put back parameter names in comments — Peter Buhr / detail
14. remove fixed tests from WFLGAS_OPT_LAX — Peter Buhr / detail
15. change wflags-orig.txt to wflags-lax.txt — Peter Buhr / detail
16. Solved the requested warning with exceptions. Also went through the exceptions tests and managed to remove about 2/3rds of them from the lax list that now either didn't have any warnings or warnings because of the test itself. — ajbeach / detail
17. Try to get full build completing by disabling a data-collection substep. — Michael Brooks / detail
18. Fix test-classification commands to detect more strict-capable tests.  Remove such tests from the lax list. — Michael Brooks / detail
19. Add file missed in d9162ec9 — Michael Brooks / detail
20. Add completion of work in progress mistakenly included in 584612d.  Fix test string-api-coverage to be warning free. — Michael Brooks / detail
21. Changed some inline declarations to static or static inline (which are the same except for intent communication). This makes them more robust to inline changes. — ajbeach / detail
22. fix build problem by fixing unsupported C23 attribute in test — Peter Buhr / detail

#1013 (Dec 20, 2024, 3:47:25 PM)

1. Begin an exploratory meta-test of warning detection.  This change will be reversed. — Michael Brooks / detail
2. End the meta-test of warning detection.  Reverse 135197188ba. — Michael Brooks / detail
3. Fix exceptions to be warning-free. — Michael Brooks / detail
4. Fix IO stream to be warning-free. — Michael Brooks / detail
5. Add test for milestone: String is warning-free — Michael Brooks / detail
6. update semantic warnings — Peter Buhr / detail
7. update SuperfluousDecl warning, update field_declaring rules, comment casts, update CFA shorthand attribute to @[...] — Peter Buhr / detail
8. update tests for attribute and semantic warnings — Peter Buhr / detail
9. update expected output of atribute test for x86 — Peter Buhr / detail
10. update expected output of atribute test for arm64 — Peter Buhr / detail
11. Added a check in operatorLookup so bad operators give a proper error message instead of segment fault. — ajbeach / detail
12. remove superflous calls to std::move — Peter Buhr / detail
13. Attempted to inject some examples (and some other pieces I had missed) into the enum proposal. — ajbeach / detail
14. fix length for juxtaposed strings: "ABC" "DEF" — Peter Buhr / detail
15. add another attribute test — Peter Buhr / detail
16. update expected for attribute test aarch64 — Peter Buhr / detail
17. update expected for attribute test x86 — Peter Buhr / detail
18. more proofreading of introduction chapter — Peter Buhr / detail
19. Removed increment and decrement operators for enumerations from builtins. I am confident the generic fallbacks work because I added tests. — ajbeach / detail
20. Explicate the present state for test-suite programs being free of warnings. — Michael Brooks / detail
21. Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks. — Michael Brooks / detail
22. remove warnings from alloc_internal$ in stdlib.hfa — Peter Buhr / detail
23. put back parameter names in comments — Peter Buhr / detail
24. remove fixed tests from WFLGAS_OPT_LAX — Peter Buhr / detail
25. change wflags-orig.txt to wflags-lax.txt — Peter Buhr / detail
26. Solved the requested warning with exceptions. Also went through the exceptions tests and managed to remove about 2/3rds of them from the lax list that now either didn't have any warnings or warnings because of the test itself. — ajbeach / detail
27. Try to get full build completing by disabling a data-collection substep. — Michael Brooks / detail
28. Fix test-classification commands to detect more strict-capable tests.  Remove such tests from the lax list. — Michael Brooks / detail
29. Add file missed in d9162ec9 — Michael Brooks / detail
30. Add completion of work in progress mistakenly included in 584612d.  Fix test string-api-coverage to be warning free. — Michael Brooks / detail

#1012 (Dec 16, 2024, 8:44:54 AM)

1. update semantic warnings — Peter Buhr / detail
2. update SuperfluousDecl warning, update field_declaring rules, comment casts, update CFA shorthand attribute to @[...] — Peter Buhr / detail
3. update tests for attribute and semantic warnings — Peter Buhr / detail
4. update expected output of atribute test for x86 — Peter Buhr / detail
5. update expected output of atribute test for arm64 — Peter Buhr / detail

#1010 (Dec 13, 2024, 11:56:15 PM)

1. Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions. — ajbeach / detail
2. suppress reference conversion warning — f37yu / detail
3. Mitigate several unused-declaration warnings in generated code. — Michael Brooks / detail
4. Make array and list headers free of warnings upon include and as used in a libcfa build — Michael Brooks / detail
5. formatting — Peter Buhr / detail
6. add citation — Peter Buhr / detail
7. temporarily add citations to background chapter — Peter Buhr / detail
8. Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build. — Michael Brooks / detail
9. Begin an exploratory meta-test of warning detection.  This change will be reversed. — Michael Brooks / detail
10. End the meta-test of warning detection.  Reverse 135197188ba. — Michael Brooks / detail
11. Fix exceptions to be warning-free. — Michael Brooks / detail
12. Fix IO stream to be warning-free. — Michael Brooks / detail
13. Add test for milestone: String is warning-free — Michael Brooks / detail

#1009 (Dec 13, 2024, 1:42:22 PM)

1. Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions. — ajbeach / detail
2. suppress reference conversion warning — f37yu / detail
3. Mitigate several unused-declaration warnings in generated code. — Michael Brooks / detail
4. Make array and list headers free of warnings upon include and as used in a libcfa build — Michael Brooks / detail
5. formatting — Peter Buhr / detail
6. add citation — Peter Buhr / detail
7. temporarily add citations to background chapter — Peter Buhr / detail
8. Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build. — Michael Brooks / detail
9. Begin an exploratory meta-test of warning detection.  This change will be reversed. — Michael Brooks / detail

#1009 (Dec 13, 2024, 1:42:22 PM)

1. proofread background chapter, and other small changes — Peter Buhr / detail
2. Thesis, array: Add section Dimension Parameter Implementation — Michael Brooks / detail
3. Thesis, background, array: flesh out and rework section Array Parameter Declaration — Michael Brooks / detail
4. Move enum trait declaration to builtin/c — j82liang / detail
5. reduce topsep for enumitem — Peter Buhr / detail
6. proofread new material in background and array chapters — Peter Buhr / detail
7. Thesis, background, array: clarify C laxed inner dimension checking — Michael Brooks / detail
8. Thesis, array: add section on lifecycle — Michael Brooks / detail
9. generalize cfa-code indentation (xleftmargin) — Peter Buhr / detail
10. add starting section 5.1 for strings — Peter Buhr / detail
11. proofread section Array lifecycle — Peter Buhr / detail
12. Array, lifecycle: more proofreading — Michael Brooks / detail
13. Thesis, string, intro: provide missing facts — Michael Brooks / detail
14. updates to uC++toCFA document — Peter Buhr / detail
15. temporary update of exponentiation operator due to possible bug in box-pass — Peter Buhr / detail
16. remove assertions from rational structure declaration — Peter Buhr / detail
17. formatting — Peter Buhr / detail
18. add label — Peter Buhr / detail
19. work on starting chapter, fix spelling — Peter Buhr / detail
20. more string changes — Peter Buhr / detail
21. Removed debug output from resolver. Also made the early decision happen a bit earlier since it is a rare case. — ajbeach / detail
22. add citation for First-Come-First-Served paper — Peter Buhr / detail
23. rename start_actor_system and stop_actor_system, add implicit messages start_msg and stop_msg — Peter Buhr / detail
24. update test programs with actor name change — Peter Buhr / detail
25. first attempt at updating barrier lock — Peter Buhr / detail
26. update barrier test programs after changes — Peter Buhr / detail
27. update uC++toCFA manual with actor changes — Peter Buhr / detail
28. formatting — Peter Buhr / detail
29. attempt to fix const reference conversion — f37yu / detail
30. add barrier sectio uC++ to CFA cheat sheet — Peter Buhr / detail
31. change how latex code generated from sharing-demo.cfa — Peter Buhr / detail
32. more updates to the uC++toCFA document — Peter Buhr / detail
33. updates to barrier.hfa — Peter Buhr / detail
34. empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax — Peter Buhr / detail
35. first attempt at tests for tuple arrays — Peter Buhr / detail
36. Thesis, string: add missing figure — Michael Brooks / detail
37. With{Stmts,Decls}ToAdd how has an -X version like WithSymbolTableX. Although these -X versions might be useful can could possibly be removed in the future. (This is a therapy commit.) — ajbeach / detail
38. proofreading on string chapter — Peter Buhr / detail
39. CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working. — ajbeach / detail
40. proofread chapter 3 — Peter Buhr / detail
41. Address-of is now moved under casts of any type and is done so recursively. Solves trac#166 and a modified version of the code there has been added as a test. — ajbeach / detail
42. test patch for respecting lexical priority in waitfor statement — Peter Buhr / detail
43. add isMember to DeclWithType — j82liang / detail
44. formatting, first attempt to add priority order to waitfor selection, change to for-loops to use CFA for-control — Peter Buhr / detail
45. Moved the non-trivial bodies of the power (exponental) functions out of the prelude and into the library. They have caused some issues in debugging there. — ajbeach / detail
46. Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic. — Michael Brooks / detail
47. small changes to rational — Peter Buhr / detail
48. Fix #276; add support for c-array parameters using dependent lengths. — Michael Brooks / detail
49. Update the enumeration proposal with some updates now that the rework is complete. Deleted the old thesis draft. — ajbeach / detail
50. Try to fix arch-specific test failure from my last commit — Michael Brooks / detail
51. Try 2 to fix arch-specific test failure from my last commit — Michael Brooks / detail
52. fix problem with future seperate compilation — Peter Buhr / detail
53. remove BadQualifiersZeroOne warning message — Peter Buhr / detail
54. Move enum.hfa/enum.cfa to prelude — j82liang / detail
55. update test expect — j82liang / detail
56. update .expect files for x86 architecture — Peter Buhr / detail
57. add description of closed trait types — f37yu / detail
58. thesis proofreading — Peter Buhr / detail
59. remove line numbering — Peter Buhr / detail
60. formatting — Peter Buhr / detail
61. formatting, temporarily remove quasi_void — Peter Buhr / detail
62. more proofreading of intro chapter — Peter Buhr / detail
63. add some initial background material — Peter Buhr / detail
64. found some initial material for section Polymorphism — Peter Buhr / detail
65. Follow up reformatting to builtins. Just a few extra and missing spaces. — ajbeach / detail
66. Removed some unused (commented) code from the builtins. — ajbeach / detail
67. Resurrect test of zero_t/one_t and capture present state of ++ — Michael Brooks / detail
68. Allow builtin ++ from += overloads, and similar, to work on a type witout a parameterless constructor — Michael Brooks / detail
69. harmonize comments in test program — Peter Buhr / detail
70. formatting — Peter Buhr / detail
71. Fix support for partial autogen. — Michael Brooks / detail
72. Accept meta-test, expecting the buid to fail. — Michael Brooks / detail
73. Remove autogen forward declarations, which are never needed, and cause warnings about static declarations without definitions. — Michael Brooks / detail
74. Enable partial autogen for types declared inside functions. — Michael Brooks / detail
75. Take test-expect change missed in last commit. — Michael Brooks / detail
76. Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions. — ajbeach / detail
77. suppress reference conversion warning — f37yu / detail
78. Mitigate several unused-declaration warnings in generated code. — Michael Brooks / detail
79. Make array and list headers free of warnings upon include and as used in a libcfa build — Michael Brooks / detail
80. formatting — Peter Buhr / detail
81. add citation — Peter Buhr / detail
82. temporarily add citations to background chapter — Peter Buhr / detail
83. Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build. — Michael Brooks / detail

#1008 (Dec 12, 2024, 8:41:03 AM)

1. Fix support for partial autogen. — Michael Brooks / detail
2. Accept meta-test, expecting the buid to fail. — Michael Brooks / detail
3. Remove autogen forward declarations, which are never needed, and cause warnings about static declarations without definitions. — Michael Brooks / detail
4. Enable partial autogen for types declared inside functions. — Michael Brooks / detail
5. Take test-expect change missed in last commit. — Michael Brooks / detail

#1007 (Dec 10, 2024, 11:52:05 PM)

1. Resurrect test of zero_t/one_t and capture present state of ++ — Michael Brooks / detail
2. Allow builtin ++ from += overloads, and similar, to work on a type witout a parameterless constructor — Michael Brooks / detail
3. harmonize comments in test program — Peter Buhr / detail
4. formatting — Peter Buhr / detail

#1006 (Dec 9, 2024, 11:53:09 PM)

1. formatting, temporarily remove quasi_void — Peter Buhr / detail
2. more proofreading of intro chapter — Peter Buhr / detail
3. add some initial background material — Peter Buhr / detail
4. found some initial material for section Polymorphism — Peter Buhr / detail
5. Follow up reformatting to builtins. Just a few extra and missing spaces. — ajbeach / detail
6. Removed some unused (commented) code from the builtins. — ajbeach / detail

#1005 (Dec 7, 2024, 11:50:13 PM)

1. thesis proofreading — Peter Buhr / detail
2. remove line numbering — Peter Buhr / detail
3. formatting — Peter Buhr / detail

#1004 (Dec 6, 2024, 11:50:12 PM)

1. add description of closed trait types — f37yu / detail

#1002 (Dec 5, 2024, 5:52:39 PM)

1. Move enum trait declaration to builtin/c — j82liang / detail
2. add isMember to DeclWithType — j82liang / detail
3. Move enum.hfa/enum.cfa to prelude — j82liang / detail
4. update test expect — j82liang / detail
5. update .expect files for x86 architecture — Peter Buhr / detail

#1000 (Dec 2, 2024, 11:55:19 PM)

1. remove BadQualifiersZeroOne warning message — Peter Buhr / detail

#997 (Nov 29, 2024, 11:48:30 PM)

1. fix problem with future seperate compilation — Peter Buhr / detail

#996 (Nov 29, 2024, 7:31:02 AM)

1. Fix #276; add support for c-array parameters using dependent lengths. — Michael Brooks / detail
2. Update the enumeration proposal with some updates now that the rework is complete. Deleted the old thesis draft. — ajbeach / detail
3. Try to fix arch-specific test failure from my last commit — Michael Brooks / detail
4. Try 2 to fix arch-specific test failure from my last commit — Michael Brooks / detail

#995 (Nov 27, 2024, 11:50:39 PM)

1. formatting, first attempt to add priority order to waitfor selection, change to for-loops to use CFA for-control — Peter Buhr / detail
2. Moved the non-trivial bodies of the power (exponental) functions out of the prelude and into the library. They have caused some issues in debugging there. — ajbeach / detail
3. Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic. — Michael Brooks / detail
4. small changes to rational — Peter Buhr / detail

#990 (Nov 21, 2024, 11:50:03 PM)

1. test patch for respecting lexical priority in waitfor statement — Peter Buhr / detail

#989 (Nov 20, 2024, 11:49:23 PM)

1. proofread chapter 3 — Peter Buhr / detail
2. Address-of is now moved under casts of any type and is done so recursively. Solves trac#166 and a modified version of the code there has been added as a test. — ajbeach / detail

#988 (Nov 19, 2024, 11:52:03 PM)

1. CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working. — ajbeach / detail

#987 (Nov 18, 2024, 11:51:33 PM)

1. Thesis, string: add missing figure — Michael Brooks / detail
2. With{Stmts,Decls}ToAdd how has an -X version like WithSymbolTableX. Although these -X versions might be useful can could possibly be removed in the future. (This is a therapy commit.) — ajbeach / detail
3. proofreading on string chapter — Peter Buhr / detail

#985 (Nov 16, 2024, 11:53:25 PM)

1. change how latex code generated from sharing-demo.cfa — Peter Buhr / detail
2. more updates to the uC++toCFA document — Peter Buhr / detail
3. updates to barrier.hfa — Peter Buhr / detail
4. empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax — Peter Buhr / detail
5. first attempt at tests for tuple arrays — Peter Buhr / detail

#983 (Nov 13, 2024, 11:48:20 PM)

1. add barrier sectio uC++ to CFA cheat sheet — Peter Buhr / detail

#982 (Nov 12, 2024, 11:48:25 PM)

1. attempt to fix const reference conversion — f37yu / detail

#981 (Nov 11, 2024, 11:50:54 PM)

1. add label — Peter Buhr / detail
2. work on starting chapter, fix spelling — Peter Buhr / detail
3. more string changes — Peter Buhr / detail
4. Removed debug output from resolver. Also made the early decision happen a bit earlier since it is a rare case. — ajbeach / detail
5. add citation for First-Come-First-Served paper — Peter Buhr / detail
6. rename start_actor_system and stop_actor_system, add implicit messages start_msg and stop_msg — Peter Buhr / detail
7. update test programs with actor name change — Peter Buhr / detail
8. first attempt at updating barrier lock — Peter Buhr / detail
9. update barrier test programs after changes — Peter Buhr / detail
10. update uC++toCFA manual with actor changes — Peter Buhr / detail
11. formatting — Peter Buhr / detail

#979 (Nov 8, 2024, 11:48:28 PM)

1. updates to uC++toCFA document — Peter Buhr / detail
2. temporary update of exponentiation operator due to possible bug in box-pass — Peter Buhr / detail
3. remove assertions from rational structure declaration — Peter Buhr / detail
4. formatting — Peter Buhr / detail

#978 (Nov 7, 2024, 11:48:48 PM)

1. proofread section Array lifecycle — Peter Buhr / detail
2. Array, lifecycle: more proofreading — Michael Brooks / detail
3. Thesis, string, intro: provide missing facts — Michael Brooks / detail

#977 (Nov 6, 2024, 11:48:27 PM)

1. generalize cfa-code indentation (xleftmargin) — Peter Buhr / detail
2. add starting section 5.1 for strings — Peter Buhr / detail

#976 (Nov 5, 2024, 11:53:47 PM)

1. Thesis, array: add section on lifecycle — Michael Brooks / detail

#975 (Nov 4, 2024, 11:49:16 PM)

1. Thesis, background, array: clarify C laxed inner dimension checking — Michael Brooks / detail

#974 (Nov 3, 2024, 11:52:06 PM)

1. reduce topsep for enumitem — Peter Buhr / detail
2. proofread new material in background and array chapters — Peter Buhr / detail

#973 (Nov 2, 2024, 11:50:10 PM)

1. Thesis, background, array: flesh out and rework section Array Parameter Declaration — Michael Brooks / detail

#972 (Oct 31, 2024, 11:54:55 PM)

1. fix directory name for running tests in INSTALL — Peter Buhr / detail
2. Updated tuple proposal to include array interations. — ajbeach / detail
3. proofread background chapter, and other small changes — Peter Buhr / detail
4. Thesis, array: Add section Dimension Parameter Implementation — Michael Brooks / detail

#971 (Oct 30, 2024, 11:54:34 PM)

1. fix directory name for running tests in INSTALL — Peter Buhr / detail
2. Updated tuple proposal to include array interations. — ajbeach / detail
3. proofread background chapter, and other small changes — Peter Buhr / detail

#971 (Oct 30, 2024, 11:54:34 PM)

1. fix spelling — Peter Buhr / detail
2. Add uArray delayed-initialization equivalent to CFA array — Michael Brooks / detail
3. Hopefully fix broken build, from multiple declarations of arrah.hfa's delay_init. — Michael Brooks / detail
4. Attempt to fix Promote build by naming recently added test data files in a more typical way. — Michael Brooks / detail
5. Reduce test suite's reliance on makefile.am EXTRA_DIST entries for including .in files in distribution (required for nightly build success). — Michael Brooks / detail
6. formatting — Peter Buhr / detail
7. increase unfreed storage for putenv/tzset — Peter Buhr / detail
8. clean up naming of float-point types, and start to add new ARM floating-point types — Peter Buhr / detail
9. switch to isxdigit and floating point changes — Peter Buhr / detail
10. multiple changes to reflect updates in Cforall — Peter Buhr / detail
11. Clean-up in TranslateEnumRange. — ajbeach / detail
12. The fix about build enum type (I thought I have pushed it) — j82liang / detail
13. final proofread of thesis — Peter Buhr / detail
14. missed proofreading in conclusion — Peter Buhr / detail
15. Update on thesis — j82liang / detail
16. small changes — Peter Buhr / detail
17. small changes — Peter Buhr / detail
18. change the superset row as we now conclude adt form a superset — j82liang / detail
19. Small updates — j82liang / detail
20. update module proposal with some emails on the topic — Peter Buhr / detail
21. add mising comma in citation — Peter Buhr / detail
22. PULL BEFORE YOU PUSH! This fix has already applied, but they were overwritten in a later change. — ajbeach / detail
23. Add a sentence about linkonce — j82liang / detail
24. Moved the backtrace/signal code to the bottom of the main file (so people don't have to scroll past it. — ajbeach / detail
25. Added an overview of what BasicType-gen.cpp is to the comment the top of the file. This is because we decided to keep it in the distribution so it should get at least a basic overview. — ajbeach / detail
26. fix two spelling issues — Peter Buhr / detail
27. some proofreading of Fangren's thesis — Peter Buhr / detail
28. updated for uC++ to CFA document — Peter Buhr / detail
29. Added ForeachStmt (felt better than ForEachStmt). This new node is a bit optimistic in that currently it is covering a very narrow case, but with improvements to it and RangeExpr, it could handle many more kind of loops. — ajbeach / detail
30. fformatting, make names consistent — Peter Buhr / detail
31. push missing file — Peter Buhr / detail
32. Finally finished the tuple proposal. Feedback is welcome. Moved the old proposal into the thesis, it could also be deleted. — ajbeach / detail
33. Missing rename in comment. — ajbeach / detail
34. Fixed a bad initialization in ForeachStmt. Seems to have been there in some form for some time. — ajbeach / detail
35. more proofreading of intro and content1 chapters — Peter Buhr / detail
36. remove what appear to be superfluous push/pop in grammar rules — Peter Buhr / detail
37. Bit of clean-up in the Box pass I did while investigating it. 'static' is not needed inside the unnamed namespace. — ajbeach / detail
38. change "exit" stream to stderr from stdout — Peter Buhr / detail
39. Tuple proposal spelling-grammar-typo fixes.  No content changes intended. — Michael Brooks / detail
40. first proofread of tuple proposal — Peter Buhr / detail
41. Replaced SemanticErrorException::isEmpty with ...::throwIfNonEmpty. This is how it was used in every context and it saves a bit of text (if not two lines) at every use. I considered putting this function in the header for better inlining, but this should have at least the same preformance as the last version. — ajbeach / detail
42. more proofreading of intro chapter — Peter Buhr / detail
43. add C23 attributes, require comma terminator for nullary and unary tuple (optional terminator for Nary tuples), change designator to C syntax using equal rather than colon — Peter Buhr / detail
44. change CFA runtime libraries to use C designator syntax — Peter Buhr / detail
45. change CFA tests to use C designator syntax — Peter Buhr / detail
46. documentation, update C23 attribute lexing — Peter Buhr / detail
47. Thesis introduction contributions, first try. — Michael Brooks / detail
48. Thesis, array, add content on C typing changes. — Michael Brooks / detail
49. update how input/output files are opened — Peter Buhr / detail
50. Thesis, array, C typing rules, add discussion dimension hoisting. — Michael Brooks / detail
51. Thesis, array, C typing rules, add old C rules and case-comparison table. — Michael Brooks / detail
52. Folding in feedback to the tuple proposal and rewriting the last rewrite. — ajbeach / detail
53. Moved some methods out of EnumDecl. These were calculations and the ast types are supposed to be data focused so they should either go with utility functions or to their use site. I tried the use site. — ajbeach / detail
54. Renamed CurrentObject's MemberIterator::operator* to getOptions because that is a more descriptive name. — ajbeach / detail
55. Thesis, array, proofread intro sections. — Michael Brooks / detail
56. proofread introduction chapter — Peter Buhr / detail
57. numerous changes to the uC++ to CFA cheat sheet — Peter Buhr / detail
58. Thesis, array, upgrade accordion demo to use data in all arrays — Michael Brooks / detail
59. finish proofreading the array section of the background chapter — Peter Buhr / detail
60. formatting — Peter Buhr / detail
61. fix directory name for running tests in INSTALL — Peter Buhr / detail
62. Updated tuple proposal to include array interations. — ajbeach / detail

#970 (Oct 29, 2024, 11:51:33 PM)

1. Thesis, array, proofread intro sections. — Michael Brooks / detail
2. Thesis, array, upgrade accordion demo to use data in all arrays — Michael Brooks / detail
3. finish proofreading the array section of the background chapter — Peter Buhr / detail
4. formatting — Peter Buhr / detail

#969 (Oct 26, 2024, 11:50:40 PM)

1. update how input/output files are opened — Peter Buhr / detail
2. proofread introduction chapter — Peter Buhr / detail
3. numerous changes to the uC++ to CFA cheat sheet — Peter Buhr / detail

#968 (Oct 25, 2024, 11:49:35 PM)

1. Renamed CurrentObject's MemberIterator::operator* to getOptions because that is a more descriptive name. — ajbeach / detail

#967 (Oct 24, 2024, 11:48:34 PM)

1. Moved some methods out of EnumDecl. These were calculations and the ast types are supposed to be data focused so they should either go with utility functions or to their use site. I tried the use site. — ajbeach / detail

#966 (Oct 23, 2024, 11:50:44 PM)

1. Thesis, array, C typing rules, add old C rules and case-comparison table. — Michael Brooks / detail
2. Folding in feedback to the tuple proposal and rewriting the last rewrite. — ajbeach / detail

#964 (Oct 21, 2024, 11:49:03 PM)

1. Thesis, array, C typing rules, add discussion dimension hoisting. — Michael Brooks / detail

#961 (Oct 18, 2024, 11:50:17 PM)

1. Thesis, array, add content on C typing changes. — Michael Brooks / detail

#959 (Oct 16, 2024, 11:53:37 PM)

1. Thesis introduction contributions, first try. — Michael Brooks / detail

#955 (Oct 13, 2024, 11:48:28 PM)

1. add C23 attributes, require comma terminator for nullary and unary tuple (optional terminator for Nary tuples), change designator to C syntax using equal rather than colon — Peter Buhr / detail
2. change CFA runtime libraries to use C designator syntax — Peter Buhr / detail
3. change CFA tests to use C designator syntax — Peter Buhr / detail
4. documentation, update C23 attribute lexing — Peter Buhr / detail

#951 (Oct 9, 2024, 11:49:57 PM)

1. Replaced SemanticErrorException::isEmpty with ...::throwIfNonEmpty. This is how it was used in every context and it saves a bit of text (if not two lines) at every use. I considered putting this function in the header for better inlining, but this should have at least the same preformance as the last version. — ajbeach / detail
2. more proofreading of intro chapter — Peter Buhr / detail

#949 (Oct 6, 2024, 11:49:11 PM)

1. first proofread of tuple proposal — Peter Buhr / detail

#945 (Oct 2, 2024, 11:51:50 PM)

1. change "exit" stream to stderr from stdout — Peter Buhr / detail
2. Tuple proposal spelling-grammar-typo fixes.  No content changes intended. — Michael Brooks / detail

#944 (Sep 30, 2024, 11:49:54 PM)

1. more proofreading of intro and content1 chapters — Peter Buhr / detail
2. remove what appear to be superfluous push/pop in grammar rules — Peter Buhr / detail
3. Bit of clean-up in the Box pass I did while investigating it. 'static' is not needed inside the unnamed namespace. — ajbeach / detail

#940 (Sep 26, 2024, 5:55:07 PM)

1. Added ForeachStmt (felt better than ForEachStmt). This new node is a bit optimistic in that currently it is covering a very narrow case, but with improvements to it and RangeExpr, it could handle many more kind of loops. — ajbeach / detail
2. fformatting, make names consistent — Peter Buhr / detail
3. push missing file — Peter Buhr / detail
4. Finally finished the tuple proposal. Feedback is welcome. Moved the old proposal into the thesis, it could also be deleted. — ajbeach / detail
5. Missing rename in comment. — ajbeach / detail
6. Fixed a bad initialization in ForeachStmt. Seems to have been there in some form for some time. — ajbeach / detail

#937 (Sep 20, 2024, 11:49:10 PM)

1. some proofreading of Fangren's thesis — Peter Buhr / detail
2. updated for uC++ to CFA document — Peter Buhr / detail

#936 (Sep 19, 2024, 11:49:23 PM)

1. fix two spelling issues — Peter Buhr / detail

#935 (Sep 18, 2024, 11:49:33 PM)

1. Add a sentence about linkonce — j82liang / detail
2. Moved the backtrace/signal code to the bottom of the main file (so people don't have to scroll past it. — ajbeach / detail
3. Added an overview of what BasicType-gen.cpp is to the comment the top of the file. This is because we decided to keep it in the distribution so it should get at least a basic overview. — ajbeach / detail

#934 (Sep 17, 2024, 11:49:13 PM)

1. PULL BEFORE YOU PUSH! This fix has already applied, but they were overwritten in a later change. — ajbeach / detail

#933 (Sep 16, 2024, 11:47:53 PM)

1. update module proposal with some emails on the topic — Peter Buhr / detail
2. add mising comma in citation — Peter Buhr / detail

#932 (Sep 15, 2024, 11:48:42 PM)

1. missed proofreading in conclusion — Peter Buhr / detail
2. Update on thesis — j82liang / detail
3. small changes — Peter Buhr / detail
4. small changes — Peter Buhr / detail
5. change the superset row as we now conclude adt form a superset — j82liang / detail
6. Small updates — j82liang / detail

#931 (Sep 14, 2024, 11:57:52 PM)

1. final proofread of thesis — Peter Buhr / detail

#930 (Sep 13, 2024, 11:54:07 PM)

1. clean up naming of float-point types, and start to add new ARM floating-point types — Peter Buhr / detail
2. switch to isxdigit and floating point changes — Peter Buhr / detail
3. multiple changes to reflect updates in Cforall — Peter Buhr / detail
4. Clean-up in TranslateEnumRange. — ajbeach / detail
5. The fix about build enum type (I thought I have pushed it) — j82liang / detail

#929 (Sep 12, 2024, 11:48:15 PM)

1. formatting — Peter Buhr / detail
2. increase unfreed storage for putenv/tzset — Peter Buhr / detail

#928 (Sep 12, 2024, 5:28:38 PM)

1. Reduce test suite's reliance on makefile.am EXTRA_DIST entries for including .in files in distribution (required for nightly build success). — Michael Brooks / detail

#927 (Sep 11, 2024, 11:48:29 PM)

1. Attempt to fix Promote build by naming recently added test data files in a more typical way. — Michael Brooks / detail

#925 (Sep 11, 2024, 7:43:38 PM)

1. add void to lowerBound() and upperBound() declaration, which is a workaround to the warning message — j82liang / detail
2. update thesis — j82liang / detail
3. comment out unused variable declaration — Peter Buhr / detail
4. fix dangling reference after delete — Peter Buhr / detail
5. Made sure a variable is always initialized and removed some trailing whitespace. — ajbeach / detail
6. Order of evaluation between arguments of a function is not left-to-right. Or right-to-left for that matter, it is unordred. — ajbeach / detail
7. Removed SizeofExpr::expr and AlignofExpr::expr, expressions that would be stored there are wrapped in TypeofType and stored in the type field. Some special cases to hide the typeof in code generation were added. In addition, initializer length is calculated in more cases so that the full type of more arrays is known sooner. Other than that, most of the code changes were just stripping out the conditional code and checks no longer needed. Some tests had to be updated, because the typeof is not hidden in dumps and the resolver replaces known typeof expressions with the type. The __extension__ case caused some concern but it appears that just hides warnings in the expression which no longer exists. — ajbeach / detail
8. Removed some unneeded code that could have gone last commit. — ajbeach / detail
9. Add separate compilation discussion — j82liang / detail
10. Update thesis — j82liang / detail
11. Fix inst type as base type for enum — j82liang / detail
12. update the discussion of unit type — j82liang / detail
13. Update 'fork+exec' test utility to be valid also in C and C++. — Michael Brooks / detail
14. Add EOF test coverage for string reading. — Michael Brooks / detail
15. Fix fork+exec missed case / broken build — Michael Brooks / detail
16. Parse string literals to get their length, taking into account escape sequences. Getting this from the lexer would avoid redundent work, but that is not set up. This corrects some typeof evaluations which lead to incorrect sizeof expressions. — ajbeach / detail
17. fix spelling — Peter Buhr / detail
18. Add uArray delayed-initialization equivalent to CFA array — Michael Brooks / detail
19. Hopefully fix broken build, from multiple declarations of arrah.hfa's delay_init. — Michael Brooks / detail

#924 (Sep 11, 2024, 5:32:47 PM)

1. add void to lowerBound() and upperBound() declaration, which is a workaround to the warning message — j82liang / detail
2. update thesis — j82liang / detail
3. comment out unused variable declaration — Peter Buhr / detail
4. fix dangling reference after delete — Peter Buhr / detail
5. Made sure a variable is always initialized and removed some trailing whitespace. — ajbeach / detail
6. Order of evaluation between arguments of a function is not left-to-right. Or right-to-left for that matter, it is unordred. — ajbeach / detail
7. Removed SizeofExpr::expr and AlignofExpr::expr, expressions that would be stored there are wrapped in TypeofType and stored in the type field. Some special cases to hide the typeof in code generation were added. In addition, initializer length is calculated in more cases so that the full type of more arrays is known sooner. Other than that, most of the code changes were just stripping out the conditional code and checks no longer needed. Some tests had to be updated, because the typeof is not hidden in dumps and the resolver replaces known typeof expressions with the type. The __extension__ case caused some concern but it appears that just hides warnings in the expression which no longer exists. — ajbeach / detail
8. Removed some unneeded code that could have gone last commit. — ajbeach / detail
9. Add separate compilation discussion — j82liang / detail
10. Update thesis — j82liang / detail
11. Fix inst type as base type for enum — j82liang / detail
12. update the discussion of unit type — j82liang / detail
13. Update 'fork+exec' test utility to be valid also in C and C++. — Michael Brooks / detail
14. Add EOF test coverage for string reading. — Michael Brooks / detail
15. Fix fork+exec missed case / broken build — Michael Brooks / detail
16. Parse string literals to get their length, taking into account escape sequences. Getting this from the lexer would avoid redundent work, but that is not set up. This corrects some typeof evaluations which lead to incorrect sizeof expressions. — ajbeach / detail
17. fix spelling — Peter Buhr / detail
18. Add uArray delayed-initialization equivalent to CFA array — Michael Brooks / detail
19. Hopefully fix broken build, from multiple declarations of arrah.hfa's delay_init. — Michael Brooks / detail

#924 (Sep 11, 2024, 5:32:47 PM)

1. rephrase enum initialization — j82liang / detail
2. remove spurious test files — Peter Buhr / detail
3. update test file covering problem cases — Peter Buhr / detail
4. add better error message for an empty enumeration, i.e., no enumerators. — Peter Buhr / detail
5. proofread intro chapter and add citation — Peter Buhr / detail
6. add citations — Peter Buhr / detail
7. move section from into to background — Peter Buhr / detail
8. formatting — Peter Buhr / detail
9. remove spurious push/pop from grammar contexts where type declarations are not allowed — Peter Buhr / detail
10. Implemented special case of sizeof/alignof, where reference types are ignored for these operations. — ajbeach / detail
11. add missing #ifdef to handle systems without io_uring — Peter Buhr / detail
12. modify time test to deal with unfreed storage from putenv/tzset — Peter Buhr / detail
13. preclude aggregate/enumeration type declaration in trait body — Peter Buhr / detail
14. 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
15. update cast expression cost rule — f37yu / detail
16. add void to lowerBound() and upperBound() declaration, which is a workaround to the warning message — j82liang / detail
17. fix comment typo — Michael Brooks / detail
18. Fix #175 — Michael Brooks / detail
19. Improve inability to declare a struct member having a managed type via typeof. — Michael Brooks / detail
20. Add missing integration test of accordions. — Michael Brooks / detail
21. update accordion program, small changes — Peter Buhr / detail
22. added a few sentences and corrected spelling mistakes — Peter Buhr / detail
23. Added a check to make sure that optional parameters to not appear on function types not attached to function declarations. — ajbeach / detail
24. first attempt changing end-of-file to an exception — Peter Buhr / detail
25. Made heap pass the invariant check. We should be able to enable invariants on the standard library. Also added the reproductions for new trac trickets. — ajbeach / detail
26. update error message for parameter default-initialization in function-pointer declarations — Peter Buhr / detail
27. formatting — Peter Buhr / detail
28. Corrected handling of va_args in the parser. It still does not get through the resolver and further updates may be required. — ajbeach / detail
29. Removed two lingering set_extension functions from ast. There was one use each in the parser, which uses get/set functions still. — ajbeach / detail
30. simplify ttype min/max functions — Peter Buhr / detail
31. second attempt to simplify ttype min/max functions — Peter Buhr / detail
32. update citations — Peter Buhr / detail
33. remove empty line number increment from listings — Peter Buhr / detail
34. update thesis macros — Peter Buhr / detail
35. first proofread of chapter 3 — Peter Buhr / detail
36. first proofread of chapter 1 — Peter Buhr / detail
37. afterthought addition to chapter 3 — Peter Buhr / detail
38. Isolated the logic to decide if a function is a var-args function or not. — ajbeach / detail
39. citation updates — Peter Buhr / detail
40. proofread introduction chapter — Peter Buhr / detail
41. Changed the interpritation of () to be no parameters instead of any parameters. This had a lot of little changes because of this and some nearby clean-up. This includes some changes, including changing some generated functions to be fixed-args instead of variable-args, stripping out the place holder void parameter earlier, but it still shows up earlier in some cases that examine the parser directly. Also had to update the function generation tools. Have only tested with one --arch. Hopefully this all works out. — ajbeach / detail
42. correct check for EOF when reading character strings — Peter Buhr / detail
43. fix quotations from C++ reference manual — Peter Buhr / detail
44. Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message. — ajbeach / detail
45. change exception throw to use copy constructor rather than assignment to initialize exception instance — Peter Buhr / detail
46. update thesis — j82liang / detail
47. comment out unused variable declaration — Peter Buhr / detail
48. fix dangling reference after delete — Peter Buhr / detail
49. Made sure a variable is always initialized and removed some trailing whitespace. — ajbeach / detail
50. Order of evaluation between arguments of a function is not left-to-right. Or right-to-left for that matter, it is unordred. — ajbeach / detail
51. Removed SizeofExpr::expr and AlignofExpr::expr, expressions that would be stored there are wrapped in TypeofType and stored in the type field. Some special cases to hide the typeof in code generation were added. In addition, initializer length is calculated in more cases so that the full type of more arrays is known sooner. Other than that, most of the code changes were just stripping out the conditional code and checks no longer needed. Some tests had to be updated, because the typeof is not hidden in dumps and the resolver replaces known typeof expressions with the type. The __extension__ case caused some concern but it appears that just hides warnings in the expression which no longer exists. — ajbeach / detail
52. Removed some unneeded code that could have gone last commit. — ajbeach / detail
53. Add separate compilation discussion — j82liang / detail
54. Update thesis — j82liang / detail
55. Fix inst type as base type for enum — j82liang / detail
56. update the discussion of unit type — j82liang / detail
57. Update 'fork+exec' test utility to be valid also in C and C++. — Michael Brooks / detail
58. Add EOF test coverage for string reading. — Michael Brooks / detail
59. Fix fork+exec missed case / broken build — Michael Brooks / detail
60. Parse string literals to get their length, taking into account escape sequences. Getting this from the lexer would avoid redundent work, but that is not set up. This corrects some typeof evaluations which lead to incorrect sizeof expressions. — ajbeach / detail

#923 (Sep 7, 2024, 11:47:46 PM)

1. change exception throw to use copy constructor rather than assignment to initialize exception instance — Peter Buhr / detail

#921 (Sep 5, 2024, 11:47:05 PM)

1. Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message. — ajbeach / detail

#920 (Sep 4, 2024, 11:51:05 PM)

1. correct check for EOF when reading character strings — Peter Buhr / detail
2. fix quotations from C++ reference manual — Peter Buhr / detail

#919 (Sep 3, 2024, 11:54:20 PM)

1. Changed the interpritation of () to be no parameters instead of any parameters. This had a lot of little changes because of this and some nearby clean-up. This includes some changes, including changing some generated functions to be fixed-args instead of variable-args, stripping out the place holder void parameter earlier, but it still shows up earlier in some cases that examine the parser directly. Also had to update the function generation tools. Have only tested with one --arch. Hopefully this all works out. — ajbeach / detail

#918 (Sep 2, 2024, 11:52:00 PM)

1. citation updates — Peter Buhr / detail
2. proofread introduction chapter — Peter Buhr / detail

#912 (Aug 26, 2024, 11:55:35 PM)

1. Isolated the logic to decide if a function is a var-args function or not. — ajbeach / detail

#911 (Aug 25, 2024, 11:57:45 PM)

1. update citations — Peter Buhr / detail
2. remove empty line number increment from listings — Peter Buhr / detail
3. update thesis macros — Peter Buhr / detail
4. first proofread of chapter 3 — Peter Buhr / detail
5. first proofread of chapter 1 — Peter Buhr / detail
6. afterthought addition to chapter 3 — Peter Buhr / detail

#910 (Aug 25, 2024, 12:42:25 AM)

1. second attempt to simplify ttype min/max functions — Peter Buhr / detail

#909 (Aug 23, 2024, 11:49:19 PM)

1. Corrected handling of va_args in the parser. It still does not get through the resolver and further updates may be required. — ajbeach / detail
2. Removed two lingering set_extension functions from ast. There was one use each in the parser, which uses get/set functions still. — ajbeach / detail
3. simplify ttype min/max functions — Peter Buhr / detail

#908 (Aug 22, 2024, 11:52:35 PM)

1. update error message for parameter default-initialization in function-pointer declarations — Peter Buhr / detail
2. formatting — Peter Buhr / detail

#906 (Aug 20, 2024, 11:49:15 PM)

1. Made heap pass the invariant check. We should be able to enable invariants on the standard library. Also added the reproductions for new trac trickets. — ajbeach / detail

#904 (Aug 18, 2024, 11:48:05 PM)

1. first attempt changing end-of-file to an exception — Peter Buhr / detail

#903 (Aug 16, 2024, 11:50:04 PM)

1. update accordion program, small changes — Peter Buhr / detail
2. added a few sentences and corrected spelling mistakes — Peter Buhr / detail
3. Added a check to make sure that optional parameters to not appear on function types not attached to function declarations. — ajbeach / detail

#901 (Aug 14, 2024, 11:48:59 PM)

1. fix comment typo — Michael Brooks / detail
2. Fix #175 — Michael Brooks / detail
3. Improve inability to declare a struct member having a managed type via typeof. — Michael Brooks / detail
4. Add missing integration test of accordions. — Michael Brooks / detail

#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. — Michael Brooks / 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. — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / 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 — Michael Brooks / 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 — Michael Brooks / 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 — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / detail
10. formatting — Peter Buhr / detail
11. Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations. — Michael Brooks / 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 — Michael Brooks / detail
15. tidy a string-library unhelpful comment — Michael Brooks / detail
16. Modify substring interface from start-end to start-len, and add a missing test. — Michael Brooks / 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. — Michael Brooks / detail
20. revert interpose experiment for build failure, not the cause — Peter Buhr / detail
21. Implement string initialization and assignment from various numeric types — Michael Brooks / 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. — Michael Brooks / detail
29. Fix string reading bug: Manipulator `ignore` should not write to its output argument. — Michael Brooks / 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. — Michael Brooks / detail
4. Fix string reading bug: Manipulator `ignore` should not write to its output argument. — Michael Brooks / 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 — Michael Brooks / detail
2. Modify substring interface from start-end to start-len, and add a missing test. — Michael Brooks / 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. — Michael Brooks / detail
6. revert interpose experiment for build failure, not the cause — Peter Buhr / detail
7. Implement string initialization and assignment from various numeric types — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / detail
10. formatting — Peter Buhr / detail
11. Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations. — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / detail
20. Port basic input-manipulator test from cstring to string and fix resulting bug. — Michael Brooks / detail
21. formatting — Michael Brooks / detail
22. Duplicate manipulator read-to-string code for string_res, and test. — Michael Brooks / detail
23. Deduplicate manipulator read-to-string by delegating from string to string_res. — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / detail
85. Support match-failure reporting for string input. — Michael Brooks / 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. — Michael Brooks / detail
88. Fix compiler bug where duplicate type declarations caused crash. — Michael Brooks / 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. — Michael Brooks / 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 — Michael Brooks / detail
229. Recent thesis writing — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / detail

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

1. Enable array RAII and provide uninit(-), a uNoCtor equivalent. — Michael Brooks / 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 — Michael Brooks / detail
4. Recent thesis writing — Michael Brooks / 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 — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / detail
3. Support match-failure reporting for string input. — Michael Brooks / 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. — Michael Brooks / 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. — Michael Brooks / 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 — Michael Brooks / 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 — Michael Brooks / detail
2. Duplicate manipulator read-to-string code for string_res, and test. — Michael Brooks / detail
3. Deduplicate manipulator read-to-string by delegating from string to string_res. — Michael Brooks / 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. — Michael Brooks / detail
2. Port basic input-manipulator test from cstring to string and fix resulting bug. — Michael Brooks / 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. — Michael Brooks / 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