Search results

Support variadic functions such as printf

Status: Open.

#49 In metasepi/idiomaticca;

· master-q opened on Aug 18, 2019

Fix implicit declaration error on GCC

Status: Open.

#48 In metasepi/idiomaticca;

· master-q opened on Aug 18, 2019

malloc's return may be captured by char *

Status: Open.

#47 In metasepi/idiomaticca;

· master-q opened on Aug 12, 2019

separate sats file from dats file

Status: Open.

#46 In metasepi/idiomaticca;

· master-q opened on Aug 10, 2019

Support static inline in C header

Status: Open.

#45 In metasepi/idiomaticca;

· master-q opened on Aug 9, 2019

Run selected regress testing

Status: Open.

#44 In metasepi/idiomaticca;

· master-q opened on Aug 7, 2019

Include stdio.h

Status: Open.

#43 In metasepi/idiomaticca;

· master-q opened on Aug 7, 2019

Parallel regress testing

Status: Open.

#42 In metasepi/idiomaticca;

· master-q opened on Aug 7, 2019

Translate SLIST in NetBSD sys/queue.h

Status: Open.

#38 In metasepi/idiomaticca;

· master-q opened on Jul 26, 2019

Translate BSD echo.c into ATS

Status: Open.

#37 In metasepi/idiomaticca;

· master-q opened on Jul 22, 2019

Simplify to use case instead of if

Status: Open.

#36 In metasepi/idiomaticca;

· master-q opened on Jul 21, 2019

Support return in the middle

Status: Open.

#34 In metasepi/idiomaticca;

· master-q opened on Jul 19, 2019