Mercurial > hg > Gears > GearsAgda

annotate src/include/context.h @ 462:8d7e5d48cad3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Running CPU examples
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Wed, 20 Dec 2017 22:05:08 +0900
parents a765eb7f3b7c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 typedef struct Context_st {
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 void* ds;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 void* mds;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 void* ds_heap;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 void* mds_heap;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 __code (*next)();
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 void* head;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 } Context;