Mercurial > hg > Gears > GearsAgda

annotate src/llrb/CMakeLists.txt @ 85:547c23f3a898

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add LLRB with height assertion on put
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 19 Jan 2016 16:22:04 +0900
parents dc6f665bb753
children ca55f4be5f0f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
19
9302b1a48008 add llrb
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 cmake_minimum_required(VERSION 2.8)
9302b1a48008 add llrb
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
81
dc6f665bb753 implement delete(tail call). do not work
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 72
diff changeset
3 add_definitions("-Wall -g -O0")
dc6f665bb753 implement delete(tail call). do not work
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 72
diff changeset
4
72
5c4b9d116eda use stack for code segment
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 69
diff changeset
5 set(CMAKE_C_COMPILER $ENV{CbC_Clang}/clang)
5c4b9d116eda use stack for code segment
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 69
diff changeset
6
19
9302b1a48008 add llrb
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 add_executable(llrb
69
368306e1bfed llrb deletion(not work).
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 65
diff changeset
8 main.c
19
9302b1a48008 add llrb
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 llrb.c
9302b1a48008 add llrb
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 llrbContext.c
65
025fd6e90597 to the function call(allocate and compare)
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 19
diff changeset
11 allocate.c
025fd6e90597 to the function call(allocate and compare)
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 19
diff changeset
12 compare.c
69
368306e1bfed llrb deletion(not work).
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 65
diff changeset
13 stack.c
368306e1bfed llrb deletion(not work).
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 65
diff changeset
14 origin_cs.c
19
9302b1a48008 add llrb
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 )
69
368306e1bfed llrb deletion(not work).
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents: 65
diff changeset
16
85
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
17
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
18 add_executable(llrb_with_put_verify
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
19 main.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
20 llrb.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
21 llrbContext.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
22 allocate.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
23 compare.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
24 stack.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
25 verify_put_cs.c
547c23f3a898 Add LLRB with height assertion on put
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 81
diff changeset
26 )