ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change
on this file since 309be81 was
309be81,
checked in by Aaron Moss <a3moss@…>, 7 years ago
|
Started evaluation benchmarks for paper (CFA version doesn't compile yet)
|
-
Property mode set to
100644
|
File size:
253 bytes
|
Line | |
---|
1 | struct stack_node; |
---|
2 | |
---|
3 | struct stack { |
---|
4 | struct stack_node* head; |
---|
5 | }; |
---|
6 | |
---|
7 | struct stack new_stack(); |
---|
8 | |
---|
9 | void clear_stack(struct stack* s); |
---|
10 | |
---|
11 | _Bool stack_empty(const struct stack* s); |
---|
12 | |
---|
13 | void push_stack(struct stack* s, void* value); |
---|
14 | |
---|
15 | void* pop_stack(struct stack* s); |
---|
Note: See
TracBrowser
for help on using the repository browser.