Skip to content
Changes
- updates to prepare for moving location of inline data for new kinds of types
—
Peter Buhr /
detail
- Improved code generation for intermediate steps. Now generates using @= on the approprate initializers.
—
ajbeach /
detail
- update C arithmetic conversions and add ARM conversion testing
—
Peter Buhr /
detail
- try to fix cost table one more time, add some comments
—
f37yu /
detail
- 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
- update input file names for eofType test
—
Peter Buhr /
detail
- 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
- resolve enum dimension as size of enum
—
j82liang /
detail
- test for end-of-file with and without a terminating newline across multiple types
—
Peter Buhr /
detail
- more updates for eof of file checking
—
Peter Buhr /
detail
- remove spurious include file
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Fix test suite to run with no warnings on gcc 12, 13, 14
—
Michael Brooks /
detail
- test for end-of-file with and without a terminating newline across multiple types
—
Peter Buhr /
detail
- more updates for eof of file checking
—
Peter Buhr /
detail
- remove spurious include file
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Fix test suite to run with no warnings on gcc 12, 13, 14
—
Michael Brooks /
detail
- update eof of file checking
—
Peter Buhr /
detail
- resolve enum dimension as size of enum
—
j82liang /
detail
- update eof of file checking
—
Peter Buhr /
detail
- resolve enum dimension as size of enum
—
j82liang /
detail
- 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
- fix build problem by fixing unsupported C23 attribute in test
—
Peter Buhr /
detail
- update architecture expect file for ARM
—
Peter Buhr /
detail
- update architecture expect file for x86
—
Peter Buhr /
detail
- update architecture expect file for x64
—
Peter Buhr /
detail
- Add back overnight build's benchmark compile attribute data point
—
Michael Brooks /
detail
- Remove warnings due to unused parameters in generated code for zero-length ttype instantiations.
—
Michael Brooks /
detail
- Remove test-code-induced warnings from Array RAII.
—
Michael Brooks /
detail
- Try to fix full build by suppressing known warning's -W code under gcc 7-8-9.
—
Michael Brooks /
detail
- respond to Andrew's comments about intro chapter
—
Peter Buhr /
detail
- 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
- Added prelude-inline.cfa to the standard library. This should now have the single copy of many functions defined in the prelude.
—
ajbeach /
detail
- formatting, comment out unused parameter names to remove warnings
—
Peter Buhr /
detail
- 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
- Restore full sense of wflag strictness, mistakenly reduced in 2853d6fb0.
—
Michael Brooks /
detail
- Fix a warning missed in 2853d6fb0.
—
Michael Brooks /
detail
- Remove warnings from remaining array-collections tests.
—
Michael Brooks /
detail
- implement return cast for other types of expressions
—
f37yu /
detail
- Partly fix #269 and try to fix nightly build. Switch to correct type for polymorphic sizeof(-) on 32-bit.
—
Michael Brooks /
detail
- Added some tests for recent changes to the resolver.
—
ajbeach /
detail
- Try to fix full build by removing missed x86-debug-specific workaround for #269
—
Michael Brooks /
detail
- Try to fix full build by regenerating botched .arm64.expect file on algol, having observed dimexpr-match-detail.sh succeeding there.
—
Michael Brooks /
detail
- Fix many test-suite- and libcfa-caused unused variable warnings.
—
Michael Brooks /
detail
- Returning to exceptions after a long time and added the ability to provide fields to the virtual table. Added a connected test.
—
ajbeach /
detail
- Fix transpiler-induced unused parameter on layoutof.
—
Michael Brooks /
detail
- Moved massive function log2_u32_32 out of header.
—
ajbeach /
detail
- Fixed white-space. Woops.
—
ajbeach /
detail
- Added some code to the code generator for printing try statements in intermediate states.
—
ajbeach /
detail
- Added more custom constructors into the new exceptions test to avoid errors on some machines.
—
ajbeach /
detail
- update io_uring casts to prevent 32-bit warning messages about wrong sized pointer to inter conversion
—
Peter Buhr /
detail
- Starter for developer roll-on instructions.
—
Michael Brooks /
detail
- 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
- attempt to fix complex float conversion cost
—
f37yu /
detail
- update complex float conversion cost
—
Peter Buhr /
detail
- make AST/BasicKind.hpp .PRECIOUS so it is not deleted if BasicTypes-gen fails
—
Peter Buhr /
detail
- adjust formatting of second-level enumeration
—
Peter Buhr /
detail
- more thesis proofreading
—
Peter Buhr /
detail
- add thesis pictures
—
Peter Buhr /
detail
- remove temp files generated by xfig
—
Peter Buhr /
detail
- update prelude basicTypes with _Float128 and _Float128 _Complex needed for the root of the conversion hierarchy
—
Peter Buhr /
detail
- update conversion graph to correct and complete all relationships among basic types in gcc
—
Peter Buhr /
detail
- add test for gcc arithmetic conversions
—
Peter Buhr /
detail
- rename test ArithmeticConversions to arithmeticConversions
—
Peter Buhr /
detail
- unsure if these files should be committed because they have generated code
—
Peter Buhr /
detail
- expected output for arithmeticConversions test on x64
—
Peter Buhr /
detail
- move optional code out of #ifdef
—
Peter Buhr /
detail
- update arithmeticConversions test to work on ARM
—
Peter Buhr /
detail
- Improve pointer's debug print format to include array-like detail when present.
—
Michael Brooks /
detail
- Offer CodeGen::generate overloads that simplify calling from gdb.
—
Michael Brooks /
detail
- Add basic gdb navigation.
—
Michael Brooks /
detail
- Clean some warnings from unused variables and pointer-to-int casts.
—
Michael Brooks /
detail
- move code out of #ifdef
—
Peter Buhr /
detail
- add information about sources for providing permissions
—
Peter Buhr /
detail
- update comparison of C++ and Cforall I/O
—
Peter Buhr /
detail
- fixed a parser bug to generate correct ast for waitfor.
—
lseo /
detail
- reduce yields in test but still get deterministic results
—
Peter Buhr /
detail
- 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
- add contributions section
—
f37yu /
detail
- remove spurious file my_tests/floating.cfa
—
Peter Buhr /
detail
- expunge fallthru keyword and replace its usages with fallthrough
—
Peter Buhr /
detail
- update eof of file checking
—
Peter Buhr /
detail
- remove spurious file my_tests/floating.cfa
—
Peter Buhr /
detail
- expunge fallthru keyword and replace its usages with fallthrough
—
Peter Buhr /
detail
- update comparison of C++ and Cforall I/O
—
Peter Buhr /
detail
- fixed a parser bug to generate correct ast for waitfor.
—
lseo /
detail
- reduce yields in test but still get deterministic results
—
Peter Buhr /
detail
- 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
- add contributions section
—
f37yu /
detail
- move optional code out of #ifdef
—
Peter Buhr /
detail
- update arithmeticConversions test to work on ARM
—
Peter Buhr /
detail
- Improve pointer's debug print format to include array-like detail when present.
—
Michael Brooks /
detail
- Offer CodeGen::generate overloads that simplify calling from gdb.
—
Michael Brooks /
detail
- Add basic gdb navigation.
—
Michael Brooks /
detail
- Clean some warnings from unused variables and pointer-to-int casts.
—
Michael Brooks /
detail
- move code out of #ifdef
—
Peter Buhr /
detail
- add information about sources for providing permissions
—
Peter Buhr /
detail
- update prelude basicTypes with _Float128 and _Float128 _Complex needed for the root of the conversion hierarchy
—
Peter Buhr /
detail
- update conversion graph to correct and complete all relationships among basic types in gcc
—
Peter Buhr /
detail
- add test for gcc arithmetic conversions
—
Peter Buhr /
detail
- rename test ArithmeticConversions to arithmeticConversions
—
Peter Buhr /
detail
- unsure if these files should be committed because they have generated code
—
Peter Buhr /
detail
- expected output for arithmeticConversions test on x64
—
Peter Buhr /
detail
- Starter for developer roll-on instructions.
—
Michael Brooks /
detail
- 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
- attempt to fix complex float conversion cost
—
f37yu /
detail
- update complex float conversion cost
—
Peter Buhr /
detail
- make AST/BasicKind.hpp .PRECIOUS so it is not deleted if BasicTypes-gen fails
—
Peter Buhr /
detail
- adjust formatting of second-level enumeration
—
Peter Buhr /
detail
- more thesis proofreading
—
Peter Buhr /
detail
- add thesis pictures
—
Peter Buhr /
detail
- remove temp files generated by xfig
—
Peter Buhr /
detail
- Fix many test-suite- and libcfa-caused unused variable warnings.
—
Michael Brooks /
detail
- Returning to exceptions after a long time and added the ability to provide fields to the virtual table. Added a connected test.
—
ajbeach /
detail
- Fix transpiler-induced unused parameter on layoutof.
—
Michael Brooks /
detail
- Moved massive function log2_u32_32 out of header.
—
ajbeach /
detail
- Fixed white-space. Woops.
—
ajbeach /
detail
- Added some code to the code generator for printing try statements in intermediate states.
—
ajbeach /
detail
- Added more custom constructors into the new exceptions test to avoid errors on some machines.
—
ajbeach /
detail
- update io_uring casts to prevent 32-bit warning messages about wrong sized pointer to inter conversion
—
Peter Buhr /
detail
- Remove warnings from remaining array-collections tests.
—
Michael Brooks /
detail
- implement return cast for other types of expressions
—
f37yu /
detail
- Partly fix #269 and try to fix nightly build. Switch to correct type for polymorphic sizeof(-) on 32-bit.
—
Michael Brooks /
detail
- Added some tests for recent changes to the resolver.
—
ajbeach /
detail
- Try to fix full build by removing missed x86-debug-specific workaround for #269
—
Michael Brooks /
detail
- Try to fix full build by regenerating botched .arm64.expect file on algol, having observed dimexpr-match-detail.sh succeeding there.
—
Michael Brooks /
detail
- 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
- Restore full sense of wflag strictness, mistakenly reduced in 2853d6fb0.
—
Michael Brooks /
detail
- Fix a warning missed in 2853d6fb0.
—
Michael Brooks /
detail
- 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
- Added prelude-inline.cfa to the standard library. This should now have the single copy of many functions defined in the prelude.
—
ajbeach /
detail
- formatting, comment out unused parameter names to remove warnings
—
Peter Buhr /
detail
- respond to Andrew's comments about intro chapter
—
Peter Buhr /
detail
- Added a check in operatorLookup so bad operators give a proper error message instead of segment fault.
—
ajbeach /
detail
- remove superflous calls to std::move
—
Peter Buhr /
detail
- Attempted to inject some examples (and some other pieces I had missed) into the enum proposal.
—
ajbeach /
detail
- fix length for juxtaposed strings: "ABC" "DEF"
—
Peter Buhr /
detail
- add another attribute test
—
Peter Buhr /
detail
- update expected for attribute test aarch64
—
Peter Buhr /
detail
- update expected for attribute test x86
—
Peter Buhr /
detail
- more proofreading of introduction chapter
—
Peter Buhr /
detail
- Removed increment and decrement operators for enumerations from builtins. I am confident the generic fallbacks work because I added tests.
—
ajbeach /
detail
- Explicate the present state for test-suite programs being free of warnings.
—
Michael Brooks /
detail
- Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks.
—
Michael Brooks /
detail
- remove warnings from alloc_internal$ in stdlib.hfa
—
Peter Buhr /
detail
- put back parameter names in comments
—
Peter Buhr /
detail
- remove fixed tests from WFLGAS_OPT_LAX
—
Peter Buhr /
detail
- change wflags-orig.txt to wflags-lax.txt
—
Peter Buhr /
detail
- 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
- Try to get full build completing by disabling a data-collection substep.
—
Michael Brooks /
detail
- Fix test-classification commands to detect more strict-capable tests. Remove such tests from the lax list.
—
Michael Brooks /
detail
- Add file missed in d9162ec9
—
Michael Brooks /
detail
- Add completion of work in progress mistakenly included in 584612d. Fix test string-api-coverage to be warning free.
—
Michael Brooks /
detail
- 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
- fix build problem by fixing unsupported C23 attribute in test
—
Peter Buhr /
detail
- update architecture expect file for ARM
—
Peter Buhr /
detail
- update architecture expect file for x86
—
Peter Buhr /
detail
- update architecture expect file for x64
—
Peter Buhr /
detail
- Add back overnight build's benchmark compile attribute data point
—
Michael Brooks /
detail
- Remove warnings due to unused parameters in generated code for zero-length ttype instantiations.
—
Michael Brooks /
detail
- Remove test-code-induced warnings from Array RAII.
—
Michael Brooks /
detail
- Try to fix full build by suppressing known warning's -W code under gcc 7-8-9.
—
Michael Brooks /
detail
- Added a check in operatorLookup so bad operators give a proper error message instead of segment fault.
—
ajbeach /
detail
- remove superflous calls to std::move
—
Peter Buhr /
detail
- Attempted to inject some examples (and some other pieces I had missed) into the enum proposal.
—
ajbeach /
detail
- fix length for juxtaposed strings: "ABC" "DEF"
—
Peter Buhr /
detail
- add another attribute test
—
Peter Buhr /
detail
- update expected for attribute test aarch64
—
Peter Buhr /
detail
- update expected for attribute test x86
—
Peter Buhr /
detail
- more proofreading of introduction chapter
—
Peter Buhr /
detail
- Removed increment and decrement operators for enumerations from builtins. I am confident the generic fallbacks work because I added tests.
—
ajbeach /
detail
- Explicate the present state for test-suite programs being free of warnings.
—
Michael Brooks /
detail
- Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks.
—
Michael Brooks /
detail
- remove warnings from alloc_internal$ in stdlib.hfa
—
Peter Buhr /
detail
- put back parameter names in comments
—
Peter Buhr /
detail
- remove fixed tests from WFLGAS_OPT_LAX
—
Peter Buhr /
detail
- change wflags-orig.txt to wflags-lax.txt
—
Peter Buhr /
detail
- 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
- Try to get full build completing by disabling a data-collection substep.
—
Michael Brooks /
detail
- Fix test-classification commands to detect more strict-capable tests. Remove such tests from the lax list.
—
Michael Brooks /
detail
- Add file missed in d9162ec9
—
Michael Brooks /
detail
- Add completion of work in progress mistakenly included in 584612d. Fix test string-api-coverage to be warning free.
—
Michael Brooks /
detail
- 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
- fix build problem by fixing unsupported C23 attribute in test
—
Peter Buhr /
detail
- Begin an exploratory meta-test of warning detection. This change will be reversed.
—
Michael Brooks /
detail
- End the meta-test of warning detection. Reverse 135197188ba.
—
Michael Brooks /
detail
- Fix exceptions to be warning-free.
—
Michael Brooks /
detail
- Fix IO stream to be warning-free.
—
Michael Brooks /
detail
- Add test for milestone: String is warning-free
—
Michael Brooks /
detail
- update semantic warnings
—
Peter Buhr /
detail
- update SuperfluousDecl warning, update field_declaring rules, comment casts, update CFA shorthand attribute to @[...]
—
Peter Buhr /
detail
- update tests for attribute and semantic warnings
—
Peter Buhr /
detail
- update expected output of atribute test for x86
—
Peter Buhr /
detail
- update expected output of atribute test for arm64
—
Peter Buhr /
detail
- Added a check in operatorLookup so bad operators give a proper error message instead of segment fault.
—
ajbeach /
detail
- remove superflous calls to std::move
—
Peter Buhr /
detail
- Attempted to inject some examples (and some other pieces I had missed) into the enum proposal.
—
ajbeach /
detail
- fix length for juxtaposed strings: "ABC" "DEF"
—
Peter Buhr /
detail
- add another attribute test
—
Peter Buhr /
detail
- update expected for attribute test aarch64
—
Peter Buhr /
detail
- update expected for attribute test x86
—
Peter Buhr /
detail
- more proofreading of introduction chapter
—
Peter Buhr /
detail
- Removed increment and decrement operators for enumerations from builtins. I am confident the generic fallbacks work because I added tests.
—
ajbeach /
detail
- Explicate the present state for test-suite programs being free of warnings.
—
Michael Brooks /
detail
- Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks.
—
Michael Brooks /
detail
- remove warnings from alloc_internal$ in stdlib.hfa
—
Peter Buhr /
detail
- put back parameter names in comments
—
Peter Buhr /
detail
- remove fixed tests from WFLGAS_OPT_LAX
—
Peter Buhr /
detail
- change wflags-orig.txt to wflags-lax.txt
—
Peter Buhr /
detail
- 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
- Try to get full build completing by disabling a data-collection substep.
—
Michael Brooks /
detail
- Fix test-classification commands to detect more strict-capable tests. Remove such tests from the lax list.
—
Michael Brooks /
detail
- Add file missed in d9162ec9
—
Michael Brooks /
detail
- Add completion of work in progress mistakenly included in 584612d. Fix test string-api-coverage to be warning free.
—
Michael Brooks /
detail
- update semantic warnings
—
Peter Buhr /
detail
- update SuperfluousDecl warning, update field_declaring rules, comment casts, update CFA shorthand attribute to @[...]
—
Peter Buhr /
detail
- update tests for attribute and semantic warnings
—
Peter Buhr /
detail
- update expected output of atribute test for x86
—
Peter Buhr /
detail
- update expected output of atribute test for arm64
—
Peter Buhr /
detail
- Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions.
—
ajbeach /
detail
- suppress reference conversion warning
—
f37yu /
detail
- Mitigate several unused-declaration warnings in generated code.
—
Michael Brooks /
detail
- Make array and list headers free of warnings upon include and as used in a libcfa build
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- add citation
—
Peter Buhr /
detail
- temporarily add citations to background chapter
—
Peter Buhr /
detail
- Work around #269 in array bound-check printing, to avoid 32-bit-specific warning. Try to fix nightly build.
—
Michael Brooks /
detail
- Begin an exploratory meta-test of warning detection. This change will be reversed.
—
Michael Brooks /
detail
- End the meta-test of warning detection. Reverse 135197188ba.
—
Michael Brooks /
detail
- Fix exceptions to be warning-free.
—
Michael Brooks /
detail
- Fix IO stream to be warning-free.
—
Michael Brooks /
detail
- Add test for milestone: String is warning-free
—
Michael Brooks /
detail
- Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions.
—
ajbeach /
detail
- suppress reference conversion warning
—
f37yu /
detail
- Mitigate several unused-declaration warnings in generated code.
—
Michael Brooks /
detail
- Make array and list headers free of warnings upon include and as used in a libcfa build
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- add citation
—
Peter Buhr /
detail
- temporarily add citations to background chapter
—
Peter Buhr /
detail
- Work around #269 in array bound-check printing, to avoid 32-bit-specific warning. Try to fix nightly build.
—
Michael Brooks /
detail
- Begin an exploratory meta-test of warning detection. This change will be reversed.
—
Michael Brooks /
detail
- proofread background chapter, and other small changes
—
Peter Buhr /
detail
- Thesis, array: Add section Dimension Parameter Implementation
—
Michael Brooks /
detail
- Thesis, background, array: flesh out and rework section Array Parameter Declaration
—
Michael Brooks /
detail
- Move enum trait declaration to builtin/c
—
j82liang /
detail
- reduce topsep for enumitem
—
Peter Buhr /
detail
- proofread new material in background and array chapters
—
Peter Buhr /
detail
- Thesis, background, array: clarify C laxed inner dimension checking
—
Michael Brooks /
detail
- Thesis, array: add section on lifecycle
—
Michael Brooks /
detail
- generalize cfa-code indentation (xleftmargin)
—
Peter Buhr /
detail
- add starting section 5.1 for strings
—
Peter Buhr /
detail
- proofread section Array lifecycle
—
Peter Buhr /
detail
- Array, lifecycle: more proofreading
—
Michael Brooks /
detail
- Thesis, string, intro: provide missing facts
—
Michael Brooks /
detail
- updates to uC++toCFA document
—
Peter Buhr /
detail
- temporary update of exponentiation operator due to possible bug in box-pass
—
Peter Buhr /
detail
- remove assertions from rational structure declaration
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add label
—
Peter Buhr /
detail
- work on starting chapter, fix spelling
—
Peter Buhr /
detail
- more string changes
—
Peter Buhr /
detail
- Removed debug output from resolver. Also made the early decision happen a bit earlier since it is a rare case.
—
ajbeach /
detail
- add citation for First-Come-First-Served paper
—
Peter Buhr /
detail
- rename start_actor_system and stop_actor_system, add implicit messages start_msg and stop_msg
—
Peter Buhr /
detail
- update test programs with actor name change
—
Peter Buhr /
detail
- first attempt at updating barrier lock
—
Peter Buhr /
detail
- update barrier test programs after changes
—
Peter Buhr /
detail
- update uC++toCFA manual with actor changes
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- attempt to fix const reference conversion
—
f37yu /
detail
- add barrier sectio uC++ to CFA cheat sheet
—
Peter Buhr /
detail
- change how latex code generated from sharing-demo.cfa
—
Peter Buhr /
detail
- more updates to the uC++toCFA document
—
Peter Buhr /
detail
- updates to barrier.hfa
—
Peter Buhr /
detail
- empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax
—
Peter Buhr /
detail
- first attempt at tests for tuple arrays
—
Peter Buhr /
detail
- Thesis, string: add missing figure
—
Michael Brooks /
detail
- 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
- proofreading on string chapter
—
Peter Buhr /
detail
- CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working.
—
ajbeach /
detail
- proofread chapter 3
—
Peter Buhr /
detail
- 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
- test patch for respecting lexical priority in waitfor statement
—
Peter Buhr /
detail
- add isMember to DeclWithType
—
j82liang /
detail
- formatting, first attempt to add priority order to waitfor selection, change to for-loops to use CFA for-control
—
Peter Buhr /
detail
- 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
- Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic.
—
Michael Brooks /
detail
- small changes to rational
—
Peter Buhr /
detail
- Fix #276; add support for c-array parameters using dependent lengths.
—
Michael Brooks /
detail
- Update the enumeration proposal with some updates now that the rework is complete. Deleted the old thesis draft.
—
ajbeach /
detail
- Try to fix arch-specific test failure from my last commit
—
Michael Brooks /
detail
- Try 2 to fix arch-specific test failure from my last commit
—
Michael Brooks /
detail
- fix problem with future seperate compilation
—
Peter Buhr /
detail
- remove BadQualifiersZeroOne warning message
—
Peter Buhr /
detail
- Move enum.hfa/enum.cfa to prelude
—
j82liang /
detail
- update test expect
—
j82liang /
detail
- update .expect files for x86 architecture
—
Peter Buhr /
detail
- add description of closed trait types
—
f37yu /
detail
- thesis proofreading
—
Peter Buhr /
detail
- remove line numbering
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, temporarily remove quasi_void
—
Peter Buhr /
detail
- more proofreading of intro chapter
—
Peter Buhr /
detail
- add some initial background material
—
Peter Buhr /
detail
- found some initial material for section Polymorphism
—
Peter Buhr /
detail
- Follow up reformatting to builtins. Just a few extra and missing spaces.
—
ajbeach /
detail
- Removed some unused (commented) code from the builtins.
—
ajbeach /
detail
- Resurrect test of zero_t/one_t and capture present state of ++
—
Michael Brooks /
detail
- Allow builtin ++ from += overloads, and similar, to work on a type witout a parameterless constructor
—
Michael Brooks /
detail
- harmonize comments in test program
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Fix support for partial autogen.
—
Michael Brooks /
detail
- Accept meta-test, expecting the buid to fail.
—
Michael Brooks /
detail
- Remove autogen forward declarations, which are never needed, and cause warnings about static declarations without definitions.
—
Michael Brooks /
detail
- Enable partial autogen for types declared inside functions.
—
Michael Brooks /
detail
- Take test-expect change missed in last commit.
—
Michael Brooks /
detail
- Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions.
—
ajbeach /
detail
- suppress reference conversion warning
—
f37yu /
detail
- Mitigate several unused-declaration warnings in generated code.
—
Michael Brooks /
detail
- Make array and list headers free of warnings upon include and as used in a libcfa build
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- add citation
—
Peter Buhr /
detail
- temporarily add citations to background chapter
—
Peter Buhr /
detail
- Work around #269 in array bound-check printing, to avoid 32-bit-specific warning. Try to fix nightly build.
—
Michael Brooks /
detail
- Fix support for partial autogen.
—
Michael Brooks /
detail
- Accept meta-test, expecting the buid to fail.
—
Michael Brooks /
detail
- Remove autogen forward declarations, which are never needed, and cause warnings about static declarations without definitions.
—
Michael Brooks /
detail
- Enable partial autogen for types declared inside functions.
—
Michael Brooks /
detail
- Take test-expect change missed in last commit.
—
Michael Brooks /
detail
- Resurrect test of zero_t/one_t and capture present state of ++
—
Michael Brooks /
detail
- Allow builtin ++ from += overloads, and similar, to work on a type witout a parameterless constructor
—
Michael Brooks /
detail
- harmonize comments in test program
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, temporarily remove quasi_void
—
Peter Buhr /
detail
- more proofreading of intro chapter
—
Peter Buhr /
detail
- add some initial background material
—
Peter Buhr /
detail
- found some initial material for section Polymorphism
—
Peter Buhr /
detail
- Follow up reformatting to builtins. Just a few extra and missing spaces.
—
ajbeach /
detail
- Removed some unused (commented) code from the builtins.
—
ajbeach /
detail
- thesis proofreading
—
Peter Buhr /
detail
- remove line numbering
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add description of closed trait types
—
f37yu /
detail
- Move enum trait declaration to builtin/c
—
j82liang /
detail
- add isMember to DeclWithType
—
j82liang /
detail
- Move enum.hfa/enum.cfa to prelude
—
j82liang /
detail
- update test expect
—
j82liang /
detail
- update .expect files for x86 architecture
—
Peter Buhr /
detail
- remove BadQualifiersZeroOne warning message
—
Peter Buhr /
detail
- fix problem with future seperate compilation
—
Peter Buhr /
detail
- Fix #276; add support for c-array parameters using dependent lengths.
—
Michael Brooks /
detail
- Update the enumeration proposal with some updates now that the rework is complete. Deleted the old thesis draft.
—
ajbeach /
detail
- Try to fix arch-specific test failure from my last commit
—
Michael Brooks /
detail
- Try 2 to fix arch-specific test failure from my last commit
—
Michael Brooks /
detail
- formatting, first attempt to add priority order to waitfor selection, change to for-loops to use CFA for-control
—
Peter Buhr /
detail
- 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
- Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic.
—
Michael Brooks /
detail
- small changes to rational
—
Peter Buhr /
detail
- test patch for respecting lexical priority in waitfor statement
—
Peter Buhr /
detail
- proofread chapter 3
—
Peter Buhr /
detail
- 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
- CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working.
—
ajbeach /
detail
- Thesis, string: add missing figure
—
Michael Brooks /
detail
- 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
- proofreading on string chapter
—
Peter Buhr /
detail
- change how latex code generated from sharing-demo.cfa
—
Peter Buhr /
detail
- more updates to the uC++toCFA document
—
Peter Buhr /
detail
- updates to barrier.hfa
—
Peter Buhr /
detail
- empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax
—
Peter Buhr /
detail
- first attempt at tests for tuple arrays
—
Peter Buhr /
detail
- add barrier sectio uC++ to CFA cheat sheet
—
Peter Buhr /
detail
- attempt to fix const reference conversion
—
f37yu /
detail
- add label
—
Peter Buhr /
detail
- work on starting chapter, fix spelling
—
Peter Buhr /
detail
- more string changes
—
Peter Buhr /
detail
- Removed debug output from resolver. Also made the early decision happen a bit earlier since it is a rare case.
—
ajbeach /
detail
- add citation for First-Come-First-Served paper
—
Peter Buhr /
detail
- rename start_actor_system and stop_actor_system, add implicit messages start_msg and stop_msg
—
Peter Buhr /
detail
- update test programs with actor name change
—
Peter Buhr /
detail
- first attempt at updating barrier lock
—
Peter Buhr /
detail
- update barrier test programs after changes
—
Peter Buhr /
detail
- update uC++toCFA manual with actor changes
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- updates to uC++toCFA document
—
Peter Buhr /
detail
- temporary update of exponentiation operator due to possible bug in box-pass
—
Peter Buhr /
detail
- remove assertions from rational structure declaration
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- proofread section Array lifecycle
—
Peter Buhr /
detail
- Array, lifecycle: more proofreading
—
Michael Brooks /
detail
- Thesis, string, intro: provide missing facts
—
Michael Brooks /
detail
- generalize cfa-code indentation (xleftmargin)
—
Peter Buhr /
detail
- add starting section 5.1 for strings
—
Peter Buhr /
detail
- Thesis, array: add section on lifecycle
—
Michael Brooks /
detail
- Thesis, background, array: clarify C laxed inner dimension checking
—
Michael Brooks /
detail
- reduce topsep for enumitem
—
Peter Buhr /
detail
- proofread new material in background and array chapters
—
Peter Buhr /
detail
- Thesis, background, array: flesh out and rework section Array Parameter Declaration
—
Michael Brooks /
detail
- fix directory name for running tests in INSTALL
—
Peter Buhr /
detail
- Updated tuple proposal to include array interations.
—
ajbeach /
detail
- proofread background chapter, and other small changes
—
Peter Buhr /
detail
- Thesis, array: Add section Dimension Parameter Implementation
—
Michael Brooks /
detail
- fix directory name for running tests in INSTALL
—
Peter Buhr /
detail
- Updated tuple proposal to include array interations.
—
ajbeach /
detail
- proofread background chapter, and other small changes
—
Peter Buhr /
detail
- fix spelling
—
Peter Buhr /
detail
- Add uArray delayed-initialization equivalent to CFA array
—
Michael Brooks /
detail
- Hopefully fix broken build, from multiple declarations of arrah.hfa's delay_init.
—
Michael Brooks /
detail
- Attempt to fix Promote build by naming recently added test data files in a more typical way.
—
Michael Brooks /
detail
- 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
- formatting
—
Peter Buhr /
detail
- increase unfreed storage for putenv/tzset
—
Peter Buhr /
detail
- clean up naming of float-point types, and start to add new ARM floating-point types
—
Peter Buhr /
detail
- switch to isxdigit and floating point changes
—
Peter Buhr /
detail
- multiple changes to reflect updates in Cforall
—
Peter Buhr /
detail
- Clean-up in TranslateEnumRange.
—
ajbeach /
detail
- The fix about build enum type (I thought I have pushed it)
—
j82liang /
detail
- final proofread of thesis
—
Peter Buhr /
detail
- missed proofreading in conclusion
—
Peter Buhr /
detail
- Update on thesis
—
j82liang /
detail
- small changes
—
Peter Buhr /
detail
- small changes
—
Peter Buhr /
detail
- change the superset row as we now conclude adt form a superset
—
j82liang /
detail
- Small updates
—
j82liang /
detail
- update module proposal with some emails on the topic
—
Peter Buhr /
detail
- add mising comma in citation
—
Peter Buhr /
detail
- PULL BEFORE YOU PUSH! This fix has already applied, but they were overwritten in a later change.
—
ajbeach /
detail
- Add a sentence about linkonce
—
j82liang /
detail
- Moved the backtrace/signal code to the bottom of the main file (so people don't have to scroll past it.
—
ajbeach /
detail
- 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
- fix two spelling issues
—
Peter Buhr /
detail
- some proofreading of Fangren's thesis
—
Peter Buhr /
detail
- updated for uC++ to CFA document
—
Peter Buhr /
detail
- 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
- fformatting, make names consistent
—
Peter Buhr /
detail
- push missing file
—
Peter Buhr /
detail
- Finally finished the tuple proposal. Feedback is welcome. Moved the old proposal into the thesis, it could also be deleted.
—
ajbeach /
detail
- Missing rename in comment.
—
ajbeach /
detail
- Fixed a bad initialization in ForeachStmt. Seems to have been there in some form for some time.
—
ajbeach /
detail
- more proofreading of intro and content1 chapters
—
Peter Buhr /
detail
- remove what appear to be superfluous push/pop in grammar rules
—
Peter Buhr /
detail
- Bit of clean-up in the Box pass I did while investigating it. 'static' is not needed inside the unnamed namespace.
—
ajbeach /
detail
- change "exit" stream to stderr from stdout
—
Peter Buhr /
detail
- Tuple proposal spelling-grammar-typo fixes. No content changes intended.
—
Michael Brooks /
detail
- first proofread of tuple proposal
—
Peter Buhr /
detail
- 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
- more proofreading of intro chapter
—
Peter Buhr /
detail
- 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
- change CFA runtime libraries to use C designator syntax
—
Peter Buhr /
detail
- change CFA tests to use C designator syntax
—
Peter Buhr /
detail
- documentation, update C23 attribute lexing
—
Peter Buhr /
detail
- Thesis introduction contributions, first try.
—
Michael Brooks /
detail
- Thesis, array, add content on C typing changes.
—
Michael Brooks /
detail
- update how input/output files are opened
—
Peter Buhr /
detail
- Thesis, array, C typing rules, add discussion dimension hoisting.
—
Michael Brooks /
detail
- Thesis, array, C typing rules, add old C rules and case-comparison table.
—
Michael Brooks /
detail
- Folding in feedback to the tuple proposal and rewriting the last rewrite.
—
ajbeach /
detail
- 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
- Renamed CurrentObject's MemberIterator::operator* to getOptions because that is a more descriptive name.
—
ajbeach /
detail
- Thesis, array, proofread intro sections.
—
Michael Brooks /
detail
- proofread introduction chapter
—
Peter Buhr /
detail
- numerous changes to the uC++ to CFA cheat sheet
—
Peter Buhr /
detail
- Thesis, array, upgrade accordion demo to use data in all arrays
—
Michael Brooks /
detail
- finish proofreading the array section of the background chapter
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- fix directory name for running tests in INSTALL
—
Peter Buhr /
detail
- Updated tuple proposal to include array interations.
—
ajbeach /
detail
- Thesis, array, proofread intro sections.
—
Michael Brooks /
detail
- Thesis, array, upgrade accordion demo to use data in all arrays
—
Michael Brooks /
detail
- finish proofreading the array section of the background chapter
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update how input/output files are opened
—
Peter Buhr /
detail
- proofread introduction chapter
—
Peter Buhr /
detail
- numerous changes to the uC++ to CFA cheat sheet
—
Peter Buhr /
detail
- Renamed CurrentObject's MemberIterator::operator* to getOptions because that is a more descriptive name.
—
ajbeach /
detail
- 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
- Thesis, array, C typing rules, add old C rules and case-comparison table.
—
Michael Brooks /
detail
- Folding in feedback to the tuple proposal and rewriting the last rewrite.
—
ajbeach /
detail
- Thesis, array, C typing rules, add discussion dimension hoisting.
—
Michael Brooks /
detail
- Thesis, array, add content on C typing changes.
—
Michael Brooks /
detail
- Thesis introduction contributions, first try.
—
Michael Brooks /
detail
- 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
- change CFA runtime libraries to use C designator syntax
—
Peter Buhr /
detail
- change CFA tests to use C designator syntax
—
Peter Buhr /
detail
- documentation, update C23 attribute lexing
—
Peter Buhr /
detail
- 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
- more proofreading of intro chapter
—
Peter Buhr /
detail
- first proofread of tuple proposal
—
Peter Buhr /
detail
- change "exit" stream to stderr from stdout
—
Peter Buhr /
detail
- Tuple proposal spelling-grammar-typo fixes. No content changes intended.
—
Michael Brooks /
detail
- more proofreading of intro and content1 chapters
—
Peter Buhr /
detail
- remove what appear to be superfluous push/pop in grammar rules
—
Peter Buhr /
detail
- Bit of clean-up in the Box pass I did while investigating it. 'static' is not needed inside the unnamed namespace.
—
ajbeach /
detail
- 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
- fformatting, make names consistent
—
Peter Buhr /
detail
- push missing file
—
Peter Buhr /
detail
- Finally finished the tuple proposal. Feedback is welcome. Moved the old proposal into the thesis, it could also be deleted.
—
ajbeach /
detail
- Missing rename in comment.
—
ajbeach /
detail
- Fixed a bad initialization in ForeachStmt. Seems to have been there in some form for some time.
—
ajbeach /
detail
- some proofreading of Fangren's thesis
—
Peter Buhr /
detail
- updated for uC++ to CFA document
—
Peter Buhr /
detail
- fix two spelling issues
—
Peter Buhr /
detail
- Add a sentence about linkonce
—
j82liang /
detail
- Moved the backtrace/signal code to the bottom of the main file (so people don't have to scroll past it.
—
ajbeach /
detail
- 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
- PULL BEFORE YOU PUSH! This fix has already applied, but they were overwritten in a later change.
—
ajbeach /
detail
- update module proposal with some emails on the topic
—
Peter Buhr /
detail
- add mising comma in citation
—
Peter Buhr /
detail
- missed proofreading in conclusion
—
Peter Buhr /
detail
- Update on thesis
—
j82liang /
detail
- small changes
—
Peter Buhr /
detail
- small changes
—
Peter Buhr /
detail
- change the superset row as we now conclude adt form a superset
—
j82liang /
detail
- Small updates
—
j82liang /
detail
- final proofread of thesis
—
Peter Buhr /
detail
- clean up naming of float-point types, and start to add new ARM floating-point types
—
Peter Buhr /
detail
- switch to isxdigit and floating point changes
—
Peter Buhr /
detail
- multiple changes to reflect updates in Cforall
—
Peter Buhr /
detail
- Clean-up in TranslateEnumRange.
—
ajbeach /
detail
- The fix about build enum type (I thought I have pushed it)
—
j82liang /
detail
- formatting
—
Peter Buhr /
detail
- increase unfreed storage for putenv/tzset
—
Peter Buhr /
detail
- 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
- Attempt to fix Promote build by naming recently added test data files in a more typical way.
—
Michael Brooks /
detail
- add void to lowerBound() and upperBound() declaration, which is a workaround to the warning message
—
j82liang /
detail
- update thesis
—
j82liang /
detail
- comment out unused variable declaration
—
Peter Buhr /
detail
- fix dangling reference after delete
—
Peter Buhr /
detail
- Made sure a variable is always initialized and removed some trailing whitespace.
—
ajbeach /
detail
- 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
- 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
- Removed some unneeded code that could have gone last commit.
—
ajbeach /
detail
- Add separate compilation discussion
—
j82liang /
detail
- Update thesis
—
j82liang /
detail
- Fix inst type as base type for enum
—
j82liang /
detail
- update the discussion of unit type
—
j82liang /
detail
- Update 'fork+exec' test utility to be valid also in C and C++.
—
Michael Brooks /
detail
- Add EOF test coverage for string reading.
—
Michael Brooks /
detail
- Fix fork+exec missed case / broken build
—
Michael Brooks /
detail
- 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
- fix spelling
—
Peter Buhr /
detail
- Add uArray delayed-initialization equivalent to CFA array
—
Michael Brooks /
detail
- Hopefully fix broken build, from multiple declarations of arrah.hfa's delay_init.
—
Michael Brooks /
detail
- add void to lowerBound() and upperBound() declaration, which is a workaround to the warning message
—
j82liang /
detail
- update thesis
—
j82liang /
detail
- comment out unused variable declaration
—
Peter Buhr /
detail
- fix dangling reference after delete
—
Peter Buhr /
detail
- Made sure a variable is always initialized and removed some trailing whitespace.
—
ajbeach /
detail
- 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
- 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
- Removed some unneeded code that could have gone last commit.
—
ajbeach /
detail
- Add separate compilation discussion
—
j82liang /
detail
- Update thesis
—
j82liang /
detail
- Fix inst type as base type for enum
—
j82liang /
detail
- update the discussion of unit type
—
j82liang /
detail
- Update 'fork+exec' test utility to be valid also in C and C++.
—
Michael Brooks /
detail
- Add EOF test coverage for string reading.
—
Michael Brooks /
detail
- Fix fork+exec missed case / broken build
—
Michael Brooks /
detail
- 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
- fix spelling
—
Peter Buhr /
detail
- Add uArray delayed-initialization equivalent to CFA array
—
Michael Brooks /
detail
- Hopefully fix broken build, from multiple declarations of arrah.hfa's delay_init.
—
Michael Brooks /
detail
- rephrase enum initialization
—
j82liang /
detail
- remove spurious test files
—
Peter Buhr /
detail
- update test file covering problem cases
—
Peter Buhr /
detail
- add better error message for an empty enumeration, i.e., no enumerators.
—
Peter Buhr /
detail
- proofread intro chapter and add citation
—
Peter Buhr /
detail
- add citations
—
Peter Buhr /
detail
- move section from into to background
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- remove spurious push/pop from grammar contexts where type declarations are not allowed
—
Peter Buhr /
detail
- Implemented special case of sizeof/alignof, where reference types are ignored for these operations.
—
ajbeach /
detail
- add missing #ifdef to handle systems without io_uring
—
Peter Buhr /
detail
- modify time test to deal with unfreed storage from putenv/tzset
—
Peter Buhr /
detail
- preclude aggregate/enumeration type declaration in trait body
—
Peter Buhr /
detail
- 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
- update cast expression cost rule
—
f37yu /
detail
- add void to lowerBound() and upperBound() declaration, which is a workaround to the warning message
—
j82liang /
detail
- fix comment typo
—
Michael Brooks /
detail
- Fix #175
—
Michael Brooks /
detail
- Improve inability to declare a struct member having a managed type via typeof.
—
Michael Brooks /
detail
- Add missing integration test of accordions.
—
Michael Brooks /
detail
- update accordion program, small changes
—
Peter Buhr /
detail
- added a few sentences and corrected spelling mistakes
—
Peter Buhr /
detail
- Added a check to make sure that optional parameters to not appear on function types not attached to function declarations.
—
ajbeach /
detail
- first attempt changing end-of-file to an exception
—
Peter Buhr /
detail
- 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
- update error message for parameter default-initialization in function-pointer declarations
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Corrected handling of va_args in the parser. It still does not get through the resolver and further updates may be required.
—
ajbeach /
detail
- Removed two lingering set_extension functions from ast. There was one use each in the parser, which uses get/set functions still.
—
ajbeach /
detail
- simplify ttype min/max functions
—
Peter Buhr /
detail
- second attempt to simplify ttype min/max functions
—
Peter Buhr /
detail
- update citations
—
Peter Buhr /
detail
- remove empty line number increment from listings
—
Peter Buhr /
detail
- update thesis macros
—
Peter Buhr /
detail
- first proofread of chapter 3
—
Peter Buhr /
detail
- first proofread of chapter 1
—
Peter Buhr /
detail
- afterthought addition to chapter 3
—
Peter Buhr /
detail
- Isolated the logic to decide if a function is a var-args function or not.
—
ajbeach /
detail
- citation updates
—
Peter Buhr /
detail
- proofread introduction chapter
—
Peter Buhr /
detail
- 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
- correct check for EOF when reading character strings
—
Peter Buhr /
detail
- fix quotations from C++ reference manual
—
Peter Buhr /
detail
- 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
- change exception throw to use copy constructor rather than assignment to initialize exception instance
—
Peter Buhr /
detail
- update thesis
—
j82liang /
detail
- comment out unused variable declaration
—
Peter Buhr /
detail
- fix dangling reference after delete
—
Peter Buhr /
detail
- Made sure a variable is always initialized and removed some trailing whitespace.
—
ajbeach /
detail
- 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
- 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
- Removed some unneeded code that could have gone last commit.
—
ajbeach /
detail
- Add separate compilation discussion
—
j82liang /
detail
- Update thesis
—
j82liang /
detail
- Fix inst type as base type for enum
—
j82liang /
detail
- update the discussion of unit type
—
j82liang /
detail
- Update 'fork+exec' test utility to be valid also in C and C++.
—
Michael Brooks /
detail
- Add EOF test coverage for string reading.
—
Michael Brooks /
detail
- Fix fork+exec missed case / broken build
—
Michael Brooks /
detail
- 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
- change exception throw to use copy constructor rather than assignment to initialize exception instance
—
Peter Buhr /
detail
- 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
- correct check for EOF when reading character strings
—
Peter Buhr /
detail
- fix quotations from C++ reference manual
—
Peter Buhr /
detail
- 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
- citation updates
—
Peter Buhr /
detail
- proofread introduction chapter
—
Peter Buhr /
detail
- Isolated the logic to decide if a function is a var-args function or not.
—
ajbeach /
detail
- update citations
—
Peter Buhr /
detail
- remove empty line number increment from listings
—
Peter Buhr /
detail
- update thesis macros
—
Peter Buhr /
detail
- first proofread of chapter 3
—
Peter Buhr /
detail
- first proofread of chapter 1
—
Peter Buhr /
detail
- afterthought addition to chapter 3
—
Peter Buhr /
detail
- second attempt to simplify ttype min/max functions
—
Peter Buhr /
detail
- Corrected handling of va_args in the parser. It still does not get through the resolver and further updates may be required.
—
ajbeach /
detail
- Removed two lingering set_extension functions from ast. There was one use each in the parser, which uses get/set functions still.
—
ajbeach /
detail
- simplify ttype min/max functions
—
Peter Buhr /
detail
- update error message for parameter default-initialization in function-pointer declarations
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- 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
- first attempt changing end-of-file to an exception
—
Peter Buhr /
detail
- update accordion program, small changes
—
Peter Buhr /
detail
- added a few sentences and corrected spelling mistakes
—
Peter Buhr /
detail
- Added a check to make sure that optional parameters to not appear on function types not attached to function declarations.
—
ajbeach /
detail
- fix comment typo
—
Michael Brooks /
detail
- Fix #175
—
Michael Brooks /
detail
- Improve inability to declare a struct member having a managed type via typeof.
—
Michael Brooks /
detail
- Add missing integration test of accordions.
—
Michael Brooks /
detail
- add missing #ifdef to handle systems without io_uring
—
Peter Buhr /
detail
- modify time test to deal with unfreed storage from putenv/tzset
—
Peter Buhr /
detail
- preclude aggregate/enumeration type declaration in trait body
—
Peter Buhr /
detail
- 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
- update cast expression cost rule
—
f37yu /
detail
- formatting
—
Peter Buhr /
detail
- remove spurious push/pop from grammar contexts where type declarations are not allowed
—
Peter Buhr /
detail
- Implemented special case of sizeof/alignof, where reference types are ignored for these operations.
—
ajbeach /
detail
- add better error message for an empty enumeration, i.e., no enumerators.
—
Peter Buhr /
detail
- proofread intro chapter and add citation
—
Peter Buhr /
detail
- add citations
—
Peter Buhr /
detail
- move section from into to background
—
Peter Buhr /
detail
- Small thesis unpdate
—
j82liang /
detail
- Update on comparison table (some checkmark still need to be fixed
—
j82liang /
detail
- update comparison table
—
j82liang /
detail
- (Software) grammar check
—
j82liang /
detail
- Move partial scope to future work
—
j82liang /
detail
- grammar update and section moved
—
j82liang /
detail
- last proofread of thesis
—
Peter Buhr /
detail
- Minor update on the thesis (add auto initialization and update future work
—
j82liang /
detail
- rephrase enum initialization
—
j82liang /
detail
- remove spurious test files
—
Peter Buhr /
detail
- update test file covering problem cases
—
Peter Buhr /
detail
- Small thesis unpdate
—
j82liang /
detail
- Update on comparison table (some checkmark still need to be fixed
—
j82liang /
detail
- update comparison table
—
j82liang /
detail
- (Software) grammar check
—
j82liang /
detail
- Move partial scope to future work
—
j82liang /
detail
- grammar update and section moved
—
j82liang /
detail
- last proofread of thesis
—
Peter Buhr /
detail
- Minor update on the thesis (add auto initialization and update future work
—
j82liang /
detail
- rephrase enum initialization
—
j82liang /
detail
- proofread trait chapter
—
Peter Buhr /
detail
- second attempt proofread trait chapter
—
Peter Buhr /
detail
- third attempt proofread trait chapter
—
Peter Buhr /
detail
- Merge changes
—
j82liang /
detail
- Add code comment along the example
—
j82liang /
detail
- update subset section
—
j82liang /
detail
- change wording
—
j82liang /
detail
- remove unused parameter name from function Countof, add period to end of error messages
—
Peter Buhr /
detail
- small proofreading updates
—
Peter Buhr /
detail
- update unfreed storage message from memory allocator
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- proofread conclusion chapter
—
Peter Buhr /
detail
- fix duplicate labelling of figures
—
Peter Buhr /
detail
- rename file CEnum.tex to Cenum.tex to match CFAenum.tex
—
Peter Buhr /
detail
- remove unused files from repository
—
Peter Buhr /
detail
- fix PDF warnings about special characters in titles
—
Peter Buhr /
detail
- Small thesis unpdate
—
j82liang /
detail
- Update on comparison table (some checkmark still need to be fixed
—
j82liang /
detail
- update comparison table
—
j82liang /
detail
- (Software) grammar check
—
j82liang /
detail
- Move partial scope to future work
—
j82liang /
detail
- grammar update and section moved
—
j82liang /
detail
- last proofread of thesis
—
Peter Buhr /
detail
- Minor update on the thesis (add auto initialization and update future work
—
j82liang /
detail
- remove unused addInitType
—
j82liang /
detail
- proofread thesis frontpgs and intro
—
Peter Buhr /
detail
- reinterpret loop start for enum type as the first enumerator
—
j82liang /
detail
- define enum to value cost as implicit cost
—
j82liang /
detail
- Update .error as the cost model has changed
—
j82liang /
detail
- Update +=/-= for enums
—
j82liang /
detail
- display subsubsection numbering and insert into the table of contents
—
Peter Buhr /
detail
- proofread background chapter
—
Peter Buhr /
detail
- Update test expect for arm64
—
j82liang /
detail
- merge local changes
—
j82liang /
detail
- Update test expect for x86
—
j82liang /
detail
- move overload material into background chapter
—
Peter Buhr /
detail
- proofread C Enum chapter
—
Peter Buhr /
detail
- remove leading whitespace
—
j82liang /
detail
- 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
- small fix
—
j82liang /
detail
- formatting
—
Peter Buhr /
detail
- add discussion about partially implemented individual scoping mechanism
—
Peter Buhr /
detail
- proofread CFA enumeration chapter
—
Peter Buhr /
detail
- Change FX64 (x64) to FA64 (arm64)
—
j82liang /
detail
- Add "implicit case to base type" to enumerator
—
j82liang /
detail
- 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion)
—
j82liang /
detail
- Revert change: enumerator cannot be implicitly const
—
j82liang /
detail
- formatting, add str conversion routines, add more combinations of ?+? routines
—
Peter Buhr /
detail
- 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa are the code example used in loop section
—
j82liang /
detail
- Wording changes
—
j82liang /
detail
- formatting, documentation
—
Peter Buhr /
detail
- formatting, add section of enumeration subset
—
Peter Buhr /
detail
- user define enum example
—
j82liang /
detail
- fix user_define_enum.cfa
—
Peter Buhr /
detail
- A demo of offset algorithm used in enum containment inheritance
—
j82liang /
detail
- CFAEnum to CFAEnum conversion algorithm (the previous was enumerator to CFAEnum which is not a cast suppose to do)
—
j82liang /
detail
- proofread trait chapter
—
Peter Buhr /
detail
- second attempt proofread trait chapter
—
Peter Buhr /
detail
- third attempt proofread trait chapter
—
Peter Buhr /
detail
- Merge changes
—
j82liang /
detail
- Add code comment along the example
—
j82liang /
detail
- update subset section
—
j82liang /
detail
- change wording
—
j82liang /
detail
- remove unused parameter name from function Countof, add period to end of error messages
—
Peter Buhr /
detail
- small proofreading updates
—
Peter Buhr /
detail
- update unfreed storage message from memory allocator
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- proofread conclusion chapter
—
Peter Buhr /
detail
- fix duplicate labelling of figures
—
Peter Buhr /
detail
- rename file CEnum.tex to Cenum.tex to match CFAenum.tex
—
Peter Buhr /
detail
- remove unused files from repository
—
Peter Buhr /
detail
- fix PDF warnings about special characters in titles
—
Peter Buhr /
detail
- remove unused addInitType
—
j82liang /
detail
- proofread thesis frontpgs and intro
—
Peter Buhr /
detail
- reinterpret loop start for enum type as the first enumerator
—
j82liang /
detail
- define enum to value cost as implicit cost
—
j82liang /
detail
- Update .error as the cost model has changed
—
j82liang /
detail
- Update +=/-= for enums
—
j82liang /
detail
- display subsubsection numbering and insert into the table of contents
—
Peter Buhr /
detail
- proofread background chapter
—
Peter Buhr /
detail
- Update test expect for arm64
—
j82liang /
detail
- merge local changes
—
j82liang /
detail
- Update test expect for x86
—
j82liang /
detail
- move overload material into background chapter
—
Peter Buhr /
detail
- proofread C Enum chapter
—
Peter Buhr /
detail
- remove leading whitespace
—
j82liang /
detail
- 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
- small fix
—
j82liang /
detail
- formatting
—
Peter Buhr /
detail
- add discussion about partially implemented individual scoping mechanism
—
Peter Buhr /
detail
- proofread CFA enumeration chapter
—
Peter Buhr /
detail
- Change FX64 (x64) to FA64 (arm64)
—
j82liang /
detail
- Add "implicit case to base type" to enumerator
—
j82liang /
detail
- 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion)
—
j82liang /
detail
- Revert change: enumerator cannot be implicitly const
—
j82liang /
detail
- formatting, add str conversion routines, add more combinations of ?+? routines
—
Peter Buhr /
detail
- 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa are the code example used in loop section
—
j82liang /
detail
- Wording changes
—
j82liang /
detail
- formatting, documentation
—
Peter Buhr /
detail
- formatting, add section of enumeration subset
—
Peter Buhr /
detail
- user define enum example
—
j82liang /
detail
- fix user_define_enum.cfa
—
Peter Buhr /
detail
- A demo of offset algorithm used in enum containment inheritance
—
j82liang /
detail
- CFAEnum to CFAEnum conversion algorithm (the previous was enumerator to CFAEnum which is not a cast suppose to do)
—
j82liang /
detail
- proofread trait chapter
—
Peter Buhr /
detail
- second attempt proofread trait chapter
—
Peter Buhr /
detail
- third attempt proofread trait chapter
—
Peter Buhr /
detail
- Merge changes
—
j82liang /
detail
- formatting, add str conversion routines, add more combinations of ?+? routines
—
Peter Buhr /
detail
- 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa are the code example used in loop section
—
j82liang /
detail
- Wording changes
—
j82liang /
detail
- formatting, documentation
—
Peter Buhr /
detail
- formatting, add section of enumeration subset
—
Peter Buhr /
detail
- user define enum example
—
j82liang /
detail
- fix user_define_enum.cfa
—
Peter Buhr /
detail
- A demo of offset algorithm used in enum containment inheritance
—
j82liang /
detail
- CFAEnum to CFAEnum conversion algorithm (the previous was enumerator to CFAEnum which is not a cast suppose to do)
—
j82liang /
detail
- remove unused addInitType
—
j82liang /
detail
- proofread thesis frontpgs and intro
—
Peter Buhr /
detail
- reinterpret loop start for enum type as the first enumerator
—
j82liang /
detail
- define enum to value cost as implicit cost
—
j82liang /
detail
- Update .error as the cost model has changed
—
j82liang /
detail
- Update +=/-= for enums
—
j82liang /
detail
- display subsubsection numbering and insert into the table of contents
—
Peter Buhr /
detail
- proofread background chapter
—
Peter Buhr /
detail
- Update test expect for arm64
—
j82liang /
detail
- merge local changes
—
j82liang /
detail
- Update test expect for x86
—
j82liang /
detail
- move overload material into background chapter
—
Peter Buhr /
detail
- proofread C Enum chapter
—
Peter Buhr /
detail
- remove leading whitespace
—
j82liang /
detail
- 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
- small fix
—
j82liang /
detail
- formatting
—
Peter Buhr /
detail
- add discussion about partially implemented individual scoping mechanism
—
Peter Buhr /
detail
- proofread CFA enumeration chapter
—
Peter Buhr /
detail
- Change FX64 (x64) to FA64 (arm64)
—
j82liang /
detail
- Add "implicit case to base type" to enumerator
—
j82liang /
detail
- 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion)
—
j82liang /
detail
- Revert change: enumerator cannot be implicitly const
—
j82liang /
detail
- formatting, add str conversion routines, add more combinations of ?+? routines
—
Peter Buhr /
detail
- remove unused addInitType
—
j82liang /
detail
- reinterpret loop start for enum type as the first enumerator
—
j82liang /
detail
- define enum to value cost as implicit cost
—
j82liang /
detail
- Update .error as the cost model has changed
—
j82liang /
detail
- Update +=/-= for enums
—
j82liang /
detail
- display subsubsection numbering and insert into the table of contents
—
Peter Buhr /
detail
- proofread background chapter
—
Peter Buhr /
detail
- Update test expect for arm64
—
j82liang /
detail
- merge local changes
—
j82liang /
detail
- Update test expect for x86
—
j82liang /
detail
- move overload material into background chapter
—
Peter Buhr /
detail
- proofread C Enum chapter
—
Peter Buhr /
detail
- remove leading whitespace
—
j82liang /
detail
- 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
- small fix
—
j82liang /
detail
- formatting
—
Peter Buhr /
detail
- add discussion about partially implemented individual scoping mechanism
—
Peter Buhr /
detail
- proofread CFA enumeration chapter
—
Peter Buhr /
detail
- Change FX64 (x64) to FA64 (arm64)
—
j82liang /
detail
- Add "implicit case to base type" to enumerator
—
j82liang /
detail
- 1. Add implicit const to enum base type; 2. change auto initializer to +1 (rvalue addtion)
—
j82liang /
detail
- Revert change: enumerator cannot be implicitly const
—
j82liang /
detail
- remove unused addInitType
—
j82liang /
detail
- proofread thesis frontpgs and intro
—
Peter Buhr /
detail
- reinterpret loop start for enum type as the first enumerator
—
j82liang /
detail
- define enum to value cost as implicit cost
—
j82liang /
detail
- 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
- Seperate CfaEnum and Serial.
—
j82liang /
detail
- formatting, comments, use break in for-else
—
Peter Buhr /
detail
- In main: cleaned up a macro and updated some names.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- Unlabelled breaks were not targetting the correct enclosing control structures. Also added a test and improved error messages.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- add test for reading in enumerators
—
Peter Buhr /
detail
- modify time test to set time zone to America/Toronto so test is repeatable where ever run
—
Peter Buhr /
detail
- removed memory not freed message
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- try again to fix the unfreed storage problem
—
Peter Buhr /
detail
- second attempt at including tools/prettyprinter in the distribution
—
Peter Buhr /
detail
- third attempt at including tools/prettyprinter in the distribution
—
Peter Buhr /
detail
- documentation
—
Peter Buhr /
detail
- Update makeEnumOffsetCast to not report error for cast to non-parent type (later be a losing candidate)
—
j82liang /
detail
- update
—
f37yu /
detail
- get tools/prettyprinter to build in the distribution
—
Peter Buhr /
detail
- second attempt to get tools/prettyprinter to build in the distribution
—
Peter Buhr /
detail
- 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
- add countof as keyword to CFA lstlang
—
Peter Buhr /
detail
- small wording change to enumeration introduction
—
Peter Buhr /
detail
- proofread last push of CFA enumerations
—
Peter Buhr /
detail
- move enumeration trait material into implementation chapter
—
Peter Buhr /
detail
- 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
- Save current progress for pull
—
j82liang /
detail
- add section on enumeration I/O
—
Peter Buhr /
detail
- update enumeration input test
—
Peter Buhr /
detail
- parse keyword parameter and argument using '@' syntax
—
Peter Buhr /
detail
- parse keyword parameter and argument using '?' syntax
—
Peter Buhr /
detail
- rewrite section on default/named parameters
—
Peter Buhr /
detail
- Implement boxing for arrays.
—
Michael Brooks /
detail
- small updates to the default/named parameter section
—
Peter Buhr /
detail
- temporary hack to allow parsing of default/named parameters/calls
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, replace subscript-check asserts with error message
—
Peter Buhr /
detail
- forgot period at end of error message.
—
Peter Buhr /
detail
- make subscript check DEBUG only, remove #include <assert.h>, which is no longer used
—
Peter Buhr /
detail
- add #include <assert.h>, as no longer in array.hfa
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- proofread array chapter and update example programs
—
Peter Buhr /
detail
- add lstlisting for java
—
Peter Buhr /
detail
- add Huawei acknowledgement
—
Peter Buhr /
detail
- update thesis
—
j82liang /
detail
- Rename implementation to trait
—
j82liang /
detail
- Add CEnum.tex
—
j82liang /
detail
- Add CEnum.tex
—
j82liang /
detail
- 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
- update on thesis
—
j82liang /
detail
- Add abstract and acknoledgement
—
j82liang /
detail
- Add motivation for trait
—
j82liang /
detail
- Updated the named parameter proposal. Adding sections (or paragraphs) for syntax options, the current status and where it is placed in compilation.
—
ajbeach /
detail
- Add a discussion on Static Type information
—
j82liang /
detail
- Update
—
j82liang /
detail
- add stream parameter to OSTYPE_VOID_IMPL macro and update all macro calls
—
Peter Buhr /
detail
- modify abort error message
—
Peter Buhr /
detail
- update loop control test and expected output
—
Peter Buhr /
detail
- proofread thesis frontpgs and intro
—
Peter Buhr /
detail
- Add motivation for trait
—
j82liang /
detail
- Add a discussion on Static Type information
—
j82liang /
detail
- Update
—
j82liang /
detail
- add stream parameter to OSTYPE_VOID_IMPL macro and update all macro calls
—
Peter Buhr /
detail
- modify abort error message
—
Peter Buhr /
detail
- update loop control test and expected output
—
Peter Buhr /
detail
- Updated the named parameter proposal. Adding sections (or paragraphs) for syntax options, the current status and where it is placed in compilation.
—
ajbeach /
detail
- 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
- update on thesis
—
j82liang /
detail
- Add abstract and acknoledgement
—
j82liang /
detail
- Save current progress for pull
—
j82liang /
detail
- proofread array chapter and update example programs
—
Peter Buhr /
detail
- add lstlisting for java
—
Peter Buhr /
detail
- add Huawei acknowledgement
—
Peter Buhr /
detail
- update thesis
—
j82liang /
detail
- Rename implementation to trait
—
j82liang /
detail
- Add CEnum.tex
—
j82liang /
detail
- Add CEnum.tex
—
j82liang /
detail
- formatting
—
Peter Buhr /
detail
- formatting, replace subscript-check asserts with error message
—
Peter Buhr /
detail
- forgot period at end of error message.
—
Peter Buhr /
detail
- make subscript check DEBUG only, remove #include <assert.h>, which is no longer used
—
Peter Buhr /
detail
- add #include <assert.h>, as no longer in array.hfa
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- small updates to the default/named parameter section
—
Peter Buhr /
detail
- temporary hack to allow parsing of default/named parameters/calls
—
Peter Buhr /
detail
- add countof as keyword to CFA lstlang
—
Peter Buhr /
detail
- small wording change to enumeration introduction
—
Peter Buhr /
detail
- proofread last push of CFA enumerations
—
Peter Buhr /
detail
- move enumeration trait material into implementation chapter
—
Peter Buhr /
detail
- 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
- add section on enumeration I/O
—
Peter Buhr /
detail
- update enumeration input test
—
Peter Buhr /
detail
- parse keyword parameter and argument using '@' syntax
—
Peter Buhr /
detail
- parse keyword parameter and argument using '?' syntax
—
Peter Buhr /
detail
- rewrite section on default/named parameters
—
Peter Buhr /
detail
- Implement boxing for arrays.
—
Michael Brooks /
detail
- 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
- second attempt to get tools/prettyprinter to build in the distribution
—
Peter Buhr /
detail
- Update makeEnumOffsetCast to not report error for cast to non-parent type (later be a losing candidate)
—
j82liang /
detail
- update
—
f37yu /
detail
- get tools/prettyprinter to build in the distribution
—
Peter Buhr /
detail
- third attempt at including tools/prettyprinter in the distribution
—
Peter Buhr /
detail
- documentation
—
Peter Buhr /
detail
- second attempt at including tools/prettyprinter in the distribution
—
Peter Buhr /
detail
- Unlabelled breaks were not targetting the correct enclosing control structures. Also added a test and improved error messages.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- add test for reading in enumerators
—
Peter Buhr /
detail
- modify time test to set time zone to America/Toronto so test is repeatable where ever run
—
Peter Buhr /
detail
- removed memory not freed message
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- try again to fix the unfreed storage problem
—
Peter Buhr /
detail
- formatting, comments, use break in for-else
—
Peter Buhr /
detail
- In main: cleaned up a macro and updated some names.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- commenting
—
Peter Buhr /
detail
- add tools/prettyprinter for promotion to GitHub
—
Peter Buhr /
detail
- update citation file
—
Peter Buhr /
detail
- add BibDir macro to user-manual Makefile
—
Peter Buhr /
detail
- 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
- Seperate CfaEnum and Serial.
—
j82liang /
detail
- commenting
—
Peter Buhr /
detail
- add tools/prettyprinter for promotion to GitHub
—
Peter Buhr /
detail
- update citation file
—
Peter Buhr /
detail
- add BibDir macro to user-manual Makefile
—
Peter Buhr /
detail
- 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
- first attempt at updating enum auxiliary operations
—
Peter Buhr /
detail
- clarify for-control for enumerations
—
Peter Buhr /
detail
- 1. Disallow implicit conversion from cfa enum to int during on the function call site; 2. implement the reverse enum loop
—
j82liang /
detail
- add +~ and +~= for-control operators to match with -~ and -~= operators
—
Peter Buhr /
detail
- put back quasi_void print
—
Peter Buhr /
detail
- 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
- remove calls to label() from planet program
—
Peter Buhr /
detail
- Fix the bug that C style enum cannot to use as an lvalue
—
j82liang /
detail
- Allow explict conversion from cfa enum to int (while disallow implicit)
—
j82liang /
detail
- 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
- change basic_ostream to ostream, first attempt of enumeration input
—
Peter Buhr /
detail
- remove unnecessary assignment when looping with a structure type
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change enumeration posE to posn
—
Peter Buhr /
detail
- fix enumeration input to use reference type
—
Peter Buhr /
detail
- inline enum relational and increment operators, comment out loop causing compiler segment fault
—
Peter Buhr /
detail
- update 'Too many recursive assertions' error message with possible cause
—
Peter Buhr /
detail
- 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
- One extra whitespace line removed. I do not believe that represented an important ordering point.
—
ajbeach /
detail
- Change (enum) range loop so that it works on any type that define succ() and upperBound()
—
j82liang /
detail
- replace decl->base with isTyped()
—
j82liang /
detail
- Fix the bug that enum {} var syntax cannot be recognized as cfa enum
—
j82liang /
detail
- Fixed spelling mistake. (I'm 99% sure.)
—
ajbeach /
detail
- Made string literals constants. Preformed required updates. Resisted preforming large refactoring.
—
ajbeach /
detail
- Constant strings on input. The previous changes only effected generated code.
—
ajbeach /
detail
- Reverted the change to the compiler. The other changes are both practically and theoretically correct.
—
ajbeach /
detail
- add lstlisting for Pascal
—
Peter Buhr /
detail
- harmonize format of section titles
—
Peter Buhr /
detail
- proofreading array chapter
—
Peter Buhr /
detail
- update example programs
—
Peter Buhr /
detail
- update target names for running test suite
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update reading boolean and match text
—
Peter Buhr /
detail
- fix selecting wrong input operator for enumeration, first attempt at reading enumerators
—
Peter Buhr /
detail
- set return argument for boolean read
—
Peter Buhr /
detail
- allow empty global declaration ';', adjust semi-colon rules after static_assert
—
Peter Buhr /
detail
- Added an overview of how named parameters could be added to Cforall.
—
ajbeach /
detail
- Fixed the problem when enum use another enumerator as initializer
—
j82liang /
detail
- Add attribute functions back after the bug fix
—
j82liang /
detail
- Fix the bug with typed anomynous enum got incorrect forward declaration
—
j82liang /
detail
- corrections, update loop control
—
Peter Buhr /
detail
- 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
- 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
- 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
- 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
- Remove automatic conversion from Enum type name to its len; change With() semantic for enum to avoid type ambiguity (not fully implemented)
—
j82liang /
detail
- change assert to abort, second attempt to read enumerators
—
Peter Buhr /
detail
- change order of ungetc parameters to harmonize with C ungetc
—
Peter Buhr /
detail
- add enumeration planet program to test suite
—
Peter Buhr /
detail
- move planet test under directory enum_tests
—
Peter Buhr /
detail
- Silenced a warning.
—
ajbeach /
detail
- update CFAenum.tex
—
j82liang /
detail
- grammar fixed by a dsoftware
—
j82liang /
detail
- commenting
—
Peter Buhr /
detail
- add tools/prettyprinter for promotion to GitHub
—
Peter Buhr /
detail
- update citation file
—
Peter Buhr /
detail
- add BibDir macro to user-manual Makefile
—
Peter Buhr /
detail
- Silenced a warning.
—
ajbeach /
detail
- update CFAenum.tex
—
j82liang /
detail
- grammar fixed by a dsoftware
—
j82liang /
detail
- change assert to abort, second attempt to read enumerators
—
Peter Buhr /
detail
- change order of ungetc parameters to harmonize with C ungetc
—
Peter Buhr /
detail
- add enumeration planet program to test suite
—
Peter Buhr /
detail
- move planet test under directory enum_tests
—
Peter Buhr /
detail
- Remove automatic conversion from Enum type name to its len; change With() semantic for enum to avoid type ambiguity (not fully implemented)
—
j82liang /
detail
- 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
- 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
- corrections, update loop control
—
Peter Buhr /
detail
- 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
- 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
- Fixed the problem when enum use another enumerator as initializer
—
j82liang /
detail
- Add attribute functions back after the bug fix
—
j82liang /
detail
- Fix the bug with typed anomynous enum got incorrect forward declaration
—
j82liang /
detail
- allow empty global declaration ';', adjust semi-colon rules after static_assert
—
Peter Buhr /
detail
- Added an overview of how named parameters could be added to Cforall.
—
ajbeach /
detail
- add lstlisting for Pascal
—
Peter Buhr /
detail
- harmonize format of section titles
—
Peter Buhr /
detail
- proofreading array chapter
—
Peter Buhr /
detail
- update example programs
—
Peter Buhr /
detail
- update target names for running test suite
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update reading boolean and match text
—
Peter Buhr /
detail
- fix selecting wrong input operator for enumeration, first attempt at reading enumerators
—
Peter Buhr /
detail
- set return argument for boolean read
—
Peter Buhr /
detail
- Fixed spelling mistake. (I'm 99% sure.)
—
ajbeach /
detail
- Made string literals constants. Preformed required updates. Resisted preforming large refactoring.
—
ajbeach /
detail
- Constant strings on input. The previous changes only effected generated code.
—
ajbeach /
detail
- Reverted the change to the compiler. The other changes are both practically and theoretically correct.
—
ajbeach /
detail
- replace decl->base with isTyped()
—
j82liang /
detail
- Fix the bug that enum {} var syntax cannot be recognized as cfa enum
—
j82liang /
detail
- 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
- One extra whitespace line removed. I do not believe that represented an important ordering point.
—
ajbeach /
detail
- Change (enum) range loop so that it works on any type that define succ() and upperBound()
—
j82liang /
detail
- change basic_ostream to ostream, first attempt of enumeration input
—
Peter Buhr /
detail
- remove unnecessary assignment when looping with a structure type
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change enumeration posE to posn
—
Peter Buhr /
detail
- fix enumeration input to use reference type
—
Peter Buhr /
detail
- inline enum relational and increment operators, comment out loop causing compiler segment fault
—
Peter Buhr /
detail
- update 'Too many recursive assertions' error message with possible cause
—
Peter Buhr /
detail
- 1. Disallow implicit conversion from cfa enum to int during on the function call site; 2. implement the reverse enum loop
—
j82liang /
detail
- remove calls to label() from planet program
—
Peter Buhr /
detail
- Fix the bug that C style enum cannot to use as an lvalue
—
j82liang /
detail
- Allow explict conversion from cfa enum to int (while disallow implicit)
—
j82liang /
detail
- 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
- add +~ and +~= for-control operators to match with -~ and -~= operators
—
Peter Buhr /
detail
- put back quasi_void print
—
Peter Buhr /
detail
- 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
- change error message header, simplify forCtrl to have only identifier in initialization
—
Peter Buhr /
detail
- change enumeration function names labelE, valueE, posE to label, value, posn
—
Peter Buhr /
detail
- add protect for latex abbreviation macros
—
Peter Buhr /
detail
- update planet example program
—
Peter Buhr /
detail
- update Pascal enumeration
—
Peter Buhr /
detail
- update test programs for different program languages
—
Peter Buhr /
detail
- corrections to Pascal discussion
—
Peter Buhr /
detail
- clean up, prepare for downto enumerating
—
Peter Buhr /
detail
- first attempt at updating enum auxiliary operations
—
Peter Buhr /
detail
- clarify for-control for enumerations
—
Peter Buhr /
detail
- change error message header, simplify forCtrl to have only identifier in initialization
—
Peter Buhr /
detail
- change enumeration function names labelE, valueE, posE to label, value, posn
—
Peter Buhr /
detail
- add protect for latex abbreviation macros
—
Peter Buhr /
detail
- update planet example program
—
Peter Buhr /
detail
- update Pascal enumeration
—
Peter Buhr /
detail
- update test programs for different program languages
—
Peter Buhr /
detail
- corrections to Pascal discussion
—
Peter Buhr /
detail
- clean up, prepare for downto enumerating
—
Peter Buhr /
detail
- first attempt at updating enum auxiliary operations
—
Peter Buhr /
detail
- change error message header, simplify forCtrl to have only identifier in initialization
—
Peter Buhr /
detail
- change enumeration function names labelE, valueE, posE to label, value, posn
—
Peter Buhr /
detail
- add protect for latex abbreviation macros
—
Peter Buhr /
detail
- update planet example program
—
Peter Buhr /
detail
- update Pascal enumeration
—
Peter Buhr /
detail
- update test programs for different program languages
—
Peter Buhr /
detail
- corrections to Pascal discussion
—
Peter Buhr /
detail
- clean up, prepare for downto enumerating
—
Peter Buhr /
detail
- change error message header, simplify forCtrl to have only identifier in initialization
—
Peter Buhr /
detail
- change enumeration function names labelE, valueE, posE to label, value, posn
—
Peter Buhr /
detail
- small cleanups
—
Peter Buhr /
detail
- Updated the rest of the names in src/ (except for the generated files).
—
ajbeach /
detail
- Shoot, the non-extension renamings did not get caught in some corners.
—
ajbeach /
detail
- Apparently the source file lists aren't used until distribution. I went over all the lists and also found a stray header.
—
ajbeach /
detail
- 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
- formatting
—
Peter Buhr /
detail
- small updates, and more proofreading of the related-works chapter
—
Peter Buhr /
detail
- proofread string section of background chapter
—
Peter Buhr /
detail
- Change enum conversion steps
—
j82liang /
detail
- more proofreading with respect to Gregor's comments
—
Peter Buhr /
detail
- updates related to introduction chapter changes
—
Peter Buhr /
detail
- Added the review of all the autogeneration problems. Now, hopefully, we can start making some solutions.
—
ajbeach /
detail
- Various whitespace and intentation updates.
—
ajbeach /
detail
- add Elliott18 paper
—
Peter Buhr /
detail
- remove Grothoff14 paper
—
Peter Buhr /
detail
- proofreading changes
—
Peter Buhr /
detail
- program updates to match text
—
Peter Buhr /
detail
- add Elliott18 citation
—
Peter Buhr /
detail
- change xleftmargin spacing for lstinput, add code formatting macro for C++
—
Peter Buhr /
detail
- A upcast proposal for enums
—
j82liang /
detail
- Disable to voidEnum test for now to pass the test suite (voidEnum is WIP)
—
j82liang /
detail
- Added proposal for adding knowledge of modules to Cforall.
—
ajbeach /
detail
- small proofreading changes
—
Peter Buhr /
detail
- change minimum left/right hyphenation from 4 to 3 characters
—
Peter Buhr /
detail
- add iterator paper
—
Peter Buhr /
detail
- 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
- added some ideas to the module proposal
—
Peter Buhr /
detail
- 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
- attempt to fix #286
—
f37yu /
detail
- Update enumInlineValue.cfa
—
j82liang /
detail
- Removed an extra include.
—
ajbeach /
detail
- Update to the module system, folding in feedback and some PAB content.
—
ajbeach /
detail
- make bool a keyword for CFA lstlisting so it is bolded
—
Peter Buhr /
detail
- citation updates
—
Peter Buhr /
detail
- added Mike's comments about modules to proposal
—
Peter Buhr /
detail
- 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
- 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
- parse tuple-element declarations but unimplemented
—
Peter Buhr /
detail
- Updates to the module proposal. Just an assortment of clean-up and things I missed.
—
ajbeach /
detail
- Add soft copy of existing thesis diagram
—
Michael Brooks /
detail
- simplify grammar in a few places
—
Peter Buhr /
detail
- add missing keywords match and case to Python lstnewenvironment
—
Peter Buhr /
detail
- address Gregor's comment about quantity and a unit in examples, add emails as latex comments
—
Peter Buhr /
detail
- more proofreading of C background chapter
—
Peter Buhr /
detail
- first complete proofread of related-work chapter, still needs harmonizing across languages
—
Peter Buhr /
detail
- small proofreading changes to Cforall numeration chapter
—
Peter Buhr /
detail
- Elaborate the description and context of the md-array subscripting figure.
—
Michael Brooks /
detail
- add enumeration test programs for different programming languages
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- git ignore parser.tab.cc
—
Peter Buhr /
detail
- 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
- Missing files from the last commit
—
j82liang /
detail
- Linked-list background additions for identity model and end treatment.
—
Michael Brooks /
detail
- lex countof pseudo-function
—
Peter Buhr /
detail
- parse countof pseduo-function, update for-loop for enumeration
—
Peter Buhr /
detail
- fix spelling mistake in file src/ControlStruct/TrasnlateEnumRange.hpp and referents
—
Peter Buhr /
detail
- fix spelling mistake in file src/ControlStruct/TrasnlateEnumRange.hpp and referents
—
Peter Buhr /
detail
- 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
- Missing files from the last commit
—
j82liang /
detail
- Linked-list background additions for identity model and end treatment.
—
Michael Brooks /
detail
- lex countof pseudo-function
—
Peter Buhr /
detail
- parse countof pseduo-function, update for-loop for enumeration
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- git ignore parser.tab.cc
—
Peter Buhr /
detail
- Add soft copy of existing thesis diagram
—
Michael Brooks /
detail
- add missing keywords match and case to Python lstnewenvironment
—
Peter Buhr /
detail
- address Gregor's comment about quantity and a unit in examples, add emails as latex comments
—
Peter Buhr /
detail
- more proofreading of C background chapter
—
Peter Buhr /
detail
- first complete proofread of related-work chapter, still needs harmonizing across languages
—
Peter Buhr /
detail
- small proofreading changes to Cforall numeration chapter
—
Peter Buhr /
detail
- Elaborate the description and context of the md-array subscripting figure.
—
Michael Brooks /
detail
- add enumeration test programs for different programming languages
—
Peter Buhr /
detail
- parse tuple-element declarations but unimplemented
—
Peter Buhr /
detail
- Updates to the module proposal. Just an assortment of clean-up and things I missed.
—
ajbeach /
detail
- simplify grammar in a few places
—
Peter Buhr /
detail
- Update enumInlineValue.cfa
—
j82liang /
detail
- make bool a keyword for CFA lstlisting so it is bolded
—
Peter Buhr /
detail
- citation updates
—
Peter Buhr /
detail
- added Mike's comments about modules to proposal
—
Peter Buhr /
detail
- 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
- 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
- Removed an extra include.
—
ajbeach /
detail
- Update to the module system, folding in feedback and some PAB content.
—
ajbeach /
detail
- attempt to fix #286
—
f37yu /
detail
- small proofreading changes
—
Peter Buhr /
detail
- change minimum left/right hyphenation from 4 to 3 characters
—
Peter Buhr /
detail
- add iterator paper
—
Peter Buhr /
detail
- 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
- added some ideas to the module proposal
—
Peter Buhr /
detail
- 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
- Added proposal for adding knowledge of modules to Cforall.
—
ajbeach /
detail
- Change enum conversion steps
—
j82liang /
detail
- add Elliott18 paper
—
Peter Buhr /
detail
- remove Grothoff14 paper
—
Peter Buhr /
detail
- proofreading changes
—
Peter Buhr /
detail
- program updates to match text
—
Peter Buhr /
detail
- add Elliott18 citation
—
Peter Buhr /
detail
- change xleftmargin spacing for lstinput, add code formatting macro for C++
—
Peter Buhr /
detail
- A upcast proposal for enums
—
j82liang /
detail
- Disable to voidEnum test for now to pass the test suite (voidEnum is WIP)
—
j82liang /
detail
- Various whitespace and intentation updates.
—
ajbeach /
detail
- Added the review of all the autogeneration problems. Now, hopefully, we can start making some solutions.
—
ajbeach /
detail
- more proofreading with respect to Gregor's comments
—
Peter Buhr /
detail
- updates related to introduction chapter changes
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- small updates, and more proofreading of the related-works chapter
—
Peter Buhr /
detail
- proofread string section of background chapter
—
Peter Buhr /
detail
- 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
- Apparently the source file lists aren't used until distribution. I went over all the lists and also found a stray header.
—
ajbeach /
detail
- Shoot, the non-extension renamings did not get caught in some corners.
—
ajbeach /
detail
- Updated the rest of the names in src/ (except for the generated files).
—
ajbeach /
detail
- 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
- Refactor based type from operator assertion
—
j82liang /
detail
- Add GCC visibility push(default); Fix trait satisfaction problem
—
j82liang /
detail
- small cleanups
—
Peter Buhr /
detail
- 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
- Refactor based type from operator assertion
—
j82liang /
detail
- Add GCC visibility push(default); Fix trait satisfaction problem
—
j82liang /
detail
- small cleanups
—
Peter Buhr /
detail
- more work on introduction
—
Peter Buhr /
detail
- word smithing and poking at rust enumerations
—
Peter Buhr /
detail
- word smithing
—
Peter Buhr /
detail
- Removed unused field from TypeData.
—
ajbeach /
detail
- Save the change in main for git pull
—
j82liang /
detail
- Comment on relatedwork work
—
j82liang /
detail
- Comment out lines the require implementEnumFunc
—
j82liang /
detail
- Re-enable replace pseudo func to temporarily fix the compilation error
—
j82liang /
detail
- Small update
—
j82liang /
detail
- 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
- update and add ISO C citations and update clang citation
—
Peter Buhr /
detail
- add sorting key to web-site citations
—
Peter Buhr /
detail
- fix CFA citation
—
Peter Buhr /
detail
- start proofreading of Section 2.1
—
Peter Buhr /
detail
- clear out draft content and link syntactic reference figures
—
Michael Brooks /
detail
- General clean-up in the parser. Removed the commented DeclarationNode::name and added some helper functions to remove duplicate code.
—
ajbeach /
detail
- One more bit of clean-up, improving some names.
—
ajbeach /
detail
- Fixed memory leak in the parser.
—
ajbeach /
detail
- work on Figure 2.1
—
Peter Buhr /
detail
- 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
- more work on Figure 2.1 and surrounding text
—
Peter Buhr /
detail
- finish current proofreading of background chapter
—
Peter Buhr /
detail
- more work on background chapter
—
Peter Buhr /
detail
- add citation for AlgolW
—
Peter Buhr /
detail
- notZeroExpr (in the parser) has become createCondExpr (in the resolver). A small part of this, with expressions, had been done previously.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- comment out asserts that fail when malloc(0) returns non-null
—
Peter Buhr /
detail
- 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
- 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
- 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
- Reimplement the resolution of Enum instance type
—
j82liang /
detail
- Fix some warning
—
j82liang /
detail
- Fix Enum predecessor
—
j82liang /
detail
- formatting, add missing CFA reallocarray routine
—
Peter Buhr /
detail
- 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
- Fix succ(Enum) error and resolution ambiguity of enum with inheritance
—
j82liang /
detail
- Change for C++20 compatability. We may not be upgrading soon but this is the only error that arised in my tests.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- 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
- Remove unnecessary implicit enum type conversion
—
j82liang /
detail
- missing keyword coroutine to lstlang CFA
—
Peter Buhr /
detail
- 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
- add citation from OED for enumerate
—
Peter Buhr /
detail
- documentation
—
Peter Buhr /
detail
- more proofreading on enumerations
—
Peter Buhr /
detail
- proofreading changes
—
Peter Buhr /
detail
- changes to postfix function and storage management sections
—
Peter Buhr /
detail
- remove spurious 'this' qualification
—
Peter Buhr /
detail
- One missing BasicType::Kind -> BasicKind updates.
—
ajbeach /
detail
- formatting, add CFA versions of resize, realloc, and reallocarray
—
Peter Buhr /
detail
- 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
- Style update. Focused on indentation and trailing whitespace.
—
ajbeach /
detail
- The polyCost function was just a bit more complicated than it needed to be.
—
ajbeach /
detail
- 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
- move __attribute__((unused)) so it applies to variable
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, documentation refactor alloc code, remove annoying warnings
—
Peter Buhr /
detail
- Updated files in ResolvExpr to the new indentation style. It seems the remaining places have reason to break from the style.
—
ajbeach /
detail
- add combinations of pointer/reference for memset and memcpy
—
Peter Buhr /
detail
- update postfix function, storage management, and memory set/copy
—
Peter Buhr /
detail
- fix parsing bug in field declaring list with empty declarator
—
Peter Buhr /
detail
- Added a Python script for reviewing the timing of the test suite.
—
ajbeach /
detail
- 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
- move all lstnewenvironment macros to central location in uw-ethesis.tex
—
Peter Buhr /
detail
- more proofreading on introduction chapter (discussion of ADT)
—
Peter Buhr /
detail
- Change enum functions return type
—
j82liang /
detail
- add parsing support for enum type in 'with' statement
—
Peter Buhr /
detail
- more proofreading on enumeration chapters
—
Peter Buhr /
detail
- 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
- Missing changes for the last commit
—
j82liang /
detail
- 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
- remove glossary macros, switch back to newterm marco from Newterm, update Planet example
—
Peter Buhr /
detail
- Add trait subsection
—
j82liang /
detail
- Update writing part for enum trait
—
j82liang /
detail
- Add libcfa/src/enum.hfa
—
j82liang /
detail
- proofread section Enumeration Trait, and a few other wording changes
—
Peter Buhr /
detail
- Simplified the visit_children feature of Pass template. This should also fix a warning in g++-13.
—
ajbeach /
detail
- add pl.bib to file dependencies
—
Peter Buhr /
detail
- proofreading background section Linked Lists
—
Peter Buhr /
detail
- move background material from list chapter to background chapter
—
Peter Buhr /
detail
- formatting changes to programs
—
Peter Buhr /
detail
- update thesis front page from 2020 to 2022 macros
—
Peter Buhr /
detail
- First wave of file renaming. Rename files in src/ and update all references to them.
—
ajbeach /
detail
- add gcc builtin function __builtin_dynamic_object_size for gcc-13
—
Peter Buhr /
detail
- gcc-13 include file problem in /usr/include/aarch64-linux-gnu/bits/math-vector.h
—
Peter Buhr /
detail
- update search strings to raw strings for python 3.12
—
Peter Buhr /
detail
- Remove intermeidate type (enum attribute type); remove replacePseudoFunc (has been migrated to resolver)
—
j82liang /
detail
- Missing produceDecl in the last commit
—
j82liang /
detail
- Update the test file
—
j82liang /
detail
- Reformat forall clause in enum.hfa
—
j82liang /
detail
- 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
- Refactor based type from operator assertion
—
j82liang /
detail
- Add GCC visibility push(default); Fix trait satisfaction problem
—
j82liang /
detail
- First wave of file renaming. Rename files in src/ and update all references to them.
—
ajbeach /
detail
- add gcc builtin function __builtin_dynamic_object_size for gcc-13
—
Peter Buhr /
detail
- gcc-13 include file problem in /usr/include/aarch64-linux-gnu/bits/math-vector.h
—
Peter Buhr /
detail
- update search strings to raw strings for python 3.12
—
Peter Buhr /
detail
- Remove intermeidate type (enum attribute type); remove replacePseudoFunc (has been migrated to resolver)
—
j82liang /
detail
- Missing produceDecl in the last commit
—
j82liang /
detail
- Update the test file
—
j82liang /
detail
- Reformat forall clause in enum.hfa
—
j82liang /
detail
- Simplified the visit_children feature of Pass template. This should also fix a warning in g++-13.
—
ajbeach /
detail
- add pl.bib to file dependencies
—
Peter Buhr /
detail
- proofreading background section Linked Lists
—
Peter Buhr /
detail
- move background material from list chapter to background chapter
—
Peter Buhr /
detail
- formatting changes to programs
—
Peter Buhr /
detail
- update thesis front page from 2020 to 2022 macros
—
Peter Buhr /
detail
- proofread section Enumeration Trait, and a few other wording changes
—
Peter Buhr /
detail
- Add libcfa/src/enum.hfa
—
j82liang /
detail
- Add trait subsection
—
j82liang /
detail
- Update writing part for enum trait
—
j82liang /
detail
- remove glossary macros, switch back to newterm marco from Newterm, update Planet example
—
Peter Buhr /
detail
- 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
- Change enum functions return type
—
j82liang /
detail
- more proofreading on enumeration chapters
—
Peter Buhr /
detail
- 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
- Missing changes for the last commit
—
j82liang /
detail
- add parsing support for enum type in 'with' statement
—
Peter Buhr /
detail
- 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
- move all lstnewenvironment macros to central location in uw-ethesis.tex
—
Peter Buhr /
detail
- more proofreading on introduction chapter (discussion of ADT)
—
Peter Buhr /
detail
- Added a Python script for reviewing the timing of the test suite.
—
ajbeach /
detail
- move __attribute__((unused)) so it applies to variable
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, documentation refactor alloc code, remove annoying warnings
—
Peter Buhr /
detail
- Updated files in ResolvExpr to the new indentation style. It seems the remaining places have reason to break from the style.
—
ajbeach /
detail
- add combinations of pointer/reference for memset and memcpy
—
Peter Buhr /
detail
- update postfix function, storage management, and memory set/copy
—
Peter Buhr /
detail
- fix parsing bug in field declaring list with empty declarator
—
Peter Buhr /
detail
- 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
- add citation for AlgolW
—
Peter Buhr /
detail
- missing keyword coroutine to lstlang CFA
—
Peter Buhr /
detail
- 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
- add citation from OED for enumerate
—
Peter Buhr /
detail
- documentation
—
Peter Buhr /
detail
- more proofreading on enumerations
—
Peter Buhr /
detail
- proofreading changes
—
Peter Buhr /
detail
- changes to postfix function and storage management sections
—
Peter Buhr /
detail
- remove spurious 'this' qualification
—
Peter Buhr /
detail
- formatting, add CFA versions of resize, realloc, and reallocarray
—
Peter Buhr /
detail
- 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
- Style update. Focused on indentation and trailing whitespace.
—
ajbeach /
detail
- The polyCost function was just a bit more complicated than it needed to be.
—
ajbeach /
detail
- Fix Enum predecessor
—
j82liang /
detail
- Fix succ(Enum) error and resolution ambiguity of enum with inheritance
—
j82liang /
detail
- Change for C++20 compatability. We may not be upgrading soon but this is the only error that arised in my tests.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- 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
- Remove unnecessary implicit enum type conversion
—
j82liang /
detail
- One missing BasicType::Kind -> BasicKind updates.
—
ajbeach /
detail
- 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
- Reimplement the resolution of Enum instance type
—
j82liang /
detail
- Fix some warning
—
j82liang /
detail
- formatting, add missing CFA reallocarray routine
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- comment out asserts that fail when malloc(0) returns non-null
—
Peter Buhr /
detail
- 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
- 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
- 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
- notZeroExpr (in the parser) has become createCondExpr (in the resolver). A small part of this, with expressions, had been done previously.
—
ajbeach /
detail
- more work on background chapter
—
Peter Buhr /
detail
- finish current proofreading of background chapter
—
Peter Buhr /
detail
- work on Figure 2.1
—
Peter Buhr /
detail
- 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
- more work on Figure 2.1 and surrounding text
—
Peter Buhr /
detail
- clear out draft content and link syntactic reference figures
—
Michael Brooks /
detail
- General clean-up in the parser. Removed the commented DeclarationNode::name and added some helper functions to remove duplicate code.
—
ajbeach /
detail
- One more bit of clean-up, improving some names.
—
ajbeach /
detail
- Fixed memory leak in the parser.
—
ajbeach /
detail
- update and add ISO C citations and update clang citation
—
Peter Buhr /
detail
- add sorting key to web-site citations
—
Peter Buhr /
detail
- fix CFA citation
—
Peter Buhr /
detail
- start proofreading of Section 2.1
—
Peter Buhr /
detail
- Save the change in main for git pull
—
j82liang /
detail
- Comment on relatedwork work
—
j82liang /
detail
- Comment out lines the require implementEnumFunc
—
j82liang /
detail
- Re-enable replace pseudo func to temporarily fix the compilation error
—
j82liang /
detail
- Small update
—
j82liang /
detail
- 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
- fine tune justification for enumerations
—
Peter Buhr /
detail
- interchange chapters list and array
—
Peter Buhr /
detail
- start introduction
—
Peter Buhr /
detail
- move material from background to intro
—
Peter Buhr /
detail
- add material from background
—
Peter Buhr /
detail
- more work on introduction
—
Peter Buhr /
detail
- word smithing and poking at rust enumerations
—
Peter Buhr /
detail
- word smithing
—
Peter Buhr /
detail
- Removed unused field from TypeData.
—
ajbeach /
detail
- fine tune justification for enumerations
—
Peter Buhr /
detail
- interchange chapters list and array
—
Peter Buhr /
detail
- start introduction
—
Peter Buhr /
detail
- move material from background to intro
—
Peter Buhr /
detail
- add material from background
—
Peter Buhr /
detail
- more work on introduction
—
Peter Buhr /
detail
- omnibus I/O changes to get quoted manipulator to work
—
Peter Buhr /
detail
- copy enum proposal to enum thesis
—
Peter Buhr /
detail
- Updated indentation in Resolver. Removed trailing whitespace.
—
ajbeach /
detail
- Added a few more missing keywords to the cfa.nanorc.
—
ajbeach /
detail
- more cleanup, changes related to detection of missing values during input
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- remove unnecessary code, start missing values for C strings
—
Peter Buhr /
detail
- add tests for getline and quoted input manipulators
—
Peter Buhr /
detail
- switch from '\n' to nl, update test data
—
Peter Buhr /
detail
- more testing for missing data when reading
—
Peter Buhr /
detail
- move exception macro to general location, update more code to use macros
—
Peter Buhr /
detail
- more documentation on stream input
—
Peter Buhr /
detail
- add swift language macros for formatting by lstlisting
—
Peter Buhr /
detail
- Fixed whitespace ResolveTypeof.cc.
—
ajbeach /
detail
- remove 'swift' language reference because it is available in lstlisting under the name 'Swift'
—
Peter Buhr /
detail
- small cleanup to latex 'common' macros
—
Peter Buhr /
detail
- remove unnecessary latex macros
—
Peter Buhr /
detail
- add more text to related-work chapter
—
Peter Buhr /
detail
- add citation for programming language 'Swift'
—
Peter Buhr /
detail
- change text to use macros \eg amd \ie
—
Peter Buhr /
detail
- update related work for Ada and Golang
—
Peter Buhr /
detail
- Add position.cfa test file
—
j82liang /
detail
- more proofreading on enumeration thesis
—
Peter Buhr /
detail
- The two argument form of the conditional operator now only has two arguments all the way to the resolver.
—
ajbeach /
detail
- Forgot to update comments from the last commit.
—
ajbeach /
detail
- 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
- 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
- Note to self: Check the comments before you push.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- first attempt at correct distribution of attributes for aggregates
—
Peter Buhr /
detail
- update lst language for uC++
—
Peter Buhr /
detail
- update 32-bit test result for distribution of attributes for aggregates
—
Peter Buhr /
detail
- update 64-bit test result on ARM for distribution of attributes for aggregates
—
Peter Buhr /
detail
- more proofreading on enumeration thesis
—
Peter Buhr /
detail
- Add EnumPosType to type system
—
j82liang /
detail
- fix problme wiht exclamation mark in comon.sty file
—
Peter Buhr /
detail
- Remove unused variables
—
j82liang /
detail
- Factored out a very complex condition into a helper function and documented it.
—
ajbeach /
detail
- Moved ParseNode's name field down to DeclarationNode, it is not used in any of the other child classes.
—
ajbeach /
detail
- 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
- more proofreading on the enumeration related-work section
—
Peter Buhr /
detail
- more proofreading on the enumeration related-work section
—
Peter Buhr /
detail
- Add prototype of succ function
—
j82liang /
detail
- try @@(...) for attributes, rename and reorder grammar rules, remove apparently unnecessary push/pop rules, first attempt at [] => [void] return type
—
Peter Buhr /
detail
- more proofreading for enumeration related-work
—
Peter Buhr /
detail
- Removed casts around get_next (also replaced with direct field access) that are no longer needed.
—
ajbeach /
detail
- Moved a field and functions from DeclarationNode to TypeData. Trying to make the line between them cleaner.
—
ajbeach /
detail
- Add the Working support to succ() and pred() pseudo function to Enum
—
j82liang /
detail
- Remove unused variables
—
j82liang /
detail
- continue work on memory allocation paper
—
Peter Buhr /
detail
- documentations, support CFA declaration syntax in sizeof/alignof
—
Peter Buhr /
detail
- add updated function-declaration test
—
Peter Buhr /
detail
- fix 32-bit functions results
—
Peter Buhr /
detail
- Return 'TypeData *' from some parse rules. Moved TypeData construction over to that file.
—
ajbeach /
detail
- Removed casts no longer needed on the result of set_last.
—
ajbeach /
detail
- Fix thesis demo program build isssue: handle substring API switch to start-len from start-end
—
Michael Brooks /
detail
- update expected output for functions test on ARM
—
Peter Buhr /
detail
- Remove conversion part of the EnumPosType. It can be resolved by the current unifier
—
j82liang /
detail
- Change the common type interpretation of EnumPos
—
j82liang /
detail
- switch to tabs, first attempt changing program-input style
—
Peter Buhr /
detail
- second attempt changing program-input style
—
Peter Buhr /
detail
- more switch to tabs
—
Peter Buhr /
detail
- Add OCamal section to related work
—
j82liang /
detail
- Moved the DeclarationNode enums over to TypeData where they are actually used.
—
ajbeach /
detail
- Fix ocaml code
—
j82liang /
detail
- update for-control for iterating over enumeration type
—
Peter Buhr /
detail
- update OCaml text
—
Peter Buhr /
detail
- update compile commands
—
Peter Buhr /
detail
- update llheap paper
—
Peter Buhr /
detail
- update lstlang for CFA
—
Peter Buhr /
detail
- update OCaml text and add OCaml citation
—
Peter Buhr /
detail
- more updates on OCaml
—
Peter Buhr /
detail
- Some Parser clean-up I did while investigating.
—
ajbeach /
detail
- added lstlang entry for OCaml
—
Peter Buhr /
detail
- more updates on OCaml
—
Peter Buhr /
detail
- fold in Gregor's comments on OCaml
—
Peter Buhr /
detail
- add comparison table for related work
—
Peter Buhr /
detail
- 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
- fix convert function for float-point values, add isspace-like routines for C arrays
—
Peter Buhr /
detail
- update string to type test
—
Peter Buhr /
detail
- update ato expected output for ARM
—
Peter Buhr /
detail
- update ato expected output for x86
—
Peter Buhr /
detail
- reorganized enum_type rule in parser and add missing call to makeTypedef
—
Peter Buhr /
detail
- more reorganized enum_type rule in parser
—
Peter Buhr /
detail
- remove isspace-like routines for C arrays, and replace with general checkif routine
—
Peter Buhr /
detail
- Parser clean-up: Removed an unused field, added a comment, fixed a memory leak and reformated a function.
—
ajbeach /
detail
- Removed some code from main that supported the old ast.
—
ajbeach /
detail
- Add support for printing multiple returns. Mostly useful for early code dumps.
—
ajbeach /
detail
- more proofreading for enumerations
—
Peter Buhr /
detail
- add SPE PDF for paper Cforall: Adding Modern Programming Language Features to C
—
Peter Buhr /
detail
- fix citations in bibliography/pl.bib
—
Peter Buhr /
detail
- added Gregor and Andrew emails
—
Peter Buhr /
detail
- justification for enumerations
—
Peter Buhr /
detail
- fine tune justification for enumerations
—
Peter Buhr /
detail
- interchange chapters list and array
—
Peter Buhr /
detail
- start introduction
—
Peter Buhr /
detail
- move material from background to intro
—
Peter Buhr /
detail
- add material from background
—
Peter Buhr /
detail
- fix citations in bibliography/pl.bib
—
Peter Buhr /
detail
- added Gregor and Andrew emails
—
Peter Buhr /
detail
- justification for enumerations
—
Peter Buhr /
detail
- add SPE PDF for paper Cforall: Adding Modern Programming Language Features to C
—
Peter Buhr /
detail
- Parser clean-up: Removed an unused field, added a comment, fixed a memory leak and reformated a function.
—
ajbeach /
detail
- Removed some code from main that supported the old ast.
—
ajbeach /
detail
- Add support for printing multiple returns. Mostly useful for early code dumps.
—
ajbeach /
detail
- more proofreading for enumerations
—
Peter Buhr /
detail
- 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
- fix convert function for float-point values, add isspace-like routines for C arrays
—
Peter Buhr /
detail
- update string to type test
—
Peter Buhr /
detail
- update ato expected output for ARM
—
Peter Buhr /
detail
- update ato expected output for x86
—
Peter Buhr /
detail
- reorganized enum_type rule in parser and add missing call to makeTypedef
—
Peter Buhr /
detail
- more reorganized enum_type rule in parser
—
Peter Buhr /
detail
- remove isspace-like routines for C arrays, and replace with general checkif routine
—
Peter Buhr /
detail
- fold in Gregor's comments on OCaml
—
Peter Buhr /
detail
- add comparison table for related work
—
Peter Buhr /
detail
- Add OCamal section to related work
—
j82liang /
detail
- Moved the DeclarationNode enums over to TypeData where they are actually used.
—
ajbeach /
detail
- Fix ocaml code
—
j82liang /
detail
- update for-control for iterating over enumeration type
—
Peter Buhr /
detail
- update OCaml text
—
Peter Buhr /
detail
- update compile commands
—
Peter Buhr /
detail
- update llheap paper
—
Peter Buhr /
detail
- update lstlang for CFA
—
Peter Buhr /
detail
- update OCaml text and add OCaml citation
—
Peter Buhr /
detail
- more updates on OCaml
—
Peter Buhr /
detail
- Some Parser clean-up I did while investigating.
—
ajbeach /
detail
- added lstlang entry for OCaml
—
Peter Buhr /
detail
- more updates on OCaml
—
Peter Buhr /
detail
- second attempt changing program-input style
—
Peter Buhr /
detail
- more switch to tabs
—
Peter Buhr /
detail
- Remove conversion part of the EnumPosType. It can be resolved by the current unifier
—
j82liang /
detail
- Change the common type interpretation of EnumPos
—
j82liang /
detail
- switch to tabs, first attempt changing program-input style
—
Peter Buhr /
detail
- Add prototype of succ function
—
j82liang /
detail
- Removed casts around get_next (also replaced with direct field access) that are no longer needed.
—
ajbeach /
detail
- Moved a field and functions from DeclarationNode to TypeData. Trying to make the line between them cleaner.
—
ajbeach /
detail
- Add the Working support to succ() and pred() pseudo function to Enum
—
j82liang /
detail
- Remove unused variables
—
j82liang /
detail
- continue work on memory allocation paper
—
Peter Buhr /
detail
- documentations, support CFA declaration syntax in sizeof/alignof
—
Peter Buhr /
detail
- add updated function-declaration test
—
Peter Buhr /
detail
- fix 32-bit functions results
—
Peter Buhr /
detail
- Return 'TypeData *' from some parse rules. Moved TypeData construction over to that file.
—
ajbeach /
detail
- Removed casts no longer needed on the result of set_last.
—
ajbeach /
detail
- Fix thesis demo program build isssue: handle substring API switch to start-len from start-end
—
Michael Brooks /
detail
- update expected output for functions test on ARM
—
Peter Buhr /
detail
- try @@(...) for attributes, rename and reorder grammar rules, remove apparently unnecessary push/pop rules, first attempt at [] => [void] return type
—
Peter Buhr /
detail
- more proofreading for enumeration related-work
—
Peter Buhr /
detail
- more proofreading on the enumeration related-work section
—
Peter Buhr /
detail
- more proofreading on the enumeration related-work section
—
Peter Buhr /
detail
- Factored out a very complex condition into a helper function and documented it.
—
ajbeach /
detail
- Moved ParseNode's name field down to DeclarationNode, it is not used in any of the other child classes.
—
ajbeach /
detail
- 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
- Remove unused variables
—
j82liang /
detail
- Add position.cfa test file
—
j82liang /
detail
- 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
- 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
- Note to self: Check the comments before you push.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- first attempt at correct distribution of attributes for aggregates
—
Peter Buhr /
detail
- update lst language for uC++
—
Peter Buhr /
detail
- update 32-bit test result for distribution of attributes for aggregates
—
Peter Buhr /
detail
- update 64-bit test result on ARM for distribution of attributes for aggregates
—
Peter Buhr /
detail
- more proofreading on enumeration thesis
—
Peter Buhr /
detail
- Add EnumPosType to type system
—
j82liang /
detail
- fix problme wiht exclamation mark in comon.sty file
—
Peter Buhr /
detail
- more proofreading on enumeration thesis
—
Peter Buhr /
detail
- The two argument form of the conditional operator now only has two arguments all the way to the resolver.
—
ajbeach /
detail
- Forgot to update comments from the last commit.
—
ajbeach /
detail
- change text to use macros \eg amd \ie
—
Peter Buhr /
detail
- update related work for Ada and Golang
—
Peter Buhr /
detail
- Fixed whitespace ResolveTypeof.cc.
—
ajbeach /
detail
- remove 'swift' language reference because it is available in lstlisting under the name 'Swift'
—
Peter Buhr /
detail
- small cleanup to latex 'common' macros
—
Peter Buhr /
detail
- remove unnecessary latex macros
—
Peter Buhr /
detail
- add more text to related-work chapter
—
Peter Buhr /
detail
- add citation for programming language 'Swift'
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- remove unnecessary code, start missing values for C strings
—
Peter Buhr /
detail
- add tests for getline and quoted input manipulators
—
Peter Buhr /
detail
- switch from '\n' to nl, update test data
—
Peter Buhr /
detail
- more testing for missing data when reading
—
Peter Buhr /
detail
- move exception macro to general location, update more code to use macros
—
Peter Buhr /
detail
- more documentation on stream input
—
Peter Buhr /
detail
- add swift language macros for formatting by lstlisting
—
Peter Buhr /
detail
- more cleanup, changes related to detection of missing values during input
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- more updates
—
Peter Buhr /
detail
- omnibus I/O changes to get quoted manipulator to work
—
Peter Buhr /
detail
- copy enum proposal to enum thesis
—
Peter Buhr /
detail
- Updated indentation in Resolver. Removed trailing whitespace.
—
ajbeach /
detail
- Added a few more missing keywords to the cfa.nanorc.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- more updates
—
Peter Buhr /
detail
- omnibus I/O changes to get quoted manipulator to work
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Unified and fixed handling of parameter attributes.
—
ajbeach /
detail
- second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection
—
Peter Buhr /
detail
- Attempt to fix overnight build; add test-suite Makefile entry missing from cfbc56ecb.
—
Michael Brooks /
detail
- interpose experiment to see if it is causing the build failure
—
Peter Buhr /
detail
- first documentation for string API
—
Peter Buhr /
detail
- formatting, add string constructor for char, add string *= operator, simplify ?+? and ?*? operations
—
Peter Buhr /
detail
- change shape of latex minus sign, change lstlisting escapechar from $ to section symbol
—
Peter Buhr /
detail
- Add missing test for string *= and refactor */*= to follow +/+= pattern with string_res.
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations.
—
Michael Brooks /
detail
- Replayed maybeClone with maybeCopy, removed unused helppers in utility.h and pushed some includes out of headers.
—
ajbeach /
detail
- I believe switching isValidOnFuncParam from an allow-list to a forbid-list may have solved the recent nightly builds.
—
ajbeach /
detail
- Harmonize string constructors with assignments, refactor implementations to include string_res, add missing tests
—
Michael Brooks /
detail
- tidy a string-library unhelpful comment
—
Michael Brooks /
detail
- Modify substring interface from start-end to start-len, and add a missing test.
—
Michael Brooks /
detail
- 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
- Add replacePseudoFunc
—
j82liang /
detail
- Adjust string assignment declarations for consistent/standard return type.
—
Michael Brooks /
detail
- revert interpose experiment for build failure, not the cause
—
Peter Buhr /
detail
- Implement string initialization and assignment from various numeric types
—
Michael Brooks /
detail
- switch C designators for initialization
—
Peter Buhr /
detail
- Update enum.tex
—
j82liang /
detail
- 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
- change from href to url in bibtex citations
—
Peter Buhr /
detail
- 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
- Update ReplacePseudoFunc, mostly the runtime lookup for attribute pseudo-function. It is imcomplete and returning dummy value
—
j82liang /
detail
- Fix analysis error in string-input testing.
—
Michael Brooks /
detail
- Fix string reading bug: Manipulator `ignore` should not write to its output argument.
—
Michael Brooks /
detail
- restrict nesting of manipulators and update manipulator test
—
Peter Buhr /
detail
- Remove ilog2, an unused math helper.
—
ajbeach /
detail
- update expected output for other architectures
—
Peter Buhr /
detail
- Fix the print for enum with type
—
j82liang /
detail
- increase lstlisting comment start from 2.75in to 3in
—
Peter Buhr /
detail
- formatting, a little more string stuff
—
Peter Buhr /
detail
- some updates on the enum proposal
—
Peter Buhr /
detail
- some updates on the llheap paper
—
Peter Buhr /
detail
- update testing for manipulators
—
Peter Buhr /
detail
- cleanup, fix bug for input manipulator nl
—
Peter Buhr /
detail
- add more input tests for recent changes
—
Peter Buhr /
detail
- start updaing documentation for input changes
—
Peter Buhr /
detail
- advance_to_mutex has been replaced nextMutex.
—
ajbeach /
detail
- started some related work
—
Peter Buhr /
detail
- small updated to uC++toCFA document
—
Peter Buhr /
detail
- more word-smithing
—
Peter Buhr /
detail
- Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration.
—
j82liang /
detail
- Fix dangling reference to posE function
—
j82liang /
detail
- Remove EnumPosExpr, an early design that no longer used. The implementation of the feature has been replaced by ReplacePseudoFunc
—
j82liang /
detail
- Remove duality functions. They are replaced by recent changed in Cost conversion and CandidateFinder
—
j82liang /
detail
- more proofreading, related-work section still needs work
—
Peter Buhr /
detail
- 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
- 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
- add more material
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Remove mid-array assertion from the Box pass.
—
ajbeach /
detail
- Added Peter's fix to ensure syscall argument is initialized. I did check it against valgrind.
—
ajbeach /
detail
- more updates
—
Peter Buhr /
detail
- Remove mid-array assertion from the Box pass.
—
ajbeach /
detail
- Added Peter's fix to ensure syscall argument is initialized. I did check it against valgrind.
—
ajbeach /
detail
- Fix the print for enum with type
—
j82liang /
detail
- Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration.
—
j82liang /
detail
- Fix dangling reference to posE function
—
j82liang /
detail
- Remove EnumPosExpr, an early design that no longer used. The implementation of the feature has been replaced by ReplacePseudoFunc
—
j82liang /
detail
- Remove duality functions. They are replaced by recent changed in Cost conversion and CandidateFinder
—
j82liang /
detail
- more proofreading, related-work section still needs work
—
Peter Buhr /
detail
- 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
- 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
- add more material
—
Peter Buhr /
detail
- more word-smithing
—
Peter Buhr /
detail
- advance_to_mutex has been replaced nextMutex.
—
ajbeach /
detail
- started some related work
—
Peter Buhr /
detail
- small updated to uC++toCFA document
—
Peter Buhr /
detail
- increase lstlisting comment start from 2.75in to 3in
—
Peter Buhr /
detail
- formatting, a little more string stuff
—
Peter Buhr /
detail
- some updates on the enum proposal
—
Peter Buhr /
detail
- some updates on the llheap paper
—
Peter Buhr /
detail
- update testing for manipulators
—
Peter Buhr /
detail
- cleanup, fix bug for input manipulator nl
—
Peter Buhr /
detail
- add more input tests for recent changes
—
Peter Buhr /
detail
- start updaing documentation for input changes
—
Peter Buhr /
detail
- switch C designators for initialization
—
Peter Buhr /
detail
- change from href to url in bibtex citations
—
Peter Buhr /
detail
- restrict nesting of manipulators and update manipulator test
—
Peter Buhr /
detail
- Remove ilog2, an unused math helper.
—
ajbeach /
detail
- update expected output for other architectures
—
Peter Buhr /
detail
- Update enum.tex
—
j82liang /
detail
- Update ReplacePseudoFunc, mostly the runtime lookup for attribute pseudo-function. It is imcomplete and returning dummy value
—
j82liang /
detail
- Fix analysis error in string-input testing.
—
Michael Brooks /
detail
- Fix string reading bug: Manipulator `ignore` should not write to its output argument.
—
Michael Brooks /
detail
- 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
- 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
- tidy a string-library unhelpful comment
—
Michael Brooks /
detail
- Modify substring interface from start-end to start-len, and add a missing test.
—
Michael Brooks /
detail
- 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
- Add replacePseudoFunc
—
j82liang /
detail
- Adjust string assignment declarations for consistent/standard return type.
—
Michael Brooks /
detail
- revert interpose experiment for build failure, not the cause
—
Peter Buhr /
detail
- Implement string initialization and assignment from various numeric types
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- Unified and fixed handling of parameter attributes.
—
ajbeach /
detail
- second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection
—
Peter Buhr /
detail
- Attempt to fix overnight build; add test-suite Makefile entry missing from cfbc56ecb.
—
Michael Brooks /
detail
- interpose experiment to see if it is causing the build failure
—
Peter Buhr /
detail
- first documentation for string API
—
Peter Buhr /
detail
- formatting, add string constructor for char, add string *= operator, simplify ?+? and ?*? operations
—
Peter Buhr /
detail
- change shape of latex minus sign, change lstlisting escapechar from $ to section symbol
—
Peter Buhr /
detail
- Add missing test for string *= and refactor */*= to follow +/+= pattern with string_res.
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations.
—
Michael Brooks /
detail
- Replayed maybeClone with maybeCopy, removed unused helppers in utility.h and pushed some includes out of headers.
—
ajbeach /
detail
- I believe switching isValidOnFuncParam from an allow-list to a forbid-list may have solved the recent nightly builds.
—
ajbeach /
detail
- Harmonize string constructors with assignments, refactor implementations to include string_res, add missing tests
—
Michael Brooks /
detail
- formatting
—
Peter Buhr /
detail
- Unified and fixed handling of parameter attributes.
—
ajbeach /
detail
- second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection
—
Peter Buhr /
detail
- Save parser change for git pull
—
j82liang /
detail
- Basic change for enable enumerated array syntax
—
j82liang /
detail
- Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit
—
j82liang /
detail
- 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
- Removed extra copy in FixInitNew.
—
ajbeach /
detail
- fixed unhandled exception bug causing deleted memory to be accessed sometimes with full coroutines
—
caparsons /
detail
- add reading fixed strings, seperate skip input manipulator, getline checks for delimiter
—
Peter Buhr /
detail
- add string output manipulators, third attempt at input manipulators for strings
—
Peter Buhr /
detail
- test reading fixed strings
—
Peter Buhr /
detail
- use arm64 to select 64-bit random numbers
—
Peter Buhr /
detail
- add get_seed for thread random numbers
—
Peter Buhr /
detail
- simplify 32/64-bit random-number constructors
—
Peter Buhr /
detail
- fix get_seed signature
—
Peter Buhr /
detail
- remove ucpp-style collections used before Mike's lists
—
Peter Buhr /
detail
- Revert "remove ucpp-style collections used before Mike's lists"
—
Peter Buhr /
detail
- remove unnecessary include bits/sequence.hfa
—
Peter Buhr /
detail
- add include bits/sequence.hfa to pthread.cfa after removing it from weakso_lock.hfa
—
Peter Buhr /
detail
- remove empty rule in cfa_abstract_parameter_declaration to remove conflicts
—
Peter Buhr /
detail
- Rename internal macro away from `TYPE`, which is a cs343 name collision.
—
Michael Brooks /
detail
- Port basic input-manipulator test from cstring to string and fix resulting bug.
—
Michael Brooks /
detail
- formatting
—
Michael Brooks /
detail
- Duplicate manipulator read-to-string code for string_res, and test.
—
Michael Brooks /
detail
- Deduplicate manipulator read-to-string by delegating from string to string_res.
—
Michael Brooks /
detail
- edited thesis to incorporate Gregors comments
—
caparsons /
detail
- Bug fix
—
j82liang /
detail
- expanded upon intro and conclusion
—
caparsons /
detail
- Clean-up in MultiLevelExit. Primary purpose is to remove some uneeded fill code.
—
ajbeach /
detail
- changes over all usages of uC++ collections to use dlist instead
—
caparsons /
detail
- Allow uninitialized enum value as designators
—
j82liang /
detail
- Implement full set of relational operators for strings
—
Michael Brooks /
detail
- proofread chapters CFA_concurrency, intro, and conclusion
—
Peter Buhr /
detail
- merged in Peter's edits with a few small changes
—
caparsons /
detail
- made some small formatting changes
—
caparsons /
detail
- Fix cstring input length interpretation issue that had a buffer overflow case.
—
Michael Brooks /
detail
- Insert additional checks so that impossible, or just unimplemented, local control flow raises an error in CFA.
—
ajbeach /
detail
- add getenv, strlen, strcmp, strncmp to extras
—
Peter Buhr /
detail
- rename clock routines processor and program to processor_cpu and program_cpu to deal with name clash with processor
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add malloc_stats_clear routine to zero the heap master and all active thread heaps
—
Peter Buhr /
detail
- Incorporated changes in response to Trevor's comments.
—
caparsons /
detail
- Added references when incorporating Trevor's comments
—
caparsons /
detail
- Added cfa equivalent of cofor/cobegin/coend
—
caparsons /
detail
- Added another check to the invariants for SizeofExpr/AlignofExpr.
—
ajbeach /
detail
- committed makefile change for cofor include
—
caparsons /
detail
- Update max/min so n-ary version doesn't match against the 2 argument case. Also added a test.
—
ajbeach /
detail
- 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
- add uC++toCFA document
—
Peter Buhr /
detail
- clean up command-line handling and I/O
—
Peter Buhr /
detail
- formatting, replace constructor calls with set_allocation calls
—
Peter Buhr /
detail
- added cofor macro
—
caparsons /
detail
- updated cofor test to use macro
—
caparsons /
detail
- refactor cofor.hfa into cofor.cfa, adjust Makefile.am to handle cofor.cfa
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- remove superfluous inner_loop routine
—
Peter Buhr /
detail
- Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration
—
j82liang /
detail
- Revert "Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration"
—
j82liang /
detail
- Fix designation value error
—
j82liang /
detail
- Fix typo{
—
j82liang /
detail
- formatting, remove unnecessary use of c_str(), add better debug printing for cc1
—
Peter Buhr /
detail
- add using namespace std to cfa.cc
—
Peter Buhr /
detail
- update help message from main.cc
—
Peter Buhr /
detail
- tweak comments for CFA comand-line options
—
Peter Buhr /
detail
- update tiobe index, update new command-line documentation
—
Peter Buhr /
detail
- fix lock/unlock for heap statistic-mode
—
Peter Buhr /
detail
- added enable/disable ehm with no params for coroutines
—
caparsons /
detail
- added hotpotato non-local ehm test in both enable/disable and poll flavours
—
caparsons /
detail
- a bit of cleanup of the hotpotato tests
—
caparsons /
detail
- final hotpotato cleanup, removed two unneeded routines from explicit polling flavour
—
caparsons /
detail
- make hotpotato test 32/64-bit specific due to different prng
—
Peter Buhr /
detail
- create 32-bit test results for hotpotato
—
Peter Buhr /
detail
- create ARM test results for hotpotato
—
Peter Buhr /
detail
- add keyword _Exception to uC++ lstlisting
—
Peter Buhr /
detail
- update citation entry
—
Peter Buhr /
detail
- add command setgcolumn to set lstlisting comment-column alignment, change size of lstlisting ^ character
—
Peter Buhr /
detail
- general updates to the Cforall user manual
—
Peter Buhr /
detail
- add keywords alignas, alignof, static_assert, and thread_local
—
Peter Buhr /
detail
- 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
- add corun/cofor statement, update old cofor
—
Peter Buhr /
detail
- Translated the Link-Once pass to the new ast.
—
ajbeach /
detail
- increase timeout in test.py from 180 to 240 seconds to deal with long locking tests on the ARM
—
Peter Buhr /
detail
- 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
- Updated some documentation about the Instantiate Generic pass.
—
ajbeach /
detail
- Implement "scanset" semantics for manipulator `skip`, in place of exact-match.
—
Michael Brooks /
detail
- Support match-failure reporting for string input.
—
Michael Brooks /
detail
- 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
- Fix read-to-variable-length-string cases when internal buffer fills.
—
Michael Brooks /
detail
- Fix compiler bug where duplicate type declarations caused crash.
—
Michael Brooks /
detail
- add arm64 to Jenkins nightly build
—
Peter Buhr /
detail
- add ARM architecture to nightly build
—
Peter Buhr /
detail
- add ARM architecture to nightly build
—
Peter Buhr /
detail
- add ARM architecture to regression tests
—
Peter Buhr /
detail
- fix typing mistake: arm4 to arm64
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, add PRNG copy to checkpoint PRNG state, remove autogen PRNG copy constructor and assignment to prevent accidental PRNG copy
—
Peter Buhr /
detail
- change host from arm64 to aarch64 for ARM nightly build
—
Peter Buhr /
detail
- 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
- formatting, SKULLDUGGERY to remove spurious free-nonheap-object warning
—
Peter Buhr /
detail
- allow precision < 3 for manipulator eng
—
Peter Buhr /
detail
- Implemented corun statement
—
caparsons /
detail
- Updated cofor test to use new corun statement
—
caparsons /
detail
- added error message for using corun statements without including the appropriate header
—
caparsons /
detail
- Changed cofor files to support the corun statement
—
caparsons /
detail
- Fixed up some whitespace. Pretty minor stuff mostly.
—
ajbeach /
detail
- Clean-up of some names and comments. Removed some TODO comments which are too old to do anything with.
—
ajbeach /
detail
- Added fence after channel handoff to prevent reordering on the arm that resulted in stale values
—
caparsons /
detail
- temporary fix to linkonce problem by changing -7 to 7 so initialization does not invoke an operator
—
Peter Buhr /
detail
- change valide (French) to valid (English)
—
Peter Buhr /
detail
- Layout function builds its entire parameter list before creating the declaration now.
—
ajbeach /
detail
- Initial commit
—
j82liang /
detail
- updates to the uC++toCFA cheat sheet
—
Peter Buhr /
detail
- 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
- Update the introduction
—
j82liang /
detail
- Rename and move the file to proposal
—
j82liang /
detail
- 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
- temporally remove gcc-9 from ARM nightly build because it is failing
—
Peter Buhr /
detail
- TypeVarMap is now a subtype instead of an alias to remove the redundent constructor argument. Various bits of box pass clean-up.
—
ajbeach /
detail
- Small refactoring of some helper functions to avoid repeating a loop.
—
ajbeach /
detail
- add additional test for engineering and unit manipulator output
—
Peter Buhr /
detail
- Change string-read semantics so that reading nothing leaves the original value unmodified.
—
Michael Brooks /
detail
- Work on the box pass, fixing up the FunctionDecl update.
—
ajbeach /
detail
- added missing ARM fence on the signallee side of channel handoff
—
caparsons /
detail
- first attempt at new C string input
—
Peter Buhr /
detail
- 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
- remove ISTYPE_VOID and ISTYPE_VOID_IMPL, and ends for input
—
Peter Buhr /
detail
- change genericUnion test fromt printf to sout
—
Peter Buhr /
detail
- ifdef'd the arm fences that were added to channels so that they only appear on the arm
—
caparsons /
detail
- added WO fences for mcs spin lock to fix failing arm test
—
caparsons /
detail
- added missing semicolons
—
caparson /
detail
- temporary change to as command to test ARM build
—
Peter Buhr /
detail
- add gcc-9 back into ARM full build
—
Peter Buhr /
detail
- Make all new declarations have a properly defined LinkageSpec. Also some general clean-up.
—
ajbeach /
detail
- test as.cc file on ARM
—
Peter Buhr /
detail
- comment out debug prints
—
Peter Buhr /
detail
- add __i386 with __x86_64
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Direct translation of code generation.
—
ajbeach /
detail
- Translation of the fix main pass to the new ast data structures.
—
ajbeach /
detail
- 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
- Code dumps (under the -P flag) no longer convert to the old ast to print.
—
ajbeach /
detail
- 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
- Parser now uses constants from the new ast types.
—
ajbeach /
detail
- Simple rework to BasicTypes-gen.cc to avoid refering to the old ast. No larger rework at this time.
—
ajbeach /
detail
- 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
- Hang on, eval doesn't have any side effects.
—
ajbeach /
detail
- Took out some old code from the new section of the Mangler.
—
ajbeach /
detail
- 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
- Changed some new uses of UniqueId to the ast version. Changed where some debugging variables are stored.
—
ajbeach /
detail
- rename files gcc-builtins.cf builtins.cf extras.cf bootloader.cf and sync-builtins.cf with suffix .cfa
—
Peter Buhr /
detail
- Added test for the checks on the constructor/destructor attributes.
—
ajbeach /
detail
- removed print from static and dynamic tests that could be reordered due to a race
—
caparson /
detail
- 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
- added cofor implementation
—
caparson /
detail
- Added supporting library routines for cofor impl
—
caparson /
detail
- switched test to use new cofor syntax
—
caparson /
detail
- 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
- removed fences for ARM that are likely not needed, insertion of fences into waituntil codegen TBD
—
caparson /
detail
- forgot to include in last push. Added a get_proc_count that doesn't need a cluster argument
—
caparson /
detail
- 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
- Translated the demangling code from the old ast to the new ast.
—
ajbeach /
detail
- Made UniqueName use other tools we have, removed the unused default and did some general clean-up.
—
ajbeach /
detail
- Remove BaseSyntaxNode and clean-up.
—
ajbeach /
detail
- Removed an extra forward declaration.
—
ajbeach /
detail
- 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
- 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
- update bibliography entries
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- some updates
—
j82liang /
detail
- latex formatting changes
—
Peter Buhr /
detail
- Removed forward declarations missed in the BaseSyntaxNode removal. Removed code and modified names to support two versions of the ast.
—
ajbeach /
detail
- remove old enum.md file
—
Peter Buhr /
detail
- 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
- Fixed non-local ehm memory leak that occurs when a coroutine is deleted while suspended in a catchresume handler
—
caparson /
detail
- added test case for non-local ehm memory leak
—
caparson /
detail
- Some clean-up in src/Makefile.am (no change in behaviour).
—
ajbeach /
detail
- 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
- Major round of clean-up in the GenPoly directory.
—
ajbeach /
detail
- added architecture specific expect files for non-local exception test since it uses prng
—
caparson /
detail
- added arm64 expect file for non-local exception test
—
caparsons /
detail
- added x86 expect file for non-local exception test cardgame
—
caparsons /
detail
- Round of clean-up in Tuples directory. (Skipping TupleExpansion, which will be fused together later.)
—
ajbeach /
detail
- Reformating and clean-up in SymTab directory.
—
ajbeach /
detail
- fixed bug where uninit mem was sometimes printed in test
—
caparson /
detail
- regen expected to match test change
—
caparsons /
detail
- Most of ResolvExpr was written before the new style standard. Some files updated, focus on headers.
—
ajbeach /
detail
- fixed error where order of argument eval in compiler could cause different code to be generated
—
caparson /
detail
- formatting
—
Peter Buhr /
detail
- raise exception missing_data when read fails to find value, initial code for quoted manipulator
—
Peter Buhr /
detail
- proofread enumeration proposal
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- slight restructuring of automake rules for generating the demangler
—
Peter Buhr /
detail
- disable building the demangler (executable and library)
—
Peter Buhr /
detail
- fixed bug where cofor runner could derefence a null pointer
—
caparson /
detail
- 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
- Added a test showing how the conflict handling in the with clause currently works.
—
ajbeach /
detail
- Removed Decl::fromId as it was unused. There are a few places that use uniqueId directly.
—
ajbeach /
detail
- Round of significant clean-up and reindentation of InitTweak directory.
—
ajbeach /
detail
- Round of clean-up in the Concurrency directory headers.
—
ajbeach /
detail
- Box pass Eraser now removes the polymorphic arguments now that the functions are no longer actually polymorphic.
—
ajbeach /
detail
- Slight improvement to forall clause erasing.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Update enum.tex
—
j82liang /
detail
- Removed unused case in CurrentObject::findNext. Did a bit of clean-up in the area.
—
ajbeach /
detail
- Completed the second demangler/automake task: The demangler (when built) in played in the driver directory beside cfa-cc.
—
ajbeach /
detail
- 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
- Updated .gitignore for the new location of demangler.
—
ajbeach /
detail
- Combined the new and old TupleExpansion files.
—
ajbeach /
detail
- Removed 'New' suffixes, they are no longer needed for disambiguation.
—
ajbeach /
detail
- Renamed ResolvMode to ResolveMode. This is less consistent with the namespace, but is more consistent with almost everything else.
—
ajbeach /
detail
- Rename the ScrubTyVars moduel to ScrubTypeVars. This makes it more consistent with the data types and function names now used.
—
ajbeach /
detail
- 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
- Removed some code that supported ast conversion, it supported ast translation, and that is done.
—
ajbeach /
detail
- Implicit and layout parameters are now marked as const. This is primarily a safety feature to catch bad writes.
—
ajbeach /
detail
- Just some random clean-up in Box pass while I was musing.
—
ajbeach /
detail
- Some general clean-up, removing bits and pieces from the old version.
—
ajbeach /
detail
- Moved include from Decl header. Removed some old ast code from the Parser.
—
ajbeach /
detail
- reduce runtime testing duration of PRNG
—
Peter Buhr /
detail
- update PRNG output for x86
—
Peter Buhr /
detail
- change incorrect architecture name __arm_64__ to __aarch64__
—
Peter Buhr /
detail
- add PRNG expected output for arm64
—
Peter Buhr /
detail
- Clean-up of the chain mutator. Seems like it is underused.
—
ajbeach /
detail
- (Not really readable right now. Will clean up today and probably tomorrow) 1. Remove implicit conversion; 2. Companion trait;
—
j82liang /
detail
- 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
- Accept Peter's proofreading and adjustment of examples to current syntax
—
Michael Brooks /
detail
- Recent thesis writing
—
Michael Brooks /
detail
- change containers/list.hfa to collections/list.hfa in thesis test files
—
Peter Buhr /
detail
- comment out assert( s1_mid == fc ) bug
—
Peter Buhr /
detail
- comment out missing lstinputlisting files, fix missing @'s for lstinline code
—
Peter Buhr /
detail
- Missing files from last thesis push
—
Michael Brooks /
detail
- comment back in lstinputlisting files after missing files pushed
—
Peter Buhr /
detail
- Minimal change to get exceptions running the old way while a fix is found. Or even more details on the problem.
—
ajbeach /
detail
- add papers directory and start populating it
—
Peter Buhr /
detail
- first attempt at simplifying SemanticError and its usage
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update expected output from tests after changes in semantic error messages
—
Peter Buhr /
detail
- Change the unification scheme
—
j82liang /
detail
- A harder revert of exception changes, hopefully it will get the tests working.
—
ajbeach /
detail
- Started the storage section (inling and weak reference)
—
j82liang /
detail
- first attempt at simplifying SemanticWarning, inline SemanticError routine
—
Peter Buhr /
detail
- second attempt at simplifying SemanticError messages
—
Peter Buhr /
detail
- small proofreading changes
—
Peter Buhr /
detail
- Small fix in code generation. The first case in a switch is formatted properly.
—
ajbeach /
detail
- Update enumeration data structure
—
j82liang /
detail
- Another attempt at fixing execptions. It is very close to the last attempt but the offsets have been updated and checked.
—
ajbeach /
detail
- Clean-up in the exception translate pass. This changes some patterns from pre-translation and sets some things up for later reworks.
—
ajbeach /
detail
- You can how use local control flow out of 'catch' clauses. Added a test to show that it works.
—
ajbeach /
detail
- Forgot to remove an unused function from the exception code.
—
ajbeach /
detail
- 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
- Small bug fix in code generation. Seems to only come up while generating intermediate code.
—
ajbeach /
detail
- Remove extra compound statement and clean-up in InitTweak.
—
ajbeach /
detail
- Hoist nested enum in Struct
—
j82liang /
detail
- formatting, change cmp to strcmp, add strlen and strcat
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- continue to work on quoted formatting and generalization
—
Peter Buhr /
detail
- first attempt to interpose dl_iterate_phdr with disable/enable interrupt protection
—
Peter Buhr /
detail
- update string testing and expected output
—
Peter Buhr /
detail
- update manipulator testing and expected output
—
Peter Buhr /
detail
- update command-line processing
—
Peter Buhr /
detail
- Enable array RAII and provide uninit(-), a uNoCtor equivalent.
—
Michael Brooks /
detail
- Enable array RAII and provide uninit(-), a uNoCtor equivalent.
—
Michael Brooks /
detail
- Hoist nested enum in Struct
—
j82liang /
detail
- formatting, change cmp to strcmp, add strlen and strcat
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- continue to work on quoted formatting and generalization
—
Peter Buhr /
detail
- first attempt to interpose dl_iterate_phdr with disable/enable interrupt protection
—
Peter Buhr /
detail
- update string testing and expected output
—
Peter Buhr /
detail
- update manipulator testing and expected output
—
Peter Buhr /
detail
- update command-line processing
—
Peter Buhr /
detail
- Remove extra compound statement and clean-up in InitTweak.
—
ajbeach /
detail
- 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
- Small bug fix in code generation. Seems to only come up while generating intermediate code.
—
ajbeach /
detail
- You can how use local control flow out of 'catch' clauses. Added a test to show that it works.
—
ajbeach /
detail
- Forgot to remove an unused function from the exception code.
—
ajbeach /
detail
- Clean-up in the exception translate pass. This changes some patterns from pre-translation and sets some things up for later reworks.
—
ajbeach /
detail
- Another attempt at fixing execptions. It is very close to the last attempt but the offsets have been updated and checked.
—
ajbeach /
detail
- Change the unification scheme
—
j82liang /
detail
- Started the storage section (inling and weak reference)
—
j82liang /
detail
- Update enumeration data structure
—
j82liang /
detail
- small proofreading changes
—
Peter Buhr /
detail
- Small fix in code generation. The first case in a switch is formatted properly.
—
ajbeach /
detail
- first attempt at simplifying SemanticWarning, inline SemanticError routine
—
Peter Buhr /
detail
- second attempt at simplifying SemanticError messages
—
Peter Buhr /
detail
- (Not really readable right now. Will clean up today and probably tomorrow) 1. Remove implicit conversion; 2. Companion trait;
—
j82liang /
detail
- 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
- Accept Peter's proofreading and adjustment of examples to current syntax
—
Michael Brooks /
detail
- Recent thesis writing
—
Michael Brooks /
detail
- change containers/list.hfa to collections/list.hfa in thesis test files
—
Peter Buhr /
detail
- comment out assert( s1_mid == fc ) bug
—
Peter Buhr /
detail
- comment out missing lstinputlisting files, fix missing @'s for lstinline code
—
Peter Buhr /
detail
- Missing files from last thesis push
—
Michael Brooks /
detail
- comment back in lstinputlisting files after missing files pushed
—
Peter Buhr /
detail
- Minimal change to get exceptions running the old way while a fix is found. Or even more details on the problem.
—
ajbeach /
detail
- add papers directory and start populating it
—
Peter Buhr /
detail
- first attempt at simplifying SemanticError and its usage
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update expected output from tests after changes in semantic error messages
—
Peter Buhr /
detail
- A harder revert of exception changes, hopefully it will get the tests working.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- reduce runtime testing duration of PRNG
—
Peter Buhr /
detail
- update PRNG output for x86
—
Peter Buhr /
detail
- change incorrect architecture name __arm_64__ to __aarch64__
—
Peter Buhr /
detail
- add PRNG expected output for arm64
—
Peter Buhr /
detail
- Clean-up of the chain mutator. Seems like it is underused.
—
ajbeach /
detail
- Some general clean-up, removing bits and pieces from the old version.
—
ajbeach /
detail
- Moved include from Decl header. Removed some old ast code from the Parser.
—
ajbeach /
detail
- Implicit and layout parameters are now marked as const. This is primarily a safety feature to catch bad writes.
—
ajbeach /
detail
- Just some random clean-up in Box pass while I was musing.
—
ajbeach /
detail
- Combined the new and old TupleExpansion files.
—
ajbeach /
detail
- Removed 'New' suffixes, they are no longer needed for disambiguation.
—
ajbeach /
detail
- Renamed ResolvMode to ResolveMode. This is less consistent with the namespace, but is more consistent with almost everything else.
—
ajbeach /
detail
- Rename the ScrubTyVars moduel to ScrubTypeVars. This makes it more consistent with the data types and function names now used.
—
ajbeach /
detail
- 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
- Removed some code that supported ast conversion, it supported ast translation, and that is done.
—
ajbeach /
detail
- Completed the second demangler/automake task: The demangler (when built) in played in the driver directory beside cfa-cc.
—
ajbeach /
detail
- 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
- Updated .gitignore for the new location of demangler.
—
ajbeach /
detail
- Update enum.tex
—
j82liang /
detail
- Removed unused case in CurrentObject::findNext. Did a bit of clean-up in the area.
—
ajbeach /
detail
- Box pass Eraser now removes the polymorphic arguments now that the functions are no longer actually polymorphic.
—
ajbeach /
detail
- Slight improvement to forall clause erasing.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- 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
- Added a test showing how the conflict handling in the with clause currently works.
—
ajbeach /
detail
- Removed Decl::fromId as it was unused. There are a few places that use uniqueId directly.
—
ajbeach /
detail
- Round of significant clean-up and reindentation of InitTweak directory.
—
ajbeach /
detail
- Round of clean-up in the Concurrency directory headers.
—
ajbeach /
detail
- proofread enumeration proposal
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- slight restructuring of automake rules for generating the demangler
—
Peter Buhr /
detail
- disable building the demangler (executable and library)
—
Peter Buhr /
detail
- fixed bug where cofor runner could derefence a null pointer
—
caparson /
detail
- Fixed non-local ehm memory leak that occurs when a coroutine is deleted while suspended in a catchresume handler
—
caparson /
detail
- added test case for non-local ehm memory leak
—
caparson /
detail
- Some clean-up in src/Makefile.am (no change in behaviour).
—
ajbeach /
detail
- 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
- Major round of clean-up in the GenPoly directory.
—
ajbeach /
detail
- added architecture specific expect files for non-local exception test since it uses prng
—
caparson /
detail
- added arm64 expect file for non-local exception test
—
caparsons /
detail
- added x86 expect file for non-local exception test cardgame
—
caparsons /
detail
- Round of clean-up in Tuples directory. (Skipping TupleExpansion, which will be fused together later.)
—
ajbeach /
detail
- Reformating and clean-up in SymTab directory.
—
ajbeach /
detail
- fixed bug where uninit mem was sometimes printed in test
—
caparson /
detail
- regen expected to match test change
—
caparsons /
detail
- Most of ResolvExpr was written before the new style standard. Some files updated, focus on headers.
—
ajbeach /
detail
- fixed error where order of argument eval in compiler could cause different code to be generated
—
caparson /
detail
- formatting
—
Peter Buhr /
detail
- raise exception missing_data when read fails to find value, initial code for quoted manipulator
—
Peter Buhr /
detail
- some updates
—
j82liang /
detail
- latex formatting changes
—
Peter Buhr /
detail
- Removed forward declarations missed in the BaseSyntaxNode removal. Removed code and modified names to support two versions of the ast.
—
ajbeach /
detail
- remove old enum.md file
—
Peter Buhr /
detail
- 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
- 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
- update bibliography entries
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- 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
- Removed an extra forward declaration.
—
ajbeach /
detail
- Remove BaseSyntaxNode and clean-up.
—
ajbeach /
detail
- added cofor implementation
—
caparson /
detail
- Added supporting library routines for cofor impl
—
caparson /
detail
- switched test to use new cofor syntax
—
caparson /
detail
- 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
- removed fences for ARM that are likely not needed, insertion of fences into waituntil codegen TBD
—
caparson /
detail
- forgot to include in last push. Added a get_proc_count that doesn't need a cluster argument
—
caparson /
detail
- 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
- Translated the demangling code from the old ast to the new ast.
—
ajbeach /
detail
- Made UniqueName use other tools we have, removed the unused default and did some general clean-up.
—
ajbeach /
detail
- 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
- Changed some new uses of UniqueId to the ast version. Changed where some debugging variables are stored.
—
ajbeach /
detail
- rename files gcc-builtins.cf builtins.cf extras.cf bootloader.cf and sync-builtins.cf with suffix .cfa
—
Peter Buhr /
detail
- Added test for the checks on the constructor/destructor attributes.
—
ajbeach /
detail
- removed print from static and dynamic tests that could be reordered due to a race
—
caparson /
detail
- Took out some old code from the new section of the Mangler.
—
ajbeach /
detail
- 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
- 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
- Parser now uses constants from the new ast types.
—
ajbeach /
detail
- Simple rework to BasicTypes-gen.cc to avoid refering to the old ast. No larger rework at this time.
—
ajbeach /
detail
- 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
- Hang on, eval doesn't have any side effects.
—
ajbeach /
detail
- 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
- Code dumps (under the -P flag) no longer convert to the old ast to print.
—
ajbeach /
detail
- Translation of the fix main pass to the new ast data structures.
—
ajbeach /
detail
- Direct translation of code generation.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- Make all new declarations have a properly defined LinkageSpec. Also some general clean-up.
—
ajbeach /
detail
- test as.cc file on ARM
—
Peter Buhr /
detail
- comment out debug prints
—
Peter Buhr /
detail
- add __i386 with __x86_64
—
Peter Buhr /
detail
- Fix typo{
—
j82liang /
detail
- add arm64 to Jenkins nightly build
—
Peter Buhr /
detail
- add ARM architecture to nightly build
—
Peter Buhr /
detail
- add ARM architecture to nightly build
—
Peter Buhr /
detail
- add ARM architecture to regression tests
—
Peter Buhr /
detail
- fix typing mistake: arm4 to arm64
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, add PRNG copy to checkpoint PRNG state, remove autogen PRNG copy constructor and assignment to prevent accidental PRNG copy
—
Peter Buhr /
detail
- change host from arm64 to aarch64 for ARM nightly build
—
Peter Buhr /
detail
- 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
- formatting, SKULLDUGGERY to remove spurious free-nonheap-object warning
—
Peter Buhr /
detail
- allow precision < 3 for manipulator eng
—
Peter Buhr /
detail
- Implemented corun statement
—
caparsons /
detail
- Updated cofor test to use new corun statement
—
caparsons /
detail
- added error message for using corun statements without including the appropriate header
—
caparsons /
detail
- Changed cofor files to support the corun statement
—
caparsons /
detail
- Fixed up some whitespace. Pretty minor stuff mostly.
—
ajbeach /
detail
- Clean-up of some names and comments. Removed some TODO comments which are too old to do anything with.
—
ajbeach /
detail
- Added fence after channel handoff to prevent reordering on the arm that resulted in stale values
—
caparsons /
detail
- temporary fix to linkonce problem by changing -7 to 7 so initialization does not invoke an operator
—
Peter Buhr /
detail
- change valide (French) to valid (English)
—
Peter Buhr /
detail
- Layout function builds its entire parameter list before creating the declaration now.
—
ajbeach /
detail
- Initial commit
—
j82liang /
detail
- updates to the uC++toCFA cheat sheet
—
Peter Buhr /
detail
- 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
- Update the introduction
—
j82liang /
detail
- Rename and move the file to proposal
—
j82liang /
detail
- 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
- temporally remove gcc-9 from ARM nightly build because it is failing
—
Peter Buhr /
detail
- TypeVarMap is now a subtype instead of an alias to remove the redundent constructor argument. Various bits of box pass clean-up.
—
ajbeach /
detail
- Small refactoring of some helper functions to avoid repeating a loop.
—
ajbeach /
detail
- add additional test for engineering and unit manipulator output
—
Peter Buhr /
detail
- Change string-read semantics so that reading nothing leaves the original value unmodified.
—
Michael Brooks /
detail
- Work on the box pass, fixing up the FunctionDecl update.
—
ajbeach /
detail
- added missing ARM fence on the signallee side of channel handoff
—
caparsons /
detail
- first attempt at new C string input
—
Peter Buhr /
detail
- 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
- remove ISTYPE_VOID and ISTYPE_VOID_IMPL, and ends for input
—
Peter Buhr /
detail
- change genericUnion test fromt printf to sout
—
Peter Buhr /
detail
- ifdef'd the arm fences that were added to channels so that they only appear on the arm
—
caparsons /
detail
- added WO fences for mcs spin lock to fix failing arm test
—
caparsons /
detail
- added missing semicolons
—
caparson /
detail
- temporary change to as command to test ARM build
—
Peter Buhr /
detail
- add gcc-9 back into ARM full build
—
Peter Buhr /
detail
- Fix compiler bug where duplicate type declarations caused crash.
—
Michael Brooks /
detail
- Updated some documentation about the Instantiate Generic pass.
—
ajbeach /
detail
- Implement "scanset" semantics for manipulator `skip`, in place of exact-match.
—
Michael Brooks /
detail
- Support match-failure reporting for string input.
—
Michael Brooks /
detail
- 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
- Fix read-to-variable-length-string cases when internal buffer fills.
—
Michael Brooks /
detail
- Translated the Link-Once pass to the new ast.
—
ajbeach /
detail
- increase timeout in test.py from 180 to 240 seconds to deal with long locking tests on the ARM
—
Peter Buhr /
detail
- 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
- 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
- add corun/cofor statement, update old cofor
—
Peter Buhr /
detail
- added enable/disable ehm with no params for coroutines
—
caparsons /
detail
- added hotpotato non-local ehm test in both enable/disable and poll flavours
—
caparsons /
detail
- a bit of cleanup of the hotpotato tests
—
caparsons /
detail
- final hotpotato cleanup, removed two unneeded routines from explicit polling flavour
—
caparsons /
detail
- make hotpotato test 32/64-bit specific due to different prng
—
Peter Buhr /
detail
- create 32-bit test results for hotpotato
—
Peter Buhr /
detail
- create ARM test results for hotpotato
—
Peter Buhr /
detail
- add keyword _Exception to uC++ lstlisting
—
Peter Buhr /
detail
- update citation entry
—
Peter Buhr /
detail
- add command setgcolumn to set lstlisting comment-column alignment, change size of lstlisting ^ character
—
Peter Buhr /
detail
- general updates to the Cforall user manual
—
Peter Buhr /
detail
- add keywords alignas, alignof, static_assert, and thread_local
—
Peter Buhr /
detail
- fix lock/unlock for heap statistic-mode
—
Peter Buhr /
detail
- add using namespace std to cfa.cc
—
Peter Buhr /
detail
- update help message from main.cc
—
Peter Buhr /
detail
- tweak comments for CFA comand-line options
—
Peter Buhr /
detail
- update tiobe index, update new command-line documentation
—
Peter Buhr /
detail
- formatting, remove unnecessary use of c_str(), add better debug printing for cc1
—
Peter Buhr /
detail
- Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration
—
j82liang /
detail
- Revert "Fix designator value in enumerated array and implemented enumerated array with inlined enume declaration"
—
j82liang /
detail
- Fix designation value error
—
j82liang /
detail
- refactor cofor.hfa into cofor.cfa, adjust Makefile.am to handle cofor.cfa
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- remove superfluous inner_loop routine
—
Peter Buhr /
detail
- added cofor macro
—
caparsons /
detail
- updated cofor test to use macro
—
caparsons /
detail
- add uC++toCFA document
—
Peter Buhr /
detail
- clean up command-line handling and I/O
—
Peter Buhr /
detail
- formatting, replace constructor calls with set_allocation calls
—
Peter Buhr /
detail
- committed makefile change for cofor include
—
caparsons /
detail
- Update max/min so n-ary version doesn't match against the 2 argument case. Also added a test.
—
ajbeach /
detail
- 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
- Added cfa equivalent of cofor/cobegin/coend
—
caparsons /
detail
- Added another check to the invariants for SizeofExpr/AlignofExpr.
—
ajbeach /
detail
- add malloc_stats_clear routine to zero the heap master and all active thread heaps
—
Peter Buhr /
detail
- Incorporated changes in response to Trevor's comments.
—
caparsons /
detail
- Added references when incorporating Trevor's comments
—
caparsons /
detail
- add getenv, strlen, strcmp, strncmp to extras
—
Peter Buhr /
detail
- rename clock routines processor and program to processor_cpu and program_cpu to deal with name clash with processor
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- Fix cstring input length interpretation issue that had a buffer overflow case.
—
Michael Brooks /
detail
- Insert additional checks so that impossible, or just unimplemented, local control flow raises an error in CFA.
—
ajbeach /
detail
- Implement full set of relational operators for strings
—
Michael Brooks /
detail
- proofread chapters CFA_concurrency, intro, and conclusion
—
Peter Buhr /
detail
- merged in Peter's edits with a few small changes
—
caparsons /
detail
- made some small formatting changes
—
caparsons /
detail
- formatting
—
Michael Brooks /
detail
- Duplicate manipulator read-to-string code for string_res, and test.
—
Michael Brooks /
detail
- Deduplicate manipulator read-to-string by delegating from string to string_res.
—
Michael Brooks /
detail
- Bug fix
—
j82liang /
detail
- expanded upon intro and conclusion
—
caparsons /
detail
- Clean-up in MultiLevelExit. Primary purpose is to remove some uneeded fill code.
—
ajbeach /
detail
- changes over all usages of uC++ collections to use dlist instead
—
caparsons /
detail
- Allow uninitialized enum value as designators
—
j82liang /
detail
- Rename internal macro away from `TYPE`, which is a cs343 name collision.
—
Michael Brooks /
detail
- Port basic input-manipulator test from cstring to string and fix resulting bug.
—
Michael Brooks /
detail
- edited thesis to incorporate Gregors comments
—
caparsons /
detail
- use arm64 to select 64-bit random numbers
—
Peter Buhr /
detail
- add get_seed for thread random numbers
—
Peter Buhr /
detail
- simplify 32/64-bit random-number constructors
—
Peter Buhr /
detail
- fix get_seed signature
—
Peter Buhr /
detail
- remove ucpp-style collections used before Mike's lists
—
Peter Buhr /
detail
- Revert "remove ucpp-style collections used before Mike's lists"
—
Peter Buhr /
detail
- remove unnecessary include bits/sequence.hfa
—
Peter Buhr /
detail
- add include bits/sequence.hfa to pthread.cfa after removing it from weakso_lock.hfa
—
Peter Buhr /
detail
- remove empty rule in cfa_abstract_parameter_declaration to remove conflicts
—
Peter Buhr /
detail
- add reading fixed strings, seperate skip input manipulator, getline checks for delimiter
—
Peter Buhr /
detail
- add string output manipulators, third attempt at input manipulators for strings
—
Peter Buhr /
detail
- test reading fixed strings
—
Peter Buhr /
detail
- Save parser change for git pull
—
j82liang /
detail
- Basic change for enable enumerated array syntax
—
j82liang /
detail
- second attempt at input manipulators for strings
—
Peter Buhr /
detail
- rename directories containers to collections
—
Peter Buhr /
detail
- more rename directories containers to collections
—
Peter Buhr /
detail
- third attempt at input manipulators for strings
—
Peter Buhr /
detail
- Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit
—
j82liang /
detail
- 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
- Removed extra copy in FixInitNew.
—
ajbeach /
detail
- fixed unhandled exception bug causing deleted memory to be accessed sometimes with full coroutines
—
caparsons /
detail
- Save parser change for git pull
—
j82liang /
detail
- Basic change for enable enumerated array syntax
—
j82liang /
detail
- second attempt at input manipulators for strings
—
Peter Buhr /
detail
- rename directories containers to collections
—
Peter Buhr /
detail
- more rename directories containers to collections
—
Peter Buhr /
detail
- third attempt at input manipulators for strings
—
Peter Buhr /
detail
- Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit
—
j82liang /
detail
- more rename directories containers to collections
—
Peter Buhr /
detail
- third attempt at input manipulators for strings
—
Peter Buhr /
detail
- second attempt at input manipulators for strings
—
Peter Buhr /
detail
- rename directories containers to collections
—
Peter Buhr /
detail
- more rename directories containers to collections
—
Peter Buhr /
detail
- add files Makefile and .gitignore
—
Peter Buhr /
detail
- create a glossary example
—
Peter Buhr /
detail
- create MMath thesis macros for Jiada
—
Peter Buhr /
detail
- change setter routines in basic_i/ostream to return previous state
—
Peter Buhr /
detail
- update reading C strings with size check
—
Peter Buhr /
detail
- first attempt reading strings in chunks using C strings
—
Peter Buhr /
detail
- remove special case for getline in C-string input
—
Peter Buhr /
detail
- Fixing space/tabs confusion in ExceptDeclNew.cpp.
—
ajbeach /
detail
- 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
- formatting, use C-style compound literal
—
Peter Buhr /
detail
- first attempt at input manipulators for strings
—
Peter Buhr /
detail
- second attempt at input manipulators for strings
—
Peter Buhr /
detail
- rename directories containers to collections
—
Peter Buhr /
detail
- Fixing space/tabs confusion in ExceptDeclNew.cpp.
—
ajbeach /
detail
- 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
- formatting, use C-style compound literal
—
Peter Buhr /
detail
- first attempt at input manipulators for strings
—
Peter Buhr /
detail
- remove special case for getline in C-string input
—
Peter Buhr /
detail
- update reading C strings with size check
—
Peter Buhr /
detail
- first attempt reading strings in chunks using C strings
—
Peter Buhr /
detail
- change setter routines in basic_i/ostream to return previous state
—
Peter Buhr /
detail
- fix printing of decimal point when manipulator nodp is on
—
Peter Buhr /
detail
- add files Makefile and .gitignore
—
Peter Buhr /
detail
- create a glossary example
—
Peter Buhr /
detail
- create MMath thesis macros for Jiada
—
Peter Buhr /
detail
- fix printing of decimal point when manipulator nodp is on
—
Peter Buhr /
detail
- add files Makefile and .gitignore
—
Peter Buhr /
detail
- create a glossary example
—
Peter Buhr /
detail
- create MMath thesis macros for Jiada
—
Peter Buhr /
detail
- fussed with Figure 7.3
—
Peter Buhr /
detail
- fix figure 7.12 placement
—
Peter Buhr /
detail
- fix line break in conclusion
—
Peter Buhr /
detail
- 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
- add comment on lock$ in i/ofstream indicating used by trait is_lock for mutex statement
—
Peter Buhr /
detail
- add macros Exception and Throw to simplify using exceptions
—
Peter Buhr /
detail
- remove static from Exception macro
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update exception macros
—
Peter Buhr /
detail
- add missing slicing routine with one argument
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- added support for resuming at resumer, added test for support and cleaned up uneeded include in pingpong exception test
—
caparsons /
detail
- added comment explaining test
—
caparsons /
detail
- fixed nonlocal exception edge case for program main and added poll() routine with no args that polls the currrent active coroutine
—
caparsons /
detail
- added exception thrown at main to the cor_resumer test
—
caparsons /
detail
- exposed some exception routines to use for non local ehm in coroutines
—
caparsons /
detail
- fixed non-local ehm issue and added no arg resumer routine
—
caparsons /
detail
- force all input of C strings to specify a maximum length for the string target
—
Peter Buhr /
detail
- change test programs to reflect input changes for C strings
—
Peter Buhr /
detail
- added warning message and cleanup for unhandled pending non-local exceptions on coroutine shutdown
—
caparsons /
detail
- update documentation about changes to I/O
—
Peter Buhr /
detail
- fix error when exception propagation does not find a handler and print appropriate message
—
Peter Buhr /
detail
- fix incorrect location of decimal point for floating-point value in hex, print base (0x) before 0 for hexadecimal
—
Peter Buhr /
detail
- add missing .expect file
—
Peter Buhr /
detail
- added code to copy attributes from vtable decl to generated decl
—
caparsons /
detail
- Fixed whitespace in last commit, removed extra use of static.
—
ajbeach /
detail
- rename file to fix build
—
Peter Buhr /
detail
- ARM .expect change due to iostream formatting changes
—
Peter Buhr /
detail
- another .expect change to match with the iostream formatting changes
—
Peter Buhr /
detail
- remove timeout clause from waituntil statement
—
Peter Buhr /
detail
- formatting, remove superfluous space at end of string when printing, change C for-loops into CFA for-loops
—
Peter Buhr /
detail
- String input operator with chunked memory management.
—
Michael Brooks /
detail
- made generated vtable functions link-once
—
caparsons /
detail
- move exception macros from common.hfa to their own include file Exception.hfa
—
Peter Buhr /
detail
- add new wdi manipulator for C-strings to specify string and read size
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- move setting the default random-generator size from PRNG.cfa to stdlib.hfa, change to the exception macros
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change examples to use the new wdi manipulator for C-strings to specify string and read size
—
Peter Buhr /
detail
- fix printing of decimal point when manipulator nodp is on
—
Peter Buhr /
detail
- made generated vtable functions link-once
—
caparsons /
detail
- move exception macros from common.hfa to their own include file Exception.hfa
—
Peter Buhr /
detail
- add new wdi manipulator for C-strings to specify string and read size
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- move setting the default random-generator size from PRNG.cfa to stdlib.hfa, change to the exception macros
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change examples to use the new wdi manipulator for C-strings to specify string and read size
—
Peter Buhr /
detail
- added warning message and cleanup for unhandled pending non-local exceptions on coroutine shutdown
—
caparsons /
detail
- update documentation about changes to I/O
—
Peter Buhr /
detail
- fix error when exception propagation does not find a handler and print appropriate message
—
Peter Buhr /
detail
- fix incorrect location of decimal point for floating-point value in hex, print base (0x) before 0 for hexadecimal
—
Peter Buhr /
detail
- add missing .expect file
—
Peter Buhr /
detail
- added code to copy attributes from vtable decl to generated decl
—
caparsons /
detail
- Fixed whitespace in last commit, removed extra use of static.
—
ajbeach /
detail
- rename file to fix build
—
Peter Buhr /
detail
- ARM .expect change due to iostream formatting changes
—
Peter Buhr /
detail
- another .expect change to match with the iostream formatting changes
—
Peter Buhr /
detail
- remove timeout clause from waituntil statement
—
Peter Buhr /
detail
- formatting, remove superfluous space at end of string when printing, change C for-loops into CFA for-loops
—
Peter Buhr /
detail
- String input operator with chunked memory management.
—
Michael Brooks /
detail
- exposed some exception routines to use for non local ehm in coroutines
—
caparsons /
detail
- fixed non-local ehm issue and added no arg resumer routine
—
caparsons /
detail
- force all input of C strings to specify a maximum length for the string target
—
Peter Buhr /
detail
- change test programs to reflect input changes for C strings
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update exception macros
—
Peter Buhr /
detail
- add missing slicing routine with one argument
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- added support for resuming at resumer, added test for support and cleaned up uneeded include in pingpong exception test
—
caparsons /
detail
- added comment explaining test
—
caparsons /
detail
- fixed nonlocal exception edge case for program main and added poll() routine with no args that polls the currrent active coroutine
—
caparsons /
detail
- added exception thrown at main to the cor_resumer test
—
caparsons /
detail
- 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
- add comment on lock$ in i/ofstream indicating used by trait is_lock for mutex statement
—
Peter Buhr /
detail
- add macros Exception and Throw to simplify using exceptions
—
Peter Buhr /
detail
- remove static from Exception macro
—
Peter Buhr /
detail
- various small changes across entire thesis
—
caparsons /
detail
- fix month in citation
—
Peter Buhr /
detail
- move figure
—
Peter Buhr /
detail
- fix number of examples
—
Peter Buhr /
detail
- fix bad line break
—
Peter Buhr /
detail
- change code listing to figure
—
Peter Buhr /
detail
- final proofread of waituntil chapter
—
Peter Buhr /
detail
- fixed bad page break and made figure location better
—
caparsons /
detail
- fussed with Figure 7.3
—
Peter Buhr /
detail
- fix figure 7.12 placement
—
Peter Buhr /
detail
- fix line break in conclusion
—
Peter Buhr /
detail
- various small changes across entire thesis
—
caparsons /
detail
- fix month in citation
—
Peter Buhr /
detail
- move figure
—
Peter Buhr /
detail
- fix number of examples
—
Peter Buhr /
detail
- fix bad line break
—
Peter Buhr /
detail
- change code listing to figure
—
Peter Buhr /
detail
- final proofread of waituntil chapter
—
Peter Buhr /
detail
- fixed bad page break and made figure location better
—
caparsons /
detail
- fussed with Figure 7.3
—
Peter Buhr /
detail
- fix figure 7.12 placement
—
Peter Buhr /
detail
- fix line break in conclusion
—
Peter Buhr /
detail
- fix comments
—
Peter Buhr /
detail
- formatting, change set_allocation to return previous value, add get_allocation
—
Peter Buhr /
detail
- first draft of full waituntil chapter and conclusion chapter. Lots of graph/plotting utilities cleanup. Reran all CFA actor benchmarks after recent changes. Small changes to actor.tex in performance section
—
caparsons /
detail
- added pragma once
—
caparsons /
detail
- added termination check for non-stealing actor system
—
caparsons /
detail
- removed comment
—
caparsons /
detail
- harmonize separator manipulators names with newline names: change from sep, sepTuple, sepEnable, sepDisable, sepOn, sepOff to sepVal, sepTupleVal, sepOn, sepOff, sep, nosep; fix bug printing null string with WD so no separator
—
Peter Buhr /
detail
- update files from old separator manipulator names to new names
—
Peter Buhr /
detail
- change from printf to sout
—
Peter Buhr /
detail
- update user manual from old separator manipulator names to new names
—
Peter Buhr /
detail
- add and update citations
—
Peter Buhr /
detail
- Updated indentation in AST/LinckageSpec.
—
ajbeach /
detail
- fix number of calls to latex
—
Peter Buhr /
detail
- update documentation for stream input and output
—
Peter Buhr /
detail
- added to conclusion, cleaned up and added some citations
—
caparsons /
detail
- fixed bug where virtual dtor would not work if dtors or ctors of the type had unnamed params
—
caparsons /
detail
- added flattening so that the mutex statement now can accept tuples
—
caparsons /
detail
- added test for mutex stmt tuples and changed actor test to use a unnamed param to test the virtual dtor fix
—
caparsons /
detail
- print proper error for hiding enumerator names of an anonymous enumeration, which means the names are inaccessible
—
Peter Buhr /
detail
- change from printf to sout
—
Peter Buhr /
detail
- remove duplicate entries from local.bib in pl.bib
—
Peter Buhr /
detail
- force bibtex to run in Makefile and print more output
—
Peter Buhr /
detail
- add LIFO and FIFO to glossary abbreviation
—
Peter Buhr /
detail
- use FIFO abbrev in channel chapter
—
Peter Buhr /
detail
- change text font-size in figures to match paper font-size
—
Peter Buhr /
detail
- fixed two bugs with breaks in waituntils, required reordering of waituntil pass to set correct labels for breaks
—
caparsons /
detail
- added test for fixed waituntil break case
—
caparsons /
detail
- very slim race condition between a channel closing and a waituntil unregister was being handled improperly and is now fixed
—
caparsons /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- reworked actor steal section
—
caparsons /
detail
- added steal diagram
—
caparsons /
detail
- polished waituntil and conclusion chapter
—
caparsons /
detail
- added conclusion to makefile, removed duplicate bib entry and added conclusion to thesis.tex
—
caparsons /
detail
- read through up to start of actor chapter and made some small polishing changes
—
caparsons /
detail
- Changes related to invariant checking scoping, it is not ready by these are unlikely to change.
—
ajbeach /
detail
- Combined some fixes from the variaus scoped containers. Reducing redeclarations, internal type names now use one consistent naming scheme (it is different from the public naming convention), a whitespace fix and shrinking a few functions.
—
ajbeach /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- change font style and size in figure
—
Peter Buhr /
detail
- reworked later part of actor stealing section
—
caparsons /
detail
- minor actor stealing section changes
—
caparsons /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- another pass over the work stealing section
—
caparsons /
detail
- added support for missed gulps benchmark
—
caparsons /
detail
- merging together benchmark run files
—
caparson /
detail
- small update to end of work stealing section
—
caparsons /
detail
- Removed a comment that referenced a long gone pass.
—
ajbeach /
detail
- Fixed some warnings, deleted some commented out code.
—
ajbeach /
detail
- Some cases in linkReferencesToTypes: It always hits one or both of the conditionals, so moving the mutation outside is a slight optimization and also reduces noise.
—
ajbeach /
detail
- added support for non-local exceptions
—
caparsons /
detail
- added basic tests for non-local exceptions
—
caparsons /
detail
- harmonize name for fibonacci_nonlocal and pingpong_nonlocal
—
Peter Buhr /
detail
- alternative version of fibonacci_nonlocal
—
Peter Buhr /
detail
- refactored to fix bug in channel_close test. As a consquence can no longer break out of waituntil statements that have an and
—
caparsons /
detail
- removed test since it now contains unsupportd behaviour
—
caparsons /
detail
- Removed unused includes from a file. (Clean-up, plus it cuts down on code that might be the problem in that pass.)
—
ajbeach /
detail
- add and update citations
—
Peter Buhr /
detail
- add glossary abbreviations CAS, DWCAS, DCAS, DAS, LL, SC
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- some changes to the queue swap chapter
—
caparsons /
detail
- various actor changes and fixes
—
caparsons /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- first pass at cleaning up per chapter reorganization
—
caparsons /
detail
- actor perf cleanup following reordering
—
caparsons /
detail
- fixed undefined reference
—
caparsons /
detail
- fix problems in pingpong_nonlocal
—
Peter Buhr /
detail
- updated pingpong exception test to remove output race for repeatable test output
—
caparsons /
detail
- hide numtimes
—
Peter Buhr /
detail
- fixed spurious channel close waituntil error case. Was caused by a race condition causing an exception to be thrown while another was in flight
—
caparsons /
detail
- missed two files with previous commit
—
caparsons /
detail
- added test that consistently produced the waituntil channel close failure case
—
caparsons /
detail
- updated documentation related to waituntil changes
—
caparsons /
detail
- add additional debug printing
—
Peter Buhr /
detail
- add additional debug printing, remove push/pop associated with parameter passing because local declarations are disallowed
—
Peter Buhr /
detail
- add labels to sections
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- Renaming of some SymbolTable functions because they are different and should be tracked. Removed an extra forward declaration and modified some indentation in the area.
—
ajbeach /
detail
- Made changes in response to Peter's comments
—
caparsons /
detail
- change href to url, add citations
—
Peter Buhr /
detail
- update discussion about work stealing
—
Peter Buhr /
detail
- reworked part of actor perf section
—
caparsons /
detail
- remove push/pop from KR_parameter_list and typedef_declaration
—
Peter Buhr /
detail
- Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases.
—
ajbeach /
detail
- Revert "remove push/pop from KR_parameter_list and typedef_declaration"
—
ajbeach /
detail
- Repeat "remove push/pop from KR_parameter_list and typedef_declaration"
—
ajbeach /
detail
- This may fix the excessive 'struct _IO_FILE;' declarations. I still don't know how to replicate it on my machine.
—
ajbeach /
detail
- reduce whitespace before backtick
—
Peter Buhr /
detail
- update Ada citation from Ada12 to Ada16
—
Peter Buhr /
detail
- move uC++ beside CFA in table
—
Peter Buhr /
detail
- capitalize titles in citations
—
Peter Buhr /
detail
- final proofread of actor chapter
—
Peter Buhr /
detail
- first proofread of waituntil chapter up to Section 7.5
—
Peter Buhr /
detail
- smoothed over 7.5 intro
—
caparsons /
detail
- more 7.5 improvements. Tried to improve chapter flow
—
caparsons /
detail
- added support for go style channel operators
—
caparsons /
detail
- cleaned up a waituntil test and changed a channel test to use go-style operators
—
caparsons /
detail
- refactored some waituntil code gen to be more concise
—
caparsons /
detail
- reverted addition of channel operators since it broke the waituntil statement
—
caparsons /
detail
- revert channel test change
—
caparsons /
detail
- added support for general channel operators and cleaned up some cruft
—
caparsons /
detail
- added support for general channel operators
—
caparsons /
detail
- changed test back to using new operators
—
caparsons /
detail
- added discussion of channel shorthand operators
—
caparsons /
detail
- modified waituntil tests to test new features
—
caparsons /
detail
- added support for remove and insert calls in waituntils
—
caparsons /
detail
- refactored tests to use new syntax for channel ops
—
caparsons /
detail
- removed ambiguous waituntil remove support
—
caparsons /
detail
- updated channel chapter to reflect new syntax
—
caparsons /
detail
- updated waituntil benchmarks to use new channel arrow syntax
—
caparsons /
detail
- formatting, create macros OSTYPE_VOID, OSTYPE_VOID_IMPL. ISTYPE_VOID, ISTYPE_VOID_IMPL to create companion void print routine
—
Peter Buhr /
detail
- update types to use new void-creation stream macros
—
Peter Buhr /
detail
- fixed remove ambiguity issue
—
caparsons /
detail
- added test with new waituntil remove() syntax
—
caparsons /
detail
- more convertion to new void-creation stream macros
—
Peter Buhr /
detail
- Reorganize ?\? operator to shorten it a bit and move lines of code closer to the comments associated with them.
—
ajbeach /
detail
- test change to fix broken build. Working on fix to underlying issue and will push that soon
—
caparsons /
detail
- Added min/max for 3+ argument cases.
—
ajbeach /
detail
- added label to section to reference later
—
caparsons /
detail
- did some cleanup in locks.hfa and fixed seg fault bug in channel waituntil remove()
—
caparsons /
detail
- refactored test to now use remove() in waituntil
—
caparsons /
detail
- more proofreading waituntil chapter
—
Peter Buhr /
detail
- reworked 7.5.3 of thesis
—
caparsons /
detail
- more proofreading of chapter waituntil
—
Peter Buhr /
detail
- more proofreading of waituntil chapter
—
Peter Buhr /
detail
- first proofread of conclusion chapter
—
Peter Buhr /
detail
- use memset to initialize struct io_uring_sqe to zero in routine zero_sqe
—
Peter Buhr /
detail
- add FIX-ME comment for forall-void routine in iostream
—
Peter Buhr /
detail
- add missing #include <string.h>
—
Peter Buhr /
detail
- change C style for-loops to CFA-style for-loops
—
Peter Buhr /
detail
- change zeroing of individual statistics fields to memset
—
Peter Buhr /
detail
- small wording changes
—
Peter Buhr /
detail
- Clean-up some white spaces, spaces to tabs.
—
ajbeach /
detail
- change old trait syntax to use new forall syntax
—
Peter Buhr /
detail
- remove spurious .section from exception assembler code, which is causing compilation problems on Ubuntu 22.04
—
Peter Buhr /
detail
- change lstlisting in common macros from belowskip=2pt to belowskip=0pt to remove excess space after code blocks
—
Peter Buhr /
detail
- Modified the dimexpr-match tests. This is because dimexpr-match-cfa had a weird case (nested polymorphic function using the array macro) that generates bad code internally and working around that in the invariants is hard. The expect files may only change line numbers, all of those should be updated.
—
ajbeach /
detail
- Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.
—
ajbeach /
detail
- incorporated actor and waituntil comments
—
caparsons /
detail
- fleshed out conclusion
—
caparsons /
detail
- Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation level, moved exported function and added spaces around namespacing lines.
—
ajbeach /
detail
- various small changes across entire thesis
—
caparsons /
detail
- add empty thesis directory for Fangren
—
Peter Buhr /
detail
- change startup sequence by adding back heapManagerBootFlag, add build flag for non-null return for malloc(0)
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update empty thesis directory for Fangren
—
Peter Buhr /
detail
- fix month in citation
—
Peter Buhr /
detail
- move figure
—
Peter Buhr /
detail
- fix number of examples
—
Peter Buhr /
detail
- fix bad line break
—
Peter Buhr /
detail
- change code listing to figure
—
Peter Buhr /
detail
- final proofread of waituntil chapter
—
Peter Buhr /
detail
- fixed bad page break and made figure location better
—
caparsons /
detail
- Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.
—
ajbeach /
detail
- incorporated actor and waituntil comments
—
caparsons /
detail
- fleshed out conclusion
—
caparsons /
detail
- Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation level, moved exported function and added spaces around namespacing lines.
—
ajbeach /
detail
- add empty thesis directory for Fangren
—
Peter Buhr /
detail
- change startup sequence by adding back heapManagerBootFlag, add build flag for non-null return for malloc(0)
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- update empty thesis directory for Fangren
—
Peter Buhr /
detail
- Modified the dimexpr-match tests. This is because dimexpr-match-cfa had a weird case (nested polymorphic function using the array macro) that generates bad code internally and working around that in the invariants is hard. The expect files may only change line numbers, all of those should be updated.
—
ajbeach /
detail
- change old trait syntax to use new forall syntax
—
Peter Buhr /
detail
- remove spurious .section from exception assembler code, which is causing compilation problems on Ubuntu 22.04
—
Peter Buhr /
detail
- change lstlisting in common macros from belowskip=2pt to belowskip=0pt to remove excess space after code blocks
—
Peter Buhr /
detail
- Clean-up some white spaces, spaces to tabs.
—
ajbeach /
detail
- change C style for-loops to CFA-style for-loops
—
Peter Buhr /
detail
- change zeroing of individual statistics fields to memset
—
Peter Buhr /
detail
- small wording changes
—
Peter Buhr /
detail
- more proofreading of waituntil chapter
—
Peter Buhr /
detail
- first proofread of conclusion chapter
—
Peter Buhr /
detail
- use memset to initialize struct io_uring_sqe to zero in routine zero_sqe
—
Peter Buhr /
detail
- add FIX-ME comment for forall-void routine in iostream
—
Peter Buhr /
detail
- add missing #include <string.h>
—
Peter Buhr /
detail
- Added min/max for 3+ argument cases.
—
ajbeach /
detail
- added label to section to reference later
—
caparsons /
detail
- did some cleanup in locks.hfa and fixed seg fault bug in channel waituntil remove()
—
caparsons /
detail
- refactored test to now use remove() in waituntil
—
caparsons /
detail
- more proofreading waituntil chapter
—
Peter Buhr /
detail
- reworked 7.5.3 of thesis
—
caparsons /
detail
- more proofreading of chapter waituntil
—
Peter Buhr /
detail
- reduce whitespace before backtick
—
Peter Buhr /
detail
- update Ada citation from Ada12 to Ada16
—
Peter Buhr /
detail
- move uC++ beside CFA in table
—
Peter Buhr /
detail
- capitalize titles in citations
—
Peter Buhr /
detail
- final proofread of actor chapter
—
Peter Buhr /
detail
- first proofread of waituntil chapter up to Section 7.5
—
Peter Buhr /
detail
- smoothed over 7.5 intro
—
caparsons /
detail
- more 7.5 improvements. Tried to improve chapter flow
—
caparsons /
detail
- added support for go style channel operators
—
caparsons /
detail
- cleaned up a waituntil test and changed a channel test to use go-style operators
—
caparsons /
detail
- refactored some waituntil code gen to be more concise
—
caparsons /
detail
- reverted addition of channel operators since it broke the waituntil statement
—
caparsons /
detail
- revert channel test change
—
caparsons /
detail
- added support for general channel operators and cleaned up some cruft
—
caparsons /
detail
- added support for general channel operators
—
caparsons /
detail
- changed test back to using new operators
—
caparsons /
detail
- added discussion of channel shorthand operators
—
caparsons /
detail
- modified waituntil tests to test new features
—
caparsons /
detail
- added support for remove and insert calls in waituntils
—
caparsons /
detail
- refactored tests to use new syntax for channel ops
—
caparsons /
detail
- removed ambiguous waituntil remove support
—
caparsons /
detail
- updated channel chapter to reflect new syntax
—
caparsons /
detail
- updated waituntil benchmarks to use new channel arrow syntax
—
caparsons /
detail
- formatting, create macros OSTYPE_VOID, OSTYPE_VOID_IMPL. ISTYPE_VOID, ISTYPE_VOID_IMPL to create companion void print routine
—
Peter Buhr /
detail
- update types to use new void-creation stream macros
—
Peter Buhr /
detail
- fixed remove ambiguity issue
—
caparsons /
detail
- added test with new waituntil remove() syntax
—
caparsons /
detail
- more convertion to new void-creation stream macros
—
Peter Buhr /
detail
- Reorganize ?\? operator to shorten it a bit and move lines of code closer to the comments associated with them.
—
ajbeach /
detail
- test change to fix broken build. Working on fix to underlying issue and will push that soon
—
caparsons /
detail
- Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases.
—
ajbeach /
detail
- Revert "remove push/pop from KR_parameter_list and typedef_declaration"
—
ajbeach /
detail
- Repeat "remove push/pop from KR_parameter_list and typedef_declaration"
—
ajbeach /
detail
- This may fix the excessive 'struct _IO_FILE;' declarations. I still don't know how to replicate it on my machine.
—
ajbeach /
detail
- add additional debug printing
—
Peter Buhr /
detail
- add additional debug printing, remove push/pop associated with parameter passing because local declarations are disallowed
—
Peter Buhr /
detail
- add labels to sections
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- Renaming of some SymbolTable functions because they are different and should be tracked. Removed an extra forward declaration and modified some indentation in the area.
—
ajbeach /
detail
- Made changes in response to Peter's comments
—
caparsons /
detail
- change href to url, add citations
—
Peter Buhr /
detail
- update discussion about work stealing
—
Peter Buhr /
detail
- reworked part of actor perf section
—
caparsons /
detail
- remove push/pop from KR_parameter_list and typedef_declaration
—
Peter Buhr /
detail
- refactored to fix bug in channel_close test. As a consquence can no longer break out of waituntil statements that have an and
—
caparsons /
detail
- removed test since it now contains unsupportd behaviour
—
caparsons /
detail
- add and update citations
—
Peter Buhr /
detail
- add glossary abbreviations CAS, DWCAS, DCAS, DAS, LL, SC
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- some changes to the queue swap chapter
—
caparsons /
detail
- various actor changes and fixes
—
caparsons /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- first pass at cleaning up per chapter reorganization
—
caparsons /
detail
- actor perf cleanup following reordering
—
caparsons /
detail
- fixed undefined reference
—
caparsons /
detail
- fix problems in pingpong_nonlocal
—
Peter Buhr /
detail
- updated pingpong exception test to remove output race for repeatable test output
—
caparsons /
detail
- hide numtimes
—
Peter Buhr /
detail
- fixed spurious channel close waituntil error case. Was caused by a race condition causing an exception to be thrown while another was in flight
—
caparsons /
detail
- missed two files with previous commit
—
caparsons /
detail
- added test that consistently produced the waituntil channel close failure case
—
caparsons /
detail
- updated documentation related to waituntil changes
—
caparsons /
detail
- alternative version of fibonacci_nonlocal
—
Peter Buhr /
detail
- Removed unused includes from a file. (Clean-up, plus it cuts down on code that might be the problem in that pass.)
—
ajbeach /
detail
- Removed a comment that referenced a long gone pass.
—
ajbeach /
detail
- Fixed some warnings, deleted some commented out code.
—
ajbeach /
detail
- Some cases in linkReferencesToTypes: It always hits one or both of the conditionals, so moving the mutation outside is a slight optimization and also reduces noise.
—
ajbeach /
detail
- added support for non-local exceptions
—
caparsons /
detail
- added basic tests for non-local exceptions
—
caparsons /
detail
- harmonize name for fibonacci_nonlocal and pingpong_nonlocal
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- another pass over the work stealing section
—
caparsons /
detail
- added support for missed gulps benchmark
—
caparsons /
detail
- merging together benchmark run files
—
caparson /
detail
- small update to end of work stealing section
—
caparsons /
detail
- added steal diagram
—
caparsons /
detail
- polished waituntil and conclusion chapter
—
caparsons /
detail
- added conclusion to makefile, removed duplicate bib entry and added conclusion to thesis.tex
—
caparsons /
detail
- read through up to start of actor chapter and made some small polishing changes
—
caparsons /
detail
- Changes related to invariant checking scoping, it is not ready by these are unlikely to change.
—
ajbeach /
detail
- Combined some fixes from the variaus scoped containers. Reducing redeclarations, internal type names now use one consistent naming scheme (it is different from the public naming convention), a whitespace fix and shrinking a few functions.
—
ajbeach /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- change font style and size in figure
—
Peter Buhr /
detail
- reworked later part of actor stealing section
—
caparsons /
detail
- minor actor stealing section changes
—
caparsons /
detail
- fixed two bugs with breaks in waituntils, required reordering of waituntil pass to set correct labels for breaks
—
caparsons /
detail
- added test for fixed waituntil break case
—
caparsons /
detail
- very slim race condition between a channel closing and a waituntil unregister was being handled improperly and is now fixed
—
caparsons /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- reworked actor steal section
—
caparsons /
detail
- added to conclusion, cleaned up and added some citations
—
caparsons /
detail
- fixed bug where virtual dtor would not work if dtors or ctors of the type had unnamed params
—
caparsons /
detail
- added flattening so that the mutex statement now can accept tuples
—
caparsons /
detail
- added test for mutex stmt tuples and changed actor test to use a unnamed param to test the virtual dtor fix
—
caparsons /
detail
- print proper error for hiding enumerator names of an anonymous enumeration, which means the names are inaccessible
—
Peter Buhr /
detail
- change from printf to sout
—
Peter Buhr /
detail
- remove duplicate entries from local.bib in pl.bib
—
Peter Buhr /
detail
- force bibtex to run in Makefile and print more output
—
Peter Buhr /
detail
- add LIFO and FIFO to glossary abbreviation
—
Peter Buhr /
detail
- use FIFO abbrev in channel chapter
—
Peter Buhr /
detail
- change text font-size in figures to match paper font-size
—
Peter Buhr /
detail
- harmonize separator manipulators names with newline names: change from sep, sepTuple, sepEnable, sepDisable, sepOn, sepOff to sepVal, sepTupleVal, sepOn, sepOff, sep, nosep; fix bug printing null string with WD so no separator
—
Peter Buhr /
detail
- update files from old separator manipulator names to new names
—
Peter Buhr /
detail
- change from printf to sout
—
Peter Buhr /
detail
- update user manual from old separator manipulator names to new names
—
Peter Buhr /
detail
- add and update citations
—
Peter Buhr /
detail
- Updated indentation in AST/LinckageSpec.
—
ajbeach /
detail
- fix number of calls to latex
—
Peter Buhr /
detail
- update documentation for stream input and output
—
Peter Buhr /
detail
- refactored waituntil future benchmarks and updated runscript
—
caparson /
detail
- small cleanup
—
caparson /
detail
- more actor changes and touchups
—
caparsons /
detail
- changed throughput in plotting script to be per second not per 10 seconds
—
caparson /
detail
- fix comments
—
Peter Buhr /
detail
- formatting, change set_allocation to return previous value, add get_allocation
—
Peter Buhr /
detail
- first draft of full waituntil chapter and conclusion chapter. Lots of graph/plotting utilities cleanup. Reran all CFA actor benchmarks after recent changes. Small changes to actor.tex in performance section
—
caparsons /
detail
- added pragma once
—
caparsons /
detail
- added termination check for non-stealing actor system
—
caparsons /
detail
- removed comment
—
caparsons /
detail
- refactored waituntil future benchmarks and updated runscript
—
caparson /
detail
- small cleanup
—
caparson /
detail
- more actor changes and touchups
—
caparsons /
detail
- changed throughput in plotting script to be per second not per 10 seconds
—
caparson /
detail
- fix comments
—
Peter Buhr /
detail
- formatting, change set_allocation to return previous value, add get_allocation
—
Peter Buhr /
detail
- refactored waituntil future benchmarks and updated runscript
—
caparson /
detail
- small cleanup
—
caparson /
detail
- add length qualifiers on one_t constants in ceiling_div
—
Peter Buhr /
detail
- update mathX.arm64 expected output
—
Peter Buhr /
detail
- simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- update glossary
—
Peter Buhr /
detail
- intermediate commit to pull actor changes
—
caparsons /
detail
- cleaned up actor send/terminate sections
—
caparsons /
detail
- Moved the using statement in main out of view of the includes. Tried moving 'Eliminate Typedef' closer to 'Replace Typedef' but it only made it one pass.
—
ajbeach /
detail
- added ability to get number of processors constructed on a cluster (not necessarily registered yet)
—
caparsons /
detail
- various cleanups and improvements (shutdown flags, automatic processor count)
—
caparsons /
detail
- updated a test to use the actor automatic executor config
—
caparsons /
detail
- Add tests demonstrating CFA's treatment of C arrays, compared with GCC's.
—
Michael Brooks /
detail
- In a sentence, invariants is correct.
—
ajbeach /
detail
- added a comment
—
caparsons /
detail
- refactored actors to not need base pointers in envelopes
—
caparsons /
detail
- added extra poll point to check for termination in actor system
—
caparsons /
detail
- Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass.
—
ajbeach /
detail
- Add Makefile entries to include new test-support files in Promote build. Try to fix nightly build. Missing from 0f4ac1051.
—
Michael Brooks /
detail
- Some clean-up in LinkReferenceToTypes.cpp.
—
ajbeach /
detail
- Implement new rules for array dimension expression matching.
—
Michael Brooks /
detail
- change printf to sout
—
Peter Buhr /
detail
- fix include files
—
Peter Buhr /
detail
- The 'sized' trait is now implemented on top of 'T *' declarations and has no special status in the compiler.
—
ajbeach /
detail
- more actor changes and touchups
—
caparsons /
detail
- changed throughput in plotting script to be per second not per 10 seconds
—
caparson /
detail
- The 'sized' trait is now implemented on top of 'T *' declarations and has no special status in the compiler.
—
ajbeach /
detail
- fix include files
—
Peter Buhr /
detail
- Implement new rules for array dimension expression matching.
—
Michael Brooks /
detail
- change printf to sout
—
Peter Buhr /
detail
- In a sentence, invariants is correct.
—
ajbeach /
detail
- added a comment
—
caparsons /
detail
- refactored actors to not need base pointers in envelopes
—
caparsons /
detail
- added extra poll point to check for termination in actor system
—
caparsons /
detail
- Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass.
—
ajbeach /
detail
- Add Makefile entries to include new test-support files in Promote build. Try to fix nightly build. Missing from 0f4ac1051.
—
Michael Brooks /
detail
- Some clean-up in LinkReferenceToTypes.cpp.
—
ajbeach /
detail
- intermediate commit to pull actor changes
—
caparsons /
detail
- cleaned up actor send/terminate sections
—
caparsons /
detail
- Moved the using statement in main out of view of the includes. Tried moving 'Eliminate Typedef' closer to 'Replace Typedef' but it only made it one pass.
—
ajbeach /
detail
- added ability to get number of processors constructed on a cluster (not necessarily registered yet)
—
caparsons /
detail
- various cleanups and improvements (shutdown flags, automatic processor count)
—
caparsons /
detail
- updated a test to use the actor automatic executor config
—
caparsons /
detail
- Add tests demonstrating CFA's treatment of C arrays, compared with GCC's.
—
Michael Brooks /
detail
- current progress
—
f37yu /
detail
- WIP some bugs show up resolving array tuple indexing
—
f37yu /
detail
- fix
—
f37yu /
detail
- updated invariant flag to be default, can be toggled off with --no-invariant
—
caparsons /
detail
- changes test.py invariant flag to --no-invariant, with the default being on
—
caparsons /
detail
- commented out some debugging code
—
caparsons /
detail
- add back --invariant with --no-invariant as both are needed for toggling
—
Peter Buhr /
detail
- harmonized help messages for --invariant and --no-invariant
—
Peter Buhr /
detail
- Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update.
—
ajbeach /
detail
- Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge.
—
ajbeach /
detail
- Removed duplicate substution code in Autogen.
—
ajbeach /
detail
- changed actors to use bar operator
—
caparsons /
detail
- refactored benchmarks to use actor bar operator
—
caparsons /
detail
- refactored actor tests to use bar operator
—
caparsons /
detail
- add commented alternative option for ARM atomics
—
Peter Buhr /
detail
- add comments for attomic pointer types
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- fix end-of-file bug when checking for I/O errors
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting and comments
—
Peter Buhr /
detail
- add test case to device-driver input
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change ceiling function to work with negative values
—
Peter Buhr /
detail
- update conflicting type-specifier error-messages
—
Peter Buhr /
detail
- fix bug in gcc conditional expression by cloning omitted operand
—
Peter Buhr /
detail
- update mathX.x86 expected output
—
Peter Buhr /
detail
- add length qualifiers on one_t constants in ceiling_div
—
Peter Buhr /
detail
- update mathX.arm64 expected output
—
Peter Buhr /
detail
- simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div
—
Peter Buhr /
detail
- more proofreading of actor chapter
—
Peter Buhr /
detail
- update glossary
—
Peter Buhr /
detail
- current progress
—
f37yu /
detail
- WIP some bugs show up resolving array tuple indexing
—
f37yu /
detail
- fix
—
f37yu /
detail
- updated invariant flag to be default, can be toggled off with --no-invariant
—
caparsons /
detail
- changes test.py invariant flag to --no-invariant, with the default being on
—
caparsons /
detail
- commented out some debugging code
—
caparsons /
detail
- add back --invariant with --no-invariant as both are needed for toggling
—
Peter Buhr /
detail
- harmonized help messages for --invariant and --no-invariant
—
Peter Buhr /
detail
- Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update.
—
ajbeach /
detail
- Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge.
—
ajbeach /
detail
- Removed duplicate substution code in Autogen.
—
ajbeach /
detail
- changed actors to use bar operator
—
caparsons /
detail
- refactored benchmarks to use actor bar operator
—
caparsons /
detail
- refactored actor tests to use bar operator
—
caparsons /
detail
- add commented alternative option for ARM atomics
—
Peter Buhr /
detail
- add comments for attomic pointer types
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- fix end-of-file bug when checking for I/O errors
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting and comments
—
Peter Buhr /
detail
- add test case to device-driver input
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change ceiling function to work with negative values
—
Peter Buhr /
detail
- update conflicting type-specifier error-messages
—
Peter Buhr /
detail
- fix bug in gcc conditional expression by cloning omitted operand
—
Peter Buhr /
detail
- update mathX.x86 expected output
—
Peter Buhr /
detail
- add length qualifiers on one_t constants in ceiling_div
—
Peter Buhr /
detail
- update mathX.arm64 expected output
—
Peter Buhr /
detail
- add parsing test for waitfor statement
—
Peter Buhr /
detail
- add Kahn74 citation
—
Peter Buhr /
detail
- clean up .gitignore file
—
Peter Buhr /
detail
- update channel chapter intro
—
Peter Buhr /
detail
- Clean-up in parser. ClauseNode rework, plus internal adjustments to reduce extra code and unchecked casts.
—
ajbeach /
detail
- Missed some uses of the new parser helpers.
—
ajbeach /
detail
- Clean-up in CodeLocationTools.
—
ajbeach /
detail
- Added/cleaned some AST comments.
—
ajbeach /
detail
- Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it.
—
ajbeach /
detail
- CandidateFinder fills in the CodeLocation on a generated expression. With that and recent changes, the fills seem to be redundent now, so I removed them.
—
ajbeach /
detail
- Update macros in main. DUMP is now a macro to save space/noise and the PASS macro now runs checkInvariants afterwards if --invariant is on.
—
ajbeach /
detail
- Clean-up in the parser %union.
—
ajbeach /
detail
- Updated Iterate.hpp documentation.
—
ajbeach /
detail
- Moved new ast code out of one of the old files. The new file may have to change if SymTab is removed entirely, but for now at least, there is a lot less template code in headers.
—
ajbeach /
detail
- Some SymbolTable clean-up I did while trying a change I didn't go through with.
—
ajbeach /
detail
- fix PRNG test to work correctly on ARM
—
Peter Buhr /
detail
- fix 32-bit build with new PRNG output
—
Peter Buhr /
detail
- Cleaned up some indentation in DeclarationNode.h.
—
ajbeach /
detail
- Adding explination to the memory leak in driver/cfa.cc.
—
ajbeach /
detail
- The test.py (through Makefile) handles --invariant passing it to the build. It passes it through CFAFLAGS which are the caller's additional configuration. This is simpler than creating a config variable and then passing 'invariant=yes' to make (like debug or installed).
—
ajbeach /
detail
- Cleaned up some DeclarationNode code that had some extra code no longer needed because of the translation. Also added a helper function for clarity.
—
ajbeach /
detail
- Clean-up in DeclarationNode.cc. Made all buildList loops the same. The ast::Decl function also got some restructuring, mostly moving code around and into helpers.
—
ajbeach /
detail
- Added IndexIterator, which absorbs some functionality of some MemberIterator types for CurrentObject.
—
ajbeach /
detail
- change waituntil expression from cast_expression to comma_expression
—
Peter Buhr /
detail
- update comment about locale problem with leaked storage
—
Peter Buhr /
detail
- remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly builds to gcc 7-11
—
Peter Buhr /
detail
- some cleanup and a bunch of changes to support waituntil statement
—
caparsons /
detail
- updated lock interface to support waituntil trait
—
caparsons /
detail
- added support for the waituntil statement in the compiler
—
caparsons /
detail
- added tests for the waituntil stmt
—
caparsons /
detail
- removed clh lock
—
caparsons /
detail
- removed scoped lock
—
caparsons /
detail
- removed old unused benchmark file
—
caparsons /
detail
- removed TODO since it is now done
—
caparsons /
detail
- added waituntil test expect files
—
caparsons /
detail
- formatting, adjust target names for Makefiles
—
Peter Buhr /
detail
- change all-tests to tests to match new make targets
—
Peter Buhr /
detail
- current progress
—
f37yu /
detail
- WIP some bugs show up resolving array tuple indexing
—
f37yu /
detail
- remove unsed cfa-format.tex file
—
Peter Buhr /
detail
- update list of CFA keywords in lstlang.sty
—
Peter Buhr /
detail
- add citations for Actor paper
—
Peter Buhr /
detail
- put keywords in alphabetic order in lex.ll
—
Peter Buhr /
detail
- formatting, add intro chapter to tex dependencies
—
Peter Buhr /
detail
- formatting, small updates
—
Peter Buhr /
detail
- small updates
—
Peter Buhr /
detail
- formatting, small updates
—
Peter Buhr /
detail
- small updates
—
Peter Buhr /
detail
- small updates
—
Peter Buhr /
detail
- start proofreading of channel chapter
—
Peter Buhr /
detail
- remove version count of thesis builds
—
Peter Buhr /
detail
- fix
—
f37yu /
detail
- added 32 bit failure fix for channels
—
caparsons /
detail
- start paper on llheap
—
Peter Buhr /
detail
- small changes to channel chapter
—
Peter Buhr /
detail
- did some cleanup of channels
—
caparsons /
detail
- added a test change to help locate the deadlock on next test failure
—
caparsons /
detail
- added some variations on failing channel test to try and narrow down failure to minimal case. Window for deadlock must be small as it seems to be irreproducible unless during full build + test.
—
caparsons /
detail
- added and removed some tests in pursuit of a more minimal repro of the deadlock failure case
—
caparsons /
detail
- removed uneeded tests
—
caparsons /
detail
- removed potential race to attempt to fix failing test
—
caparsons /
detail
- updated channel and mutex stmt figures
—
caparsons /
detail
- updated plotting scripts with new plot style
—
caparsons /
detail
- added CAP annotation macro
—
caparsons /
detail
- added various small edits and resolved some action items
—
caparsons /
detail
- cleaned up benchmark pseudocode
—
caparsons /
detail
- fixed a bug which may potentially fix build
—
caparsons /
detail
- added zero size channel waituntil test case
—
caparsons /
detail
- refactored tests to refine failure case to minimal repro
—
caparsons /
detail
- removed tests that are redundant
—
caparsons /
detail
- removed some redundant tests and added some instrumentation to help track down bug
—
caparsons /
detail
- added some instrumentation to attempt to glean some insight into optimized away values
—
caparsons /
detail
- Clean up methods for result1/N/Nstmt classes and the padantic pass macros.
—
ajbeach /
detail
- Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa changes is an ongoing TODO
—
caparsons /
detail
- continue working on llheap paper
—
Peter Buhr /
detail
- add Makefile for llheap paper
—
Peter Buhr /
detail
- removed uneeded busy wait
—
caparsons /
detail
- added atomic to eliminate if failing test deadlock is a staleness issue
—
caparsons /
detail
- Eliminating the busy wait spin at the end seems to resolve deadlock. Added further tests to try and narrow down failure case, and to see if the failure is waituntil specific
—
caparsons /
detail
- more updates for llheap paper
—
Peter Buhr /
detail
- changed variable name in makefile to try and avoid shell command with same name
—
caparsons /
detail
- changed dist-hook rule to use curly braces to access shell vars where it should use them instead of parens
—
caparsons /
detail
- removed tests made during deadlock debugging
—
caparsons /
detail
- added back initially failing test and cleaned up other test
—
caparsons /
detail
- added atomic_load to non-MX channel get routines
—
caparsons /
detail
- add make-help option and change parenthesis to braces for variables
—
Peter Buhr /
detail
- added invariant flag to test makefile
—
caparsons /
detail
- added waituntil timeout test and added waituntil test that uses multiple waituntil primitive types
—
caparsons /
detail
- cleanup up locks files and fixed a minor whitespace issue in preemption.cfa
—
caparsons /
detail
- fixed bug in special OR case for channels and waituntil
—
caparsons /
detail
- fixed bug in waituntil and future interop where signals could be lost
—
caparsons /
detail
- added support for timeouts in waituntil
—
caparsons /
detail
- changed makefile since select has a .cfa now
—
caparsons /
detail
- Added proposal for alternate enumerations that could replace some of the typed enumeration features.
—
ajbeach /
detail
- changed channel fetch routines to use relaxed atomics
—
caparsons /
detail
- fix spelling mistake
—
Peter Buhr /
detail
- more cleanup of the make-help option
—
Peter Buhr /
detail
- more proofreading of the channel chapter
—
Peter Buhr /
detail
- added beginning of waituntil chapter
—
caparsons /
detail
- Completed next iteration on channel chapter
—
caparsons /
detail
- add compilation flag -mno-outline-atomics on the ARM processor
—
Peter Buhr /
detail
- fixed a bug in mcs implementation and cleaned up a bit
—
caparsons /
detail
- added a small waituntil optimization and added some improvements to statistic collection
—
caparsons /
detail
- added go and cfa waituntil channel benchmarks
—
caparsons /
detail
- small bit of cleanup in waituntil pass
—
caparsons /
detail
- Removed internal code from TypeSubstitution header. It caused a chain of include problems, which have been corrected.
—
ajbeach /
detail
- add short atomic instruction macros
—
Peter Buhr /
detail
- add lock-free stack using double-wide CAS
—
Peter Buhr /
detail
- add new atomic macros to Makefile.am
—
Peter Buhr /
detail
- update header comments
—
Peter Buhr /
detail
- Flesh out "C" array syntax testing.
—
Michael Brooks /
detail
- Address build error from commit a5aa5b.
—
Michael Brooks /
detail
- fix lockfree-stack test on 32-bit
—
Peter Buhr /
detail
- first attempt at renaming directory tests/concurrent to tests/concurrency to harmonize with other concurrency directory names
—
Peter Buhr /
detail
- found further uses of concurrent directory
—
Peter Buhr /
detail
- fix spelling mistake of concurrency
—
Peter Buhr /
detail
- fix comments referring to concurrency directory
—
Peter Buhr /
detail
- Re-enable testing function prototype taking length-star array, working around false GCC warning.
—
Michael Brooks /
detail
- remove/specialize test/Makfile.am variables concurrent/timeout, respectively
—
Peter Buhr /
detail
- update tests/Makefile.am and corresponding Jenkinsfile with more specialized variables
—
Peter Buhr /
detail
- intermediate commit to move some benchmarking to another machine
—
caparsons /
detail
- intermediate runscript to move to benchmarking on another machine
—
caparsons /
detail
- Fixed small whitespace issue.
—
ajbeach /
detail
- Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones.
—
ajbeach /
detail
- add glossary.tex to Makefile dependencies
—
Peter Buhr /
detail
- make glossary abbreviation be newterms
—
Peter Buhr /
detail
- add Golang lstlisting environment
—
Peter Buhr /
detail
- add breaklinks=true to hyperref
—
Peter Buhr /
detail
- second proofread of channels chapter
—
Peter Buhr /
detail
- missing change
—
Peter Buhr /
detail
- update citations in bibliography/pl.bib
—
Peter Buhr /
detail
- add documentation about ARM atomic flag
—
Peter Buhr /
detail
- reduce duration of lock-free stack test on ARM because CASV is very slow on ARM
—
Peter Buhr /
detail
- wording changes in channel chapter
—
Peter Buhr /
detail
- refactored to remove return val from on_selected
—
caparsons /
detail
- refactores to account for removal of ret val from on_selected
—
caparsons /
detail
- missed including in previous commits
—
caparsons /
detail
- commit before pull to resolve merge conflicts
—
caparsons /
detail
- fixed bug where waituntil deadlock could occur
—
caparson /
detail
- fixed merge
—
caparsons /
detail
- worked through Peter's changes to channel chapter
—
caparsons /
detail
- added utility functions for channel exceptions
—
caparsons /
detail
- added some citation and waituntil chapter draft up until performance section
—
caparsons /
detail
- updated plot layout in benchmark scripts
—
caparsons /
detail
- forgot to include this file in previous commit
—
caparsons /
detail
- remove reference to symbol table in unify
—
f37yu /
detail
- fixed build failure
—
caparson /
detail
- renamed some types to make style consistent. fixed race condition in terminated actor detection
—
caparsons /
detail
- refactored test to reflect new naming
—
caparsons /
detail
- refactored allocation enum to match naming style and refactored some verifyf's to be aborts
—
caparsons /
detail
- refactored tests to use new name for allocation enum
—
caparsons /
detail
- refactored thesis actor code to use new lowercase allocation enum name
—
caparsons /
detail
- Make the symbol table's error-checking times explicit.
—
Michael Brooks /
detail
- miscellaneous updates
—
Peter Buhr /
detail
- lower case type names open_failure, close_failure, write_failure, read_failure
—
Peter Buhr /
detail
- make trait names not, equality, relational, additive, inc_dec, multiplicative, arithmetic, lower-case
—
Peter Buhr /
detail
- make type names arithmetic, rational, rat_int lower-case
—
Peter Buhr /
detail
- continue condensing Mubeen's thesis into a paper
—
Peter Buhr /
detail
- harmonize semantic error messages with yacc error messages
—
Peter Buhr /
detail
- Removed some warnings.
—
ajbeach /
detail
- Simplify one of the Pass::visit methods for CompoundStmt. It repeats two lines to move the conditional code into different if clauses.
—
ajbeach /
detail
- Cleaned up namespacing, indentation and whitespacing in Pass.impl.hpp.
—
ajbeach /
detail
- fix error in cc1.cc with repect to missing -dumpbase-ext check
—
Peter Buhr /
detail
- update short atomic macros
—
Peter Buhr /
detail
- lex _static_assert from C23
—
Peter Buhr /
detail
- update comments for special invalid syntax rules
—
Peter Buhr /
detail
- update lockfree stack with double-wide CAS
—
Peter Buhr /
detail
- change font size of text in EHMHierarchy.fig
—
Peter Buhr /
detail
- Improved hoisting. However, I had to change some code because of other errors, so more work will have to be done. Also folded in another invariant for MemberExpr.
—
ajbeach /
detail
- removed unneeded fstream include from locks.hfa
—
caparsons /
detail
- add lstlang.sty dependency to Makefile
—
Peter Buhr /
detail
- update figures changing worker to executor
—
Peter Buhr /
detail
- add glossary entry for gulp
—
Peter Buhr /
detail
- remove unicode hyphens
—
Peter Buhr /
detail
- change default horizontal comment position
—
Peter Buhr /
detail
- add label for inheritance subsection
—
Peter Buhr /
detail
- continue proofreading actor chapter
—
Peter Buhr /
detail
- change urlcolor to blue in hyperref
—
Peter Buhr /
detail
- Clarify and fix accuracy in `eval` public API, on reporting "unable to evaluate."
—
Michael Brooks /
detail
- commit some thesis changes before pull to resolve merge
—
caparsons /
detail
- updated actor-related passes to fix some bugs
—
caparsons /
detail
- cleanup/bugfix actors and fix virtual dtor bug
—
caparsons /
detail
- added new actor test for plan-9 edge case
—
caparsons /
detail
- refactored inherit test to avoid base ctor call bug
—
caparsons /
detail
- added waituntil chapter figures
—
caparsons /
detail
- reformatted a bit of whitespace in mutex stmt chapter
—
caparsons /
detail
- fixed marker issue in data plotting scripts
—
caparsons /
detail
- Lifted _Ostream_Flags out of _Ostream_Manip, so the bitfields do not exist in the polymorphic structure.
—
ajbeach /
detail
- updated invariant flag to be default, can be toggled off with --no-invariant
—
caparsons /
detail
- changes test.py invariant flag to --no-invariant, with the default being on
—
caparsons /
detail
- commented out some debugging code
—
caparsons /
detail
- add back --invariant with --no-invariant as both are needed for toggling
—
Peter Buhr /
detail
- harmonized help messages for --invariant and --no-invariant
—
Peter Buhr /
detail
- Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update.
—
ajbeach /
detail
- Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge.
—
ajbeach /
detail
- Removed duplicate substution code in Autogen.
—
ajbeach /
detail
- changed actors to use bar operator
—
caparsons /
detail
- refactored benchmarks to use actor bar operator
—
caparsons /
detail
- refactored actor tests to use bar operator
—
caparsons /
detail
- add commented alternative option for ARM atomics
—
Peter Buhr /
detail
- add comments for attomic pointer types
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- fix end-of-file bug when checking for I/O errors
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting and comments
—
Peter Buhr /
detail
- add test case to device-driver input
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- change ceiling function to work with negative values
—
Peter Buhr /
detail
- update conflicting type-specifier error-messages
—
Peter Buhr /
detail
- fix bug in gcc conditional expression by cloning omitted operand
—
Peter Buhr /
detail
- update mathX.x86 expected output
—
Peter Buhr /
detail
- Cleaned up namespacing, indentation and whitespacing in Pass.impl.hpp.
—
ajbeach /
detail
- fix error in cc1.cc with repect to missing -dumpbase-ext check
—
Peter Buhr /
detail
- update short atomic macros
—
Peter Buhr /
detail
- lex _static_assert from C23
—
Peter Buhr /
detail
- update comments for special invalid syntax rules
—
Peter Buhr /
detail
- update lockfree stack with double-wide CAS
—
Peter Buhr /
detail
- change font size of text in EHMHierarchy.fig
—
Peter Buhr /
detail
- Improved hoisting. However, I had to change some code because of other errors, so more work will have to be done. Also folded in another invariant for MemberExpr.
—
ajbeach /
detail
- removed unneeded fstream include from locks.hfa
—
caparsons /
detail
- add lstlang.sty dependency to Makefile
—
Peter Buhr /
detail
- update figures changing worker to executor
—
Peter Buhr /
detail
- add glossary entry for gulp
—
Peter Buhr /
detail
- remove unicode hyphens
—
Peter Buhr /
detail
- change default horizontal comment position
—
Peter Buhr /
detail
- add label for inheritance subsection
—
Peter Buhr /
detail
- continue proofreading actor chapter
—
Peter Buhr /
detail
- change urlcolor to blue in hyperref
—
Peter Buhr /
detail
- Clarify and fix accuracy in `eval` public API, on reporting "unable to evaluate."
—
Michael Brooks /
detail
- commit some thesis changes before pull to resolve merge
—
caparsons /
detail
- updated actor-related passes to fix some bugs
—
caparsons /
detail
- cleanup/bugfix actors and fix virtual dtor bug
—
caparsons /
detail
- added new actor test for plan-9 edge case
—
caparsons /
detail
- refactored inherit test to avoid base ctor call bug
—
caparsons /
detail
- added waituntil chapter figures
—
caparsons /
detail
- reformatted a bit of whitespace in mutex stmt chapter
—
caparsons /
detail
- fixed marker issue in data plotting scripts
—
caparsons /
detail
- Lifted _Ostream_Flags out of _Ostream_Manip, so the bitfields do not exist in the polymorphic structure.
—
ajbeach /
detail
- Removed some warnings.
—
ajbeach /
detail
- Simplify one of the Pass::visit methods for CompoundStmt. It repeats two lines to move the conditional code into different if clauses.
—
ajbeach /
detail
- harmonize semantic error messages with yacc error messages
—
Peter Buhr /
detail
- make trait names not, equality, relational, additive, inc_dec, multiplicative, arithmetic, lower-case
—
Peter Buhr /
detail
- make type names arithmetic, rational, rat_int lower-case
—
Peter Buhr /
detail
- continue condensing Mubeen's thesis into a paper
—
Peter Buhr /
detail
- Make the symbol table's error-checking times explicit.
—
Michael Brooks /
detail
- miscellaneous updates
—
Peter Buhr /
detail
- lower case type names open_failure, close_failure, write_failure, read_failure
—
Peter Buhr /
detail
- refactored allocation enum to match naming style and refactored some verifyf's to be aborts
—
caparsons /
detail
- refactored tests to use new name for allocation enum
—
caparsons /
detail
- refactored thesis actor code to use new lowercase allocation enum name
—
caparsons /
detail
- renamed some types to make style consistent. fixed race condition in terminated actor detection
—
caparsons /
detail
- refactored test to reflect new naming
—
caparsons /
detail
- refactored to remove return val from on_selected
—
caparsons /
detail
- refactores to account for removal of ret val from on_selected
—
caparsons /
detail
- missed including in previous commits
—
caparsons /
detail
- commit before pull to resolve merge conflicts
—
caparsons /
detail
- fixed bug where waituntil deadlock could occur
—
caparson /
detail
- fixed merge
—
caparsons /
detail
- worked through Peter's changes to channel chapter
—
caparsons /
detail
- added utility functions for channel exceptions
—
caparsons /
detail
- added some citation and waituntil chapter draft up until performance section
—
caparsons /
detail
- updated plot layout in benchmark scripts
—
caparsons /
detail
- forgot to include this file in previous commit
—
caparsons /
detail
- remove reference to symbol table in unify
—
f37yu /
detail
- fixed build failure
—
caparson /
detail
- wording changes in channel chapter
—
Peter Buhr /
detail
- Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones.
—
ajbeach /
detail
- add glossary.tex to Makefile dependencies
—
Peter Buhr /
detail
- make glossary abbreviation be newterms
—
Peter Buhr /
detail
- add Golang lstlisting environment
—
Peter Buhr /
detail
- add breaklinks=true to hyperref
—
Peter Buhr /
detail
- second proofread of channels chapter
—
Peter Buhr /
detail
- missing change
—
Peter Buhr /
detail
- update citations in bibliography/pl.bib
—
Peter Buhr /
detail
- add documentation about ARM atomic flag
—
Peter Buhr /
detail
- reduce duration of lock-free stack test on ARM because CASV is very slow on ARM
—
Peter Buhr /
detail
- small bit of cleanup in waituntil pass
—
caparsons /
detail
- intermediate commit to move some benchmarking to another machine
—
caparsons /
detail
- intermediate runscript to move to benchmarking on another machine
—
caparsons /
detail
- Fixed small whitespace issue.
—
ajbeach /
detail
- update tests/Makefile.am and corresponding Jenkinsfile with more specialized variables
—
Peter Buhr /
detail
- remove/specialize test/Makfile.am variables concurrent/timeout, respectively
—
Peter Buhr /
detail
- Re-enable testing function prototype taking length-star array, working around false GCC warning.
—
Michael Brooks /
detail
- added go and cfa waituntil channel benchmarks
—
caparsons /
detail
- Removed internal code from TypeSubstitution header. It caused a chain of include problems, which have been corrected.
—
ajbeach /
detail
- add short atomic instruction macros
—
Peter Buhr /
detail
- add lock-free stack using double-wide CAS
—
Peter Buhr /
detail
- add new atomic macros to Makefile.am
—
Peter Buhr /
detail
- update header comments
—
Peter Buhr /
detail
- Flesh out "C" array syntax testing.
—
Michael Brooks /
detail
- Address build error from commit a5aa5b.
—
Michael Brooks /
detail
- fix lockfree-stack test on 32-bit
—
Peter Buhr /
detail
- first attempt at renaming directory tests/concurrent to tests/concurrency to harmonize with other concurrency directory names
—
Peter Buhr /
detail
- found further uses of concurrent directory
—
Peter Buhr /
detail
- fix spelling mistake of concurrency
—
Peter Buhr /
detail
- fix comments referring to concurrency directory
—
Peter Buhr /
detail
- fixed a bug in mcs implementation and cleaned up a bit
—
caparsons /
detail
- added a small waituntil optimization and added some improvements to statistic collection
—
caparsons /
detail
- added beginning of waituntil chapter
—
caparsons /
detail
- Completed next iteration on channel chapter
—
caparsons /
detail
- add compilation flag -mno-outline-atomics on the ARM processor
—
Peter Buhr /
detail
- fix spelling mistake
—
Peter Buhr /
detail
- more cleanup of the make-help option
—
Peter Buhr /
detail
- more proofreading of the channel chapter
—
Peter Buhr /
detail
- changed channel fetch routines to use relaxed atomics
—
caparsons /
detail
- added invariant flag to test makefile
—
caparsons /
detail
- added waituntil timeout test and added waituntil test that uses multiple waituntil primitive types
—
caparsons /
detail
- cleanup up locks files and fixed a minor whitespace issue in preemption.cfa
—
caparsons /
detail
- fixed bug in special OR case for channels and waituntil
—
caparsons /
detail
- fixed bug in waituntil and future interop where signals could be lost
—
caparsons /
detail
- added support for timeouts in waituntil
—
caparsons /
detail
- changed makefile since select has a .cfa now
—
caparsons /
detail
- Added proposal for alternate enumerations that could replace some of the typed enumeration features.
—
ajbeach /
detail
- add make-help option and change parenthesis to braces for variables
—
Peter Buhr /
detail
- removed tests made during deadlock debugging
—
caparsons /
detail
- added back initially failing test and cleaned up other test
—
caparsons /
detail
- added atomic_load to non-MX channel get routines
—
caparsons /
detail
- changed dist-hook rule to use curly braces to access shell vars where it should use them instead of parens
—
caparsons /
detail
- changed variable name in makefile to try and avoid shell command with same name
—
caparsons /
detail
- added atomic to eliminate if failing test deadlock is a staleness issue
—
caparsons /
detail
- Eliminating the busy wait spin at the end seems to resolve deadlock. Added further tests to try and narrow down failure case, and to see if the failure is waituntil specific
—
caparsons /
detail
- more updates for llheap paper
—
Peter Buhr /
detail
- some cleanup and a bunch of changes to support waituntil statement
—
caparsons /
detail
- updated lock interface to support waituntil trait
—
caparsons /
detail
- added support for the waituntil statement in the compiler
—
caparsons /
detail
- added tests for the waituntil stmt
—
caparsons /
detail
- removed clh lock
—
caparsons /
detail
- removed scoped lock
—
caparsons /
detail
- removed old unused benchmark file
—
caparsons /
detail
- removed TODO since it is now done
—
caparsons /
detail
- added waituntil test expect files
—
caparsons /
detail
- formatting, adjust target names for Makefiles
—
Peter Buhr /
detail
- change all-tests to tests to match new make targets
—
Peter Buhr /
detail
- remove unsed cfa-format.tex file
—
Peter Buhr /
detail
- update list of CFA keywords in lstlang.sty
—
Peter Buhr /
detail
- add citations for Actor paper
—
Peter Buhr /
detail
- put keywords in alphabetic order in lex.ll
—
Peter Buhr /
detail
- formatting, add intro chapter to tex dependencies
—
Peter Buhr /
detail
- formatting, small updates
—
Peter Buhr /
detail
- small updates
—
Peter Buhr /
detail
- formatting, small updates
—
Peter Buhr /
detail
- small updates
—
Peter Buhr /
detail
- small updates
—
Peter Buhr /
detail
- start proofreading of channel chapter
—
Peter Buhr /
detail
- remove version count of thesis builds
—
Peter Buhr /
detail
- added 32 bit failure fix for channels
—
caparsons /
detail
- start paper on llheap
—
Peter Buhr /
detail
- small changes to channel chapter
—
Peter Buhr /
detail
- did some cleanup of channels
—
caparsons /
detail
- added a test change to help locate the deadlock on next test failure
—
caparsons /
detail
- added some variations on failing channel test to try and narrow down failure to minimal case. Window for deadlock must be small as it seems to be irreproducible unless during full build + test.
—
caparsons /
detail
- added and removed some tests in pursuit of a more minimal repro of the deadlock failure case
—
caparsons /
detail
- removed uneeded tests
—
caparsons /
detail
- removed potential race to attempt to fix failing test
—
caparsons /
detail
- updated channel and mutex stmt figures
—
caparsons /
detail
- updated plotting scripts with new plot style
—
caparsons /
detail
- added CAP annotation macro
—
caparsons /
detail
- added various small edits and resolved some action items
—
caparsons /
detail
- cleaned up benchmark pseudocode
—
caparsons /
detail
- fixed a bug which may potentially fix build
—
caparsons /
detail
- added zero size channel waituntil test case
—
caparsons /
detail
- refactored tests to refine failure case to minimal repro
—
caparsons /
detail
- removed tests that are redundant
—
caparsons /
detail
- removed some redundant tests and added some instrumentation to help track down bug
—
caparsons /
detail
- added some instrumentation to attempt to glean some insight into optimized away values
—
caparsons /
detail
- Clean up methods for result1/N/Nstmt classes and the padantic pass macros.
—
ajbeach /
detail
- Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa changes is an ongoing TODO
—
caparsons /
detail
- continue working on llheap paper
—
Peter Buhr /
detail
- add Makefile for llheap paper
—
Peter Buhr /
detail
- removed uneeded busy wait
—
caparsons /
detail
- remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly builds to gcc 7-11
—
Peter Buhr /
detail
- change waituntil expression from cast_expression to comma_expression
—
Peter Buhr /
detail
- update comment about locale problem with leaked storage
—
Peter Buhr /
detail
- Clean-up in DeclarationNode.cc. Made all buildList loops the same. The ast::Decl function also got some restructuring, mostly moving code around and into helpers.
—
ajbeach /
detail
- Added IndexIterator, which absorbs some functionality of some MemberIterator types for CurrentObject.
—
ajbeach /
detail
- Adding explination to the memory leak in driver/cfa.cc.
—
ajbeach /
detail
- The test.py (through Makefile) handles --invariant passing it to the build. It passes it through CFAFLAGS which are the caller's additional configuration. This is simpler than creating a config variable and then passing 'invariant=yes' to make (like debug or installed).
—
ajbeach /
detail
- Cleaned up some DeclarationNode code that had some extra code no longer needed because of the translation. Also added a helper function for clarity.
—
ajbeach /
detail
- Cleaned up some indentation in DeclarationNode.h.
—
ajbeach /
detail
- fix PRNG test to work correctly on ARM
—
Peter Buhr /
detail
- fix 32-bit build with new PRNG output
—
Peter Buhr /
detail
- Moved new ast code out of one of the old files. The new file may have to change if SymTab is removed entirely, but for now at least, there is a lot less template code in headers.
—
ajbeach /
detail
- Some SymbolTable clean-up I did while trying a change I didn't go through with.
—
ajbeach /
detail
- Clean-up in the parser %union.
—
ajbeach /
detail
- Updated Iterate.hpp documentation.
—
ajbeach /
detail
- Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it.
—
ajbeach /
detail
- CandidateFinder fills in the CodeLocation on a generated expression. With that and recent changes, the fills seem to be redundent now, so I removed them.
—
ajbeach /
detail
- Update macros in main. DUMP is now a macro to save space/noise and the PASS macro now runs checkInvariants afterwards if --invariant is on.
—
ajbeach /
detail
- Run LL perf with more stable compile flags and run context.
—
mlbrooks /
detail
- Some clean-up in CurrentObject, so that TupleIterator is no longer faking being a AggregateIterator.
—
ajbeach /
detail
- Adjust LL perf to use a random layout of nodes in memory
—
mlbrooks /
detail
- add -invariant/--invariant flag to enable invariant checking during AST passes
—
Peter Buhr /
detail
- add parsing test for waitfor statement
—
Peter Buhr /
detail
- add Kahn74 citation
—
Peter Buhr /
detail
- clean up .gitignore file
—
Peter Buhr /
detail
- update channel chapter intro
—
Peter Buhr /
detail
- Clean-up in parser. ClauseNode rework, plus internal adjustments to reduce extra code and unchecked casts.
—
ajbeach /
detail
- Missed some uses of the new parser helpers.
—
ajbeach /
detail
- Clean-up in CodeLocationTools.
—
ajbeach /
detail
- Added/cleaned some AST comments.
—
ajbeach /
detail
- Run LL perf with more stable compile flags and run context.
—
mlbrooks /
detail
- Some clean-up in CurrentObject, so that TupleIterator is no longer faking being a AggregateIterator.
—
ajbeach /
detail
- Adjust LL perf to use a random layout of nodes in memory
—
mlbrooks /
detail
- add -invariant/--invariant flag to enable invariant checking during AST passes
—
Peter Buhr /
detail
- add parsing test for waitfor statement
—
Peter Buhr /
detail
- add Kahn74 citation
—
Peter Buhr /
detail
- small commits before changing latex macros
—
Peter Buhr /
detail
- updated style to remove some 800-lb gorilla macros
—
caparsons /
detail
- fixed accidental duplicate label
—
caparsons /
detail
- removed uneeded make rules
—
caparsons /
detail
- cleaned up cpp figure
—
caparsons /
detail
- Big cleanup pass. Updated style to get rid of almost all macros. Reformated thesis to match current template. Added newlines at the end of all sentences. Reworked terminology and acronyms to fit new glossary format
—
caparsons /
detail
- fixed citation issue
—
caparsons /
detail
- LL perf: Add comments for rerunning tests
—
mlbrooks /
detail
- LL perf: reduce frequency of using volatile variables.
—
mlbrooks /
detail
- add style file to Makefile dependencies
—
Peter Buhr /
detail
- turn on CFAStyle and make default language
—
Peter Buhr /
detail
- convert to CFAStyle in CFA_intro chapter
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- removed code style and refactored to use cfa code style
—
caparsons /
detail
- proofread CFA-introduction chapter
—
Peter Buhr /
detail
- change citation colour from green to blue
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- proofread CFA-concurrency chapter
—
Peter Buhr /
detail
- add access to LstNumberStyle, make tt font smalled for lst string constants
—
Peter Buhr /
detail
- small corrections
—
Peter Buhr /
detail
- Tweak LL perf compilation--CLI to support a fixed-work mode that does not re-check clock() during the run.
—
mlbrooks /
detail
- Remove mistakenly committed diagnostic output from LL prf.
—
mlbrooks /
detail
- Fix Makefile noise on LL perf rebuild.
—
mlbrooks /
detail
- Apply volatile variable frequency reduction (of fa6ca1ac779b4) to _classic test too.
—
mlbrooks /
detail
- Translated parser to the new ast. This incuded a small fix in the resolver so larger expressions can be used in with statements and some updated tests. errors/declaration just is a formatting update. attributes now actually preserves more attributes (unknown if all versions work).
—
ajbeach /
detail
- Extend LL perf experiment to run on many dataset sizes.
—
mlbrooks /
detail
- More use of the new AST named boolean types.
—
ajbeach /
detail
- ast::SuspendStmt::Type -> ::Kind, this fits the new convention where Type is limited for actual compiler types.
—
ajbeach /
detail
- Split up ParseNode.h so that headers match implementation. May have a bit less to include total because of it.
—
ajbeach /
detail
- Removed members from TupleType. They were only used in one place, CurrentObject. That now has a patch to create its own imaginary members.
—
ajbeach /
detail
- Moved code out of the CurrentObject header.
—
ajbeach /
detail
- Run LL perf with more stable compile flags and run context.
—
mlbrooks /
detail
- add temporary Newterm, PAB macro, save boxes, and lstnewenvironment java
—
Peter Buhr /
detail
- replace latex package subcaption with subfig
—
Peter Buhr /
detail
- proofread chapter mutex_stmt
—
Peter Buhr /
detail
- formatting, replace latex package subcaption with subfig
—
Peter Buhr /
detail
- formatting, replace latex package subcaption with subfig
—
Peter Buhr /
detail
- Some clean-up in CurrentObject, so that TupleIterator is no longer faking being a AggregateIterator.
—
ajbeach /
detail
- Adjust LL perf to use a random layout of nodes in memory
—
mlbrooks /
detail
- add -invariant/--invariant flag to enable invariant checking during AST passes
—
Peter Buhr /
detail
- add temporary Newterm, PAB macro, save boxes, and lstnewenvironment java
—
Peter Buhr /
detail
- replace latex package subcaption with subfig
—
Peter Buhr /
detail
- proofread chapter mutex_stmt
—
Peter Buhr /
detail
- formatting, replace latex package subcaption with subfig
—
Peter Buhr /
detail
- formatting, replace latex package subcaption with subfig
—
Peter Buhr /
detail
- Split up ParseNode.h so that headers match implementation. May have a bit less to include total because of it.
—
ajbeach /
detail
- Removed members from TupleType. They were only used in one place, CurrentObject. That now has a patch to create its own imaginary members.
—
ajbeach /
detail
- Moved code out of the CurrentObject header.
—
ajbeach /
detail
- More use of the new AST named boolean types.
—
ajbeach /
detail
- ast::SuspendStmt::Type -> ::Kind, this fits the new convention where Type is limited for actual compiler types.
—
ajbeach /
detail
- Big cleanup pass. Updated style to get rid of almost all macros. Reformated thesis to match current template. Added newlines at the end of all sentences. Reworked terminology and acronyms to fit new glossary format
—
caparsons /
detail
- fixed citation issue
—
caparsons /
detail
- LL perf: Add comments for rerunning tests
—
mlbrooks /
detail
- LL perf: reduce frequency of using volatile variables.
—
mlbrooks /
detail
- add style file to Makefile dependencies
—
Peter Buhr /
detail
- turn on CFAStyle and make default language
—
Peter Buhr /
detail
- convert to CFAStyle in CFA_intro chapter
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- removed code style and refactored to use cfa code style
—
caparsons /
detail
- proofread CFA-introduction chapter
—
Peter Buhr /
detail
- change citation colour from green to blue
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- proofread CFA-concurrency chapter
—
Peter Buhr /
detail
- add access to LstNumberStyle, make tt font smalled for lst string constants
—
Peter Buhr /
detail
- small corrections
—
Peter Buhr /
detail
- Tweak LL perf compilation--CLI to support a fixed-work mode that does not re-check clock() during the run.
—
mlbrooks /
detail
- Remove mistakenly committed diagnostic output from LL prf.
—
mlbrooks /
detail
- Fix Makefile noise on LL perf rebuild.
—
mlbrooks /
detail
- Apply volatile variable frequency reduction (of fa6ca1ac779b4) to _classic test too.
—
mlbrooks /
detail
- Translated parser to the new ast. This incuded a small fix in the resolver so larger expressions can be used in with statements and some updated tests. errors/declaration just is a formatting update. attributes now actually preserves more attributes (unknown if all versions work).
—
ajbeach /
detail
- Extend LL perf experiment to run on many dataset sizes.
—
mlbrooks /
detail
- added channel tests that use new termination feature
—
caparson /
detail
- updated actor header to use better name for stat toggling
—
caparson /
detail
- cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa
—
caparson /
detail
- added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around
—
caparson /
detail
- added go counterpart to cfa benchmarks
—
caparson /
detail
- updated plotting and run scripts for channel benchmarks
—
caparson /
detail
- fixed build issue caused by globals
—
caparsons /
detail
- added figures for mutex stmt and channels
—
caparsons /
detail
- did more editing, finished first draft of mutex stmt and channel chapters, added brief intro
—
caparsons /
detail
- clean up waituntil grammar
—
Peter Buhr /
detail
- Add linked list performance experiment
—
Michael Brooks /
detail
- LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine.
—
mlbrooks /
detail
- Removed unneeded include. Should fix failing channels/churn test.
—
caparsons /
detail
- small commits before changing latex macros
—
Peter Buhr /
detail
- updated style to remove some 800-lb gorilla macros
—
caparsons /
detail
- fixed accidental duplicate label
—
caparsons /
detail
- removed uneeded make rules
—
caparsons /
detail
- cleaned up cpp figure
—
caparsons /
detail
- added channel tests that use new termination feature
—
caparson /
detail
- updated actor header to use better name for stat toggling
—
caparson /
detail
- cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa
—
caparson /
detail
- added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around
—
caparson /
detail
- added go counterpart to cfa benchmarks
—
caparson /
detail
- updated plotting and run scripts for channel benchmarks
—
caparson /
detail
- fixed build issue caused by globals
—
caparsons /
detail
- added figures for mutex stmt and channels
—
caparsons /
detail
- did more editing, finished first draft of mutex stmt and channel chapters, added brief intro
—
caparsons /
detail
- clean up waituntil grammar
—
Peter Buhr /
detail
- Add linked list performance experiment
—
Michael Brooks /
detail
- LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine.
—
mlbrooks /
detail
- Removed unneeded include. Should fix failing channels/churn test.
—
caparsons /
detail
- small commits before changing latex macros
—
Peter Buhr /
detail
- LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine.
—
mlbrooks /
detail
- Removed unneeded include. Should fix failing channels/churn test.
—
caparsons /
detail
- added channel tests that use new termination feature
—
caparson /
detail
- updated actor header to use better name for stat toggling
—
caparson /
detail
- cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa
—
caparson /
detail
- added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around
—
caparson /
detail
- added go counterpart to cfa benchmarks
—
caparson /
detail
- updated plotting and run scripts for channel benchmarks
—
caparson /
detail
- fixed build issue caused by globals
—
caparsons /
detail
- added figures for mutex stmt and channels
—
caparsons /
detail
- did more editing, finished first draft of mutex stmt and channel chapters, added brief intro
—
caparsons /
detail
- clean up waituntil grammar
—
Peter Buhr /
detail
- Add linked list performance experiment
—
Michael Brooks /
detail
- LL perf: Upgrade the results' dataset to have more runs of longer duration from a quiet machine.
—
mlbrooks /
detail
- proofread Mike's list chapter
—
Peter Buhr /
detail
- added padding to channel to prevent false sharing that was occurring
—
caparson /
detail
- minor changes to channel test harness
—
caparson /
detail
- print unimplemented error for forall in typedef
—
Peter Buhr /
detail
- update call.cfa.in with generic casts for io-uring field types
—
Peter Buhr /
detail
- Removed unused (debug only?) code. If you want to change how GenStructMemberCalls handles errors you may just need to write a local helper.
—
ajbeach /
detail
- Added printing of with clauses to the printing of both new and old ast nodes.
—
ajbeach /
detail
- cleaned up exp_backoff lock and rewrote parts of channels to improve performance
—
caparson /
detail
- added two other channel variations to channel file
—
caparsons /
detail
- various edits and cleanup and added mutexstmt chapter
—
caparsons /
detail
- added WIP channels chapter
—
caparsons /
detail
- added first channel bench and copied over scripts that will need to be edited for channel usage. intermediate commit so that benchmarks can be pulled and run on another server
—
caparsons /
detail
- some mutex stmt benchmark cleanup
—
caparsons /
detail
- update interpose code, and document 32-bit interpose bug in glibc
—
Peter Buhr /
detail
- trying to get Jenkins Promote to work with new credentials
—
caparsons /
detail
- Moved toString and toCString to a new header. Updated includes. cassert was somehow getting instances of toString before but that stopped working so I embedded the new smaller include.
—
ajbeach /
detail
- Looks like we missed one of the ast 'should be in every derived class' declarations.
—
ajbeach /
detail
- formatting, add new waituntil grammar, rewrite waitfor grammar, simplify waitfor build-routines to match new grammar
—
Peter Buhr /
detail
- deprecated qualifiers/specifiers before TYPEDEF
—
Peter Buhr /
detail
- forgot to add to last commit
—
Peter Buhr /
detail
- added channel tests that use new termination feature
—
caparson /
detail
- updated actor header to use better name for stat toggling
—
caparson /
detail
- cleaned up channel, added safety/productivity features to channels. added go style spin/block lock. small cleanup in locks.hfa
—
caparson /
detail
- added all cfa benchmarks, contend is the only one used in the thesis, but other may be used later so Im keeping them around
—
caparson /
detail
- added go counterpart to cfa benchmarks
—
caparson /
detail
- updated plotting and run scripts for channel benchmarks
—
caparson /
detail
- fixed build issue caused by globals
—
caparsons /
detail
- added figures for mutex stmt and channels
—
caparsons /
detail
- did more editing, finished first draft of mutex stmt and channel chapters, added brief intro
—
caparsons /
detail
- clean up waituntil grammar
—
Peter Buhr /
detail
- Add linked list performance experiment
—
Michael Brooks /
detail
- Moved toString and toCString to a new header. Updated includes. cassert was somehow getting instances of toString before but that stopped working so I embedded the new smaller include.
—
ajbeach /
detail
- Looks like we missed one of the ast 'should be in every derived class' declarations.
—
ajbeach /
detail
- formatting, add new waituntil grammar, rewrite waitfor grammar, simplify waitfor build-routines to match new grammar
—
Peter Buhr /
detail
- deprecated qualifiers/specifiers before TYPEDEF
—
Peter Buhr /
detail
- forgot to add to last commit
—
Peter Buhr /
detail
- trying to get Jenkins Promote to work with new credentials
—
caparsons /
detail
- update interpose code, and document 32-bit interpose bug in glibc
—
Peter Buhr /
detail
- cleaned up exp_backoff lock and rewrote parts of channels to improve performance
—
caparson /
detail
- added two other channel variations to channel file
—
caparsons /
detail
- various edits and cleanup and added mutexstmt chapter
—
caparsons /
detail
- added WIP channels chapter
—
caparsons /
detail
- added first channel bench and copied over scripts that will need to be edited for channel usage. intermediate commit so that benchmarks can be pulled and run on another server
—
caparsons /
detail
- some mutex stmt benchmark cleanup
—
caparsons /
detail
- update call.cfa.in with generic casts for io-uring field types
—
Peter Buhr /
detail
- Removed unused (debug only?) code. If you want to change how GenStructMemberCalls handles errors you may just need to write a local helper.
—
ajbeach /
detail
- Added printing of with clauses to the printing of both new and old ast nodes.
—
ajbeach /
detail
- remove SKULLDUGGERY dealing with CFA typedef numbering problem
—
Peter Buhr /
detail
- add missing comma for citation field
—
Peter Buhr /
detail
- refactored to use generators for seeding state, added splitmix32 for 32 bit seeding
—
caparsons /
detail
- fixed merge conflict
—
caparsons /
detail
- updated expect files for prng based tests
—
caparsons /
detail
- added splitmix64 since wyhash has 128 bit dependency and xoshiro doesnt
—
caparsons /
detail
- small comment cleanup
—
caparsons /
detail
- use splitmix32/64 to prime set seed for all PRNG
—
Peter Buhr /
detail
- update 32-bit tests after change to PRNG
—
Peter Buhr /
detail
- Removed list initialization and simple assignment expression rules for functions. Split variable_type_redeclarator rule into variable_type_redeclarator and function_type_redeclarator rules
—
mganesan /
detail
- proofread Mike's list chapter
—
Peter Buhr /
detail
- added padding to channel to prevent false sharing that was occurring
—
caparson /
detail
- minor changes to channel test harness
—
caparson /
detail
- print unimplemented error for forall in typedef
—
Peter Buhr /
detail
- remove SKULLDUGGERY dealing with CFA typedef numbering problem
—
Peter Buhr /
detail
- add missing comma for citation field
—
Peter Buhr /
detail
- refactored to use generators for seeding state, added splitmix32 for 32 bit seeding
—
caparsons /
detail
- fixed merge conflict
—
caparsons /
detail
- updated expect files for prng based tests
—
caparsons /
detail
- added splitmix64 since wyhash has 128 bit dependency and xoshiro doesnt
—
caparsons /
detail
- small comment cleanup
—
caparsons /
detail
- use splitmix32/64 to prime set seed for all PRNG
—
Peter Buhr /
detail
- update 32-bit tests after change to PRNG
—
Peter Buhr /
detail
- Removed list initialization and simple assignment expression rules for functions. Split variable_type_redeclarator rule into variable_type_redeclarator and function_type_redeclarator rules
—
mganesan /
detail
- proofread Mike's list chapter
—
Peter Buhr /
detail
- added mutex stmt benchmarking
—
caparsons /
detail
- added diagram subdir for thesis
—
caparsons /
detail
- added actor performance graph plotting script
—
caparsons /
detail
- committing current actor figures, will overwrite as benchmarks are rerun later
—
caparsons /
detail
- cleaned up data files
—
caparsons /
detail
- added baseline mutex stmt and scoped lock benchmarks
—
caparsons /
detail
- added plotting script for mutexstmt benchmarks
—
caparsons /
detail
- moved existing diagrams to diagram dir
—
caparsons /
detail
- updated mutex stmt run script and header for cpp variant
—
caparsons /
detail
- various additions to thesis, finished first draft of actor chapter (lots of polish needed), added first draft of intro to CFA features & intro to CFA threading, added start of mutex stmt chapter
—
caparsons /
detail
- made generated finally routine inline to allow for better optimization
—
caparsons /
detail
- a little bit of mutex stmt header cleanup
—
caparsons /
detail
- Fixed some whitespace.
—
ajbeach /
detail
- added randomized lock ordering bench for mutexstmt
—
caparsons /
detail
- updated runscript and shared header for rand bench
—
caparsons /
detail
- renamed baseline bench and added separate cluster to cfa benchmark to avoid main thread starvation issue
—
caparsons /
detail
- remove SKULLDUGGERY dealing with CFA typedef numbering problem
—
Peter Buhr /
detail
- add missing comma for citation field
—
Peter Buhr /
detail
- refactored to use generators for seeding state, added splitmix32 for 32 bit seeding
—
caparsons /
detail
- fixed merge conflict
—
caparsons /
detail
- updated expect files for prng based tests
—
caparsons /
detail
- added splitmix64 since wyhash has 128 bit dependency and xoshiro doesnt
—
caparsons /
detail
- small comment cleanup
—
caparsons /
detail
- use splitmix32/64 to prime set seed for all PRNG
—
Peter Buhr /
detail
- update 32-bit tests after change to PRNG
—
Peter Buhr /
detail
- Removed list initialization and simple assignment expression rules for functions. Split variable_type_redeclarator rule into variable_type_redeclarator and function_type_redeclarator rules
—
mganesan /
detail
- Fixed some whitespace.
—
ajbeach /
detail
- added randomized lock ordering bench for mutexstmt
—
caparsons /
detail
- updated runscript and shared header for rand bench
—
caparsons /
detail
- renamed baseline bench and added separate cluster to cfa benchmark to avoid main thread starvation issue
—
caparsons /
detail
- added diagram subdir for thesis
—
caparsons /
detail
- added actor performance graph plotting script
—
caparsons /
detail
- committing current actor figures, will overwrite as benchmarks are rerun later
—
caparsons /
detail
- cleaned up data files
—
caparsons /
detail
- added baseline mutex stmt and scoped lock benchmarks
—
caparsons /
detail
- added plotting script for mutexstmt benchmarks
—
caparsons /
detail
- moved existing diagrams to diagram dir
—
caparsons /
detail
- updated mutex stmt run script and header for cpp variant
—
caparsons /
detail
- various additions to thesis, finished first draft of actor chapter (lots of polish needed), added first draft of intro to CFA features & intro to CFA threading, added start of mutex stmt chapter
—
caparsons /
detail
- made generated finally routine inline to allow for better optimization
—
caparsons /
detail
- a little bit of mutex stmt header cleanup
—
caparsons /
detail
- added mutex stmt benchmarking
—
caparsons /
detail
- added mutex stmt benchmarking
—
caparsons /
detail
- cleaned up some lock stuff
—
caparson /
detail
- Fix casted enum init
—
j82liang /
detail
- major update of PRNG
—
Peter Buhr /
detail
- parse enumerated dimension
—
Peter Buhr /
detail
- 32-bit update of PRNG
—
Peter Buhr /
detail
- change type of yield parameter from unsigned int to size_t
—
Peter Buhr /
detail
- remove unsigned cast for prng calls
—
Peter Buhr /
detail
- parse CFA dimension-list with types
—
Peter Buhr /
detail
- Explicitly zero initialize the intrusive link fields
—
Thierry Delisle /
detail
- changes to PRNG types to eliminate casts
—
Peter Buhr /
detail
- Small fix to the exception header, the wrong trait was used in one place.
—
ajbeach /
detail
- Minimal changes to pull out nested types, TypeInstType::TypeEnvKey and TypeDecl::Data (now TypeData) from there parent types. Although they do connect to the parent types they were nested in they are used on their own most of the time.
—
ajbeach /
detail
- Follow up to TypeEnvKey/TypeDecl, removing extra includes (but I only found one).
—
ajbeach /
detail
- Last corrections to my thesis... hopefully
—
Thierry Delisle /
detail
- fixed some tiny issues in the bibtex
—
Thierry Delisle /
detail
- Cleaning old box pass for easier translation. Again, this loop confuses me. Some other general clean-up.
—
ajbeach /
detail
- Cleaning old box pass for easier translation. I believe I have an explination for why the confusing loop works.
—
ajbeach /
detail
- Changed fairness tests to use sched_yield in case exhausting the time slice is what causing test failures
—
Thierry Delisle /
detail
- generalization of PRNG
—
Peter Buhr /
detail
- Changes needed for UWSpace
—
Thierry Delisle /
detail
- remove 32-bit use of lehmer64, which requires __uint128_t
—
Peter Buhr /
detail
- Cleaning old box pass for easier translation. Removing another out parameter.
—
ajbeach /
detail
- formatting
—
Peter Buhr /
detail
- formatting, switch to typedef for PRNG complex state
—
Peter Buhr /
detail
- Added test that stresses more how we link anonymous types
—
Thierry Delisle /
detail
- Updating gdb tools to latest invoke.h changes
—
Thierry Delisle /
detail
- Forgot to commit the changes to the Makefile
—
Thierry Delisle /
detail
- Clean-up from my investigation on the __anonymous issue. The parser change improves highlighting.
—
ajbeach /
detail
- Added more stats
—
Thierry Delisle /
detail
- change all PRNG to prime the PRNG state in set_seed with the given seed
—
Peter Buhr /
detail
- update documentation
—
Peter Buhr /
detail
- adjust PRNG types from size_t to uint32_t/uint64_t
—
Peter Buhr /
detail
- add missing parenthesis in KISS PRNG
—
Peter Buhr /
detail
- formatting, remove unnecessary temporary variable in prng function
—
Peter Buhr /
detail
- add comments
—
Peter Buhr /
detail
- small lock cleanup
—
caparson /
detail
- added/fixed lock tests
—
caparson /
detail
- more lock cleanup
—
caparson /
detail
- added helping and lock to allow remote processors to flush unresponsive procs
—
Thierry Delisle /
detail
- added convoy analysis script and sample data
—
caparsons /
detail
- small CLI changes to convoy script
—
caparsons /
detail
- Changed bounded buffer tests to use prng, which has better defined multi-threaded behavior
—
Thierry Delisle /
detail
- Moved parsing code out of main into the parsing directly, as an organizational improvement. The new files use the new naming convention, and should be converted to the new AST.
—
ajbeach /
detail
- Removed extra scope calls in the new Pass. Added some documentation on the core's possible special members.
—
ajbeach /
detail
- Cleaning old box pass for easier translation. Cleaning unused code out of Pass3, it was tracking information it never used.
—
ajbeach /
detail
- added single run mode and added sample for single run to data
—
caparsons /
detail
- Forgot that prng used different algorithm on 32bit
—
Thierry Delisle /
detail
- Cleaning old box pass for easier translation. Renamed the numbered sub-passes.
—
ajbeach /
detail
- changed algorithm to approximation since max cycle finding is NP-hard
—
caparsons /
detail
- Moved the 'Hoist Type Decls' pass up because it establishes some (not as enforced) invariants about everything being reachable by ptrs.
—
ajbeach /
detail
- formatting, switch to XOSHIRO256PP/XOSHIRO128PP as the 64/32-bit default PRNG, fix kiss_64 shifts
—
Peter Buhr /
detail
- change printing format in PRNG, update .expect for tests using PRNG
—
Peter Buhr /
detail
- update 32-bit .expect for tests using PRNG
—
Peter Buhr /
detail
- Moved new to old ast conversion up into the RunParser module. As far as main is concerned the new ast is used from the beginning (except for LinkageSpec::Spec).
—
ajbeach /
detail
- Adjusted -Pasterr so it works while using the new ast. Removed the -Ptree option as it doesn't seem to work and no one uses it.
—
ajbeach /
detail
- Reorganize ScrubTyVars, the Node specialization trick is redundent when there are three functions with the same base.
—
ajbeach /
detail
- change spinlock atomics to ATOMIC_ACQUIRE/RELEASE, increase alignment of FreeHeader elements, change counter types from int64_t to ptrdiff_t/size_t, fix bug allocating heapManager arrays, move return push counters
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add cast from int to unsigned
—
Peter Buhr /
detail
- Cleaning old box pass for easier translation. Compacting one of the functions to save space.
—
ajbeach /
detail
- Should silence a GCC 12 warning.
—
ajbeach /
detail
- __pass::get_result -> __pass::result::get for consistency with the other proto helpers.
—
ajbeach /
detail
- fixed clh bug where you couldn't hold more than 1 clh lock at once
—
caparsons /
detail
- add Scott13 citation to pl.bib
—
Peter Buhr /
detail
- remove all uses of __USE_GNU
—
Peter Buhr /
detail
- added new future and added rudimentary select statement support for it
—
caparsons /
detail
- added select to includes
—
caparsons /
detail
- added and updated future tests
—
caparsons /
detail
- small update to configure scripts, which should help for ubuntu 22.04
—
Thierry Delisle /
detail
- More small autoconf tweaks
—
Thierry Delisle /
detail
- fixed race condition in select_future test to fix build failure
—
caparsons /
detail
- small future touchups
—
caparsons /
detail
- Some cleanup in RenameVars.cc.
—
ajbeach /
detail
- refactored naming for lock to be more accurate and cleaned up REACQ nonsense in locks.hfa
—
caparsons /
detail
- renamed tests to match naming refactor
—
caparsons /
detail
- moved unified locking tests to be under concurrent directory since they probably should have been there this whole time
—
caparsons /
detail
- missed another lock name refactor in the earlier commit
—
caparsons /
detail
- commit expect files for the unified locking dir move
—
caparsons /
detail
- moved unified_locking test dir to be under concurrent
—
caparsons /
detail
- added channel impl with basic test. Will expand impl and tests soon
—
caparsons /
detail
- removed accidentally committed a.out
—
caparsons /
detail
- added expect for channel test
—
caparsons /
detail
- made changes to support zero-size channels
—
caparsons /
detail
- added another channel test and refactored the existing one to reuse code
—
caparsons /
detail
- refactored name of channel test to remove channel from the name
—
caparsons /
detail
- remove unused expect file due to renaming
—
caparsons /
detail
- removed file accidentally included in earlier commit
—
caparsons /
detail
- fixed makefile for tests by adding appropriate includes
—
caparsons /
detail
- Clean-up in the name mangler.
—
ajbeach /
detail
- Fix CodeGen for function type enum
—
j82liang /
detail
- fixed parameters for test to eliminate deadlock case
—
caparsons /
detail
- fixed termination synchronization in the channel benchmark to get rid of deadlock case
—
caparsons /
detail
- Clean up some code related to Enum codegen
—
j82liang /
detail
- removed unneeded dependency that broke build
—
caparsons /
detail
- Cleaning old box pass for easier translation. Removed an unused variables, reduced cloning and reduced the indent in passAdapters.
—
ajbeach /
detail
- Header Clean-up: Clearing out typeops, moving things to Unify because that header already exist.
—
ajbeach /
detail
- Header Clean-up: Moved more things from typeops to Unify.
—
ajbeach /
detail
- Header Clean-up: Moving more declarations to the header of the implementation file.
—
ajbeach /
detail
- Header Clean-Up: Created new headers for new AST typeops and moved declarations.
—
ajbeach /
detail
- Header Clean-up: Removed no longer needed includes from typeops, and one from Node.
—
ajbeach /
detail
- add keyword waituntil, add parsing stub for static declarations in aggregates
—
Peter Buhr /
detail
- small lock cleanup to remove unused field on spin_queue_lock
—
caparsons /
detail
- added actor support to the compiler
—
caparsons /
detail
- ported uC++-style actor system
—
caparsons /
detail
- added two actor tests. More to come
—
caparsons /
detail
- added expect files for actor tests
—
caparsons /
detail
- cleaned up actor matrix test a bit
—
caparsons /
detail
- Fixed decl before use issue with actors sending messages to other actors
—
caparsons /
detail
- added pingpong test
—
caparsons /
detail
- print better error message when semi-colon missing after aggregate
—
Peter Buhr /
detail
- change 0 to nullptr
—
Peter Buhr /
detail
- add alternate syntax using forall with trait
—
Peter Buhr /
detail
- temporary fix to correct build error, fix in actor pass to come later
—
caparsons /
detail
- simply grammar for forall with trait
—
Peter Buhr /
detail
- added missing header
—
caparsons /
detail
- Added appropriate fwd decl hoisting to ensure there are no use before decl issues with the actor send operator
—
caparsons /
detail
- fixed non-inline actor/message bug and cleaned up Actor pass
—
caparsons /
detail
- reverted changes to types.cfa now that I fixed the underlying bug and added static send actor test
—
caparsons /
detail
- added dynamic allocation actor test
—
caparsons /
detail
- added envelope copying to avoid allocations
—
caparsons /
detail
- added executor test
—
caparsons /
detail
- fixed bug where I used buffer as a stack not a queue
—
caparsons /
detail
- updated test params so that they ran for appropriate duration
—
caparsons /
detail
- added support for copying envelopes in generated | routine
—
caparsons /
detail
- intermediate push so I can move to nasus to performance test some stuff
—
caparsons /
detail
- Updated ScopedMap to use the layout of ErasableScopedMap; putting the iterator details at the end of the file.
—
ajbeach /
detail
- Fixed indentation in ScopedSet and moved the iterator details to the bottom of the file.
—
ajbeach /
detail
- Fixed clang++-10 error. One of the problem functions was never used and may not add functionality, it was removed. The other was simply moved, although changing it might be better, that was not working as a quick fix.
—
ajbeach /
detail
- switch from old trait syntax to new trait syntax using forall clause
—
Peter Buhr /
detail
- Fixed a clang warning and cleaned up the rest of the function.
—
ajbeach /
detail
- Added contains to some of our containers. Also changed some code to use the new method.
—
ajbeach /
detail
- Replaced ScopedMap::erase with a version that should avoid the order of declaration problems and also better reflects how it is actually used.
—
ajbeach /
detail
- change test forall.cfa from compilation only to execution
—
Peter Buhr /
detail
- formatting, add bibliography entries for Actor paper
—
Peter Buhr /
detail
- fix documentation
—
Peter Buhr /
detail
- This should fix the issues with building with older gcc versions.
—
ajbeach /
detail
- added support for copy based envelopes
—
caparson /
detail
- Cleaning old box pass for easier translation. Added guards to cut down on some leaking (and luckily ignored) information.
—
ajbeach /
detail
- update Csharp macro, remove pslatex package and replace with helvet, add vs (versus) macro, add VRefrange macros
—
Peter Buhr /
detail
- Removed CompilerError and UnimplementedError
—
mganesan /
detail
- Added some box pass utilities that I believe are working and I don't want to look at all the time.
—
ajbeach /
detail
- add Actor and work-stealing citations, change inproceedings booktitle to organization
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting, minor expression restructuring
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add include bits/debug.hfa for verify function
—
Peter Buhr /
detail
- remove explicit declaration of accept4 function
—
Peter Buhr /
detail
- Added some notes to porting.md.
—
ajbeach /
detail
- RunParser now uses AST for its interface everywhere. (Works because LinkageSpec::Spec and ast::Linkage::Spec have the same layout.)
—
ajbeach /
detail
- Split the forward include namespace from the declaration namespace in Pass.proto.hpp. Used nested namespace to for the declaration namespace as well.
—
ajbeach /
detail
- Updated indentation in Pass.proto.hpp.
—
ajbeach /
detail
- Moved parser utility from common utility file to the parserutility file.
—
ajbeach /
detail
- make _GNU_SOURCE default, change IO to use __SOCKADDR_ARG and __CONST_SOCKADDR_ARG, move sys/socket.h to first include because of anonymous naming problem
—
Peter Buhr /
detail
- isolate error variable declaration
—
Peter Buhr /
detail
- add explicit cast of with function exp10
—
Peter Buhr /
detail
- remove unnecessary #define for _XOPEN_SOURCE 600
—
Peter Buhr /
detail
- update printing attributes, clean up anon flag setting, move attribute transparent_union from typedef to its union alias
—
Peter Buhr /
detail
- fix build problem
—
Peter Buhr /
detail
- Some clean-up in Common/utility.h. Deleted some unused declarations and moved others to one of two new headers.
—
ajbeach /
detail
- clean up #include files
—
Peter Buhr /
detail
- remove comment about _GNU_SOURCE
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- remove use of _GNU_SOURCE and RTLD_NEXT to provide alternate means for interposing
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- make CV qualifiers on empty SUE declaration an error, gcc only has a warning
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- print enumeration type-name in print member
—
Peter Buhr /
detail
- comment out ifaddrs.h in #include file test because it is breaking the build
—
Peter Buhr /
detail
- Remove the unused DeclarationNode::Attr_t type and support.
—
ajbeach /
detail
- partial commit to move theses framework to plg
—
caparson /
detail
- rest of partial commit to move WIP thesis to plg
—
caparson /
detail
- Made some of the AST/Print helpers public.
—
ajbeach /
detail
- make anonymous struct declaration static
—
Peter Buhr /
detail
- update expected test output after declaring anonymous structs static
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- copy typedef name to SUE name for anonymous SUE
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- parser rejects useless type qualifier in empty declaration, and extern anonymous SUE declarations, switch from bitset val to any(), reset()
—
Peter Buhr /
detail
- temporary exclusion of include files causing build failure
—
Peter Buhr /
detail
- update expected test output for 32-bit
—
Peter Buhr /
detail
- update expected test output for arm64
—
Peter Buhr /
detail
- update from old to new trait syntax using forall
—
Peter Buhr /
detail
- generate error for empty mutex argument list
—
Peter Buhr /
detail
- change BadQualifiersZeroOne warning from dubious print of specified qualifer(s) to a generic message
—
Peter Buhr /
detail
- remove warnings for incorrect usage of SuperfluousElse and DeprecTraitSyntax in parser
—
Peter Buhr /
detail
- restructure #include files because issues with attribute transparent_union are resolved
—
Peter Buhr /
detail
- Thought of new channel implementation while working on the prevention paper. Resulted in 30%+ greater throughput so impl is now switched to that.
—
caparson /
detail
- added figures, code examples and more to thesis stuff. wrote many more pages on actors
—
caparsons /
detail
- Add comments about arpk internals.
—
Michael Brooks /
detail
- Repair bad commit ad2424. Put back `ix0` definition that was removed by mistake.
—
Michael Brooks /
detail
- move assert(env) to appropriate location
—
Peter Buhr /
detail
- fix errors on interpose code for libc and libpthread
—
Peter Buhr /
detail
- Explicity initialized the fields of ResolveCopyCtors. This may account for the inconsistent behaviour of the assert and should prevent anything similar happening in the future.
—
ajbeach /
detail
- expunge all rseq code from runtime
—
Peter Buhr /
detail
- added some safety/productivity features and some stats
—
caparson /
detail
- changed actor send from | operator to << operator to avoid conflict with iostream
—
caparsons /
detail
- changed actor tests to reflect syntax change and some small changes due to other features
—
caparsons /
detail
- small comment cleanup
—
caparsons /
detail
- fixed div by zero bug in actor stats, cleaned up includes, changed to work steal mode for tests
—
caparsons /
detail
- added poison pill messages and made test for them
—
caparsons /
detail
- added test case to types test and refactored to remove redundant ctor calls
—
caparsons /
detail
- missed this in prev commit
—
caparsons /
detail
- changed some stat collection for actors and attempted to fix matrix.cfa related bug
—
caparsons /
detail
- fixed failing dynamic.cfa test
—
caparsons /
detail
- added caf/uC++/proto benchmarks
—
caparson /
detail
- added cfa benchmarks
—
caparson /
detail
- added timing header and cleaned up benchmarks
—
caparson /
detail
- added caf benchmarks
—
caparson /
detail
- updated run script and plotting script
—
caparson /
detail
- some actor cleanup/optimizations
—
caparson /
detail
- added data files for tables in thesis
—
caparson /
detail
- added latex compatible output format
—
caparson /
detail
- added data files needed to generate plots/tables
—
caparson /
detail
- changed default number of sends for CAF sendstatic
—
caparson /
detail
- fixed matrix.cfa test error by reworking globals to avoid spurious dtor calls
—
caparsons /
detail
- added data files for memory footprint benchmark
—
caparson /
detail
- After many red herrings I think the race between checking a message and shutdown is the true cause of the matrix.cfa bug and should be fixed
—
caparsons /
detail
- added plotting script support for memory footprint bench
—
caparson /
detail
- Pre-translation pass on the parser. Entirely code readability improvements, no behaviour (on a larger scale) should be effected.
—
ajbeach /
detail
- Make sure fields of the TranslationUnit, and its TranslationGlobal component, are initialized.
—
ajbeach /
detail
- Preventing NullStmts from being added into ForCtrl ended up being a larger rework as some timing issues caused problems. However, the NullStmts are mostly gone now along with the extra hosting they caused.
—
ajbeach /
detail
- add test for problem with anonymous naming across compilation units
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add name for lstlisting numbering style
—
Peter Buhr /
detail
- update multiple citations
—
Peter Buhr /
detail
- add #pragma once to .h and .hfa files
—
Peter Buhr /
detail
- add newline at end of file
—
Peter Buhr /
detail
- formatting, remove unnecessary #include files and code
—
Peter Buhr /
detail
- formatting, rework interpose code (again), remove unnecessary #include files, temporary patch to fix 32-bit build problem using _GNU_SOURCE
—
Peter Buhr /
detail
- small formatting changes after Andrew's major updates
—
Peter Buhr /
detail
- remove unnecessary code, add action to not duplicate aggregate (work in progress)
—
Peter Buhr /
detail
- comment out #pragma once to fix build
—
Peter Buhr /
detail
- Removing some indent changes in parser. These can go in later, but hopefully this will avoid conflicts with the translation.
—
ajbeach /
detail
- add comment about why no #pragma once
—
Peter Buhr /
detail
- cleaned up actor pass and added virtual destructor pass
—
caparsons /
detail
- added libcfa support for virtual dtors and added it to actor impl
—
caparsons /
detail
- added virtual dtor test to actor test suite, updated other relevant tests accordingly
—
caparsons /
detail
- added better x tick marks in plotting script
—
caparsons /
detail
- Whitespace clean-up in Makefile.
—
ajbeach /
detail
- This should get some of the Parser changes working on older compilers.
—
ajbeach /
detail
- Support P9_EMBEDDED annotations inside functions and at more flexible places.
—
Michael Brooks /
detail
- Start of the linked-list chapter.
—
Michael Brooks /
detail
- Support P9_EMBEDDED annotations inside functions and at more flexible places.
—
Michael Brooks /
detail
- Start of the linked-list chapter.
—
Michael Brooks /
detail
- move assert(env) to appropriate location
—
Peter Buhr /
detail
- fix errors on interpose code for libc and libpthread
—
Peter Buhr /
detail
- Explicity initialized the fields of ResolveCopyCtors. This may account for the inconsistent behaviour of the assert and should prevent anything similar happening in the future.
—
ajbeach /
detail
- expunge all rseq code from runtime
—
Peter Buhr /
detail
- added some safety/productivity features and some stats
—
caparson /
detail
- changed actor send from | operator to << operator to avoid conflict with iostream
—
caparsons /
detail
- changed actor tests to reflect syntax change and some small changes due to other features
—
caparsons /
detail
- small comment cleanup
—
caparsons /
detail
- fixed div by zero bug in actor stats, cleaned up includes, changed to work steal mode for tests
—
caparsons /
detail
- added poison pill messages and made test for them
—
caparsons /
detail
- added test case to types test and refactored to remove redundant ctor calls
—
caparsons /
detail
- missed this in prev commit
—
caparsons /
detail
- changed some stat collection for actors and attempted to fix matrix.cfa related bug
—
caparsons /
detail
- fixed failing dynamic.cfa test
—
caparsons /
detail
- added caf/uC++/proto benchmarks
—
caparson /
detail
- added cfa benchmarks
—
caparson /
detail
- added timing header and cleaned up benchmarks
—
caparson /
detail
- added caf benchmarks
—
caparson /
detail
- updated run script and plotting script
—
caparson /
detail
- some actor cleanup/optimizations
—
caparson /
detail
- added data files for tables in thesis
—
caparson /
detail
- added latex compatible output format
—
caparson /
detail
- added data files needed to generate plots/tables
—
caparson /
detail
- changed default number of sends for CAF sendstatic
—
caparson /
detail
- fixed matrix.cfa test error by reworking globals to avoid spurious dtor calls
—
caparsons /
detail
- added data files for memory footprint benchmark
—
caparson /
detail
- After many red herrings I think the race between checking a message and shutdown is the true cause of the matrix.cfa bug and should be fixed
—
caparsons /
detail
- added plotting script support for memory footprint bench
—
caparson /
detail
- Pre-translation pass on the parser. Entirely code readability improvements, no behaviour (on a larger scale) should be effected.
—
ajbeach /
detail
- Make sure fields of the TranslationUnit, and its TranslationGlobal component, are initialized.
—
ajbeach /
detail
- Preventing NullStmts from being added into ForCtrl ended up being a larger rework as some timing issues caused problems. However, the NullStmts are mostly gone now along with the extra hosting they caused.
—
ajbeach /
detail
- add test for problem with anonymous naming across compilation units
—
Peter Buhr /
detail
- formatting
—
Peter Buhr /
detail
- add name for lstlisting numbering style
—
Peter Buhr /
detail
- update multiple citations
—
Peter Buhr /
detail
- add #pragma once to .h and .hfa files
—
Peter Buhr /
detail
- add newline at end of file
—
Peter Buhr /
detail
- formatting, remove unnecessary #include files and code
—
Peter Buhr /
detail
- formatting, rework interpose code (again), remove unnecessary #include files, temporary patch to fix 32-bit build problem using _GNU_SOURCE
—
Peter Buhr /
detail
- small formatting changes after Andrew's major updates
—
Peter Buhr /
detail
- remove unnecessary code, add action to not duplicate aggregate (work in progress)
—
Peter Buhr /
detail
- comment out #pragma once to fix build
—
Peter Buhr /
detail
- Removing some indent changes in parser. These can go in later, but hopefully this will avoid conflicts with the translation.
—
ajbeach /
detail
- add comment about why no #pragma once
—
Peter Buhr /
detail
- cleaned up actor pass and added virtual destructor pass
—
caparsons /
detail
- added libcfa support for virtual dtors and added it to actor impl
—
caparsons /
detail
- added virtual dtor test to actor test suite, updated other relevant tests accordingly
—
caparsons /
detail
- added better x tick marks in plotting script
—
caparsons /
detail
- Whitespace clean-up in Makefile.
—
ajbeach /
detail
- This should get some of the Parser changes working on older compilers.
—
ajbeach /
detail