Skip to content
Success

Changes

Summary

  1. fine tune justification for enumerations (details)
  2. interchange chapters list and array (details)
  3. start introduction (details)
  4. move material from background to intro (details)
  5. add material from background (details)
  6. more work on introduction (details)
Commit 48b76d030ee6e161979d10ff348ed37189d4e12e by Peter Buhr
fine tune justification for enumerations
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
Commit f5212cad726a1a738cd752a14c20f57c84087c14 by Peter Buhr
interchange chapters list and array
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.tex
Commit bdc859191d5e3bb951a9d9d51d18b341a48ab190 by Peter Buhr
start introduction
The file was modifieddoc/theses/mike_brooks_MMath/intro.tex
Commit f5fbcad9ad237a0048b97ebd60a0779312fec49c by Peter Buhr
move material from background to intro
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
Commit 82e5670b382ce297cad720a0ac24ccb659cdb8f1 by Peter Buhr
add material from background
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
Commit 6a8c7733a0906dffced0ff8356128c785ad992f2 by Peter Buhr
more work on introduction
The file was modifieddoc/theses/mike_brooks_MMath/intro.tex

Summary

  1. omnibus I/O changes to get quoted manipulator to work (details)
  2. copy enum proposal to enum thesis (details)
  3. Updated indentation in Resolver. Removed trailing whitespace. (details)
  4. Added a few more missing keywords to the cfa.nanorc. (details)
  5. more cleanup, changes related to detection of missing values during input (details)
  6. formatting (details)
  7. remove unnecessary code, start missing values for C strings (details)
  8. add tests for getline and quoted input manipulators (details)
  9. switch from '\n' to nl, update test data (details)
  10. more testing for missing data when reading (details)
  11. move exception macro to general location, update more code to use macros (details)
  12. more documentation on stream input (details)
  13. add swift language macros for formatting by lstlisting (details)
  14. Fixed whitespace ResolveTypeof.cc. (details)
  15. remove 'swift' language reference because it is available in lstlisting under the name 'Swift' (details)
  16. small cleanup to latex 'common' macros (details)
  17. remove unnecessary latex macros (details)
  18. add more text to related-work chapter (details)
  19. add citation for programming language 'Swift' (details)
  20. change text to use macros \eg amd \ie (details)
  21. update related work for Ada and Golang (details)
  22. Add position.cfa test file (details)
  23. more proofreading on enumeration thesis (details)
  24. The two argument form of the conditional operator now only has two arguments all the way to the resolver. (details)
  25. Forgot to update comments from the last commit. (details)
  26. Used structural binding to shorten some loop setup. The generally useful clean-up I did while trying to get layout call hoisting working. (details)
  27. Clean-up of GenImplicitCall module. Changing the return type for consistency spilled out into some other files, but that should also saves some operations. The other big one is the template instances were reduced to one and then the templates removed. (details)
  28. Note to self: Check the comments before you push. (details)
  29. formatting (details)
  30. first attempt at correct distribution of attributes for aggregates (details)
  31. update lst language for uC++ (details)
  32. update 32-bit test result for distribution of attributes for aggregates (details)
  33. update 64-bit test result on ARM for distribution of attributes for aggregates (details)
  34. more proofreading on enumeration thesis (details)
  35. Add EnumPosType to type system (details)
  36. fix problme wiht exclamation mark in comon.sty file (details)
  37. Remove unused variables (details)
  38. Factored out a very complex condition into a helper function and documented it. (details)
  39. Moved ParseNode's name field down to DeclarationNode, it is not used in any of the other child classes. (details)
  40. Factored out the ParseNode's next field into a new child type. This is only type safe when used in the given one level curiously reoccurring template pattern, as it is now. This allowed most of the intermedate helpers to be removed. (details)
  41. more proofreading on the enumeration related-work section (details)
  42. more proofreading on the enumeration related-work section (details)
  43. Add prototype of succ function (details)
  44. try @@(...) for attributes, rename and reorder grammar rules, remove apparently unnecessary push/pop rules, first attempt at [] => [void] return type (details)
  45. more proofreading for enumeration related-work (details)
  46. Removed casts around get_next (also replaced with direct field access) that are no longer needed. (details)
  47. Moved a field and functions from DeclarationNode to TypeData. Trying to make the line between them cleaner. (details)
  48. Add the Working support to succ() and pred() pseudo function to Enum (details)
  49. Remove unused variables (details)
  50. continue work on memory allocation paper (details)
  51. documentations, support CFA declaration syntax in sizeof/alignof (details)
  52. add updated function-declaration test (details)
  53. fix 32-bit functions results (details)
  54. Return 'TypeData *' from some parse rules. Moved TypeData construction over to that file. (details)
  55. Removed casts no longer needed on the result of set_last. (details)
  56. Fix thesis demo program build isssue: handle substring API switch to start-len from start-end (details)
  57. update expected output for functions test on ARM (details)
  58. Remove conversion part of the EnumPosType. It can be resolved by the current unifier (details)
  59. Change the common type interpretation of EnumPos (details)
  60. switch to tabs, first attempt changing program-input style (details)
  61. second attempt changing program-input style (details)
  62. more switch to tabs (details)
  63. Add OCamal section to related work (details)
  64. Moved the DeclarationNode enums over to TypeData where they are actually used. (details)
  65. Fix ocaml code (details)
  66. update for-control for iterating over enumeration type (details)
  67. update OCaml text (details)
  68. update compile commands (details)
  69. update llheap paper (details)
  70. update lstlang for CFA (details)
  71. update OCaml text and add OCaml citation (details)
  72. more updates on OCaml (details)
  73. Some Parser clean-up I did while investigating. (details)
  74. added lstlang entry for OCaml (details)
  75. more updates on OCaml (details)
  76. fold in Gregor's comments on OCaml (details)
  77. add comparison table for related work (details)
  78. Handle typedef wrapped declarations before buildList in addTypedef. The extractAggregate code is still used in other cases. There is a small change in behaviour, a typedef wrapping a enum declaration will have the qualifiers on its local copy cleared. This may be the intended behaviour, it is how all other aggregates are handled. (details)
  79. fix convert function for float-point values, add isspace-like routines for C arrays (details)
  80. update string to type test (details)
  81. update ato expected output for ARM (details)
  82. update ato expected output for x86 (details)
  83. reorganized enum_type rule in parser and add missing call to makeTypedef (details)
  84. more reorganized enum_type rule in parser (details)
  85. remove isspace-like routines for C arrays, and replace with general checkif routine (details)
  86. Parser clean-up: Removed an unused field, added a comment, fixed a memory leak and reformated a function. (details)
  87. Removed some code from main that supported the old ast. (details)
  88. Add support for printing multiple returns. Mostly useful for early code dumps. (details)
  89. more proofreading for enumerations (details)
  90. add SPE PDF for paper Cforall: Adding Modern Programming Language Features to C (details)
  91. fix citations in bibliography/pl.bib (details)
  92. added Gregor and Andrew emails (details)
  93. justification for enumerations (details)
  94. fine tune justification for enumerations (details)
  95. interchange chapters list and array (details)
  96. start introduction (details)
  97. move material from background to intro (details)
  98. add material from background (details)
Commit 211def2deb11c8023a27b456a18e3b3aa6f53f7e by Peter Buhr
omnibus I/O changes to get quoted manipulator to work
The file was modifiedlibcfa/src/collections/string_res.hfa
The file was modifiedlibcfa/src/iostream.hfa
The file was modifiedlibcfa/src/collections/string.hfa
The file was modifiedlibcfa/src/collections/string_res.cfa
The file was modifiedlibcfa/src/fstream.cfa
The file was modifiedlibcfa/src/iostream.cfa
The file was modifiedlibcfa/src/collections/string.cfa
Commit 956299bfb54cdd0289b10d4a75fecc95d3dea2c8 by Peter Buhr
copy enum proposal to enum thesis
The file was removeddoc/theses/jiada_liang_MMath/content1.tex
The file was removeddoc/theses/jiada_liang_MMath/content2.tex
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
The file was addeddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex
The file was addeddoc/theses/jiada_liang_MMath/implementation.tex
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis.tex
The file was addeddoc/theses/jiada_liang_MMath/CFAenum.tex
The file was modifieddoc/theses/jiada_liang_MMath/background.tex
Commit 14755e596c3349ae582c4ba327fbadd9f5c59770 by ajbeach
Updated indentation in Resolver. Removed trailing whitespace.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/ResolvExpr/Resolver.cc
Commit 3be6ef372dd89f15197dd837b924f22e196aa355 by ajbeach
Added a few more missing keywords to the cfa.nanorc.
The file was modifiedtools/cfa.nanorc
Commit 714e206b23010557aa615a3de3cf8f06a0371d07 by Peter Buhr
more cleanup, changes related to detection of missing values during input
The file was modifiedlibcfa/src/iostream.cfa
The file was modifiedlibcfa/src/collections/string_res.cfa
Commit 0b6089f1108f3769e9020705a376cc8292b8fe40 by Peter Buhr
formatting
The file was modifiedtests/configs/usage.cfa
The file was modifiedtests/configs/parsenums.cfa
The file was modifiedtests/configs/parsebools.cfa
Commit 7b93027e779e85b8adeeae521c903b6cbde44d72 by Peter Buhr
remove unnecessary code, start missing values for C strings
The file was modifiedlibcfa/src/iostream.cfa
Commit 75e2286a8770a1cddcda7da69f5e9f59be0aa391 by Peter Buhr
add tests for getline and quoted input manipulators
The file was modifiedtests/collections/.in/string-istream-manip.txt
The file was modifiedtests/collections/string-istream-manip.cfa
The file was modifiedtests/collections/.expect/string-istream-manip.txt
Commit da227269b26a7a010962a9e91d1695f095c5d2e5 by Peter Buhr
switch from '\n' to nl, update test data
The file was modifiedtests/io/manipulatorsInput.cfa
The file was modifiedtests/io/.in/manipulatorsInput.txt
Commit 6b228cae996cd2d4f04e346a69d2105045e50bfb by Peter Buhr
more testing for missing data when reading
The file was modifiedlibcfa/src/iostream.cfa
Commit 77bc259656cfdb32b4198ee5ed2ec89eec5ec78b by Peter Buhr
move exception macro to general location, update more code to use macros
The file was modifiedlibcfa/src/fstream.hfa
The file was modifiedlibcfa/src/fstream.cfa
The file was modifiedlibcfa/src/Exception.hfa
The file was modifiedtests/exceptions/pingpong_nonlocal.cfa
Commit c185ca93fa534f3ae92d87dbb7a0b035f0459df8 by Peter Buhr
more documentation on stream input
The file was modifieddoc/user/user.tex
Commit e7b04a34fd9dfbee4abfe98b8245fe7a576939e9 by Peter Buhr
add swift language macros for formatting by lstlisting
The file was modifieddoc/LaTeXmacros/lstlang.sty
Commit f431ab26466f0ec8aab6cdcca457b9384faaf366 by ajbeach
Fixed whitespace ResolveTypeof.cc.
The file was modifiedsrc/ResolvExpr/ResolveTypeof.cc
Commit c0d8e626d0569490e6ab8c30b052b6adb5b8cb8f by Peter Buhr
remove 'swift' language reference because it is available in lstlisting under the name 'Swift'
The file was modifieddoc/LaTeXmacros/lstlang.sty
Commit 9b96e90dac0d2f006b769a78cea3cebfb5f53de7 by Peter Buhr
small cleanup to latex 'common' macros
The file was modifieddoc/LaTeXmacros/common.sty
The file was modifieddoc/LaTeXmacros/common.tex
Commit acde87aad99fe7a019bf1dceebdf245965443752 by Peter Buhr
remove unnecessary latex macros
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis.tex
Commit f936e234f9d6548fc2b43d4a611f6dfcfd9c3a24 by Peter Buhr
add more text to related-work chapter
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit c2a58cf03237a7542d20eea478acc41b9b7b8017 by Peter Buhr
add citation for programming language 'Swift'
The file was modifieddoc/bibliography/pl.bib
Commit f9da7618922cfffae1c2df08c6aebb72d2ded799 by Peter Buhr
change text to use macros \eg amd \ie
The file was modifieddoc/theses/jiada_liang_MMath/CFAenum.tex
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex
The file was modifieddoc/theses/jiada_liang_MMath/implementation.tex
The file was modifieddoc/theses/jiada_liang_MMath/background.tex
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
Commit 38f5006ef2bee7ba7cdf8bc8ef954804e0243166 by Peter Buhr
update related work for Ada and Golang
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit c17dc80e8b27ae7339c64fb486e005e85e49377f by j82liang
Add position.cfa test file
The file was addedtests/enum_tests/position.cfa
Commit 7bb516f9dde25f48bb6a37546feafba084354c29 by Peter Buhr
more proofreading on enumeration thesis
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis.tex
The file was modifieddoc/theses/jiada_liang_MMath/implementation.tex
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/background.tex
Commit 2810700a9b044557e84a36b6419e2a7cf30534df by ajbeach
The two argument form of the conditional operator now only has two arguments all the way to the resolver.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/Parser/parser.yy
Commit 2beaf9b317e160f56c7f93a782cea930b589f606 by ajbeach
Forgot to update comments from the last commit.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/Parser/parser.yy
Commit d06273c26e14ef7642c6d56f67d0ca4eed4522ff by ajbeach
Used structural binding to shorten some loop setup. The generally useful clean-up I did while trying to get layout call hoisting working.
The file was modifiedsrc/GenPoly/Box.cpp
Commit 4e2f1b216788e887c85c4a9a6775a44dacfd359a by ajbeach
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.
The file was modifiedsrc/Validate/Autogen.cpp
The file was modifiedsrc/SymTab/GenImplicitCall.cpp
The file was modifiedsrc/InitTweak/FixInit.cpp
The file was modifiedsrc/InitTweak/GenInit.h
The file was modifiedsrc/InitTweak/GenInit.cc
The file was modifiedsrc/SymTab/GenImplicitCall.hpp
Commit 17610469a3a99a34d016e2f0845b5a446da57bc1 by ajbeach
Note to self: Check the comments before you push.
The file was modifiedsrc/Validate/Autogen.cpp
Commit 624ba3a5a115a3bdc11e25bd2b93965f97ebc74d by Peter Buhr
formatting
The file was modifiedsrc/AST/Attribute.hpp
Commit 4eb3a7c5d08b7aedeb694f5b4b465e652dd55d5e by Peter Buhr
first attempt at correct distribution of attributes for aggregates
The file was modifiedsrc/Parser/DeclarationNode.h
The file was modifiedtests/.expect/attributes.x64.txt
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/Parser/TypeData.h
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/TypeData.cc
Commit 3d5a8cbf23bfbf4e25da9b9efb041e002f556dcd by Peter Buhr
update lst language for uC++
The file was modifieddoc/LaTeXmacros/lstlang.sty
Commit 1e93617e61056825b438e441fceb09896deba565 by Peter Buhr
update 32-bit test result for distribution of attributes for aggregates
The file was modifiedtests/.expect/attributes.x86.txt
Commit 0a9b5c19b3222459a7594e56a18da14957912bbe by Peter Buhr
update 64-bit test result on ARM for distribution of attributes for aggregates
The file was modifiedtests/.expect/attributes.arm64.txt
Commit 022bce0f1f94d12a2727b9b37e573e3848c466c9 by Peter Buhr
more proofreading on enumeration thesis
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/bibliography/pl.bib
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
The file was modifieddoc/LaTeXmacros/common.sty
The file was modifieddoc/LaTeXmacros/common.tex
Commit 0522ebe7b3ae7204a1d2c50a1bc7273bfa36762a by j82liang
Add EnumPosType to type system
The file was modifiedsrc/AST/Fwd.hpp
The file was modifiedsrc/ResolvExpr/ConversionCost.h
The file was modifiedsrc/Validate/ReplacePseudoFunc.cpp
The file was modifiedsrc/ResolvExpr/ConversionCost.cc
The file was modifiedsrc/ResolvExpr/Unify.cc
The file was modifiedsrc/AST/Visitor.hpp
The file was modifiedsrc/ResolvExpr/CommonType.cc
The file was modifiedsrc/Validate/Autogen.cpp
The file was modifiedsrc/AST/Type.hpp
The file was modifiedsrc/Common/CodeLocationTools.cpp
The file was modifiedsrc/AST/Pass.hpp
The file was modifiedsrc/AST/Print.cpp
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/SymTab/Mangler.cc
The file was modifiedsrc/CodeGen/GenType.cc
The file was modifiedsrc/AST/Pass.impl.hpp
The file was modifiedsrc/Parser/parser.yy
Commit 1bb76ad455ab90561239a9cd8b8a3df34afd85ae by Peter Buhr
fix problme wiht exclamation mark in comon.sty file
The file was modifieddoc/LaTeXmacros/common.tex
The file was modifieddoc/LaTeXmacros/common.sty
Commit f1149acdd1aec2da8d7e43ad6e4025f8b736412b by j82liang
Remove unused variables
The file was modifiedsrc/ResolvExpr/Unify.cc
The file was modifiedsrc/ResolvExpr/CommonType.cc
Commit bc61563c4a48cab77ce48a03a73abf55b627a27f by ajbeach
Factored out a very complex condition into a helper function and documented it.
The file was modifiedsrc/ResolvExpr/Resolver.cc
Commit 4c0b674ab581090dfc425f4931071a611831ff0d by ajbeach
Moved ParseNode's name field down to DeclarationNode, it is not used in any of the other child classes.
The file was modifiedsrc/Parser/ParseNode.h
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/DeclarationNode.h
Commit dc3fbe5bd865dbd99791884dd9ea7dbd1bbbb45e by ajbeach
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.
The file was modifiedsrc/Parser/ExpressionNode.h
The file was modifiedsrc/Parser/StatementNode.h
The file was modifiedsrc/Parser/DeclarationNode.h
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/Parser/InitializerNode.h
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/ParseNode.h
Commit 924534ee4579863d136f5bac2f71e69bfaaf54d0 by Peter Buhr
more proofreading on the enumeration related-work section
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 1d5e560193e4f0f7925e8e5df29a9b1f4638a344 by Peter Buhr
more proofreading on the enumeration related-work section
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 00eaeb8994cf3f494e7144b8b16c571570217395 by j82liang
Add prototype of succ function
The file was modifiedsrc/ResolvExpr/ConversionCost.cc
The file was modifiedsrc/Validate/Autogen.cpp
Commit 647e2ea4f54e975bd697890e305f6c7f6d4e7462 by Peter Buhr
try @@(...) for attributes, rename and reorder grammar rules, remove apparently unnecessary push/pop rules, first attempt at [] => [void] return type
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/Parser/lex.ll
Commit 9262fe909e250ac8e6f45eb30157e75ff29969c6 by Peter Buhr
more proofreading for enumeration related-work
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 44adf1b408dc3453ae636391512592322192a1da by ajbeach
Removed casts around get_next (also replaced with direct field access) that are no longer needed.
The file was modifiedsrc/Parser/ParseNode.h
The file was modifiedsrc/Parser/StatementNode.cc
The file was modifiedsrc/Parser/InitializerNode.cc
The file was modifiedsrc/Parser/ExpressionNode.h
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/Parser/TypeData.cc
The file was modifiedsrc/Parser/DeclarationNode.cc
Commit af603836967459bc39bcd5b1d600361e31956593 by ajbeach
Moved a field and functions from DeclarationNode to TypeData. Trying to make the line between them cleaner.
The file was modifiedsrc/Parser/TypeData.h
The file was modifiedsrc/Parser/TypeData.cc
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/DeclarationNode.h
Commit bbf2cb164e26be1589f185df9bf81b21c503c1d2 by j82liang
Add the Working support to succ() and pred() pseudo function to Enum
The file was modifiedsrc/ResolvExpr/ConversionCost.cc
The file was modifiedsrc/ResolvExpr/CommonType.cc
The file was modifiedsrc/Validate/ReplacePseudoFunc.cpp
The file was modifiedsrc/Validate/Autogen.cpp
The file was modifiedsrc/ResolvExpr/Unify.cc
Commit 647d633294d7c8a3d0e1372bff5560a51ee2ad58 by j82liang
Remove unused variables
The file was modifiedsrc/ResolvExpr/ConversionCost.cc
The file was modifiedsrc/ResolvExpr/CommonType.cc
Commit 7a29392fc396810355d175074dc01b0ac892be94 by Peter Buhr
continue work on memory allocation paper
The file was modifieddoc/papers/llheap/figures/AddressSpace.fig
The file was modifieddoc/papers/llheap/Makefile
The file was modifieddoc/papers/llheap/Paper.tex
Commit 7e13b11d45b7d7c4335e8c883c9737a3ef39079d by Peter Buhr
documentations, support CFA declaration syntax in sizeof/alignof
The file was modifiedsrc/Parser/parser.yy
The file was modifiedtests/.expect/functions.x64.txt
Commit 56b47b9033a5f40a29685dbaf425681c7d4f5e1c by Peter Buhr
add updated function-declaration test
The file was modifiedtests/functions.cfa
Commit 1df26c3ded44b492c90e60ef566431b665a22dd6 by Peter Buhr
fix 32-bit functions results
The file was modifiedtests/.expect/functions.x86.txt
Commit 6cef439b516739e0c306c51c0ccf41d2090929b9 by ajbeach
Return 'TypeData *' from some parse rules. Moved TypeData construction over to that file.
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/TypeData.cc
The file was modifiedsrc/Parser/DeclarationNode.h
The file was modifiedsrc/Parser/ExpressionNode.cc
The file was modifiedsrc/Parser/TypeData.h
The file was modifiedsrc/Parser/TypedefTable.cc
The file was modifiedsrc/Parser/parser.yy
Commit b93c54440a0fc663f1dc3879d4111a307914de1b by ajbeach
Removed casts no longer needed on the result of set_last.
The file was modifiedsrc/Parser/parser.yy
Commit e72fc60c45c40f15ed2eb81b8f581c866cf011dc by Michael Brooks
Fix thesis demo program build isssue: handle substring API switch to start-len from start-end
The file was modifieddoc/theses/mike_brooks_MMath/programs/sharing-demo.cfa
Commit 169496e1d3b7a7edd924fb7a8cab5847935eaee7 by Peter Buhr
update expected output for functions test on ARM
The file was modifiedtests/.expect/functions.arm64.txt
Commit 76fe046c5d7501192d849b5595c9079478c38b0b by j82liang
Remove conversion part of the EnumPosType. It can be resolved by the current unifier
The file was modifiedsrc/Validate/ReplacePseudoFunc.cpp
The file was modifiedsrc/ResolvExpr/ConversionCost.cc
Commit 06601401c36e6b2cf39fa38d23552cf5418850f3 by j82liang
Change the common type interpretation of EnumPos
The file was modifiedsrc/ResolvExpr/CommonType.cc
The file was modifiedsrc/ResolvExpr/Unify.cc
Commit 266732e2818527a06669f666f04fb32c296a3b9f by Peter Buhr
switch to tabs, first attempt changing program-input style
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.tex
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c
The file was addeddoc/theses/mike_brooks_MMath/programs/sedcmd
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
Commit b64d0f4af1fe5b3c45967f89591e4e709fe89116 by Peter Buhr
second attempt changing program-input style
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.tex
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
The file was modifieddoc/theses/mike_brooks_MMath/conclusion.tex
The file was modifieddoc/theses/mike_brooks_MMath/list.tex
The file was modifieddoc/theses/mike_brooks_MMath/Makefile
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
Commit 5546f50bf35c5f4954710cc34931ca3a077bf641 by Peter Buhr
more switch to tabs
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-features-multidir.run.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-issues-intrusive.run.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction.hpp
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-byref.run.cpp
The file was modifieddoc/theses/mike_brooks_MMath/programs/sharectx-demo.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/hello-accordion.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-emplaced.run.cpp
The file was modifieddoc/theses/mike_brooks_MMath/programs/array-boundcheck-removal-matmul.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/array-boundcheck-removal-stdvec.cpp
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-features-intro.run.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/sharing-demo.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/array-boundcheck-removal.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/hello-md.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/hello-array.cfa
Commit 9398177386476da6b03c6876423397970cb283d0 by j82liang
Add OCamal section to related work
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit e048ece8ba334125dcccebb214f58a23f0e29d8a by ajbeach
Moved the DeclarationNode enums over to TypeData where they are actually used.
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/Parser/TypeData.h
The file was modifiedsrc/Parser/ExpressionNode.cc
The file was modifiedsrc/Parser/TypeData.cc
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/DeclarationNode.h
Commit 6c8b76be93b407a63a16e71fb725c33f92b4303b by j82liang
Fix ocaml code
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 446740ab0247d38a59cdaee9ed6c481ffa321079 by Peter Buhr
update for-control for iterating over enumeration type
The file was modifiedsrc/Parser/parser.yy
Commit 282061ab083f80525e4954cb3bfaf88dd93310be by Peter Buhr
update OCaml text
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis.tex
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/CFAenum.tex
Commit a8853574dd2ba32ccb73b2d92c8ae8d2996bc657 by Peter Buhr
update compile commands
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c
Commit 16c795c5ce20ee44f0a5d4a0fc79027c3571cc8e by Peter Buhr
update llheap paper
The file was modifieddoc/papers/llheap/Paper.tex
Commit 75d789c11cb725d1bc4d528dbee9dd7ca666a2e4 by Peter Buhr
update lstlang for CFA
The file was modifieddoc/LaTeXmacros/lstlang.sty
Commit 9a32903fc141b4db3380f2b4e3d945f14c51303a by Peter Buhr
update OCaml text and add OCaml citation
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/bibliography/pl.bib
Commit 423c0cd0894a0a7babef2a37f4f5c2ec522aa094 by Peter Buhr
more updates on OCaml
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit a3525c4ab7a7b590f9d24b0886e094b880c22c6d by ajbeach
Some Parser clean-up I did while investigating.
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/TypeData.cc
Commit 8bdc9705a269bca69e322995d14337a6dacfab4a by Peter Buhr
added lstlang entry for OCaml
The file was modifieddoc/LaTeXmacros/lstlang.sty
Commit 56a8eb800f6b55356f6ae8dadefa2a22129648d6 by Peter Buhr
more updates on OCaml
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 63379165b0323feff45cb7df3e343e44000450d4 by Peter Buhr
fold in Gregor's comments on OCaml
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 223b6311b126e3205bfc3697b580ef3bf4e6ac94 by Peter Buhr
add comparison table for related work
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 2583407f072cd387664af9ce2f5e73d4e123318f by ajbeach
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.
The file was modifiedsrc/Parser/DeclarationNode.cc
Commit 54af365fe21768cc290024aaeb88d8cbf7f0563f by Peter Buhr
fix convert function for float-point values, add isspace-like routines for C arrays
The file was modifiedlibcfa/src/stdlib.hfa
The file was modifiedlibcfa/src/stdlib.cfa
Commit 33807a1e20dcbc7c79d106d70aa227b7a7444893 by Peter Buhr
update string to type test
The file was modifiedtests/.expect/ato.x64.txt
The file was modifiedtests/ato.cfa
Commit 897eb01f291079db41d3cb3bcdcedfd1f52364e4 by Peter Buhr
update ato expected output for ARM
The file was modifiedtests/.expect/ato.arm64.txt
Commit d887800020c7537da126067340e5c00359181610 by Peter Buhr
update ato expected output for x86
The file was modifiedtests/.expect/ato.x86.txt
Commit 30aab5564551a60cbfd145289768c6d956d2495c by Peter Buhr
reorganized enum_type rule in parser and add missing call to makeTypedef
The file was modifiedsrc/Parser/parser.yy
Commit 42422fb9594b70889b5d93752577487bda92a2e7 by Peter Buhr
more reorganized enum_type rule in parser
The file was modifiedsrc/Parser/parser.yy
Commit 8f650f03fa027cdd821777209b296cf34ae687da by Peter Buhr
remove isspace-like routines for C arrays, and replace with general checkif routine
The file was modifiedlibcfa/src/stdlib.hfa
The file was modifiedlibcfa/src/stdlib.cfa
Commit 057608ac6cb8128dfade87d081f239b0aec340c9 by ajbeach
Parser clean-up: Removed an unused field, added a comment, fixed a memory leak and reformated a function.
The file was modifiedsrc/Parser/DeclarationNode.cc
The file was modifiedsrc/Parser/TypeData.cc
The file was modifiedsrc/Parser/TypeData.h
Commit 5b25c493e3d2ba90c9f756facffb77b282de157b by ajbeach
Removed some code from main that supported the old ast.
The file was modifiedsrc/main.cc
Commit 013935109d49125650e7608973f7bb888294a557 by ajbeach
Add support for printing multiple returns. Mostly useful for early code dumps.
The file was modifiedsrc/CodeGen/CodeGenerator.cpp
Commit 7d9a805bca3ecf953e60e8edbb7a5e2294e8a984 by Peter Buhr
more proofreading for enumerations
The file was modifieddoc/theses/jiada_liang_MMath/CFAenum.tex
The file was modifieddoc/theses/jiada_liang_MMath/background.tex
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
The file was modifieddoc/theses/jiada_liang_MMath/implementation.tex
Commit 6394ac627da0513798caf2c6ad2afd53e7b5dd13 by Peter Buhr
add SPE PDF for paper Cforall: Adding Modern Programming Language Features to C
The file was addeddoc/papers/general/SPE_CforallModernFeatures.pdf
Commit 4094d05a9d0eecad16b84030881ff0331d22a066 by Peter Buhr
fix citations in bibliography/pl.bib
The file was modifieddoc/bibliography/pl.bib
Commit e00b10d924c2924526a67259c2aacb409d1d1039 by Peter Buhr
added Gregor and Andrew emails
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit caf2cba7db68a4663b861019168798d2c8bbe8ac by Peter Buhr
justification for enumerations
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
Commit 48b76d030ee6e161979d10ff348ed37189d4e12e by Peter Buhr
fine tune justification for enumerations
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex
Commit f5212cad726a1a738cd752a14c20f57c84087c14 by Peter Buhr
interchange chapters list and array
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.tex
Commit bdc859191d5e3bb951a9d9d51d18b341a48ab190 by Peter Buhr
start introduction
The file was modifieddoc/theses/mike_brooks_MMath/intro.tex
Commit f5fbcad9ad237a0048b97ebd60a0779312fec49c by Peter Buhr
move material from background to intro
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
Commit 82e5670b382ce297cad720a0ac24ccb659cdb8f1 by Peter Buhr
add material from background
The file was modifieddoc/theses/mike_brooks_MMath/array.tex