6 Commits

Author	SHA1	Message	Date
Aina Niemetz	0647c4c107	Update copyright headers. (#11561) ... Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com>	2025-01-23 17:54:20 +00:00
Aina Niemetz	00d912f521	parser: Refactor symbol manager to be associated to term manager. (#10939)	2024-06-18 23:21:47 +00:00
Aina Niemetz	1a3a935fb5	Python API: Refactor to expose TermManager. (#10488) ... This refactors the base Python API to expose TermManager (related to previous refactor of the C++ API to expose TermManager in #10426).	2024-03-14 14:34:58 -07:00
Aina Niemetz	fdf9ce7138	Update copyright headers. (#10459)	2024-03-12 09:35:09 -07:00
Andrew Reynolds	0964573eaa	Do not print newlines in Command::toString (#10225)	2023-12-15 22:46:41 +00:00
Daniel Larraz	3e07a656e7	Add parser to the python api (#10222)	2023-12-14 09:08:05 -06:00