Skip to content

Feature/autodiff #1413

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 59 commits into from
Sep 9, 2025
Merged

Feature/autodiff #1413

merged 59 commits into from
Sep 9, 2025

Conversation

MaxSagebaum
Copy link
Contributor

Additional features for AD through metafunctions.

  • Multiplication
  • Addition
  • Loops
  • Ifs
  • Function calls (only in same context yet)
  • Intermediate variables
  • Higher order derivatives.

@MaxSagebaum
Update for regex 20 lookbehind test.
81a9917 
Removed cpp file and added cpp2 file.
@MaxSagebaum
Fix for name lookup issues with MSVC.
eff33c2
@MaxSagebaum
Add missing files.
bb405b6
@MaxSagebaum
Refactor of autodiff with generalized traversal.
5169cbf 
Added test for autodiff.
@MaxSagebaum
Handling of expression lists.
97470ba
@MaxSagebaum
Handling of expresson terms.
965af06
@MaxSagebaum
Handling of function calls.
b3dc845
@MaxSagebaum
Added special handling of math functions.
358226d
@MaxSagebaum
Added declarations and statements to simple_traversal.
8166f0f
@MaxSagebaum
Handling if/else statements.
00be8ff
@MaxSagebaum
Added handling of direct return.
dad71ef
@MaxSagebaum
Stub handling of value declarations.
e1ab97b
@MaxSagebaum
Added example for non differential variable.
0c8983d
@MaxSagebaum
Added handling of while and do while loops.
1d23291
@MaxSagebaum
Handling of for loops and added special functions.
be60ab2
@MaxSagebaum
Unified function call handling.
f1b5de7
@MaxSagebaum
Proper handling of initializer expressions.
6932cde
@MaxSagebaum
Fix initializer problem.
8548b9b
@MaxSagebaum
Suffix can now be user defined.
093f291
@MaxSagebaum
Added second order test.
065c3e9
@MaxSagebaum
Merge remote-tracking branch 'origin/main' into feature/autodiff
e95bd0a
@MaxSagebaum
Remove initialization order workaround.
93e676f
@MaxSagebaum
Taylor polynomial propagation implementation.
86f0c7b
@MaxSagebaum
Basic handling of higher order derivatives and handling of add and mi…
617a089 
…nus.
@MaxSagebaum
Added handling for multiply and division.
8b5c1e9
@MaxSagebaum
Higher order handling for special functions.
05cff29
@MaxSagebaum
Remaining tests for higher order derivatives.
b930fe7
@MaxSagebaum
Declaration lookup and lookup of function return name.
364d13f
@MaxSagebaum
Basic changes for adding new things for the differentiation.
d9ac9e1
@MaxSagebaum
Moved handling of types and functions to autodiff_declaration_handler.
92d2407
MaxSagebaum and others added 28 commits August 17, 2025 12:11
@MaxSagebaum
Merge remote-tracking branch 'origin/main' into feature/autodiff
50d271c
@MaxSagebaum
Basic differentation for type and namespace value declarations.
6d2659c
@MaxSagebaum
Refactor of autodiff_expression_handler.
803dfde 
The expression handler no longer generates the assignments. It stores
the primal and forward expression. The assignments can now be generated
with helper functions or by accessing the expressions.
@MaxSagebaum
Handling of member access.
a286c84
@MaxSagebaum
Moved assignment handling code to proper traverse function.
bc3597a
@MaxSagebaum
Added type differentiation for types without member functions.
247a79d
@MaxSagebaum
Handling of member function calls.
dd704be 
First basic setup for declared variable lookup.
@MaxSagebaum
Handling of prefix + and -.
211b4af
@MaxSagebaum
Basic preperations for reverse mode AD.
e1e391d
@MaxSagebaum
Refactor of diff string to structure.
50bea33 
Currently placeholder that defaults to the forward derivatives.
@MaxSagebaum
Reverse handling of function declaration.
e48a43f
@MaxSagebaum
Reverse differentiation of additive expressions.
beb3629
@MaxSagebaum
Basic handling of multiplication and division.
c5258a2
@MaxSagebaum
Merge remote-tracking branch 'origin/main' into feature/autodiff
f2fbe55
@MaxSagebaum
Fix for to_string of expressions.
ff18571
@MaxSagebaum
Activity analysis for variables and functions.
cae65f1
@MaxSagebaum
Update for tests and acitivity analysis.
e0b4a6a
@MaxSagebaum
Added tests for combined binary expressions.
7b3b9c8
@MaxSagebaum
Handling of special functions for reverse mode.
3898548
@MaxSagebaum
Added handling of function calls for reverse.
7504683
@MaxSagebaum
Merge remote-tracking branch 'origin/main' into feature/autodiff
9726000
@MaxSagebaum
Handling of statement parameters for loops in forward mode.
a05accd
@MaxSagebaum
Reverse handling of for loops.
c8fdb06
@MaxSagebaum
Temp.
75b990b
@hsutter
Build clean with GCC 10 and Clang 21, and update regression test results
2b19b38
@MaxSagebaum
Merge remote-tracking branch 'own/feature/autodiff' into feature/auto…
8140b2a 
…diff
@MaxSagebaum
Bugfix for passive variables in addition or subtraction statements.
ece0c9b
@hsutter
Add an AD unit test
4cd35d0
@hsutter hsutter merged commit 981e21c into hsutter:main Sep 9, 2025
8 of 27 checks passed
@hsutter
Copy link
Owner

hsutter commented Sep 9, 2025

Thanks, Max!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@MaxSagebaum @hsutter