feat: Output shared library in Nix flake #48

Merged

aniva merged 16 commits from feature/lib into dev

2024-03-16 19:01:04 -07:00

Author	SHA1	Message	Date
Leni Aniva	a3a244159b	chore: Version bump to 0.2.13	2024-03-16 19:00:28 -07:00
Leni Aniva	bb09d1e964	chore: Version bump to 4.8.0 prerelease	2024-03-15 18:44:28 -07:00
Leni Aniva	b7542b4749	chore: Lean version bump to 4.7.0-rc2 Multithreading in ABI was not stabilized in 4.1.0	2024-03-15 06:01:25 -07:00
Leni Aniva	689112d973	fix: Use Arrays only in the ABI	2024-03-14 22:40:14 -07:00
Leni Aniva	b64adf31cf	feat(lib): Export goal.print function	2024-03-14 16:34:01 -07:00
Leni Aniva	c83af044b4	fix: Pass options by reference	2024-03-11 21:31:59 -07:00
Leni Aniva	285cf0416a	feat(lib): Option creation function	2024-03-10 15:33:32 -07:00
Leni Aniva	5db727e30b	fix: Execute expr parsing within goal.start	2024-03-10 15:09:38 -07:00
Leni Aniva	f42a27e036	feat(lib): Expose goal state interface	2024-03-10 08:13:10 -07:00
Leni Aniva	d958dbed9d	feat(lib): CoreM execution function	2024-03-10 06:41:35 -07:00
Leni Aniva	ca89d671cc	refactor: Move some functions to `Library.lean`	2024-03-09 20:37:48 -08:00
Leni Aniva	4706df2217	feat(lib): Search path function	2024-03-09 19:36:25 -08:00
Leni Aniva	863c6d9e7d	feat(lib): Catalog command FFI	2024-03-09 16:50:36 -08:00
Leni Aniva	021d0b5b7d	feat: Add exported version function	2024-03-08 23:50:44 -08:00
Leni Aniva	ecacf2107c	feat(build): Add shared facet for lean_lib	2024-03-06 15:27:22 -08:00
Leni Aniva	075bec6da2	feat: Output shared library in flake	2024-03-06 15:26:35 -08:00