Support LFortran and simplify assertions#61

Merged

rouson merged 14 commits intoBerkeleyLab:mainfrom

rouson:lfortran-and-simpler-assert

Jul 17, 2025

Commits on Jul 13, 2025

feat: rm diagnostic_data arg & related types

rouson
authored and
bonachea
committed
build(lfortran): use stringify workaround in macro

rouson
authored and
bonachea
committed
Remove submodule

certik
authored and
bonachea
committed
Get rid of an interface

certik
authored and
bonachea
committed
XX: direcly use exit_status value

Pranavchiku
authored and
bonachea
committed
fix(test): rm module in proc interf

rouson
authored and
bonachea
committed
doc(README): reorg, update commands, add lfortran

rouson
authored and
bonachea
committed
fix(test): restrict output to image 1

rouson
authored and
bonachea
committed
doc(README): address PR feedback

rouson
authored and
bonachea
committed