All issues

Search results

codegen: centralize language-specific type mapping data

Status: Open.

#57 In imandra-ai/imandrax-tools;

· hon-gyu opened on Jun 17, 2026

Incorrect and missing location for counter-satisfiable termination proof

Status: Open.

#50 In imandra-ai/imandrax-tools;

· hon-gyu opened on Apr 24, 2026

detect if __future__.annotations is actually needed

Status: Open.

#39 In imandra-ai/imandrax-tools;

· hon-gyu opened on Mar 25, 2026

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