[WIP] Changes for numerical analysis projects - #250

Draft

Bastacyclop wants to merge 47 commits into

mainfrom

Commits on Mar 3, 2025

Added math.h include for foreign functions
user-simon
committed
b15fa82

Commits on Mar 4, 2025

Added math.h in fso binary instead of in codegen
user-simon
committed
8b09ba7

Commits on Mar 18, 2025

Implemented min & max constructs
user-simon
committed
051bf87
Merge upstream
user-simon
committed
44c06eb
Added math.h in fso binary instead of in codegen
user-simon
committed
f768706
WIP on read/write bug from eqsat lowering search

Bastacyclop
authored and
user-simon
committed
099f049
fix read/write analysis bug

Bastacyclop
authored and
user-simon
committed
c66468a
Merge remote-tracking branch 'upstream/float-safe-opt' into float-safe-opt
user-simon
committed
8a322f7

Commits on Mar 23, 2025

Implemented HCLs for min, max, length, and a utility for indexing
user-simon
committed
15d9a69

Commits on Oct 3, 2025

WIP for Hepatica
Bastacyclop
committed
ddc35dc

Commits on Oct 9, 2025

Renamed natIdx -> element and added reverse prototype
user-simon
committed
a09459e

Commits on Oct 10, 2025

Commits on Oct 17, 2025

take into account all possible rw annots for vars
Bastacyclop
committed
7a6485e

Commits on Oct 21, 2025

add MPFR option in C backend
Bastacyclop
committed
f413b0b
fix bugs and support sqrt/cos/sin/tan
Bastacyclop
committed
9fe2bf7

Commits on Oct 22, 2025

cover more MPFR codegen cases
Bastacyclop
committed
f274859
fix typo
Bastacyclop
committed
9ce787a

Commits on Dec 4, 2025

extend codegen for use in driver generation
Bastacyclop
committed
bfaf85a

Commits on Dec 12, 2025

remove debug msg
Bastacyclop
committed
8574efb

Commits on Jan 30, 2026

splitReduce rule, liftReduce fix
Bastacyclop
committed
a002c85

Commits on Feb 6, 2026

untyped C array literal (for C++ init list) and give path to a callback
Bastacyclop
committed
fafb146

Commits on Feb 13, 2026

enable batch 'extract_rw_safe', play with cycle avoiding random extraction (need better solution)
Bastacyclop
committed
d3a0c98

Commits on Feb 20, 2026

strip mining helpers
Bastacyclop
committed
2baa400

Commits on Mar 9, 2026

simpler, non-backtracking cycle avoiding randomOf implementations
Bastacyclop
committed
c85a26f

Commits on Mar 16, 2026

random extractor : allow more flexible reuse of analysis results
Bastacyclop
committed
e972097

Commits on Apr 2, 2026

more flexible enter exit codegen helper
Bastacyclop
committed
01c65f3

Commits on Apr 20, 2026

remove useless MPFR tmp var
Bastacyclop
committed
500c0ea

Commits on Apr 21, 2026

letToMem cost function hacks
Bastacyclop
committed
e6da996
fix typos
Bastacyclop
committed
574b681

Commits on Apr 23, 2026

Merge branch 'hepatica' into hepatica-bis
Bastacyclop
committed
c748526
makeArrayUnrollLetToMem
Bastacyclop
committed
4ba1755

Commits on Apr 24, 2026

more heuristic code to improve memory storage and reuse
Bastacyclop
committed
5650965

Commits on Apr 29, 2026

reuse some MPFR variables, not ideal
Bastacyclop
committed
e1071c6
hacky path to reuse more MPFR scalar variables
Bastacyclop
committed
ce3fc03

Commits on May 1, 2026

small comments
Bastacyclop
committed
3421201

Commits on Jun 4, 2026

random as argument on extractors
Bastacyclop
committed
3f1f2ec
add MPFR codegen support for min/max functions
Bastacyclop
committed
6e35390

Commits on Jul 8, 2026

add genMapSeq for cost function hack
Bastacyclop
committed
8bea488

Commits on Jul 9, 2026

weaken 'topLevelSubtype' to accept unconstrained arguments
Bastacyclop
committed
b6c1125

Commits on Jul 31, 2026

NotJustVar and random scheduler init
Bastacyclop
committed
8053998
genMapSeqElim
Bastacyclop
committed
4d86b33

Commits on Sep 9, 2026

joinReduce and liftReduce rules
Bastacyclop
committed
918e40b

Commits on Sep 10, 2026

fix AstSize.ofNamedExpr
Bastacyclop
committed
bb71ff8

Commits on Sep 11, 2026

better showScala avoiding lenghty Scala typechecking
Bastacyclop
committed
97a47d8