Skip to content
Success

Changes

Summary

  1. current progress (details)
  2. WIP some bugs show up resolving array tuple indexing (details)
  3. fix (details)
  4. updated invariant flag to be default, can be toggled off with --no-invariant (details)
  5. changes test.py invariant flag to --no-invariant, with the default being on (details)
  6. commented out some debugging code (details)
  7. add back --invariant with --no-invariant as both are needed for toggling (details)
  8. harmonized help messages for --invariant and --no-invariant (details)
  9. Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update. (details)
  10. Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge. (details)
  11. Removed duplicate substution code in Autogen. (details)
  12. changed actors to use bar operator (details)
  13. refactored benchmarks to use actor bar operator (details)
  14. refactored actor tests to use bar operator (details)
  15. add commented alternative option for ARM atomics (details)
  16. add comments for attomic pointer types (details)
  17. formatting (details)
  18. fix end-of-file bug when checking for I/O errors (details)
  19. formatting (details)
  20. formatting and comments (details)
  21. add test case to device-driver input (details)
  22. formatting (details)
  23. change ceiling function to work with negative values (details)
  24. update conflicting type-specifier error-messages (details)
  25. fix bug in gcc conditional expression by cloning omitted operand (details)
  26. update mathX.x86 expected output (details)
  27. add length qualifiers on one_t constants in ceiling_div (details)
  28. update mathX.arm64 expected output (details)
  29. simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div (details)
  30. more proofreading of actor chapter (details)
  31. update glossary (details)
Commit 46da46b804c2acd6916c888202a57186f41df8a8 by f37yu
current progress
The file was modifiedsrc/AST/Expr.hpp
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/ResolvExpr/CandidateFinder.hpp
The file was modifiedsrc/ResolvExpr/FindOpenVars.cc
The file was modifiedsrc/AST/Expr.cpp
The file was modifiedsrc/Parser/ParseNode.h
The file was modifiedsrc/Parser/ExpressionNode.cc
The file was modifiedsrc/ResolvExpr/Unify.cc
The file was modifiedsrc/Tuples/TupleAssignment.cc
The file was modifiedsrc/AST/Convert.cpp
The file was modifiedsrc/GenPoly/SpecializeNew.cpp
The file was modifiedsrc/SynTree/Expression.cc
The file was modifiedsrc/SynTree/Expression.h
The file was modifiedsrc/ResolvExpr/SatisfyAssertions.cpp
The file was modifiedsrc/AST/Type.hpp
The file was modifiedsrc/ResolvExpr/CommonType.cc
The file was modifiedsrc/ResolvExpr/Resolver.cc
The file was modifiedsrc/AST/TypeEnvironment.cpp
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/ResolvExpr/Candidate.hpp
The file was modifiedsrc/ResolvExpr/FindOpenVars.h
The file was modifiedsrc/ResolvExpr/ConversionCost.cc
The file was modifiedsrc/ResolvExpr/CastCost.cc
Commit 0c840fc175421beff77fdd02802dd0b5c1da973c by f37yu
WIP some bugs show up resolving array tuple indexing
The file was modifiedsrc/ResolvExpr/SatisfyAssertions.cpp
Commit 34b42682a27d035cf271583e53b685bd4ba02119 by f37yu
fix
The file was modifiedsrc/ResolvExpr/SatisfyAssertions.cpp
Commit d144c2637d83f22ae526a50bd0bfd7c561f6c92b by caparsons
updated invariant flag to be default, can be toggled off with --no-invariant
The file was modifiedtests/Makefile.am
The file was modifiedtests/test.py
Commit 0d314345431886e5f67fcab6c997eb6c0b730794 by caparsons
changes test.py invariant flag to --no-invariant, with the default being on
The file was modifiedtests/pybin/settings.py
Commit da4a570631e1948861d7fe395185deb137c6d3ce by caparsons
commented out some debugging code
The file was modifiedsrc/ResolvExpr/SatisfyAssertions.cpp
Commit 4c0acb0b6af122e6341b3f48d576cce95e22fdd2 by Peter Buhr
add back --invariant with --no-invariant as both are needed for toggling
The file was modifiedtests/test.py
Commit 3a7aa94e697cfe6575ffbfec969567cc0eecc91f by Peter Buhr
harmonized help messages for --invariant and --no-invariant
The file was modifiedtests/test.py
Commit b96b1c0f864a5a3e2741416d2db714aea7b0c9c6 by ajbeach
Reproduing changes from commit eb8d791. This fixes most of the errors from resolver update.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
Commit 64727bd675962ce753b9ad6e433725b06b808446 by ajbeach
Did my best to reimplement all the improvements made to CandidateFinder.cpp that were lost in the recent merge.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
Commit b1e21da5ad53239136b804869f2798df7a9829e6 by ajbeach
Removed duplicate substution code in Autogen.
The file was modifiedsrc/Validate/Autogen.cpp
Commit 086d6b81ddf46c7e4369193115714df430f734da by caparsons
changed actors to use bar operator
The file was modifiedsrc/Concurrency/Actors.cpp
Commit 05956d21b283440532f252a1c679dc968168b993 by caparsons
refactored benchmarks to use actor bar operator
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/matrix.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/repeat.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/balance.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/executor.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/static.cfa
The file was modifieddoc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/dynamic.cfa
Commit 77fd9fe2224caa2c11720d1aa2c77988cc5643ba by caparsons
refactored actor tests to use bar operator
The file was modifiedtests/concurrency/actors/inline.cfa
The file was modifiedtests/concurrency/actors/matrix.cfa
The file was modifiedtests/concurrency/actors/inherit.cfa
The file was modifiedtests/concurrency/actors/dynamic.cfa
The file was modifiedtests/concurrency/actors/poison.cfa
The file was modifiedtests/concurrency/actors/static.cfa
The file was modifiedtests/concurrency/actors/types.cfa
The file was modifiedtests/concurrency/actors/executor.cfa
The file was modifiedtests/concurrency/actors/pingpong.cfa
Commit 727c39d568ae36816a60dbaf52693a95cf134e61 by Peter Buhr
add commented alternative option for ARM atomics
The file was modifieddriver/cfa.cc
Commit 4dbdd1d1f8ade34eeee889620372011b6688a9ea by Peter Buhr
add comments for attomic pointer types
The file was modifiedlibcfa/prelude/sync-builtins.cf
Commit 4f9d75d3238a0488929c7593e6459ac644205f49 by Peter Buhr
formatting
The file was modifiedlibcfa/src/concurrency/atomic.hfa
Commit bbdf9543a05598c023532754d58408f4d5a8ef07 by Peter Buhr
fix end-of-file bug when checking for I/O errors
The file was modifiedlibcfa/src/fstream.cfa
Commit dc9dd94a59e2fe43d8b0a79b964515e99aedeaaf by Peter Buhr
formatting
The file was modifiedlibcfa/src/iostream.hfa
Commit 93c86ac1869d2c8bc7f7e9c3a40448d2489aa9a1 by Peter Buhr
formatting and comments
The file was modifiedtests/coroutine/devicedriver.cfa
Commit c8f0199daff0565cb3f18b3bc6e07c382220342a by Peter Buhr
add test case to device-driver input
The file was modifiedtests/coroutine/.in/devicedriver.txt
Commit 652715028339a79c8a15b80540511937617ecbac by Peter Buhr
formatting
The file was modifiedtests/io/manipulatorsInput.cfa
Commit 600478df9d45f2e1bedea30769269a6a71bbd7ac by Peter Buhr
change ceiling function to work with negative values
The file was modifiedlibcfa/src/math.hfa
The file was modifiedtests/.expect/mathX.x64.txt
Commit b38f6da2193466b08de6df313db5779673a8dea5 by Peter Buhr
update conflicting type-specifier error-messages
The file was modifiedsrc/Parser/DeclarationNode.cc
Commit a983cbf56bafd979af16eb29736e2734194c3019 by Peter Buhr
fix bug in gcc conditional expression by cloning omitted operand
The file was modifiedsrc/Parser/parser.yy
Commit c8cbb416cc5fad4ba555641db764b82952ede6ec by Peter Buhr
update mathX.x86 expected output
The file was modifiedtests/.expect/mathX.x86.txt
Commit 97453cec313aea711dff0ef0c1b901e141e1e0f5 by Peter Buhr
add length qualifiers on one_t constants in ceiling_div
The file was modifiedlibcfa/src/math.hfa
Commit b87ef7be9b5708478d8ebeecb7034189309b93c4 by Peter Buhr
update mathX.arm64 expected output
The file was modifiedtests/.expect/mathX.arm64.txt
Commit 7c012e806c8d24ca16d0122265ab3d2916617a7f by Peter Buhr
simplify computation for ceiling, add unsigned qualifiers on one_t constants in ceiling_div
The file was modifiedlibcfa/src/math.hfa
Commit 739bd7b395a592d4b89d6f0e6cd2d93677fb8305 by Peter Buhr
more proofreading of actor chapter
The file was modifieddoc/theses/colby_parsons_MMAth/text/actors.tex
Commit df277525de6cdab45ee64cf460b9d34a887418e7 by Peter Buhr
update glossary
The file was modifieddoc/theses/colby_parsons_MMAth/glossary.tex