Search results

codegen(py): move extra dependencies resolution to OCaml side

Status: Open.

#20 In imandra-ai/imandrax-tools;

· hon-gyu opened on Feb 2, 2026

Flatten model data structure

Status: Open.

#18 In imandra-ai/imandrax-tools;

· hon-gyu opened on Jan 29, 2026

Support more languages for imandrax-codegen

Status: Open.

#16 In imandra-ai/imandrax-tools;

· hon-gyu opened on Jan 20, 2026

build imandrax-codegen binaries in CI

Status: Open.

#14 In imandra-ai/imandrax-tools;

· hon-gyu opened on Jan 19, 2026

Support Windows for imandrax-codegen

Status: Open.

#13 In imandra-ai/imandrax-tools;

· hon-gyu opened on Jan 19, 2026

Build codegen exe for platform other than MacOS

Status: Open.

#7 In imandra-ai/imandrax-tools;

· hon-gyu opened on Jan 7, 2026