2023-02-27 20:37:55 +0800 7b4e073

    todo capmode in cheri




2023-02-27 20:33:24 +0800 e85d85e

    verilog module syntax




2023-02-27 20:24:17 +0800 fc80712

    UPEC: auto derived model. But how?




2023-02-23 11:35:00 +0800 ea5270c

    todo upec continuing




2023-02-22 21:15:40 +0800 41c8450

    ibex and cheri-ibex notes

learn verilog module



2023-02-22 12:01:18 +0800 35e107b

    Merge branch 'master'




2023-02-22 12:00:55 +0800 7cc9f90

    updates: ibex todo; move sonic-boom to riscv/sonic-boom; verilog notes




2023-02-20 14:19:21 +0800 a747d96

    cheriot




2023-02-16 21:17:23 +0800 9e9831f

    todo upec cheri iot




2023-02-14 11:17:34 +0800 41544c6

    upec -- ctl -- path quantifiers and linear-time operators




2023-02-08 17:03:15 +0800 3f589f1

    updates - update Readme.md - update default, use ## title - add j-ext for riscv - todo upec paper for detecting side channels in arch using fm - update asan notes




2023-02-08 10:04:33 +0800 a08ef48

    reorder docs:

- move mpk/mte/mpx/ptr-auth to mem-safe subfolders (mem-tag/ptr-meta)
- add intel ccc to ptr-meta



2023-02-07 12:06:40 +0800 9a77fcc

    add symbols, math 220 duality




2023-02-07 11:23:23 +0800 cf94ce8

    math 220 update; sf class link




2023-02-07 10:53:35 +0800 02116eb

    add video links




2023-02-07 10:49:12 +0800 05bedb2

    add class links from peking: sa and sf




2023-02-02 17:56:26 +0800 9ae406e

    software foudation class from xiong yingfei




2023-01-31 15:48:04 +0800 a367a6e

    hoare triples; boolean exprs;




2023-01-29 14:58:28 +0800 20855f4

    intro cheri




2023-01-29 13:59:36 +0800 6cb6383

    inductive reasoning vs deductive reasoning, examples




2023-01-29 10:22:33 +0800 565ed64

    fm class: equality, func evaluation




2023-01-20 18:10:45 +0800 0cf68d7

    logics: class notes

- source of knowledge, authority, inductive, deductive;
- type system. -- deductive reasoning.
- foundation of mathematics: incompleteness theorem. halting problem. undecidable semantics properties.
    - Godel, Turing, Rice.
- math 220, formal methods, pepperdine university.
    - textual substitution (t.s.), remove unnecessary parenthesis(r.u.p)
    - inference rule: a horizontal line
    - four laws of equality: reflex. symm, trans, leib. (common sense)
    - todo func evaluation



2023-01-20 18:07:07 +0800 e078eec

    links for class at youtube




2023-01-03 10:38:07 +0800 9a57621

    kami, monads, todoing




2022-12-23 12:14:01 +0800 1ce1cf8

    islaris




2022-12-22 15:25:30 +0800 ec2e85b

    islaris todo, full model




2022-12-20 09:52:37 +0800 9b73ec7

    spatial conjunction P*Q




2022-12-19 15:35:51 +0800 f33f887

    links for symbols




2022-12-19 15:17:00 +0800 58a8e0b

    separation logic: local vs global




2022-12-19 10:47:46 +0800 e96791b

    separation logic: local reasoning




2022-12-19 10:34:27 +0800 adee870

    todo separation logic




2022-12-16 14:19:20 +0800 e8b0a7e

    verilog vs chisel




2022-12-15 13:24:21 +0800 fd9f87d

    monad notes. type constructors Maybe.




2022-12-14 15:38:53 +0800 0bb9cd6

    todo scade




2022-12-14 15:31:26 +0800 de14d2b

    order cert




2022-12-14 15:24:54 +0800 8cf107e

    hugo commands




2022-12-14 09:35:55 +0800 b58b5c6

    Chisel;logic foundation; monads; x86-TSO HOL4

- chisel: Type parameters. def myMux [T<:Data](sel: Bool, tPath: T, fPath: T): T = {...}
- sf: reading preface and translate to Chinese
- monads: moved to a standalone page, todo: add examples;
- HOL4 and tso-x86 proving from P. Swell.



2022-12-07 14:30:46 +0800 73071a7

    update liveness/safety/fairness




2022-12-06 14:56:24 +0800 4e2816a

    orders in logics




2022-12-06 14:50:48 +0800 1934303

    move fm-in-arch to logics




2022-12-05 09:36:25 +0800 c53b66e

    todo cert: asil, cc, psa




2022-11-29 14:50:05 +0800 b3e94f6

    todo camkes




2022-11-25 17:43:56 +0800 91a6ae7

    add reference




2022-11-25 17:42:49 +0800 71b6f89

    update fm: Verifable C restrictions on C lang -- more strict than CompCert Clight




2022-11-25 10:47:44 +0800 53bcb3e

    todo cert 26262;




2022-11-25 10:45:04 +0800 5f6e791

    todo ada




2022-11-25 10:43:48 +0800 af207b5

    todo cap encoding mode




2022-11-22 15:41:08 +0800 29239f3

    cheri isa updates: sail description, content ordering




2022-11-22 15:36:05 +0800 8da40c9

    update cheri regs for mips




2022-11-22 09:47:27 +0800 1f9c9d9

    todo sail description for cheri isa




2022-11-21 13:58:44 +0800 bf3d7bd

    story link




2022-11-21 09:39:02 +0800 45ead7f

    cheri bin ext ongoing




2022-11-21 09:35:50 +0800 148b2c0

    todo: cheri on arm riscv mips, and x86




2022-11-11 10:41:23 +0800 e041ad3

    add sec eng book;




2022-11-11 09:27:14 +0800 7985103

    fix link and title




2022-11-11 09:21:24 +0800 c18b36e

    move book shelf to page books/shelf/




2022-11-09 17:28:38 +0800 585fc30

    add classes links




2022-11-07 16:48:39 +0800 2e1cf9e

    coq = Gallina + Tactics




2022-11-07 12:34:14 +0800 4e43d90

    add z3 as tool in logics;

move coq/isabelle/kami to tools/



2022-11-07 10:04:30 +0800 2d45d11

    add sf video link;

add pump notes



2022-10-09 11:44:02 +0800 657bf30

    update watchdog




2022-10-09 11:30:32 +0800 5b69ed4

    watch dog notes




2022-10-08 14:29:19 +0800 72fcee9

    update sel4 notes: priv modes and wcet




2022-10-08 14:28:49 +0800 c25e743

    add page: What’s the smallest variety of CHERI?




2022-10-08 13:58:03 +0800 e37525a

    add fpga page; systemv notes




2022-09-30 10:14:55 +0800 8007b44

    todo learn chisel




2022-09-23 09:30:19 +0800 7ee3c17

    todo chisel




2022-09-19 08:53:06 +0800 d6a8d07

    todo risc-v imp. dover coreguard




2022-09-16 10:41:19 +0800 6f938ab

    todo pump questions




2022-09-16 10:39:40 +0800 7e70e1d

    ignore files after extraction




2022-07-20 09:49:21 +0800 343cd12

    todo cfi bending




2022-07-08 14:37:35 +0800 f22ba8b

    data op done; todo cfi bending




2022-07-08 13:23:33 +0800 31ddf4d

    todo dop




2022-07-08 11:13:51 +0800 afadf22

    move jujutsu to jop




2022-07-06 17:18:58 +0800 c77285b

    memory consistency for parallel cores/programs;




2022-07-06 14:34:03 +0800 581bf3d

    reorder




2022-07-06 14:32:50 +0800 4e20885

    todo memory consistency




2022-07-05 14:43:53 +0800 1a3c237

    add c lang: setjump/longjump




2022-07-04 10:02:20 +0800 b68ff09

    minor update: Gem5 -> gem5




2022-06-29 13:54:43 +0800 db785cf

    full system todo




2022-06-29 10:38:04 +0800 f4856ff

    update gem5 ruby: in SLICC




2022-06-29 10:26:46 +0800 fa34a21

    gem5 ruby todo




2022-06-27 10:29:50 +0800 5ab8e32

    notes on git rebase




2022-06-24 17:21:02 +0800 762bd88

    concrete semantics ongoing; add code reasoing fundmtls




2022-06-24 15:47:08 +0800 d08c01d

    abstract exp of isabelle




2022-06-24 14:35:04 +0800 82d4247

    add latex match symbols




2022-06-23 11:12:17 +0800 411558f

    isabelle proof




2022-06-22 16:45:24 +0800 20b2b45

    sail monad example todo




2022-06-22 16:30:53 +0800 e37ebba

    sail isabelle




2022-06-22 15:12:56 +0800 f017b8f

    update sail




2022-06-13 17:59:48 +0800 e818302

    added lattice




2022-06-13 13:53:22 +0800 89be27b

    pump patents




2022-06-13 10:08:55 +0800 95f684b

    update provenance




2022-06-02 16:42:44 +0800 a0004d7

    update mmp




2022-06-02 14:32:36 +0800 e432bdf

    todo mondrian tag




2022-06-02 13:57:13 +0800 a53ce83

    safe mem




2022-06-02 10:32:55 +0800 3b4b50b

    todo safemem: ecc for memory safety(leaks/corruption)




2022-04-27 11:26:30 +0800 da40d09

    command moved




2022-04-27 11:25:59 +0800 719cda5

    another git command




2022-04-27 11:07:00 +0800 eb5208e

     a git command




2022-04-22 09:57:28 +0800 f9ca8f8

    remove out-context (deinit)




2022-04-22 09:43:33 +0800 cd6699b

    update time protection




2022-04-21 10:14:27 +0800 c055bf3

    move time protection to a single page




2022-04-21 10:01:13 +0800 9608de2

    update out-context;




2022-04-21 09:59:43 +0800 8d53a97

    update sel4; move time protection to sel4 folder




2022-04-12 06:52:21 +0800 9c796ec

    update time prot




2022-04-08 10:03:14 +0800 7daa077

    add arm instructions to reset/partition




2022-04-07 10:32:54 +0800 ca7f2de

    update x86 instructions to partition/reset for time protection




2022-04-01 10:32:09 +0800 aed8101

    uarch: time protection




2022-03-30 19:08:20 +0800 0168391

    sel4 design process




2022-03-29 19:44:12 +0800 37fd273

    sel4 overview




2022-03-29 14:42:40 +0800 3aa9fcd

    update sel4/ time protection




2022-03-29 11:33:01 +0800 748ad05

    todo sel4; update oc




2022-03-29 07:59:03 +0800 96e3124

    update sonic boom learning notes




2022-03-28 11:03:15 +0800 7602c9f

    plans




2022-03-28 11:00:13 +0800 2fd5cfb

    add todo list




2022-03-28 10:52:37 +0800 e898985

    update arch order; add sonicboom/c910 todo




2022-03-25 16:38:02 +0800 9f9075f

    update outcontext




2022-03-25 15:53:18 +0800 eb28579

    add out-context as submodules




2022-03-25 13:26:09 +0800 c8a24c5

    update mte link; fm smc todo




2022-03-24 15:21:11 +0800 da38e95

    automaton --> symbolic model checking




2022-03-24 14:31:46 +0800 dded9ae

    update




2022-03-24 11:38:26 +0800 eabc14b

    update language history, LTL, CTL, CCS, TLA




2022-03-24 11:31:22 +0800 5b2be60

    eda standard: PSL fm language




2022-03-24 11:26:21 +0800 c517489

    update reference chps




2022-03-24 11:24:21 +0800 3772f11

    rename logic-v to languages




2022-03-24 09:52:14 +0800 7e3de34

    add filecheck script




2022-03-22 14:27:00 +0800 c485a0f

    update out of context




2022-03-22 13:26:32 +0800 cd8aefc

    vivado tip




2022-03-22 13:21:08 +0800 ed1ff03

    add a link of eda-fm




2022-03-22 12:35:10 +0800 30c27d5

    fm ver in eda: properties to verify




2022-03-21 11:00:01 +0800 84e07f9

    symbolic verification example




2022-03-21 10:27:06 +0800 66df03d

    todo: fm property v




2022-03-21 10:25:06 +0800 b0cc3dd

    digital sim in logic verification




2022-03-21 10:17:06 +0800 170490e

    revise headings




2022-03-21 10:15:46 +0800 0cca8b7

    logic verification: languages, fm not so much




2022-03-17 09:29:05 +0800 4849441

    examples of PSL temporal




2022-03-16 16:02:02 +0800 e5f1b5c

    fm in eda: c and rtl functionally correct




2022-03-16 15:35:40 +0800 33b0e9d

    eda book reading




2022-03-15 17:24:04 +0800 9371262

    add books for fm




2022-03-14 14:27:47 +0800 8e304b2

    eda intro




2022-03-11 17:29:14 +0800 ba99774

    update fm in arch: todo fm in eda book




2022-03-11 15:10:23 +0800 77b63ab

    minor update fm mc




2022-03-09 16:31:38 +0800 1a0d8fa

    fm




2022-02-23 17:45:00 +0800 a8468a6

    todo: fm methods




2022-02-17 13:22:33 +0800 57fede1

    gem5 archs and o3cpu stages




2022-02-16 14:41:53 +0800 faf3e94

    minor correction




2022-02-15 10:46:05 +0800 4372c54

    gem5 kvm




2022-02-15 10:27:20 +0800 2884030

    add a post: an armful of cheris




2022-02-14 17:27:37 +0800 f71145f

    gem5 kvm




2022-02-14 16:31:43 +0800 5bb6539

    tweak




2022-02-14 16:29:24 +0800 75124c5

    pros for cheri




2022-02-14 16:25:54 +0800 4790ffb

    msrc: cheri 43% -- 70%




2022-02-14 16:19:57 +0800 0ea25da

    add link for cheri intro, from MSRC




2022-02-14 16:19:09 +0800 7b51e38

    add link for cheri intro




2022-02-14 15:35:22 +0800 4c29332

    heap protection on win 8/8.1




2022-02-14 15:05:05 +0800 53e554f

    windows heap protection




2022-02-14 11:54:59 +0800 039f9cb

    todo: type confusing in cheri




2022-02-14 11:33:39 +0800 8481e1c

    todo cheri cfi




2022-02-14 11:03:59 +0800 5f9f818

    add command checksec/objdump




2022-02-14 10:58:30 +0800 f3d6041

    done relro: compilation options




2022-02-14 10:32:25 +0800 ccd825b

    todo relro




2022-02-10 17:12:52 +0800 0945a6c

    native client




2022-02-08 17:37:45 +0800 0c4dbbd

    countermeasures




2022-02-08 15:33:21 +0800 2d3cce8

    problem definition -- micro arch channels




2022-02-08 11:00:29 +0800 9931464

    fence.t




2022-02-08 10:44:26 +0800 b138e82

    move spectres to attacks




2022-02-08 10:42:34 +0800 d5ac076

    todo side-channel attacks/defences




2022-02-07 16:56:34 +0800 5f57902

    proposed features




2022-02-07 16:40:20 +0800 5c21f65

    add iopmp




2022-01-29 13:19:06 +0800 05a727c

    riscv-sail structure




2022-01-28 16:57:33 +0800 b1e2ede

    sail riscv




2022-01-25 17:37:35 +0800 0fedf7f

    sail files




2022-01-25 14:56:07 +0800 3bb5d47

    add sail




2022-01-18 16:40:48 +0800 4e5e21c

    todo spectre variants




2022-01-18 16:31:42 +0800 e9f74d6

    todo safemem




2022-01-17 16:46:44 +0800 2ae0917

    move califorms to asan




2022-01-17 16:45:56 +0800 9f8d1fb

    califorms




2022-01-17 13:43:27 +0800 252bc04

    asan




2022-01-17 10:00:15 +0800 775586c

    ignore hugo.exe




2022-01-10 10:18:38 +0800 0f820b2

    add hugo bin for windows




2021-12-29 10:23:33 +0800 a343767

    todo sysv




2021-12-29 10:13:56 +0800 9d385e0

    todo UVM notes




2021-12-29 10:02:54 +0800 9bd091d

    move rtl-v up




2021-12-28 17:28:05 +0800 d91850f

    todo rtl v




2021-12-28 15:58:32 +0800 68cf431

    obj cap




2021-12-20 10:58:31 +0800 b65dbe1

    cheri seal two types




2021-12-10 09:12:24 +0800 142816d

    move citations




2021-12-08 09:50:41 +0800 8054f25

    riscv term hart, hw threads




2021-12-06 16:57:15 +0800 3feed99

    answers for questions in rigorous




2021-12-06 16:26:55 +0800 47f7a33

    new fm in arch'




2021-12-06 13:58:55 +0800 09226bf

    ask fm in isa and fm in eda




2021-12-06 12:56:16 +0800 a9d5491

    rigorous




2021-12-06 11:21:27 +0800 ece71d2

    full name of capability




2021-12-06 11:20:13 +0800 a9b4141

    add 2019 rigorous links




2021-12-06 10:44:14 +0800 1763ae2

    cap vs acl




2021-12-06 10:43:54 +0800 bfc826a

    add backup of hugo binaries and src




2021-12-06 10:04:43 +0800 17cedf6

    add confused authority.

a program holds two or more authorities, can be mis-used for non-intentional design



2021-12-03 11:31:12 +0800 4f2b5a2

    update background




2021-12-03 11:08:52 +0800 aa9c117

    add rigorous




2021-12-03 10:56:53 +0800 6c5b6c9

    update overview, 2019-sp rigorous




2021-11-19 17:29:01 +0800 9864654

    cornucopia




2021-11-19 16:23:56 +0800 67245d6

    sweep optimization




2021-11-19 13:15:45 +0800 8d4027a

    rename




2021-09-05 02:31:58 -0700 6f1c53d

    todo: v2x




2021-09-05 02:31:13 -0700 ac30053

    todo: autonomous driving




2021-09-05 02:28:32 -0700 b222d1a

    add some vendors




2021-08-31 10:01:25 -0700 ef8be13

    into ai chips




2021-08-31 09:22:56 -0700 aa59d06

    cpu, gpu, fpga, asic




2021-08-31 08:56:12 -0700 ad9ce43

    add ai chips




2021-08-31 08:49:36 -0700 4f5abf2

    add ai/ml




2021-08-28 22:09:30 -0700 9a5027d

    todo: FreeRTOS impl




2021-08-28 22:06:30 -0700 ca3e9a0

    rtos fundamentals in FreeRTOS site




2021-08-28 21:37:10 -0700 b43582d

    add rtos; move dinosaur to basics




2021-08-07 18:47:44 -0700 4fb3595

    add note: book/ tab: the links to books reading notes




2021-08-07 18:45:31 -0700 addba48

    todo cpi




2021-08-07 18:45:02 -0700 845ac36

    book shelf link




2021-07-19 00:01:25 -0700 be7ebb8

    todo nested kernel




2021-07-18 23:49:11 -0700 3893622

    todo BGI evaluation




2021-07-18 23:46:16 -0700 56381aa

    a list of apps for priv sep




2021-07-18 22:16:20 -0700 6d7ccdc

    todo bell-lapadula biba etc




2021-07-17 20:11:58 -0700 225703e

    openssl with ERIM, overhead vs SFI with intel MPX




2021-07-17 19:48:33 -0700 bcc144b

    todo ERIM mpx.




2021-07-17 18:29:08 -0700 6d55339

    softbound metadata




2021-07-17 18:22:09 -0700 4f10ce7

    softbound




2021-07-17 17:32:26 -0700 f75d7ad

    todo in cets




2021-07-17 17:31:40 -0700 658c51d

    CETS: function call: arguments extended with key/locks.




2021-07-17 17:22:48 -0700 475aa07

    lock and key in CETS




2021-07-17 16:16:55 -0700 7b522d5

    overview CETS




2021-07-17 12:28:06 -0700 1bddc88

    hardbound




2021-07-14 23:04:37 -0700 92ca6e2

    cets: valgrind 10x overhead

but no dangling pointers to reallocated data location



2021-07-14 22:49:56 -0700 18277b0

    todo cets temporal




2021-07-14 09:07:02 -0700 38c517d

    cnspp: 概念联系，本书内容




2021-07-14 08:55:38 -0700 d054577

    概念




2021-07-14 08:43:27 -0700 be1aeae

    a list of reading notes




2021-07-14 08:37:56 -0700 897bba5

    add a book




2021-07-14 08:34:43 -0700 f954410

    todo: 课本复习：网络安全‘




2021-07-14 08:34:23 -0700 4991244

    todo cherivoke




2021-07-13 13:24:55 -0700 a0ce322

    CHERIvoke




2021-07-13 13:18:02 -0700 de3f93d

    tweak title




2021-07-13 13:17:09 -0700 6165847

    todo cheri temporal




2021-07-13 12:46:04 -0700 21beb07

    one way to protect.




2021-07-13 12:40:10 -0700 2d90e0f

    wget vul intro.




2021-07-13 12:20:05 -0700 c011518

    intro capsicum in harris; todo: challenge details.




2021-07-13 11:51:19 -0700 f065ea5

    harris motivation (capweave).




2021-07-13 11:39:08 -0700 493db8b

    move 2013 sp harris to cheri domain




2021-07-13 10:34:39 -0700 7fa2427

    todo; temporal




2021-07-13 10:31:53 -0700 6eb1a8e

    reorder cheri-domain




2021-07-13 10:06:37 -0700 b6e1765

    cheri reorder; todo




2021-07-13 09:57:08 -0700 42a4820

    rename file




2021-07-13 09:54:28 -0700 963ac02

    move fm compart to cheri-domain papers




2021-07-13 09:46:56 -0700 ed87da1

    move capsicum and cheri compart papers to cheri/cheri-domain




2021-07-10 21:31:32 -0700 9df784f

    soaap and wedge evaluation impl




2021-07-08 10:59:43 -0700 b1750bb

    minior update




2021-07-08 10:59:04 -0700 012356f

    update order




2021-07-08 10:50:02 -0700 6ac258f

    update title




2021-07-08 10:43:05 -0700 d1f66d4

    move intel mpx from ptr-meta to arch/basics/x86/




2021-07-08 10:38:55 -0700 c2ca6d2

    mpk explained




2021-07-06 19:30:57 -0700 198c780

    add new line




2021-07-06 11:37:23 -0700 fc74e3e

    reduce counter only after printed.




2021-07-06 11:32:51 -0700 ce98657

    ignore 8 lines




2021-07-06 11:28:43 -0700 bb0450f

    add ;




2021-07-06 11:25:29 -0700 d354d08

    print for debug




2021-07-06 11:16:01 -0700 6577238

    ignore first 7 lines




2021-07-06 11:13:55 -0700 1e18fd1

    add comments




2021-07-06 11:13:12 -0700 5409f63

    ignore first three lines




2021-07-06 11:07:40 -0700 fd39ad2

    add notes




2021-07-06 11:00:08 -0700 9450117

    insert cmt # to first column




2021-07-06 10:18:29 -0700 1ade1d3

    remove edit link




2021-07-06 00:05:52 -0700 b02359d

    ARM MTE explained. Tagged memory with lock and key.




2021-07-05 22:03:37 -0700 ab7d285

    70% mem safety citation




2021-07-05 12:43:00 -0700 4d9f74a

    link to arm pointer auth




2021-07-05 12:41:49 -0700 bfde263

    move pointer auth to arm/basics/




2021-07-05 12:38:06 -0700 46c9798

    in fat link tweak




2021-07-05 12:12:18 -0700 9761522

    add TTBR




2021-07-05 12:09:13 -0700 37a65c9

    pointer auth in arm




2021-07-05 11:25:56 -0700 c86f3a9

    update links to mem tags




2021-07-05 11:22:43 -0700 4de975f

    add link to cheri tag; remove the page for cheri tag




2021-07-05 11:19:10 -0700 6bf9101

    Add ARM MTE todo;




2021-07-05 11:18:52 -0700 b2f1729

    Update mem tag references




2021-07-04 21:12:39 -0700 3e92bdf

    todo asplos 2021 in-fat spatial subobject.




2021-07-04 18:10:43 -0700 3ea5d10

    TrustZone attacks and details




2021-07-04 17:26:39 -0700 b6825ed

    add trustzone to arch/arm




2021-07-04 17:18:12 -0700 bef3188

    stones coding




2021-06-23 09:14:01 -0700 6d9320b

    mlta: fix format




2021-06-16 00:25:05 -0700 37682ed

    todo: 数位成本和




2021-06-16 00:24:44 -0700 032f270

    todo arm VMSA




2021-06-16 00:21:43 -0700 e7174d5

    数位成本和




2021-06-15 23:28:33 -0700 4ebf1d0

    错误回顾




2021-06-14 20:05:18 -0700 2deac96

    反转括号子串




2021-06-14 19:55:14 -0700 e005508

    todo 错误笔记




2021-06-11 18:55:23 -0700 022cb65

    dp introduction




2021-06-08 12:35:54 -0700 8d5500d

    todo rigorous eng.




2021-05-22 11:46:44 -0700 78b250b

    add link to TR 940




2021-05-22 11:42:52 -0700 e4468d0

    Abstract actions and the mapping of instruction -> actions




2021-05-18 12:47:44 -0700 8082519

    你的选择，你的资产




2021-05-18 12:45:05 -0700 300a4db

    工作状态的建议：追求best的人，机会找上门




2021-05-18 12:08:43 -0700 3dbf326

    任何组织都有不足，考虑自己的需要金字塔；

创业有风险



2021-05-18 11:28:39 -0700 89fbb08

    翻译，选择难度大，难免失误




2021-05-18 10:43:59 -0700 28256e1

    翻译第一句：宏观想法




2021-05-18 10:40:21 -0700 6111853

    update order




2021-05-18 10:40:10 -0700 b5a818d

    Job choice




2021-05-18 09:27:32 -0700 1a88034

    Order in research/




2021-05-18 09:18:35 -0700 e6eefaa

    More




2021-05-18 09:18:09 -0700 3fa4261

    TODO find directions.




2021-05-18 09:17:39 -0700 bcafc0b

    Correction: remove referee （裁判）, use reference




2021-05-18 09:15:44 -0700 3e6926e

    todo: job choices




2021-05-18 09:15:33 -0700 d88092c

    Coq destruct shorthand intros [|x]




2021-05-18 09:14:48 -0700 06b52be

    Goals of abstract actions.




2021-05-13 20:45:25 -0700 a568fe9

    remove -




2021-05-13 20:42:22 -0700 0b690d9

    reorder




2021-05-13 20:40:26 -0700 c190e2e

    proof for andb_true_elim2, the true=false proof.




2021-05-11 22:55:35 -0700 1e8a3e1

    Automation of proof in cheri-mips




2021-05-11 22:42:19 -0700 d63b7fa

    todo security property details.




2021-05-11 22:35:38 -0700 04bba7d

    order over capabilities




2021-05-11 19:08:39 -0700 22371e4

    lightweight rigorous engineering




2021-05-10 23:26:10 -0700 c1f0895

    Evaluation of rigorous engineering: bugs found.




2021-05-10 23:11:27 -0700 43a5aea

    local/global caps in cheri.




2021-05-10 17:51:36 -0700 20079d4

    overview cheri hardware rigorous eng.




2021-05-10 17:25:49 -0700 b35d3c5

    memory safety issues for security.




2021-05-10 17:11:17 -0700 e56324e

    todo rigorous cheri hardware.




2021-05-10 17:03:41 -0700 a96da15

    destruct.




2021-05-10 16:56:15 -0700 72c56a0

    todo verification of compilers, os.




2021-05-05 21:42:00 -0700 446fcec

    Proof by rewrite.




2021-05-05 19:33:01 -0700 925a91e

    proof by simpl.




2021-05-05 16:27:18 -0700 50fc01a

    More fixpoint definitions.




2021-05-02 19:26:00 -0700 c29bfed

    Fixpoint natural numbers.




2021-04-30 23:47:21 -0700 b4a7582

    inductive type defs; admitted command




2021-04-30 16:23:09 -0700 060be30

    coq Example Notation cmds




2021-04-30 13:54:06 -0700 bea73b7

    order chapters




2021-04-29 20:30:31 -0700 a67d64c

    sf: preface of v1




2021-04-29 00:32:15 -0700 c4229a4

    todo: software foundations.




2021-04-29 00:19:40 -0700 70ee756

    ai history todo




2021-04-29 00:10:25 -0700 94dc128

    todo: 1967 compiler verfication idea




2021-03-26 19:45:09 -0700 3362444

    todo compiler 1960s




2020-12-19 12:53:12 -0800 047f059

    two paper from ucam:

uTiles and Sirius



2020-12-19 12:50:10 -0800 a0eed74

    ISCA'20 "Nested enclave: supporting fine-grained hierarchical isolation with SGX."




2020-12-19 12:47:18 -0800 93e8ad1

    Tsai, Chia-Che, Jeongseok Son, Bhushan Jain, John McAvey, Raluca Ada Popa, and Donald E. Porter. "Civet: An Efficient Java Partitioning Framework for Hardware Enclaves." In 29th {USENIX} Security Symposium ({USENIX} Security 20). 2020.




2020-12-19 12:43:36 -0800 f41fd13

    2020 sec: Donky




2020-12-19 12:32:58 -0800 47f4cbe

    remove manual




2020-12-19 12:31:39 -0800 3b75aec

    update default orider as 0




2020-12-19 12:29:08 -0800 6d285e7

    make default weight as 0




2020-12-19 12:24:15 -0800 e185f88

    sorting categories




2020-12-19 11:57:35 -0800 399e14b

    rename autosep to smart-sep




2020-12-19 11:42:29 -0800 e75b14e

    box-process




2020-12-19 11:36:59 -0800 a94bec0

    rename arm instruction isolation




2020-12-19 11:35:29 -0800 8119180

    auto sep PrivAna




2020-12-19 11:33:28 -0800 a0f558a

    box formal methods




2020-12-19 11:29:08 -0800 1b882d8

    box-cap




2020-12-19 11:26:06 -0800 961e149

    language based separation; finegrained separation in firefox




2020-12-19 11:18:11 -0800 10d7480

    Safebricks: Shielding network functions in the cloud Single trace attack against RSA key generation in Intel SGX SSL




2020-12-19 11:10:51 -0800 82a4ade

    Racing in Hyperspace: Closing Hyper-ThreadingSide Channels on SGX with Contrived Data Races




2020-12-19 11:09:28 -0800 6f9ab72

    box-sgx/attack-sgx




2020-12-19 11:07:10 -0800 03d17be

    sgx protection and attacks




2020-12-19 10:40:26 -0800 5a7491d

    inst isolation on ARM




2020-12-19 10:38:24 -0800 5d969fe

    move mem-safe/hw|swbox to pri-sep/




2020-12-19 10:30:25 -0800 fa08262

    2004 asplos info flow tracking




2020-12-19 10:27:49 -0800 2fd3b49

    1989 identity cap




2020-12-08 21:18:06 -0800 883d13a

    todo cheri obj caps




2020-12-08 20:49:29 -0800 a153475

    todo 2012 usenix sec adsplit




2020-12-08 20:44:15 -0800 0d07289

    todo 2009 chrome compartment




2020-12-08 20:31:45 -0800 9a9206c

    move cheri capsicum




2020-12-08 19:02:05 -0800 166c437

    todo Capsicum




2020-12-04 20:50:50 -0800 1503778

    summary of PM




2020-12-04 20:21:45 -0800 cd51403

    TODO: program mandering.




2020-11-30 17:47:22 -0800 58c80c1

    update




2020-11-22 17:03:54 -0800 1ab74ee

    FedML and comments




2020-11-22 16:29:28 -0800 64c70c1

    Summary for AdDroid




2020-11-21 21:29:09 -0800 e011a53

    Yes. we can do the same thing. seems straight forward to build this prototype




2020-11-21 21:27:54 -0800 b36621f

    Ask about page boundary




2020-11-21 21:26:46 -0800 346f0d5

    EnclaveDom: page tags;




2020-11-21 21:20:55 -0800 c3bc1e0

    todo EnclaveDom challenges???




2020-11-19 22:34:43 -0800 28672ed

    mizhang SCYLLA




2020-11-19 21:44:34 -0800 2493489

    2020 NeurIPS




2020-11-19 19:08:39 -0800 9bd088b

    todo, mi zhang




2020-11-17 18:12:11 -0800 2512e3a

    todo Papers from Mi Zhang




2020-11-16 19:57:34 -0800 52e80b0

    Once for all, how to train?




2020-11-16 19:42:18 -0800 69dfdeb

    history and AI




2020-11-16 19:37:00 -0800 ada7ec2

    Automated education?




2020-11-16 19:33:34 -0800 b280e72

    Run Horovod




2020-11-16 17:59:08 -0800 5fd96f2

    Horovod: code example.




2020-11-15 19:32:42 -0800 439985e

    horovod: baidu post and 2009 FSU paper.




2020-11-15 19:19:10 -0800 197b59f

    horovod motivation




2020-11-14 18:43:37 -0800 815c969

    todo horovod




2020-11-14 13:08:10 -0800 0327154

    updates




2020-11-10 10:02:42 -0800 33af978

    intro to ML




2020-11-10 09:54:54 -0800 54b68ec

    formula in latex




2020-11-09 21:34:16 -0800 088032d

    ofa: tutorial




2020-11-09 20:10:18 -0800 bf41290

    formalization




2020-11-09 19:56:26 -0800 29d8571

    OFA network.




2020-11-09 19:40:52 -0800 666987e

    mcunet concepts




2020-11-03 11:04:24 -0800 62e9c8b

    techniques in MCUNet




2020-11-03 10:53:17 -0800 b2dd697

    Lane, SPINN




2020-11-03 10:19:33 -0800 28241ad

    update




2020-10-27 21:23:51 -0700 e5be468

    Another fiction.




2020-10-27 21:12:48 -0700 b86c833

    Comment the guides




2020-10-27 21:11:21 -0700 724210e

    Fiction: machine use human as tool; not human use machine as tool.




2020-10-27 21:06:49 -0700 00d1732

    Question for the era of educations by AI.




2020-10-27 21:04:07 -0700 b3c6396

    order




2020-10-27 20:40:42 -0700 9fea365

    test




2020-10-27 20:35:29 -0700 6b74701

    教育




2020-10-27 20:35:23 -0700 6a6c236

    details in MCU




2020-10-27 20:33:47 -0700 5e5629a

    move csedu to edu




2020-10-27 19:35:34 -0700 f5688ee

    update




2020-10-27 19:26:36 -0700 8d53924

    todo 2018 hovorod




2020-10-26 18:52:48 -0700 4748a2e

    Three stage for neural archi search.




2020-10-25 19:54:42 -0700 0b0bb29

    todo nas and survey




2020-10-25 19:17:25 -0700 e82504e

    date




2020-10-24 19:56:45 -0700 b1ce74b

    Three NAS components

todo: human models vs human designed models



2020-10-23 22:22:13 -0700 23f85a3

    move once-for-all to ai/




2020-10-23 22:17:36 -0700 4498f00

    reorder top menu; iot csed ai




2020-10-23 20:57:39 -0700 3835909

    ongoing MCUNet paper




2020-10-23 18:57:23 -0700 e0280ba

    ask




2020-10-23 18:56:13 -0700 acc54fc

    ask: cs for education: human power vs computer power in an ultimate race?




2020-10-23 18:52:35 -0700 7a7f7ed

    ask cs for education




2020-10-23 18:13:40 -0700 6f39e8f

    todo nas paper; mcunet




2020-10-23 13:00:36 -0700 e5f70c1

    todo nas components




2020-10-23 12:20:48 -0700 7f2161c

    nas in automl image




2020-10-23 12:05:58 -0700 617ba3d

    some nas code/papers




2020-10-22 19:54:23 -0700 1e11abe

    paper list from Song and Lane




2020-10-22 19:15:01 -0700 d7e6b60

    More devices.




2020-10-22 11:20:51 -0700 011c489

    16-17 fpga.




2020-10-21 19:04:18 -0700 aa67bee

    tracking devices in 2016




2020-10-21 11:17:56 -0700 6eae31d

    “We met once a week,” Dr. Hinton said in an interview. “Sometimes it ended in a shouting match, sometimes not.”




2020-10-21 10:21:51 -0700 090bd69

    arm and gem5




2020-10-21 09:46:02 -0700 1e94cb4

    formating




2020-10-21 09:45:45 -0700 7e94961

    More papers from Song




2020-10-20 19:58:36 -0700 1e08894

    Ask: how to recognize faked digital information (Photos, voices) by AI?




2020-10-20 17:28:38 -0700 7fefe58

    devices in Once for all




2020-10-20 17:28:14 -0700 8c4ce3b

    notes on english words




2020-10-20 17:27:38 -0700 76831a8

    cpi detials




2020-10-11 19:56:33 -0700 61c6203

    overview of CPI




2020-10-11 17:30:31 -0700 183856d

    to read: CPI




2020-10-08 22:01:19 -0700 8eb6292

    continue: draw a line.




2020-10-08 21:31:53 -0700 e316117

    People of Systems & Architecture: Margo I. Seltzer

"Just don't hide if you have a problem. I am here for you. We'll get you through this". Nobody told me that.



2020-10-08 21:10:59 -0700 6abc072

    cheri blog post: planting cheri tree




2020-10-07 12:52:03 -0700 fe80ccf

    Writing notes!




2020-10-07 12:39:32 -0700 e75732d

    Arguably, all great systems are just reinventing ideas and reevaulating assumptions in light of changing technology trends, but don't let that stop you. I made my career that way, you can too!




2020-10-07 12:33:56 -0700 561ce4d

    guide for PHD and readings.

Just dive in and start doing some research -- anything -- even if you think it might be a dead end



2020-10-03 21:26:45 -0700 872500e

    LLVM exception, landing pad.




2020-10-03 14:28:20 -0700 c62506a

    problem of current c memory semantic




2020-10-03 14:09:35 -0700 3db6059

    cheri c, pointer provenance, todo




2020-10-02 12:01:49 -0700 adaaf82

    list of steps from mshockwave;




2020-10-02 11:39:06 -0700 942ef82

    boundallocas: bound checking for stack object.

convert to pointer, check pointer in cheri, convert it back to nonpointer as before



2020-10-02 11:34:13 -0700 69238d8

    rangecheck only in mips




2020-10-01 21:59:14 -0700 090e45f

    summary of range checker




2020-10-01 21:31:31 -0700 800e401

    go through the logic of range checker.

Get a vector of casts of `malloc/valloc/realloc/aligned_alloc/reallocf/calloc`, and AllocaInst

Then add cheri_cap_bounds_set instruction to set the bound info of the pointer



2020-10-01 18:02:27 -0700 f47b01d

    Range Check pass, todo.




2020-10-01 17:24:32 -0700 014a375

    bound allocas steps in CHERI




2020-10-01 14:39:07 -0700 c151279

    todo cheriboundalloca pass




2020-09-30 22:31:34 -0700 94bc9ab

    CheriRangeChecker pass.




2020-09-28 20:36:41 -0700 9b06f22

    table-gen todo




2020-09-27 16:48:22 -0700 812d016

    inter-procedural data flow analysis




2020-09-21 09:48:34 -0700 7cefbe8

    todo ucfi




2020-09-21 09:48:06 -0700 e6c4223

    track ccall call conv




2020-09-16 23:50:25 -0700 3547b77

    ccall call paths gen_branch




2020-09-16 22:18:21 -0700 8f7d651

    add call path to syscall invoking




2020-09-16 21:00:37 -0700 143caf6

    tracking syscall impl in qemu




2020-09-16 20:46:05 -0700 536fd2b

    group inst translation; add syscall inst




2020-09-16 20:37:07 -0700 d47ab75

    tracking gen_compute_branch call path (QEMU/MIPS)




2020-09-16 19:02:45 -0700 681228d

    todoing tracking the call/ret instructions in qemu




2020-09-16 18:52:20 -0700 c29b145

    todo object scoping in llvm




2020-09-15 15:00:54 -0700 38cb21f

    llvm debug intrinsics overview




2020-09-14 21:01:13 -0700 1d36395

    llvm.dbg.addr




2020-09-14 20:59:05 -0700 5330f97

    call path cc




2020-09-13 13:50:52 -0700 ab3ce8c

    mips cc




2020-09-12 16:30:57 -0700 029ed66

    the cheri ccall calling conv def in llvm




2020-09-12 16:30:36 -0700 e30d703

    revise notes on llvm calling conv interfaces




2020-09-11 20:37:19 -0700 0e0ce69

    move call conv one level up




2020-09-11 20:36:56 -0700 0000388

    mov call-conv




2020-09-11 11:17:27 -0700 6ce00d8

    mips call conv: .td files todo




2020-09-11 11:17:08 -0700 12f34f7

    writing video




2020-09-10 22:00:37 -0700 26a1a80

    code list for calling conv;

todo Mips/RISCV calling conv



2020-09-10 19:15:25 -0700 03c46f7

    calling convention in llvm




2020-09-04 09:27:46 -0700 b4d4774

    escape/capture; undecidability of aa




2020-09-02 22:33:35 -0700 162f823

    cheri c/c++




2020-09-01 18:00:03 -0700 2320221

    todo: cheri full spatial safety for c/c++




2020-09-01 17:59:18 -0700 4d5e578

    evaluation on CHERI-CC




2020-08-31 18:37:52 -0700 ede82e9

    move sva to arch




2020-08-31 08:18:26 -0700 b33f791

    todo cheri-llvm regression test




2020-08-29 15:28:10 -0700 eb84701

    the value symtable naming in LLVM




2020-08-29 14:07:00 -0700 22eaafb

    add more info for global emission in asmprinter




2020-08-29 13:44:22 -0700 98451bc

    machine function pass impl: a function pass that calls runOnMachineFunction internally.




2020-08-29 13:00:12 -0700 2ac8a43

    todo: machine function pass vs functin pass




2020-08-29 11:08:01 -0700 a23e46b

    lto llvm




2020-08-29 11:00:24 -0700 9b8dfb3

    todo cheri c semantics




2020-08-28 22:31:46 -0700 c02363b

    semantics of C analysis tools...




2020-08-28 22:11:40 -0700 a618e36

    effective types




2020-08-28 20:56:00 -0700 f23cf08

    unspecified values/padding values




2020-08-28 20:24:15 -0700 a064c7c

    pointer copying semantics, a de facto




2020-08-28 20:13:11 -0700 f05e5ea

    out of bounds in fm model




2020-08-28 13:32:04 -0700 63d405c

    table 1 in pdp11 paper




2020-08-28 13:22:20 -0700 b5c6b21

    Q2: equality testing on pointers




2020-08-27 22:01:36 -0700 51ec3c3

    Q9 provenance.




2020-08-27 20:01:10 -0700 738a810

    example code for pointer provenance




2020-08-27 19:20:50 -0700 7dd2b37

    overview of contributions of Cerberus




2020-08-27 17:16:51 -0700 9f3f1fd

    into depth of C: three problems;

todo: Cerberus



2020-08-27 15:14:05 -0700 3b984b0

    tracking llvm intrinsics cheri csetbounds etc




2020-08-27 14:51:32 -0700 0e45321

    todo: c undef from Wang X




2020-08-27 14:38:02 -0700 de7c3db

    new guide




2020-08-27 14:14:13 -0700 d412100

    de facto c abstract




2020-08-27 14:06:14 -0700 46311a7

    c




2020-08-25 19:27:41 -0700 b96a1c5

    todo: extending llvm by new intrinsics/inst/DAG




2020-08-25 19:20:23 -0700 224be3b

    add src




2020-08-25 16:13:52 -0700 3c2c531

    found the place where the instruction of spilling ret addr is built.

in MipsSEFrameLowering::spillCalleeSavedRegisters()

called in PEI::spillCalleeSavedRegs



2020-08-25 13:37:34 -0700 8dbe071

    yuanzhuo pai video on ai and 5G




2020-08-24 09:16:28 -0700 05f4343

    jemalloc




2020-08-16 19:34:20 -0700 105cbb6

    note on asmprinter




2020-08-16 08:20:47 -0700 b3bb241

    minor update on AsmPrinter and Streamers




2020-08-15 23:01:05 -0700 72ccaf7

    revise title




2020-08-15 22:00:19 -0700 c130fb3

    elf object writer overview




2020-08-15 21:49:43 -0700 ef33b10

    tracking relocation section creation




2020-08-15 21:08:35 -0700 0435179

    ELFWriter: states and interfaces.

It has functions to write section headers, section header entries, and write relocations for an MCSectionELF



2020-08-15 19:56:20 -0700 8d8c820

    todo relocation and elf writers




2020-08-15 17:30:29 -0700 5f8860e

    memo on stack frame reading




2020-08-15 17:29:55 -0700 d316232

    memo on MIR reading.




2020-08-15 17:29:08 -0700 ecaa120

    todo: relocation in llvm codegen




2020-08-14 11:18:50 -0700 7a3ae2a

    update archetypes




2020-08-13 14:13:09 -0700 92f2367

    a summary of tag_bit_set/get funcs.

Tag blocks only allocated if it is being set once.
;



2020-08-12 23:37:37 -0700 b449fde

    qemu inst fetch: block translation and invalidation




2020-08-12 23:04:46 -0700 2c6b059

    link for QEMU translator internals




2020-08-12 23:02:04 -0700 116f006

    add qemu dev guide




2020-08-12 11:53:22 -0700 15a2e1e

    remove non-related comments




2020-08-12 11:04:38 -0700 4b2c4af

    qemu: tracking addr trans in mips




2020-08-12 10:52:14 -0700 0455eb4

    move guest ram and memtrace one level up




2020-08-11 23:44:54 -0700 5f6b4d3

    tracking qemu instruction translation and exe




2020-08-10 23:40:34 -0700 155238d

    track inst fetch: upper call path




2020-08-10 23:07:38 -0700 b7e9ab3

    tracking legacy ld/st permission check path




2020-08-10 21:03:43 -0700 0e92ec0

    todo: qemu-cheri: ld/st impl.




2020-08-10 21:03:28 -0700 6b5f0f2

    freebsd vm overview




2020-08-10 09:52:20 -0700 cedeff9

    todo: vm and page fault in FreeBSD




2020-08-10 09:49:35 -0700 9c5fd70

    .init sections




2020-08-09 17:08:09 -0700 76ae000

    tracking parse_notes in freebsd




2020-08-07 18:24:41 -0700 1a8ece3

    add a menu entry.




2020-08-07 18:24:13 -0700 087830b

    FreeBSD: tracking `get_branchinfo` ---> `parse_notes()`

parse_notes() will read section data from the binary file.



2020-08-07 14:12:03 -0700 0ab26ad

    tracking load_sections.

load_sections->load_section->map_insert->....



2020-08-07 09:58:23 -0700 c893256

    add link to Prof. Micheal's PLDI




2020-08-07 09:52:01 -0700 6399768

    TODO: categories of memory safety solutions




2020-08-07 09:36:28 -0700 b729a60

    Wonderings on ease of the program analysis challenge:

Revise the foundamental models?



2020-08-07 00:29:12 -0700 1b06a69

    tracking elf laoding in FreeBSD.

Todo: load_sections



2020-08-06 22:09:36 -0700 8cdb365

    what is ast in freebsd kernel code???




2020-08-06 22:09:02 -0700 44e9dd6

    vnode basic




2020-08-06 21:01:54 -0700 0a0a5ae

    thunk note: calling convention in LLD.




2020-08-06 21:01:23 -0700 a4859f8

    tracking sythetic section creation in LLD.




2020-08-06 21:00:32 -0700 3ecfaae

    tracking the relation between sectionCommands and outputSections.




2020-08-05 18:30:57 -0700 d4399de

    note on relocation time in linking process: near the end.




2020-08-05 14:32:06 -0700 c7ffc8c

    llvm: lld: tracking relocate/relocateAlloc/getRelocTargetVA




2020-08-05 13:22:02 -0700 ae057b0

    tracking assignAddresses() in LLD.

This is where all the virtual addresses for each output section got determined (fixed)



2020-08-05 11:53:22 -0700 a6ab1d0

    thunk note in lld




2020-08-05 11:51:34 -0700 60409e5

    todo LLD reloctions, Thunks




2020-08-05 11:45:26 -0700 eb73caf

    llvm: lld: tracking program header entry creation




2020-08-04 17:23:37 -0700 5f17362

    rela.text example




2020-08-03 22:44:32 -0700 ab8226f

    tracking program header creation in LLD

- PhdrEntry class/struct
- AddressState class/struct
- LLD partitions



2020-08-03 21:03:18 -0700 b97c3e8

    LMA and VMA in linker and loader




2020-08-03 19:00:04 -0700 d5edd3a

    LLD partitions




2020-08-03 18:46:06 -0700 197de96

    program header entry creation in Writer.cpp'




2020-08-03 12:18:53 -0700 e57cc89

    Output Sections stored as `BaseCommand *` in sectionCommands.

Verified in lld code.
see os_bench 85fead1f63b24c353a2973b15069fbc6cb17721d
see llvm-project 772424f5bfb467f7b43d217ab0fd4b93430541d7



2020-08-03 12:15:04 -0700 a9e5ec7

    tracking program header generation in LLD.

TOOD: Writer::finializeSections() handles the generation.



2020-08-03 09:11:22 -0700 cec7834

    explain p_paddr field in program header entry.

not used for executable and shared objects



2020-08-03 00:41:44 -0700 dedc9c8

    refer to the table from oracle book




2020-08-03 00:29:45 -0700 236a88f

    add section types in llvm.




2020-08-02 20:06:18 -0700 77b3f93

    MCObjectStreamer::emitBytes




2020-08-02 20:04:52 -0700 536b1a4

    program header format




2020-08-02 17:37:19 -0700 22bf855

    AsmPrinter: emitGlobalVariable




2020-08-02 16:04:29 -0700 fcec8ed

    linker .o and .a




2020-08-02 15:35:18 -0700 a012f70

    the symbol resolution




2020-07-31 22:36:12 -0700 dc049fd

    freebsd scan for elf headers




2020-07-30 21:20:57 -0700 c268807

    freebsd tracking: the __elfN(imgact) function




2020-07-30 16:37:24 -0700 d296ce8

    done loading in linux;

todo: loading in freebsd



2020-07-30 14:36:49 -0700 7e6bdb1

    remove sym table dir




2020-07-30 14:36:11 -0700 1176148

    todo: LLD: handling syntheticSection




2020-07-30 14:35:30 -0700 4bca5aa

    todo: relocation support in LLD




2020-07-30 14:34:51 -0700 0634278

    a full list of section types in LLVM




2020-07-30 14:33:12 -0700 c82ca72

    loading elf files, to do




2020-07-30 13:59:29 -0700 080d363

    a link of capsicum for linux




2020-07-29 11:32:03 -0700 bc0236a

    tracking symbol table: common symbol;




2020-07-28 22:05:50 -0700 2e06bad

    todo: linking process, merge .text sections




2020-07-28 22:00:10 -0700 7ae6970

    relocation explained




2020-07-28 21:23:18 -0700 6a6dbb4

    symbol table section explained




2020-07-28 20:02:00 -0700 0e71362

    todo elf sections.

goal: manage section relation mappings



2020-07-28 17:09:08 -0700 1d6027d

    simple dwarf format overview




2020-07-28 15:17:24 -0700 8c5af36

     linker impl to handle sections




2020-07-28 15:03:17 -0700 3437c70

    lld todo




2020-07-28 01:39:28 -0700 8a12b36

    tracking emitinstruction deep into emitbytes; todo: lld elf writer




2020-07-27 23:00:17 -0700 82079d1

    emit instruction tracking in asmprinter/mipsasmprinter




2020-07-27 11:53:53 -0700 a35405d

    tracking up to MCStreamer::EmitInstruction




2020-07-27 11:12:51 -0700 3429dc3

    tracking object streamer; todo: where to switch sections




2020-07-26 19:56:22 -0700 03a599a

    a list of steps to create a new section in an ELF object file




2020-07-26 13:42:03 -0700 330f4ca

    selection dag: DAG opt stages




2020-07-26 00:22:02 -0700 7bab3dc

    DAG to MachineInstruction transfer




2020-07-25 00:39:44 -0700 5ac175b

    pass init code for codegen




2020-07-25 00:35:50 -0700 14ea2e3

    todo: track DAG to MIR




2020-07-25 00:35:14 -0700 0157e52

    todo prolog epilog details




2020-07-24 11:38:25 -0700 052b503

    overview of CodeGenAndEmitDAG()




2020-07-24 10:54:23 -0700 e607ec0

    llvm: SelectionDAG: runOnMachineFunction overview;

overview of SelectAllBasicBlocks()

code to detect a return block



2020-07-24 02:00:37 -0700 3d2dbc9

    todo code gen and emit dag




2020-07-24 01:13:43 -0700 fd4f322

    tracking visitXXX instruction lowering from IR to DAG




2020-07-23 19:27:40 -0700 2a83d2a

    instr emission




2020-07-23 16:56:38 -0700 b78e74f

    passing Metadata across DAG using a specific node to store metadata node;

+ scan a DAG



2020-07-23 16:55:29 -0700 d0e6358

    tracking SDNode creation




2020-07-23 15:58:21 -0700 912b73d

    llvm: codegen: debugloc creation and propagation in DAG




2020-07-23 15:57:22 -0700 bb41c35

    llvm: codegen CallingConv




2020-07-22 18:27:25 -0700 55926ae

    overview of selection dag




2020-07-22 11:28:52 -0700 5b0242e

    llvm: core inst selection passes for mips




2020-07-22 10:01:19 -0700 84066be

    llvm: codegen add coreISel, move GlobalISel as subdir




2020-07-22 09:58:22 -0700 23f56fb

    llvm: move instruction select to globalISel




2020-07-22 09:55:58 -0700 8ad3e51

    llvm: move IRTranslator to GlobalISel




2020-07-22 09:52:40 -0700 741eff3

    llvm: codegen: note on globalISel




2020-07-22 09:52:12 -0700 9dbf1c4

    llvm: attribute




2020-07-22 09:51:42 -0700 23bea04

    llvm: codegen: global inst selection framework, not for mips yet




2020-07-22 01:24:41 -0700 1858f80

    three kinds of selectors




2020-07-22 01:12:33 -0700 6fb32df

    add source code for reference




2020-07-22 01:04:00 -0700 f4ea0a7

    ir translator, not for mips arch




2020-07-22 00:25:52 -0700 43af8ea

    llvm: codegen todo call lowering




2020-07-21 23:27:50 -0700 bf5352b

    add column highlight setting for mscode/vim




2020-07-20 11:37:52 -0700 2195e6b

    llvm: codegen IRTranslator

TODO: set the ownership of MIR from IR values (for instructions currently)



2020-07-20 11:36:55 -0700 9a3d41d

    llvm: codegen MCStreamers:

- MCStreamer classes
- MCTargetStreamer classes

Two `friends` with  each others instance as its member, and used by all its children.



2020-07-20 00:10:21 -0700 9269ddd

    llvm: codegen: todo MCAsmStreamer.

Compare it with MCObjectStreamer, see how TextSection got handled.



2020-07-20 00:02:38 -0700 06d550d

    llvm: codegen overview of asmprinter

Emit Labels from MachineFunctions



2020-07-19 23:44:23 -0700 1bda931

    llvm: codegen todo: MCStreamer series




2020-07-19 23:04:32 -0700 0175483

    llvm: codegen MCStreamer and MCTargetStreamer




2020-07-19 16:48:27 -0700 7c67ac8

    llvm: codegen: IR translator;

todo metadata



2020-07-19 09:35:57 -0700 7d5868a

    llvm: codegen: remove redundant




2020-07-19 09:34:49 -0700 1af35b7

    llvm: codegen: steps in AsmPrinter::EmitStackSizeSection()




2020-07-19 08:59:21 -0700 7feee6e

    llvm: codegen: MipsAsmPrinter pass tracking.

- MipsAsmPrinter::EmitInstruction() called by AsmPrinter::EmitFunctionBody()

- Two key methods in the pass of AsmPrinter (parent, target independent): `SetupMachineFunction()` and `EmitFunctionBody()`

- Overview of the above two key methods.

- `SetupMachineFunction()`: setup CurrentXXX states: function symbols, fuction begin, exception symbols, ORE(analysis result from MachineOptimizationRemarkEmitterPass)

- `EmitFunctionBody()`: emits the body and trailer for a function.
    - Iteration through the MachineFunction once: every BB and every MI in each BB.
    - Iterate both at MIR level once and at IR level once

    - After scan all BBs(MBBs), do the emission of jump table info, stack size section, and ownership sections(tentative).



2020-07-18 21:33:00 -0700 5e6dbf6

    llvm: codegen asmprinter pass overview




2020-07-18 20:03:52 -0700 2cf3122

    llvm: codegen tracking TextSection

`MCStreamer::EmitInstruction()` tracking: not so useful, only handles MCExpr and finally calls visitUsedExpr()??;

but most instruction does not have such Expr in Mips.



2020-07-18 17:20:15 -0700 a0ee8e3

    llvm: codegen AsmPrinter




2020-07-18 01:41:25 -0700 32aebda

    llvm: codegen: MCAssembler registerSection




2020-07-18 01:23:15 -0700 70c40d0

    llvm: codegen: EmitBytes explained




2020-07-18 01:09:24 -0700 ec50bda

    llvm: codegen: found EmitBytes

in MCObjectStreamer class, not in MCStreamer class



2020-07-18 00:47:07 -0700 174a9ec

    llvm: codegen section init in MC layer




2020-07-18 00:45:09 -0700 a265b53

    llvm: codegen elf flags




2020-07-18 00:07:57 -0700 d052dbd

    llvm: codegen SelectSectionForGlobal




2020-07-17 22:14:25 -0700 81be84f

    llvm: codegen: MCContext, create MCSectionELF




2020-07-17 21:52:06 -0700 6d51c21

    llvm: codegen: track finish()

-> emitIntValue() -> emitBytes() -> empty!



2020-07-17 15:31:36 -0700 61cb484

    llvm: codegen tracking data section




2020-07-17 14:50:59 -0700 088fbcb

    compilers,os: dwarf links, text todo, move llvm-elf to mc




2020-07-17 12:09:29 -0700 059ca72

    arch,os: elf call frame information




2020-07-17 11:48:09 -0700 1c1a8c0

    arch: asm: links for CFI directives

and .eh_frame section



2020-07-17 11:15:15 -0700 753c0e8

    llvm: codegen mc object file




2020-07-17 10:17:57 -0700 a47d327

    llvm: codegen: MipsTargetObjectFile, init




2020-07-16 22:50:39 -0700 234d353

    llvm: codegen MipsTargetELFStreamer




2020-07-16 00:17:51 -0700 abc40ef

    arch: asm, directives




2020-07-16 00:04:38 -0700 a60af4e

    compilers, os: update some links




2020-07-15 23:54:53 -0700 21754f0

    llvm: codegen: mc layer emmiting code




2020-07-15 23:54:31 -0700 4ac4a83

    llvm: codegen: overview of Machine* classes




2020-07-15 23:13:24 -0700 d92a7ee

    llvm: codegen: MachineInstr class




2020-07-15 21:25:44 -0700 ffa9828

    compilers: overview of codegen core classes:

- Target Description classes
- Machine code description classes



2020-07-15 21:09:05 -0700 3509a58

    compilers: note on asm




2020-07-15 21:07:39 -0700 d88ace7

    compilers: codegen: move arch/basics/asm here




2020-07-15 21:05:59 -0700 43dc7ad

    arch: asm: some section related directives




2020-07-15 18:47:25 -0700 b9afb5c

    compilers: codegen todo: stack frame algs




2020-07-15 18:39:20 -0700 24f48ed

    compilers: llvm codegen, MC layer, MCInst




2020-07-15 17:21:07 -0700 7d24748

    compilers: class hierachy defs




2020-07-15 13:02:22 -0700 3983979

    compilers: codegen: MCSection overview




2020-07-15 12:49:06 -0700 64b6324

    compilers: codegen: the MCSymbol class intro;

todo MCSection class



2020-07-15 12:41:53 -0700 a59a4f7

    compilers: code generation, todo: symbol table gen




2020-07-15 12:28:47 -0700 6c03f27

    compilers,os: temporarily move backend related stuff

move to top level of contents for easy access; will distribute back after work done.



2020-07-15 12:24:08 -0700 bcbf00a

    llvm: codegen MCStreamer class




2020-07-15 11:57:42 -0700 faef3fe

    llvm: todo, locate the sym table generation code in llvm




2020-07-15 11:55:36 -0700 aad3510

    os: add a new linker loader book from oracle




2020-07-15 10:41:58 -0700 3929d51

    fm: todo: coq and kami




2020-07-15 10:33:50 -0700 239d486

    util: disable the re matching check.

It cannot recognize the tag with two letters, such as os, fm



2020-07-15 10:32:14 -0700 a05f095

    fm: move cspec to papers/




2020-07-15 01:28:14 -0700 da22a89

    os: elf, GOT and PLT and dynamic links




2020-07-14 21:04:57 -0700 748dc91

    compilers: global relocation mode




2020-07-14 18:54:55 -0700 8d351ed

    compilers: table gen usage examples




2020-07-14 17:57:22 -0700 447c1b1

    compilers: backend todo, global var code gen with tags




2020-07-14 09:49:43 -0700 98157d0

    compilers: dag construction links




2020-07-13 20:02:11 -0700 83bd1c1

    compilers: DAG intro and peephole opt intro




2020-07-13 19:15:59 -0700 a5df007

    llvm: code gen with DAG




2020-07-13 19:12:43 -0700 117afaa

    llvm: global var DAG node




2020-07-13 13:22:59 -0700 81d51da

    compilers: backend object file gen, llvm code




2020-07-13 10:25:26 -0700 807c06a

    llvm: mpx in bogo, handling global

insert global bnd set at beginning of main instead of ctor



2020-07-13 10:24:32 -0700 54e1baf

    os: elf ctor dtor section




2020-07-12 23:35:19 -0700 a990b07

    os: elf relocation/program header




2020-07-12 23:03:02 -0700 f5f42f3

    os: elf header, section headers

Symbol Table, String Table, BSS



2020-07-12 21:01:23 -0700 fa34a56

    os: todo elf global constructors




2020-07-12 16:11:13 -0700 826b17d

    llvm: mpx in bogo, transform functions and globals




2020-07-12 14:04:33 -0700 97c8bf9

    llvm: mpx in bogo: looks like a recursive calling chain




2020-07-11 23:52:13 -0700 854207d

    llvm: bogo mpx pass, instruction insertion.




2020-07-11 22:57:04 -0700 257deee

    mem-safe: mpx basics and tester pass from bogo




2020-07-10 22:44:07 -0700 d16ad56

    llvm: bogo: overview of the mpx pass




2020-07-10 21:59:20 -0700 1550486

    llvm: llvm mpx todo; update tags




2020-07-10 09:33:54 -0700 d6a81e8

    qemu: guest ram block -- memory region def




2020-07-10 09:33:26 -0700 53f89bd

    qemu: event handler of simple trace in qemu




2020-07-04 23:28:57 -0700 bbd1bc8

    qemu: add def for ramblock




2020-07-03 22:54:12 -0700 dcb4a4a

    util: check git commit msg with tags




2020-07-03 22:22:37 -0700 7395724

    trace cpu: trace generation and reading




2020-07-03 21:06:52 -0700 fa7f55e

    todo v-to-p; bin load in Gem5




2020-07-03 18:48:50 -0700 efb05c8

    memory mapping in gem5




2020-07-03 10:39:48 -0700 4767f35

    tag to do




2020-06-26 10:31:44 -0700 0b7bde5

    tutorial link of stats in gem5




2020-06-26 10:09:56 -0700 b2ae94f

    todo: stats.txt readings in gem5




2020-06-21 22:34:55 -0700 b15fbf9

    tlb entry creation and query in qemu




2020-06-21 00:50:09 -0700 cd829a6

    tlb hit test, virt address/valid bit match




2020-06-21 00:07:57 -0700 cf30eda

    todo code tracking for guest ram access




2020-06-21 00:07:27 -0700 a540d82

    guest ram memory region overlapping and priority




2020-06-20 15:43:43 -0700 1478056

    region overlap with priority example




2020-06-20 15:22:30 -0700 3571114

    qemu memory region




2020-06-20 10:27:51 -0700 776933a

    todo guest ram




2020-06-19 10:52:22 -0700 f2937e3

    gem5: trace file passed to traffic gen cfg file




2020-06-19 01:59:46 -0700 e97e91b

    todo add figure; freebsd memory and binary layout




2020-06-19 01:41:46 -0700 380f00f

    Basics: demand paging when loading binary for execution




2020-06-18 23:04:50 -0700 9ec5a7f

    an example of using traffic gen




2020-06-18 22:03:47 -0700 5002020

    overview of traffic gen




2020-06-18 16:34:15 -0700 00e06fa

    todo binary loading in gem5




2020-06-18 16:31:11 -0700 18ab8ea

    simple timing cpu todo




2020-06-18 15:19:47 -0700 b2b23f2

    ask simobj simulation in gem5




2020-06-18 13:51:40 -0700 47be000

    figures from gem5 book




2020-06-18 12:46:28 -0700 3286c65

    Computer Security: Art and Sciences




2020-06-18 12:43:30 -0700 bfe18d7

    a new book: 程序员的自我修养--链接、装载与库




2020-06-18 05:45:43 -0700 c455a05

    add a mem obj figure; remove old site




2020-06-17 21:51:01 -0700 d052d32

    new(old?) gem5 book site;

Linker and loader link;



2020-06-17 18:33:06 -0700 316eb0b

    linker and loader slides from Cornell




2020-06-17 14:32:41 -0700 fcf222a

    notes on extending gem5




2020-06-17 00:17:31 -0700 9c3f904

    common options for se.py and fs.py




2020-06-17 00:08:04 -0700 6586326

    commands to run se.py`




2020-06-16 23:59:44 -0700 345a378

    gem5 configuration examples




2020-06-16 00:28:11 -0700 9303dbf

    many authors not listed




2020-06-15 22:01:03 -0700 b6f0b4a

    typo in pump




2020-06-15 22:00:20 -0700 1d77f74

    software foundations book




2020-06-14 20:44:45 -0700 3aa07c2

    todo: whether a tlb hit should be counted as mem read? probably not




2020-06-13 16:58:36 -0700 7653348

    memtrace impl in qemu




2020-06-08 12:37:02 -0700 5d80389

    startMem




2020-06-08 12:36:40 -0700 e9624b7

    todo oxide




2020-06-06 22:35:22 -0700 ba9f9dc

    execute csc




2020-06-06 20:41:52 -0700 b5fb376

    memaccess csc




2020-06-06 18:15:24 -0700 d504a15

    decodeInstruction




2020-06-06 17:29:47 -0700 521a39f

    csc decodeInstruction




2020-06-06 03:24:44 -0700 f75c4d3

    r4000 encoding; csc instruction tracking




2020-06-06 02:49:24 -0700 1ead2ff

    move inst encoding to isa




2020-06-06 02:46:02 -0700 669a3cb

    mips inst types




2020-06-05 21:29:36 -0700 43f47a3

    encoding of mips




2020-06-05 21:03:39 -0700 fd71f26

    encoding summary figures




2020-06-05 18:57:25 -0700 04c269f

    cloadtags




2020-06-04 18:19:20 -0700 de0005d

    qemu: cloadtags to do




2020-06-01 23:00:33 -0700 5bbe6a3

    q/a merge.bsv




2020-06-01 22:57:51 -0700 6b992a0

    icache dcache merge




2020-06-01 20:20:27 -0700 d2a1b75

    mips, writeback stage




2020-06-01 10:07:05 -0700 9e3cf1e

    icache in cap2_ccall.log




2020-05-30 18:51:11 -0700 5b8c76d

    icache; mem partition




2020-05-27 23:36:48 -0700 70b4674

    cap runtime refinement




2020-05-27 23:15:45 -0700 63f1c5f

    todo execve




2020-05-27 22:02:18 -0700 0715942

    todo cheri tag




2020-05-27 22:02:00 -0700 cd64e37

    tracking cheri tag in qemu




2020-05-27 22:01:15 -0700 dfcfb70

    qemu new instruction




2020-05-27 22:00:44 -0700 d3eabe5

    more dcache notes




2020-05-27 22:00:10 -0700 ee0cf39

    todo icache




2020-05-27 21:43:21 -0700 e441ede

    tag figure in 2017




2020-05-25 21:49:44 -0700 8cd06d4

    cheritest note




2020-05-25 13:12:42 -0700 d1c73dc

    builtins




2020-05-25 04:24:01 -0700 2eef921

    cheir tag mem in qemu




2020-05-24 23:42:24 -0700 23f80ec

    test framework to learn




2020-05-24 18:11:25 -0700 5f10d0d

    todo cheritest




2020-05-24 17:09:51 -0700 4f17506

    todo reinforcement




2020-05-24 17:02:48 -0700 4b7f811

    a list of trainging and inference opt




2020-05-24 15:49:23 -0700 35163f0

    review perceptron




2020-05-24 13:19:01 -0700 076e237

    tensor link




2020-05-23 23:50:45 -0700 4f3d4bf

    algorithms ai




2020-05-23 21:44:55 -0700 131d016

    move tf to ai




2020-05-23 19:04:15 -0700 b9a8bac

    tensor




2020-05-23 17:04:28 -0700 2a56a92

    rename cheri-> cheri-mips; todo: cheri-flute. cheri-piccolo




2020-05-23 17:00:07 -0700 6ed86ef

    tail




2020-05-23 16:59:35 -0700 e3a4c9e

    cloadtags since isav7




2020-05-19 23:51:40 -0700 5eb9d45

    sp quarter




2020-05-19 23:04:23 -0700 159f377

    sp notes




2020-05-17 02:35:30 -0700 8bc547f

    cnn, todo generative




2020-05-16 23:51:13 -0700 2074e86

    intro to dl




2020-05-16 23:00:55 -0700 5b4d84b

    6s191 mit




2020-05-16 21:51:26 -0700 4d20b5b

    todo psos,cap




2020-05-16 00:03:10 -0700 1c20b61

    some todos




2020-05-14 20:14:32 -0700 f36da71

    Multi: almost done for flat table;

Next: test on compilation



2020-05-14 16:50:18 -0700 2774cce

    getReq: drain unused memory responses (write rsp)




2020-05-14 16:47:24 -0700 868fc54

    done doLookup




2020-05-14 14:47:25 -0700 8ff670d

    ask fl vs docker migration




2020-05-14 00:08:57 -0700 fd91d58

    tagController.bsv todo: handling tag response from tagcache: the burst index




2020-05-14 00:08:13 -0700 917dbba

    a possible bug/disinformation in CHERI burst specification




2020-05-13 21:50:20 -0700 87e3ddd

    MutiLevel: done Slave response get()

No need to change since it grabs response from queue and returns the struct of a valid/invalid LineTags



2020-05-13 21:34:13 -0700 b5087f8

    MultiLevel: finish the Slave.request.put; write




2020-05-13 20:57:22 -0700 d36faaa

    more notes on the flit;

TO continue: the request.put() in multi-level-tag-lookup



2020-05-11 20:04:36 -0700 3d10abf

    skeleton MultiLevelTagLookup.bsv




2020-05-11 19:52:41 -0700 71b5000

    state of multi-level tag




2020-05-11 19:43:23 -0700 6f402e2

    multi-level tag: todo: slave interface; tagsparams.py todo: tagStructure




2020-05-11 19:01:44 -0700 9c690cd

    Memory request bits width




2020-05-11 17:27:18 -0700 42b6deb

    master interface of tag-controller:

connected to main memory interface via =



2020-05-11 17:02:12 -0700 efd0718

    TagLookup: response contains tags for four flits of data




2020-05-11 13:30:50 -0700 bc9bfb6

    todo fedarated learning




2020-05-11 00:36:46 -0700 a37fba5

    todo: changes in CacheCore is needed




2020-05-11 00:12:40 -0700 ab3e73e

    cachecore learned;

Cache basics; set/way, tag, key, offset;

todo: tagLookup the response side tag manipulation;



2020-05-10 20:41:23 -0700 aa3d5a9

    done TagLookup.bsv

Tag bits is inspected in the slave interface implementation request/response.



2020-05-09 21:10:30 -0700 0dc4644

    difference of DNN and brain




2020-05-09 21:06:29 -0700 f2da545

    pattern matching in DNN?




2020-05-09 20:59:36 -0700 53df322

    revise ai; add deep learning videos




2020-05-09 19:11:08 -0700 c5a2ab9

    ai: big data




2020-05-09 17:06:44 -0700 f89d727

    ask AI general




2020-05-09 16:13:32 -0700 81853d3

    ml->ai




2020-05-09 15:36:25 -0700 3d68d6d

    MemTypes: line and cheribusbytes




2020-05-09 15:14:15 -0700 da739d1

    the valid physical memory range in tagLookup




2020-05-09 15:01:01 -0700 188312d

    the init of masterID in tagLookup




2020-05-09 14:55:46 -0700 ce3a0a8

    Memory - TagController response dispatch:

using masterID field to distinguish the response to be either regular memory or tag



2020-05-09 03:06:06 -0700 1869490

    TagLookup: LineTags




2020-05-09 03:02:12 -0700 c8d18d6

    two equal meaning vars




2020-05-09 02:52:27 -0700 e48c338

    done CapNumber; CheriCapAddress: a unpacked version of phy addr;

done CheriDataWidth; todo following types related to Cheri

confusing name of 'capBytesPerFlit', should be same as cheriBusBytes? Looks like so because all the test scripts in cheri/trunk/Test using MEM128 and CAP128 at same time;



2020-05-09 02:19:04 -0700 b467c49

    some thoughts on reuse phy mem addr bits




2020-05-09 02:09:35 -0700 042e28c

    ask: reuse of unused address bits;

todo: meaning of CapNumber;



2020-05-09 02:07:14 -0700 51961b3

    processor memory interface, 256-bit data WORD, and 35-bit WORD address width (40-bit byte address); not 64-bit byte addressable!




2020-05-09 01:55:12 -0700 393c0a1

    learning tagLookup; flit resolved:

Flit is a bus-width data chunk



2020-05-08 21:08:49 -0700 f57d7a3

    todo: tracking how tag-lookup manage tags;

todo2: tracking how tag in Data#{CapTags, } got updated



2020-05-08 15:34:41 -0700 35638da

    CAP: a guess on meaning of flit




2020-05-08 11:55:07 -0700 01b59e3

    revise tagController figure




2020-05-08 11:00:21 -0700 a267ea3

    draft exp bits




2020-05-08 01:48:25 -0700 92f0cf1

    todo: tag-lookup & files need to be changed




2020-05-08 01:25:22 -0700 75e613c

    revise tag controller; files to change




2020-05-08 01:12:46 -0700 9fcf7da

    answer one question about tag controller




2020-05-08 00:22:25 -0700 b88a97a

    tag-lookup: maybe an easier place to learn the code




2020-05-08 00:20:41 -0700 c4433bc

    flit: some clue but still need more info to know what it is




2020-05-08 00:19:01 -0700 89abbe1

    done TagController:

1. connections to the memory and l2Cache.
2. a submodule tagLookup, and its connections to tagController, memory
3. tagLookup is responsible to handle tag cache hit and miss, and prepare the tag bits to be returned as response for every memory read/write request.

TODO: look into tagLookup, and its tag format, and change it.
;



2020-05-08 00:11:58 -0700 ecda867

    tag bits in Data#

TODO: the relationship between number of tag bits, data_width, and CHERI cap bits



2020-05-07 20:00:27 -0700 96be0a6

    connection: tagLookup.cache.response --> lookupRsp




2020-05-07 18:02:29 -0700 3917416

    note on Master-Slave Get/Put interface connections:

Master as client and Slave as server



2020-05-07 17:35:07 -0700 100356a

    bsv: GetPut




2020-05-07 02:23:52 -0700 2ce18ec

    replace




2020-05-07 02:20:58 -0700 709eab4

    revise




2020-05-07 02:16:51 -0700 b88ddaf

    critic on AI vs HI: AI is a tool to assist HI, mimic HI seems useless.

AI image processing stuff seems goes too far and many tries to mimic human capability of image processing; but this human capability itself has flaw.

When HI has flaw, AI should find some new ways to assist humans to overcome human flaw instead of trying to re-create such a capability with flaw.



2020-05-07 01:52:45 -0700 1441a7f

    critic on learning objects from the picture




2020-05-07 01:31:27 -0700 77dd102

    intro: early stage of AI: formal informal solutions ==> representation dependence




2020-05-07 00:49:56 -0700 5aaa2f4

    re-order items top level




2020-05-07 00:31:09 -0700 95673a9

    pull before update/push




2020-05-07 00:07:10 -0700 0af5d07

    dl: intro




2020-05-06 23:58:13 -0700 6ff1392

    todo: search for algorithms in deep learning




2020-05-06 23:56:04 -0700 48c4e82

    split the questions




2020-05-06 23:49:29 -0700 4fcfb7a

    move vmi to sys-sec




2020-05-06 23:48:31 -0700 b1058b9

    move fm to logics




2020-05-06 23:45:48 -0700 680ed05

    ask logics: general connection between logic, representation and computing




2020-05-06 23:41:33 -0700 9b82a7c

    什么是应用逻辑




2020-05-06 23:35:01 -0700 e6fc493

    merge




2020-05-06 23:15:30 -0700 b0f73af

    three categories of logic methods




2020-05-06 23:05:10 -0700 83eccd3

    modern 89: ask: the representation of knowledge




2020-05-06 23:04:07 -0700 3a66214

    cacheCore: put -> next fifo




2020-05-06 14:07:51 -0700 0692b12

    Enable edit link




2020-05-06 11:51:17 -0700 3ec6920

    correct the relationship between l2cache and tagcontroller

TODO: the tagging in the request/response: tracking mReqs.enq(xxx) and the memAccess stage in CPU pipeline.



2020-05-06 10:35:14 -0700 91eb503

    tag controller with l2cache




2020-05-06 10:33:04 -0700 cbf74f1

    BSV: master slave understanding; to be confirmed




2020-05-06 10:32:41 -0700 de918c5

    BSV: master slave understanding; to be confirmed




2020-05-06 10:26:46 -0700 08494df

    todo: 1. verify that the memory response have tag bit being set; 2. find out how tag controller resolve the physical address to get data with tag;




2020-05-06 03:28:26 -0700 1879a4e

    tag controller: between l2 cache and physical memory; next: where is physical memory interface?




2020-05-06 02:40:39 -0700 7ea016d

    the connection of l2cache/tag-controller with the same memory interface will cause access competition & performance overhead




2020-05-06 02:36:59 -0700 b04eba5

    l2Cache: done with tag tracking: It shares a common interface: the master interface `memory` with TagController module;




2020-05-06 02:31:07 -0700 1822cb8

    todo L2Cache interfaces and tag connections




2020-05-06 02:24:55 -0700 7f3193e

    todo: l2 cache




2020-05-06 02:23:54 -0700 9e43aaa

    cachecore where to go depends on who use it

todo: merge interfaces



2020-05-06 02:12:46 -0700 1112803

    no one calls mkTagCache?




2020-05-06 02:08:29 -0700 017b8c6

    tagCache with CacheCore; Todo: who calls tagCache?




2020-05-06 02:03:14 -0700 52bb733

    ICache DCache L2Cache -> CacheCore




2020-05-06 00:42:04 -0700 dfd7ebc

    move mem-tag; todo: addrsan for tagging




2020-05-06 00:33:40 -0700 4c6ea7c

    mkConnection get put




2020-05-05 23:49:37 -0700 8a62b24

    connections in memory




2020-05-05 23:40:21 -0700 f9e6a21

    todo: tag controller caller




2020-05-05 23:37:10 -0700 0be29b2

    add Q/A for code tracking




2020-05-05 23:33:45 -0700 1b36546

    Types in CacheCore.bsv




2020-05-05 23:05:44 -0700 49b5d15

    bsv: type functions




2020-05-05 22:21:31 -0700 3bf04df

    todo cache core




2020-05-05 22:09:45 -0700 a67958c

    mem request: DCache -> CacheCore.put(req)




2020-05-05 21:08:44 -0700 8f066e6

    todo: dCache data path




2020-05-05 14:52:18 -0700 afebc53

    linux pte fields




2020-05-05 14:08:35 -0700 c94fb25

    secdev: May 25




2020-05-05 13:36:12 -0700 61bac71

    mk_pte: with prot as group of access rights




2020-05-05 13:27:07 -0700 d0b194d

    todo linux: page tables




2020-05-05 03:43:24 -0700 f7bf4ec

    todo: startTLB, find the permission read/write todo: dCache, find the tag read/write




2020-05-05 03:41:28 -0700 2b19a59

    startTLB consume TLB search request




2020-05-05 01:29:31 -0700 48171c2

    todo tlkLookupInstruction: request always succeed?




2020-05-05 01:23:55 -0700 4743480

    r4000 tlb basics, cp0 reg update




2020-05-05 00:59:23 -0700 bbc1b1c

    tlb, cp0 regs




2020-05-04 22:40:54 -0700 95d1fc3

    todo: tracking tlb miss/hit: does it related to tag pages?




2020-05-04 21:07:21 -0700 83724cf

    CP0: interfaces




2020-05-04 20:23:32 -0700 7c10ad7

    todo: data path in TLB response, dcache.put




2020-05-04 18:41:00 -0700 350dafb

    connection between mips memory and tag mem




2020-05-04 18:29:59 -0700 bbdaac0

    memory module, tlb and cache




2020-05-04 18:25:49 -0700 3a77a52

    todo: iCache dCache with tag controller




2020-05-03 21:50:08 -0700 32743e0

    master interface memory request/response




2020-05-03 20:32:50 -0700 c924745

    slave: request/response




2020-05-03 20:13:18 -0700 b70382a

    peekMemResponse()




2020-05-03 16:40:19 -0700 6b6577a

    tag controller: slave (cache) request and response

??? Vector#(TDiv#(CheriDataWidth,CapWidth),Bool) tags = replicate(True);
- why need to construct tag if read?
- why the number of bits of tags need a division to get



2020-05-03 15:47:01 -0700 c21a7c8

    todo: data paths in cheri




2020-05-03 15:12:42 -0700 c9c374a

    tag controller: struct MemoryRequest/Response




2020-05-03 02:32:42 -0700 801c680

    todo: tag controller & caches




2020-05-03 02:24:55 -0700 0f787fd

    startMem->dCache.put




2020-05-03 00:32:03 -0700 3146fd5

    dataMem.startMem todo; beri sim debug




2020-05-02 23:38:52 -0700 7731385

    todo startMem




2020-05-02 23:15:15 -0700 b092be2

    memaccess: m.startMem




2020-05-02 22:58:35 -0700 17ad9df

    tlb: vaddr - paddr




2020-05-02 18:43:07 -0700 03d7026

    todo: tlb.bsv, for tag bits




2020-05-02 18:40:11 -0700 55d331b

    reorder beri; revise getCapResponse and getAddress: do register checkings, but no capability tag checks

need to continue to search for tlb ops



2020-05-02 15:59:18 -0700 fcdd49d

    fix link




2020-05-02 15:55:21 -0700 e5bc8d7

    move beri up




2020-05-02 15:51:30 -0700 f63ce79

    add orders meta in header




2020-05-02 03:38:49 -0700 e9df525

    todo: execute: address calculation




2020-05-02 03:31:34 -0700 f5d5426

    overview of Memory.bsv; todo TagCache.bsv




2020-05-02 03:28:52 -0700 1da24ce

    capcop: LC SC




2020-05-02 03:28:14 -0700 77365ad

    MIPSTop: 6 stages




2020-05-02 01:44:45 -0700 3d324c6

    ask tagged memory partition during boot




2020-05-02 01:43:32 -0700 28d92ca

    answer some cheri QA




2020-05-02 01:21:26 -0700 b2ec688

    commit wb stage




2020-05-02 01:05:42 -0700 6a60241

    capcop: add memwb; add types for states




2020-05-01 11:15:21 -0700 4a8e5fb

    todo booting: where does the partition happens?




2020-05-01 03:37:02 -0700 a0265ee

    locore: enable cheri

Tag is being used; tagged memory should be configured previously.



2020-05-01 01:54:30 -0700 8cb3296

    cheri elf: dyn linking




2020-05-01 01:33:04 -0700 8b470a7

    cheri tlb




2020-05-01 00:19:05 -0700 b5b5357

    os to clear tag bits




2020-05-01 00:15:02 -0700 e6303a4

    beri boot: dram configuration




2020-04-30 23:07:57 -0700 2937859

    Q&A: boot and cheri-tag




2020-04-30 23:07:00 -0700 bf4e53f

    todo: mem-tag impls




2020-04-30 22:51:53 -0700 18da41d

    cheri elf, .captable




2020-04-30 21:33:24 -0700 e668e36

    btx: setup idt, stack, and switch to protected mode




2020-04-30 18:06:34 -0700 8d7aab3

    boot 1




2020-04-30 17:36:25 -0700 2a87990

    boot0




2020-04-30 16:53:23 -0700 29f885a

    more src code for hybridabi_thread_init




2020-04-30 16:47:50 -0700 b81eb1c

    cheri process creation




2020-04-30 16:17:37 -0700 4ffe50d

    todo: cheri elf




2020-04-30 16:13:55 -0700 e3a5930

    pointer provenance: valid pointer generation




2020-04-30 15:25:38 -0700 575ac29

    tag set: store capability instruction




2020-04-30 15:14:03 -0700 15a289b

    todo call-conv; tag mem on creation




2020-04-30 14:31:17 -0700 78a4e44

    cheri tag brief




2020-04-30 01:48:30 -0700 ebef943

    todo monitoring flexcore




2020-04-30 01:41:06 -0700 b19d248

    todo: loki 2008 osdi




2020-04-29 03:43:49 -0700 a0e410d

    td basics




2020-04-29 03:20:06 -0700 fa2a58c

    mips regs .td




2020-04-29 02:58:57 -0700 720999f

    mips.td




2020-04-29 02:17:27 -0700 ee4446b

    elf e_flags and ABI; elf relocs and .def




2020-04-29 00:25:57 -0700 1331ac2

    relocation in elf header




2020-04-28 22:05:19 -0700 bf666da

    relocation table wiki




2020-04-28 16:02:50 -0700 8ebdd6f

    todo: calling convention in llvm/cheri




2020-04-27 11:43:35 -0700 30681d9

    mips conv example; cheri call conv defs




2020-04-27 00:42:21 -0700 1e3c205

    llvm command guide




2020-04-26 01:12:44 -0700 91661d8

    llvm calling conv




2020-04-25 23:09:26 -0700 1a1caa6

    Some basic class need to be changed for a new backend




2020-04-25 22:15:54 -0700 23ff30c

    mangling in hybrid mode




2020-04-24 11:48:47 -0700 248bc5d

    todo calling convention




2020-04-24 00:34:43 -0700 f5383c6

    openssl build




2020-04-24 00:06:32 -0700 0e017b6

    Pri-sep: todo. Java partition civet; Xen partition xoar;




2020-04-23 21:18:34 -0700 f086a75

    mangling




2020-04-23 18:26:35 -0700 a59ad21

    compiler: name mangling example in C




2020-04-23 16:06:13 -0700 466ea72

    Compiler: name mangling, to do.




2020-04-10 16:28:53 -0700 149c904

    dop: add figures showing example code in httpd




2020-04-08 09:37:09 -0700 0573724

    python code structure in cheribuild




2020-04-07 18:28:26 -0700 dcbf0b5

    todo cross compile on cheri




2020-04-07 14:45:45 -0700 c673f72

    deploy: keep only title line in .md file




2020-04-06 13:01:25 -0700 cbb0cfd

    states in capcop




2020-04-05 12:43:01 -0700 424ec3f

    call and fastcall impl;

todo: find out lenCheck code; and mimic it with a typecheck fifo



2020-04-05 03:10:38 -0700 d0c059d

    todo: CapCop.bsv




2020-04-05 02:48:20 -0700 b9307f2

    execute branch instruction and arithmetics




2020-04-05 02:35:55 -0700 c81c301

    pipeline execute




2020-04-05 01:50:43 -0700 d0c7ab8

    where is the bound check

1. MemAccess -> capCop.getAddress()

2. Execute -> enq -> cop1.getCoProResponse(opA,opB)



2020-04-04 15:21:53 -0700 6838f65

    MIPSTop.bsv pipelining fifo connections




2020-04-04 14:17:56 -0700 e3931b0

    beri pipleline in 2014 isca paper




2020-04-04 12:20:46 -0700 dad54ac

    todo pipeline memaccess




2020-04-04 12:18:25 -0700 8c64c6e

    design overview of beri/cheri pipeline




2020-04-04 12:14:44 -0700 837f48a

    beri pipeline without cheri




2020-04-04 11:31:37 -0700 6f0136f

    overview of capcop




2020-04-04 10:56:59 -0700 6446224

    todo getAddress()




2020-04-03 14:53:07 -0700 35bb0f9

    CapCop.bsv




2020-04-03 14:52:21 -0700 b74d31d

    test: add new tests how to




2020-04-03 10:52:16 -0700 d20f98a

    test structure and termination




2020-04-03 10:27:30 -0700 0f291d5

    testing on simulator




2020-04-01 03:39:59 -0700 860b945

    key files in source code and macros




2020-04-01 02:15:49 -0700 eb575cb

    beri isa notes




2020-04-01 01:48:09 -0700 521f51e

    altra board configuration notes




2020-03-31 17:28:27 -0700 5b7bc15

    todo: cheri source & beri board build targets




2020-03-29 00:26:44 -0700 7048285

    egalito




2020-03-28 11:44:19 -0700 aae7e1c

    egalito: binary compiler




2020-03-28 02:01:38 -0700 fbc151a

    asplos 2020 intermittent




2020-03-27 23:46:28 -0700 db50bba

    todo asplos videos




2020-03-27 23:43:06 -0700 965bccb

    mach variables




2020-03-20 17:16:53 -0700 2f3ab73

    make: auto variables




2020-03-19 01:24:02 -0700 82cfc26

    beri: todo testing




2020-03-19 00:36:00 -0700 47a3616

    todo: type classes in bsv




2020-03-16 22:03:48 -0700 5318dc1

    bsv: deriving




2020-03-16 15:46:09 -0700 b7e56f1

    up to date




2020-03-16 13:40:35 -0700 fee128d

    bsv: polymorphism




2020-03-16 11:17:58 -0700 8e7e9a8

    bsv: enumerated types




2020-03-16 09:04:24 -0700 4f971f1

    bsv: types




2020-03-14 15:29:07 -0700 0f2a9ea

    5g apps




2020-03-11 15:21:05 -0700 852272a

    sgx unfixable flaw




2020-03-11 14:40:57 -0700 770fd42

    interface method def example




2020-03-11 14:35:13 -0700 e9b8236

    interface definition




2020-03-10 16:52:24 -0700 f5a3480

    BSV: long form instantiation




2020-03-10 15:18:52 -0700 78bdd0a

    BSV: short form instantiation




2020-03-10 13:23:23 -0700 c79c9e9

    module def




2020-03-10 09:53:15 -0700 ef01345

    port and parameters




2020-03-10 08:58:37 -0700 8c42587

    BSV: example of interfaces




2020-03-09 22:06:07 -0700 b03958b

    the implicit condition for methods: legal to use wire;

can we also leverage it in system security?



2020-03-09 21:39:46 -0700 210f7ae

    BSV: overview module interface




2020-03-09 19:30:14 -0700 926b054

    aleaves paper; modules and interfaces in BSV




2020-03-09 19:07:55 -0700 c4f0364

    artificial leaves




2020-03-05 10:48:01 -0800 86b3d4c

    lwC: to do related work




2020-03-05 10:28:56 -0800 51837aa

    hbleed




2020-03-05 08:51:43 -0800 5eb8778

    lwC intro




2020-02-27 10:36:54 -0800 f706840

    to read: RLBox fine grained isolation in firefox




2020-02-27 10:31:59 -0800 e97dfdb

    Fidelius Charm; unsafe rust references;




2020-02-27 09:52:20 -0800 b4f9713

    todo: 2016 OSDI lwC; 2016 sp shreds




2020-02-27 09:46:39 -0800 7cca0bd

    pyronia review




2020-02-21 20:16:33 -0800 98f223b

    arch: bluespec systemv




2020-02-17 10:56:42 -0800 d01f158

    beri debug




2020-02-15 23:50:28 -0800 987fb0b

    move sva to boxsw




2020-02-15 23:49:29 -0800 0772518

    sec 20




2020-02-06 16:21:37 -0800 5080876

    acsac 2020 to track




2020-02-06 15:41:29 -0800 c3ba92e

    edge confs




2020-02-06 13:13:04 -0800 9c54e58

    conferences: waiting for secdev, acm/ieee sec cfp




2020-02-06 11:04:57 -0800 7caad5a

    two cites from soaap




2020-02-05 22:22:07 -0800 9c02d16

    dyn linking; new conf socc, acsac




2020-02-05 16:10:44 -0800 cda39b9

    overlay before virtual memory




2020-01-31 12:13:47 -0800 4f2c6d5

    smv weaknesses: private page table for each thread




2020-01-31 11:05:37 -0800 7a464e4

    smv design




2020-01-30 10:02:11 -0800 ad5a86b

    soaaps related work, smv cmts




2020-01-30 10:00:45 -0800 228de4f

    oopsla and soups




2020-01-29 15:53:46 -0800 fc93c39

    conf by months




2020-01-28 17:08:33 -0800 91776d7

    smv eval/design, enforcement;




2020-01-28 17:08:08 -0800 47725c1

    to read 2015 arbiter




2020-01-28 15:01:28 -0800 26907a7

    to read 2008 wedge, 2015 salus




2020-01-28 14:44:02 -0800 6bcf621

    linker/loaders




2020-01-24 16:20:01 -0800 cc0404d

    work flow and evaluation




2020-01-24 16:01:42 -0800 3476ecd

    threat model




2020-01-15 22:53:19 -0800 33b1149

    one more tensor video; compart history




2020-01-15 11:45:53 -0800 8614995

    intro soaap




2020-01-14 20:53:30 -0800 c5ba566

    add capsicum; move motivation to folder




2020-01-14 20:19:21 -0800 261d97c

    move soaap to pri sep




2020-01-14 20:13:27 -0800 794d331

    idea of dsa and auto partition




2020-01-14 14:47:40 -0800 6188335

    moveup privilege sep




2020-01-14 14:40:54 -0800 5e9d3e0

    soaap intro




2020-01-14 14:27:19 -0800 b76691c

    move sva to mem safe




2020-01-14 14:13:50 -0800 4e437a3

    change timezone to Los_Angeles




2020-01-14 14:11:15 -0800 2635dfb

    domain motivation




2020-01-14 14:11:01 -0800 3d3a3a8

    ask domain




2020-01-10 13:27:35 -0800 69a10e6

    todo: cspec




2019-12-12 17:42:06 -0500 4acdb74

    sea level increase




2019-12-12 14:14:36 -0500 1a4a6ef

    missed pldi class




2019-12-08 23:31:20 -0500 18467ab

    conf secdev




2019-12-08 23:27:54 -0500 a016a3a

    note in half length




2019-12-08 22:40:55 -0500 1c5289a

    how to write a paper from Derek Dreyer




2019-12-05 23:44:50 -0500 523c320

    reorder links and comments




2019-12-05 23:42:16 -0500 b04e300

    passed dues and upcoming for confs




2019-12-05 23:35:39 -0500 a14e005

    add sp21 and ccs 20




2019-12-05 22:53:29 -0500 b731b72

    merge




2019-12-05 22:53:20 -0500 bc40b1a

    conf update




2019-12-05 22:48:03 -0500 efa2f70

    conf update




2019-12-05 09:31:38 -0500 4197d2b

    advice from Jim Kurose




2019-12-04 11:41:56 -0500 c5ee8b4

    class pldi; add names to semniars




2019-12-02 12:56:55 -0500 3913736

    seminar




2019-12-02 11:58:16 -0500 cf1ecd5

    move seminars to this repo




2019-12-02 11:53:40 -0500 dec4ee3

    pldi class




2019-11-28 16:41:07 -0500 676e7ed

    history of type theory




2019-11-28 16:21:23 -0500 e728a64

    harper book on PL




2019-11-28 16:11:22 -0500 5004f62

    constructive logic link




2019-11-28 16:06:22 -0500 297bbfb

    class arch and pldi




2019-11-27 23:41:29 -0500 c6e14f7

    todo: closure; diff between closure conversion and lambda lifting




2019-11-27 23:06:19 -0500 8491775

    tal and goal of lambda -- Von Neumann machines




2019-11-27 22:50:03 -0500 0645592

    lambda lifting




2019-11-27 22:40:03 -0500 8c7a38a

    lambda; closure; closure conversion




2019-11-27 22:13:43 -0500 58843f8

    move langs to a new folder




2019-11-27 02:07:34 -0500 2e144fa

    todo reason local




2019-11-26 11:06:16 -0500 bbc1de9

    call graph rep in crix




2019-11-26 01:23:09 -0500 6e6467a

    crix peer slice; program analysis wiki




2019-11-26 00:29:57 -0500 5b7ff88

    source/use in crix




2019-11-26 00:20:07 -0500 203c685

    crix: identify critical variables




2019-11-25 21:29:18 -0500 3771cab

    auto parallel; mc-toll;




2019-11-25 14:19:25 -0500 c7cef9b

    smap on cr4/x86




2019-11-25 14:18:51 -0500 3dba901

    add smap




2019-11-25 02:42:43 -0500 9de0e25

    intro crix




2019-11-24 02:24:40 -0500 c46950d

    update order




2019-11-24 01:24:46 -0500 a597d70

    cheri vs rings




2019-11-24 00:57:48 -0500 27fb01f

    add 3 categories for concurrency solution design




2019-11-23 22:12:07 -0500 740df75

    move parser to codegen




2019-11-23 21:30:03 -0500 b6c07eb

    merge




2019-11-23 21:29:53 -0500 6527c54

    llvm asm




2019-11-23 17:46:48 -0500 e35210c

    todo read mlta code




2019-11-23 15:13:44 -0500 0fe28a4

    fm proof goal




2019-11-23 15:05:30 -0500 019db8d

    ask MLTA: why only valid when cast exists




2019-11-23 15:02:43 -0500 43a4112

    mlta versus other C++ *expanded single-layer type*




2019-11-23 14:49:34 -0500 4b3609f

    cheri ask: ptr challenge; MLTA ccs best paper: no assembly; can handle pointer casts




2019-11-23 13:12:08 -0500 b1f5e03

    todo tag mem; high level to llvm IR; multi-layer




2019-11-23 11:01:07 -0500 8bc945f

    a paper about neural train cost




2019-11-22 00:39:46 -0500 d51eee6

    ask on cheri sound ptr analysis




2019-11-22 00:25:56 -0500 84eb541

    auto parallel




2019-11-22 00:25:39 -0500 66c46ac

    pldi class on wed




2019-11-22 00:25:20 -0500 2a8ee90

    arch class




2019-11-21 11:25:51 -0500 abf8267

    mir




2019-11-21 11:25:16 -0500 887589e

    merge




2019-11-20 22:46:55 -0500 3a1366a

    reorder shelf




2019-11-20 10:25:41 -0500 0a22bdc

    note on c--




2019-11-20 10:25:17 -0500 8693d9d

    ask about C--




2019-11-19 12:23:33 -0500 fad2756

    class arch




2019-11-18 15:09:08 -0500 2d565ce

    one more book; by wenliang du




2019-11-18 15:08:47 -0500 735b54f

    pldi by sree




2019-11-18 10:53:53 -0500 d776263

    part for parallelism




2019-11-17 22:10:45 -0500 fe3bd12

    galois gamma




2019-11-17 22:01:59 -0500 de4779f

    galois alpha




2019-11-17 20:37:12 -0500 e9a5ad9

    collecting semantics example




2019-11-17 20:15:04 -0500 68e9e45

    collecting semantics




2019-11-17 19:43:22 -0500 f89e9c6

    add ppa link




2019-11-17 19:43:07 -0500 5343667

    a reaching def requirement




2019-11-17 19:26:40 -0500 8c1c7b8

    srd: semantic reaching def




2019-11-17 19:08:11 -0500 87b639e

    rename reach-def; add example explain




2019-11-17 19:04:55 -0500 24fabc6

    add reachdef; rename prog-ana to pro-ana




2019-11-16 20:36:25 -0500 d84231e

    add latest spa: thanks to sree and ruiqin.




2019-11-15 14:11:27 -0500 99c2d97

    add 3 spill location in sil; thanks to chaos




2019-11-14 15:24:34 -0500 d1558a0

    class arch




2019-11-14 11:10:33 -0500 0c2c4fa

    move dsa; add ptr ccs2019




2019-11-13 11:40:00 -0500 d0eeccc

    class pldi




2019-11-13 10:25:58 -0500 729315b

    bold titile




2019-11-13 10:25:24 -0500 b95a83c

    a lang for mem hierachy




2019-11-13 10:25:01 -0500 9ae3137

    reg alloc slides




2019-11-12 23:49:13 -0500 3aacf05

    mesema paper; src code in remill for lifting




2019-11-12 16:30:52 -0500 b364af8

    arm inst iso dac 2017




2019-11-12 16:26:22 -0500 1ee3b13

    arch no class; conf DAC




2019-11-11 17:12:44 -0500 742479c

    popl/pldi conf




2019-11-11 16:57:27 -0500 0b36a75

    mcsema basics




2019-11-11 16:53:05 -0500 fa18f8d

    fix a broken link; add pldi class link;




2019-11-11 15:00:30 -0500 27964d6

    mcsema and remill




2019-11-11 14:53:12 -0500 fc91d3f

    s2e: not suitable for the lifting task;




2019-11-11 14:31:58 -0500 aae3fa1

    revgen




2019-11-11 14:31:46 -0500 c1b4113

    class




2019-11-11 02:06:55 -0500 ec75c42

    more asm lifting




2019-11-11 02:06:28 -0500 edfbf99

    one more unikernel




2019-11-11 02:06:07 -0500 5b00342

    a list of confs




2019-11-10 23:59:13 -0500 b93eea9

    center css




2019-11-10 23:44:57 -0500 17e27dd

    move folder




2019-11-10 23:37:32 -0500 3f904b1

    cal




2019-11-10 23:27:36 -0500 3fede4e

    workshp: remove individual folder




2019-11-10 23:25:37 -0500 a0acc80

    workshop




2019-11-10 12:37:10 -0500 c0aad3c

    tensor flow; cheri spike sim; llvm asm




2019-11-10 00:41:52 -0500 69efe43

    online classes and ir/asm tools




2019-11-09 22:41:28 -0500 0c27301

    add online class of principles for computer systems




2019-11-09 00:53:19 -0500 a581c46

    ask lang mix; show the video on page




2019-11-09 00:29:38 -0500 01a832c

    tensor basics;




2019-11-08 17:04:05 -0500 0dee187

    tensor link




2019-11-08 16:48:39 -0500 f1da4a1

    math abs algebra




2019-11-08 16:38:27 -0500 4cece59

    take notes from Socratica




2019-11-08 15:23:31 -0500 6ee412c

    code to parse static local var




2019-11-08 15:22:40 -0500 9e45dd5

    galois/glouwa/; ask llvm for asm lang




2019-11-07 14:33:59 -0500 6740478

    class arch: DRAM




2019-11-07 00:30:53 -0500 65d8083

    attr in llvm bc




2019-11-06 21:47:00 -0500 2d86421

    prog point where attr detected for local/para variables




2019-11-06 16:56:50 -0500 1da2343

    move cheri question to Todones




2019-11-06 11:40:32 -0500 aa19de2

    pldi




2019-11-05 20:17:48 -0500 a347df5

    summary of adding global variable attributes




2019-11-05 12:20:21 -0500 7424d11

    class arch




2019-11-05 12:11:58 -0500 1e78c22

    class arch




2019-11-05 10:41:45 -0500 472d21a

    new warnings for new attrs




2019-11-05 10:41:20 -0500 22dcb25

    project in llvm




2019-11-04 15:42:16 -0500 4889d57

    llvm cheri: visit funcs




2019-11-04 14:24:57 -0500 136781a

    class pldi




2019-11-04 01:05:24 -0500 5ba9a16

    llvm bitcode with new attributes/function




2019-11-03 23:45:38 -0500 8c096c0

    steps to change clang /llvm when adding function attributes




2019-11-03 01:14:25 -0500 57e5386

    example arguments




2019-11-02 23:27:14 -0400 3c4a063

    attri defs




2019-11-02 13:40:21 -0400 528fb51

    llvm print type name use dump




2019-11-02 00:45:16 -0400 6a419df

    secswift




2019-11-01 11:59:54 -0400 ca78c39

    todo: steps to add attribute




2019-11-01 11:48:50 -0400 2c3cefe

    more docs on attr




2019-11-01 11:39:54 -0400 40878b0

    todo fatptr in cheri




2019-11-01 11:39:30 -0400 ac94a15

    attribute in llvm




2019-11-01 09:38:22 -0400 a7c565d

    todo, visitcall




2019-11-01 01:48:52 -0400 283171f

    cheri range checker pass




2019-11-01 01:47:14 -0400 c52f8b1

    addrspace and datalayout




2019-11-01 01:34:07 -0400 5994a02

    addr space in llvm




2019-11-01 01:03:18 -0400 fc9f91d

    class def of data layout




2019-11-01 00:31:05 -0400 6fa4999

    test




2019-11-01 00:24:25 -0400 d5bec1d

    instvisitor llvm




2019-10-31 20:05:45 -0400 b761e97

    cherirangechecker pass




2019-10-31 19:54:13 -0400 69f4a68

    cxx copy elison; cheri passes




2019-10-30 16:37:20 -0400 75681eb

    boot in freebsd/mips




2019-10-30 16:19:52 -0400 fc56b93

    sysinit def and use




2019-10-30 15:58:08 -0400 d89e8aa

    calss pldi; idt freebsd; sysinit




2019-10-30 02:35:11 -0400 f94c0cc

    info flow on itanium




2019-10-30 01:32:06 -0400 6df84e3

    int scope




2019-10-30 01:16:51 -0400 6c4b851

    move silhouette




2019-10-30 01:13:27 -0400 72ce492

    move fm upper level




2019-10-30 00:52:03 -0400 85e8bfb

    merge




2019-10-30 00:43:23 -0400 1eba5a7

    hol/isabelle




2019-10-30 00:43:23 -0400 d65180a

    update




2019-10-30 00:38:20 -0400 3bbfc9b

    freebsd/cheribsd: idt




2019-10-29 14:41:57 -0400 577d24c

    class arch




2019-10-28 17:20:24 -0400 f337bdb

    cherirangechecker for casts




2019-10-28 17:12:01 -0400 343e64a

    simple scan over the disabled code




2019-10-28 16:55:49 -0400 9df73d5

    disabled pass: Cheri(stack)InvalidatePass




2019-10-28 16:48:11 -0400 cef54f8

    todo adding note about silhouette project.




2019-10-28 16:11:34 -0400 91d5ada

    cheri cloud




2019-10-28 15:48:30 -0400 bbc73ce

    c/c++ language frag; google haf with cheri




2019-10-28 15:21:01 -0400 30191af

    fix a missing reference




2019-10-28 15:19:44 -0400 b684b6d

    comments




2019-10-28 15:18:18 -0400 402753e

    cheri allocator and simu on x86;




2019-10-28 14:52:34 -0400 39d2622

    cheri rtos vs cherifreertos




2019-10-28 14:50:32 -0400 44208a9

    cheri temporal eval and tech




2019-10-28 14:23:03 -0400 0a0e8d8

    todo in cheri bsv; cheri temporal eval




2019-10-28 13:58:35 -0400 9203d8a

    bold passes.h




2019-10-28 13:58:08 -0400 07b94e3

    pldi class




2019-10-28 01:36:49 -0400 e50e818

    more pass to look in cheri




2019-10-28 01:26:30 -0400 fedcf51

    alloca pass




2019-10-27 23:33:38 -0400 2aef3f1

    two level representation




2019-10-27 22:33:19 -0400 898479f

    arch basics




2019-10-27 14:55:20 -0400 0826b63

    cheri freertos and riscv link




2019-10-27 14:32:09 -0400 4bbaebf

    move .md to folders




2019-10-27 14:24:57 -0400 b2ff18c

    move cheri-user to cheri-freebsd




2019-10-27 14:15:09 -0400 e6bb5ad

    add freertos; add cheri-freertos; rename cheri-kernel to cheri-freebsd




2019-10-26 01:15:01 -0400 42498aa

    ptr type imp




2019-10-25 16:50:51 -0400 029a56e

    log set bound pass




2019-10-25 16:21:50 -0400 5c8908c

    llvm dom




2019-10-25 15:58:42 -0400 f95db1b

    reorder cheri items




2019-10-25 15:58:07 -0400 b1b4aab

    dominator tree in java




2019-10-25 15:12:33 -0400 a946b66

    ask poolalloc dang detection




2019-10-25 14:51:22 -0400 1c7f045

    dangling ptr detection using page bits




2019-10-25 14:40:58 -0400 aff48c0

    2006 Dinakar Dangling Pointer




2019-10-25 14:38:08 -0400 530cdd2

    compatibility when discuss security solution




2019-10-23 11:41:29 -0400 0f13b1c

    class pldi




2019-10-23 00:02:56 -0400 0ad34e6

    class adv arch




2019-10-21 11:49:26 -0400 e0f65f5

    comcert;




2019-10-21 11:36:22 -0400 1d6250a

    add temporal paper link




2019-10-21 11:32:23 -0400 bd9a3d4

    language and object theory




2019-10-20 22:01:46 -0400 a48e4d1

    logic versus math & philosophy




2019-10-20 00:41:28 -0400 e72668a

    full eng version




2019-10-18 16:00:47 -0400 e6f9bec

    tag pointers/llvm ir;




2019-10-17 16:04:44 -0400 462a04b

    ans




2019-10-17 16:04:05 -0400 babbd06

    class adv




2019-10-15 11:46:48 -0400 930f9a3

    privtrans static analysis and attribute propagation




2019-10-15 00:20:32 -0400 cb7c831

    ask pump with CHERI




2019-10-15 00:19:28 -0400 ad72cc8

    example of sym rule




2019-10-15 00:13:19 -0400 76a6e4e

    pump rule check




2019-10-15 00:08:35 -0400 8a839aa

    symbolic rules




2019-10-14 21:52:51 -0400 ecd01cb

    ask pump




2019-10-14 19:28:22 -0400 afc0e3b

    ask svamem




2019-10-14 16:11:10 -0400 a9da1ce

    configuration files and makefiles




2019-10-14 16:02:11 -0400 aebd0e5

    thread struct def file




2019-10-14 16:00:52 -0400 ea1092f

    subr_trap.c: ast def




2019-10-14 15:58:48 -0400 f00dc1c

    proc manage in kern/*




2019-10-14 15:47:48 -0400 592071c

    svamem section in sva




2019-10-14 15:47:33 -0400 d422c19

    vg vm_machdep process management;




2019-10-14 15:01:09 -0400 cfa64c1

    vm-machdep cpu_fork




2019-10-14 10:49:26 -0400 7807b5b

    done trapc




2019-10-14 09:40:56 -0400 686ffe1

    batteryless




2019-10-14 00:32:58 -0400 0258b80

    done pmap.c




2019-10-13 22:36:18 -0400 d500ca6

    formalizing compartmentatlizing compile




2019-10-13 20:39:07 -0400 60eaf36

    mig in edge fiction: human movement by re-construction.




2019-10-13 01:55:45 -0400 2a30f56

    todo: enclaveDom




2019-10-13 01:50:31 -0400 fbcbe95

    iot, third-party lib; access control on functions




2019-10-13 01:24:57 -0400 59f2664

    rust unsafe




2019-10-13 00:56:02 -0400 3f99de9

    adDroid and charm rust




2019-10-13 00:20:08 -0400 739c308

    hardscope




2019-10-12 22:51:59 -0400 d39bb82

    byte sfi, ptr auth




2019-10-12 20:47:37 -0400 b7f4275

    sok sstack ccured




2019-10-12 20:41:47 -0400 8226564

    2009 secuCode: hwstack; and 1994pldi: translator




2019-10-12 20:31:04 -0400 21c666d

    add more papers and classify: mem-safe




2019-10-12 17:24:14 -0400 742e616

    pagebits




2019-10-12 17:22:01 -0400 79fdf69

    classify




2019-10-12 17:06:12 -0400 61a0d9c

    classify mem-safe




2019-10-12 16:53:22 -0400 9a9dbc4

    2014 ndss persistent rop




2019-10-12 16:48:31 -0400 ee704a9

    vg: todo pmap




2019-10-12 16:48:14 -0400 5bed828

    move rop dop to mem-safe




2019-10-12 10:17:59 -0400 653bc46

    rename vg to vg_code




2019-10-11 16:30:41 -0400 998316b

    move neverland; vg mp-machdep.c




2019-10-11 10:00:54 -0400 3ba209f

    80 lines




2019-10-11 09:59:50 -0400 326e2ce

    todo neverland impl




2019-10-11 09:59:27 -0400 6adc723

    add pump page




2019-10-10 14:58:33 -0400 3ff8426

    class




2019-10-09 16:31:45 -0400 1c28ab4

    new pprs to read




2019-10-09 15:40:24 -0400 c90836a

    langs: gradual typing and mix langs




2019-10-09 11:40:54 -0400 a0e5a15

    pldi




2019-10-09 10:27:05 -0400 8199013

    rename class logic




2019-10-09 09:14:26 -0400 743457b

    logs




2019-10-08 14:39:45 -0400 84b4ae3

    arch class




2019-10-08 10:41:43 -0400 dca9878

    machdep done; next mp_machdep




2019-10-08 00:02:57 -0400 583ff7a

    sec pol confi info flow




2019-10-07 23:30:20 -0400 3eaf7a4

    sec pol




2019-10-07 17:34:50 -0400 8bc54c5

    apic interface changes




2019-10-07 17:26:39 -0400 c725737

    exec setregs change




2019-10-07 16:36:58 -0400 f870f6a

    exception signal fpu




2019-10-07 16:14:24 -0400 d087a1f

    load cr0 problem




2019-10-07 16:12:19 -0400 d29b1de

    cfi labels on apic vector.S; sva_load_cr0




2019-10-07 15:54:29 -0400 e51931e

    prog models




2019-10-07 14:20:02 -0400 adc8631

    pldi class




2019-10-07 10:26:35 -0400 87aa63e

    rename class pldi




2019-10-07 00:15:48 -0400 20635cf

    one dir todo




2019-10-06 23:56:51 -0400 38b7d66

    ask pcpu struct




2019-10-06 23:47:56 -0400 c43d7ad

    vg malloc




2019-10-06 23:01:23 -0400 55f2692

    xue er




2019-10-06 22:45:39 -0400 daeeb8a

    3 semantic styles




2019-10-06 21:44:31 -0400 e0c9d28

    Merge branch 'master' of lelema-memo-hugo




2019-10-06 21:44:23 -0400 7104601

    class ask: func with OOP




2019-10-06 20:37:06 -0400 d4c34f6

    secmemalloc




2019-10-06 20:25:33 -0400 c475900

    hw sys call detection




2019-10-06 15:39:10 -0400 3f7e433

    SVA:disable sbrk




2019-10-06 11:20:36 -0400 4bc0bc4

    todo




2019-10-06 10:55:58 -0400 6c69196

    vg change in bsd




2019-10-06 00:34:57 -0400 b25ea85

    DMA to bypass OS




2019-10-06 00:10:58 -0400 bbc2937

    one paper in fm




2019-10-06 00:06:30 -0400 36b3fc9

    new book safe arch




2019-10-06 00:03:04 -0400 be2537f

    hw vmi and secure tlb from Jakub




2019-10-05 20:31:17 -0400 c5a6abd

    2015sp cheri security model




2019-10-05 14:40:49 -0400 20bc77e

    compiler change in 2015 sp




2019-10-05 14:17:36 -0400 52115d0

    rename tal




2019-10-05 14:14:09 -0400 60b75cd

    ask on proof carrying code




2019-10-05 14:08:38 -0400 0538d9a

    comcert




2019-10-05 07:23:52 -0400 ca944cd

    rename logic class




2019-10-05 00:39:11 -0400 0dfb99c

    types for security




2019-10-04 23:38:18 -0400 170638c

    hardware monitor




2019-10-04 23:01:57 -0400 433452e

    sva ask




2019-10-04 22:58:32 -0400 017c9c0

    the argument of sva for llvm ir checking




2019-10-04 22:47:53 -0400 c3ad6db

    compiler safety




2019-10-04 21:59:06 -0400 96ee0fd

    guide for writing/reading




2019-10-04 21:58:42 -0400 6d2d3a3

    ask about kernel langs




2019-10-04 20:34:08 -0400 52e1b00

    minor change




2019-10-04 20:29:02 -0400 0a6b1e3

    new grep cap




2019-10-04 20:27:03 -0400 17614c2

    order cheri-kernel




2019-10-04 20:15:49 -0400 0f8cc00

    new todos




2019-10-03 23:27:40 -0400 eac8b6b

    sgx links




2019-10-03 23:14:17 -0400 0a0cf06

    class revise




2019-10-03 23:13:30 -0400 feaf1d4

    data layout in llvm




2019-10-03 23:06:08 -0400 9de2f80

    iot to fill




2019-10-03 23:05:35 -0400 5d010aa

    trust zone




2019-10-03 23:05:21 -0400 d8889fe

    class arch




2019-10-02 13:37:47 -0400 67a5d8b

    class pldi




2019-10-01 22:07:56 -0400 a40c990

    arch class




2019-09-30 14:49:05 -0400 fa2d6c5

    data layout string in LLVM, eg. Sparc




2019-09-30 14:24:40 -0400 eab3232

    programs manual




2019-09-30 14:21:55 -0400 c718e9a

    class pldi




2019-09-30 00:13:44 -0400 32065f3

    code gen in llvm




2019-09-29 22:21:30 -0400 8ac1a70

    llvm grep cheri




2019-09-29 00:04:49 -0400 52859c8

    test ci




2019-09-28 23:28:54 -0400 7e26d68

    cheri llvm changes




2019-09-28 10:23:14 -0400 0b902bc

    llvm namespace == llvm address space




2019-09-27 13:40:24 -0400 df226ec

    cheri vs x86 segmentations




2019-09-27 11:38:47 -0400 00f8491

    --no-pager




2019-09-27 11:32:48 -0400 f6cbd87

    use cat for ChangeLog.txt




2019-09-27 11:30:44 -0400 3f48da9

    test ...




2019-09-27 11:28:36 -0400 7eb1501

    keep only header of commit message; use cat for pipeline




2019-09-27 11:15:05 -0400 aee7274

    mkdir target_dir




2019-09-27 11:12:10 -0400 fadeabf

    mkdir target_dir




2019-09-27 10:45:02 -0400 e767ff1

    class arch




2019-09-26 11:11:31 -0400 858ab7b

    cheri seal/unseal bits vs. unseal type




2019-09-25 11:43:39 -0400 0550cd5

    pldi class




2019-09-24 16:33:48 -0400 03d8a24

    class adv




2019-09-23 13:45:27 -0400 9c70ad5

    pldi class




2019-09-23 02:30:34 -0400 a1d6195

    done keep types when unsealing

but checking on types needs improvment:

- DDC type is not changed during/after ccall;
- IDC + PCC might be used for type checking;



2019-09-22 16:20:20 -0400 42603d1

    workshop




2019-09-22 11:27:08 -0400 8e97ecb

    todos for the change




2019-09-22 11:04:48 -0400 8e4a5ef

    qemu: cheri ops summary




2019-09-20 12:31:34 -0400 6ddfae4

    more cheri related instruction defs




2019-09-20 12:28:43 -0400 a44911e

    add all cheri related instruction defs




2019-09-20 12:17:50 -0400 4058e2f

    qemu runtime checks;

todo: pcc/ddc/ld/st/br checks in tcg



2019-09-19 16:49:14 -0400 27bd3c9

    bug in t9 convention for ccall




2019-09-19 14:00:10 -0400 65f1802

    class adv arch




2019-09-19 10:39:36 -0400 4d94886

    revise Amdahls law




2019-09-18 17:03:32 -0400 741dc3c

    tracking pcc init in process creation




2019-09-18 15:36:49 -0400 8187081

    add gdb cheat sheet




2019-09-18 13:57:12 -0400 1576080

    cheri regs




2019-09-18 13:56:52 -0400 9485b3a

    sep 17 adv arch class




2019-09-18 11:42:02 -0400 ef11ea2

    class pldi




2019-09-16 15:55:11 -0400 8695dff

    pldi class, Mon




2019-09-16 15:54:56 -0400 1281e12

    rtos




2019-09-14 15:09:55 -0400 98ca004

    class on sep 12




2019-09-12 11:47:43 -0400 a700b1c

    helloc hacking, hid log, adv classing




2019-09-11 14:28:10 -0400 5a53f2b

    pldi class




2019-09-10 13:58:29 -0400 a514215

    cheritest_ccall




2019-09-10 13:57:07 -0400 92d09fd

    class adv arch




2019-09-09 17:01:56 -0400 a471937

    cheritest_libcheri




2019-09-09 16:47:57 -0400 7370a64

    commented out by default: cheritest_ccall methods




2019-09-09 14:39:56 -0400 30566f7

    libcheri_system_helloworld; cheri_ccall attribute




2019-09-09 12:12:17 -0400 1188b40

    debug script




2019-09-09 12:05:41 -0400 da4c39b

    pldi workshops/class Monday




2019-09-05 17:12:02 -0400 a622cc2

    logs




2019-09-05 17:01:48 -0400 6989826

    test script




2019-09-05 16:57:18 -0400 bce7507

    fix bug in scripts




2019-09-05 16:43:45 -0400 26c5507

    a list of builtins from cheric.h




2019-09-05 16:39:19 -0400 bd798bd

    sandbox loader: class load and object load; sandbox class/object structure def




2019-09-05 16:12:26 -0400 7a3a0c4

    sandbox class vs object




2019-09-05 14:53:43 -0400 db0746c

    tracking sandbox_make_vtable




2019-09-05 14:11:40 -0400 e901796

    arch class




2019-09-05 00:37:23 -0400 660c4ab

    init sandbox




2019-09-05 00:00:36 -0400 620897b

    libcheri-sandbox: init overview

move sandbox-loader to subfolder of libcheri-sandbox/



2019-09-04 23:51:44 -0400 4bef0ba

    description of libcheri_enter_init()




2019-09-04 23:48:19 -0400 e119f90

    tracking LIBCHERI_CLASS_ASM




2019-09-04 23:35:35 -0400 cd0afe2

    five steps for landing pad




2019-09-04 23:28:53 -0400 b50b379

    cheri enter: padding code of ccall landing;




2019-09-04 18:08:04 -0400 dafb8a5

    logics class; libcheri enter, and sandbox landing pading code




2019-09-04 15:30:07 -0400 2c6abce

    stack get/set/unwind methods




2019-09-04 15:23:14 -0400 be0cf6d

    pldi class




2019-09-04 09:20:09 -0400 54bd4a8

    ch1 pldi todo




2019-09-03 16:44:11 -0400 4d5d662

    libcheri stack




2019-09-03 16:42:38 -0400 f776db8

    600 logs in history




2019-09-03 16:24:10 -0400 1c9b7de

    add libcheri-xxx during init process;

move some unactive page into stores/ folder



2019-09-03 14:32:15 -0400 8df1526

    cheri sys class: type not assigned




2019-09-03 14:31:45 -0400 7679ebe

    class adv arch




2019-09-01 17:44:11 -0400 75463bc

    a list of sandbox methods




2019-09-01 17:39:10 -0400 2558c82

    move hello example to sys class page




2019-09-01 17:37:49 -0400 909612f

    original hello example is user class; and hello world sandbox is system class




2019-09-01 17:23:25 -0400 82d3d6f

    system class todo; toy example todo




2019-09-01 16:03:51 -0400 74f9bcd

    rearrange the cheri c wrappers, built-ins




2019-09-01 16:03:23 -0400 42464b2

    dinosaur fold created; to read the book




2019-09-01 14:48:00 -0400 13f6d4d

    c wrappers for pure cap ABI




2019-09-01 12:27:15 -0400 e9db555

    move 5 steps to the begnning of the page




2019-08-30 15:13:24 -0400 74e2b82

    three type of ccall implementations




2019-08-30 11:31:39 -0400 0be116b

    asm mips




2019-08-30 11:31:18 -0400 b289cf1

    trusted stack with TLS




2019-08-30 10:33:51 -0400 591407c

    .set pop/push




2019-08-30 10:17:16 -0400 c7616e7

    asm mips; trampoline: trusted stack in tls?




2019-08-30 00:28:18 -0400 a4efa75

    no multi-threading in cheris sandboxing model




2019-08-30 00:06:38 -0400 3034834

    add code for ccall init




2019-08-29 17:33:48 -0400 c124d4f

    todo libcheri ccall trampolines




2019-08-29 17:26:47 -0400 f23c033

    kernel obj type: initialized at boot but never used later (from source code inspection, no compiler check yet); user space object type: init for root sealing capability




2019-08-29 17:13:57 -0400 deff5af

    kernel otype_t




2019-08-29 17:06:52 -0400 403615e

    kernel obj: not used at all; user object types split




2019-08-29 16:42:19 -0400 94092f4

    cheri object done manage




2019-08-29 14:08:45 -0400 eb923ec

    class adv arch




2019-08-28 16:47:03 -0400 2e6fe5d

    kernel otype, unit number space structure




2019-08-28 16:46:24 -0400 201002c

    class logic intro




2019-08-28 16:46:03 -0400 570ac32

    class pldi




2019-08-28 00:21:19 -0400 a1691f7

    unit number space




2019-08-27 14:17:06 -0400 ddbb0a7

    unsealing redefined in isav7




2019-08-27 14:03:24 -0400 c065078

    question on type of 2^64 -1




2019-08-27 11:41:02 -0400 950104b

    kernel user split




2019-08-27 00:40:13 -0400 6109232

    cheri kernel booting changes for capability




2019-08-27 00:26:56 -0400 71d9ac3

    cheri obj at booting




2019-08-27 00:23:13 -0400 3f0560c

    kernel obj; kernel space obj manage




2019-08-26 23:03:26 -0400 67d679e

    tracking cheri_maketype; found cheri_otype_alloc(void), an allocator similar to libcheri_type_alloc, but without libcheri




2019-08-26 22:44:51 -0400 01da440

    5 steps for encapsulation of hello example




2019-08-26 12:03:53 -0400 c4d38e2

    cheri_seal macro




2019-08-26 10:39:29 -0400 a80301f

    vim jump code blocks




2019-08-26 10:31:02 -0400 8f82d1c

    intrinsic/builtins; vim jump




2019-08-26 10:30:29 -0400 b92ea97

    47 to 50em for menu hiding threshold




2019-08-26 09:55:07 -0400 7e6994e

    remove uxom todo




2019-08-25 22:54:05 -0400 2bf4cf5

    llvm intrinsics; llvm builtins for cheri




2019-08-25 22:39:03 -0400 39620c2

    rename todos to ToDones: also mark what is done




2019-08-25 22:36:42 -0400 455565a

    cheri todos




2019-08-25 21:53:59 -0400 12fdff9

    todo: the clang builtin implementation and llvm intrinsics

for __builtin_cheri_perms_and and int_cheri_cap_perms_and



2019-08-25 21:50:57 -0400 41d1186

    enlarge threshold to hide menu




2019-08-25 21:10:10 -0400 7d28786

    todo: __builtin_cheri_perms_and generating instructions




2019-08-25 21:09:24 -0400 cf62917

    cscope reformat




2019-08-25 19:23:01 -0400 b4877e7

    natural scrolling




2019-08-24 23:01:11 -0400 87a7e42

    cheri abi: sentinels




2019-08-24 22:25:29 -0400 7ee8dd2

    dont back up when only push




2019-08-24 22:22:25 -0400 99530d5

    cheri tradeoff; linux lubu split window




2019-08-24 20:46:31 -0400 668d0ec

    tar to server; do not use scp




2019-08-24 19:24:36 -0400 fa9c12f

    and perm and code ptr perm func in datacap codecap create func




2019-08-24 19:23:36 -0400 915b56e

    copy over ssh tar




2019-08-24 19:23:11 -0400 b5dafaa

    rename




2019-08-24 14:36:36 -0400 c83634d

    sva instru todo




2019-08-24 14:36:22 -0400 a9940be

    rsync




2019-08-23 23:40:16 -0400 016df43

    vghost style; vghost intrumentation/evaluation




2019-08-23 23:24:06 -0400 1ec5fdb

    vghost overview




2019-08-23 22:45:23 -0400 79368b8

    cheri/* all subfolders now




2019-08-23 22:38:43 -0400 f9764e0

    CHERI_PERM_SYSTEM_REGS explained




2019-08-23 10:59:00 -0400 1e37b57

    cheri domain




2019-08-21 14:21:12 -0400 84602ce

    obj type: user kernerl space; cap flow control




2019-08-21 14:19:59 -0400 b74da01

    remove /memo/en/ file path for images in themesite




2019-08-20 14:43:01 -0400 c862b89

    rename ccall to libcheri_invoke




2019-08-20 14:03:11 -0400 542d12e

    cscope cheatsheet




2019-08-19 17:30:26 -0400 f83e019

    cheri perm bit defs; add objtype todo




2019-08-19 16:16:51 -0400 fb0aedc

    full history link




2019-08-19 16:11:48 -0400 fbda883

    revisit cheri ccall hello




2019-08-19 12:17:41 -0400 207f339

    add cpu switch def




2019-08-19 11:48:37 -0400 64d7b38

    priv sep for ssh 2003




2019-08-18 23:25:18 -0400 6bc0d0f

    add sfi/armor; priv escal moved to pri-sep




2019-08-18 22:53:48 -0400 951aacf

    debug: dont reset index page if original file does not exist




2019-08-18 22:46:17 -0400 8610d02

    3 ways to change sp;

CRA defence as use case.



2019-08-18 13:23:42 -0400 24c1ff0

    disable comments using old ref




2019-08-18 13:21:14 -0400 b54f701

    uxom atomic using sp




2019-08-17 16:31:16 -0400 0699c26

    remove index.ori; use it as temporary file instead




2019-08-17 00:08:09 -0400 3620509

    add todo for cheri




2019-08-17 00:05:17 -0400 3872440

    create folders for each subpage in cheri-domain; brief description of practice menu




2019-08-16 23:54:36 -0400 c0f979c

    add todo for uxom




2019-08-15 16:43:34 -0400 11112ac

    +x on pushall.sh




2019-08-15 16:42:51 -0400 a791196

    remove update history in .ori




2019-08-15 16:41:39 -0400 dde4baa

    one more option; pushall.sh




2019-08-15 16:23:23 -0400 a723512

    uxom: c1-c5




2019-08-15 14:23:49 -0400 47856dc

    uxom: untrusted handler




2019-08-15 14:02:51 -0400 a131d5e

    latest 20 lines of history; push all remotes




2019-08-15 13:52:48 -0400 c5d49e9

    rename folder without uppercase




2019-08-15 13:52:30 -0400 7cab479

    move title of update history to deploy scripts




2019-08-15 13:40:28 -0400 9f70bb1

    try to run script and deploy in ci




2019-08-15 13:23:42 -0400 28e4148

    always ignore themesite; to enable temporarily, change config.toml temporarily;




2019-08-15 02:03:21 -0400 2aae969

    use memo as repo name & site name




2019-08-15 01:59:01 -0400 2547550

    test gitlab




2019-08-15 01:57:53 -0400 0fa0c2a

    use diff baseurl mmh for memo-hugo




2019-08-15 05:47:23 +0000 8125289

    fix https link in .gitmodules




2019-08-15 05:45:22 +0000 68d6afb

    use https in .gitmodules




2019-08-15 05:44:01 +0000 8382132

    use hugo documentation for .gitlab-ci.yml




2019-08-15 05:39:05 +0000 036a5e7

    add hugo -b




2019-08-15 05:00:26 +0000 a5ff92f

    Add .gitlab-ci.yml




2019-08-15 00:10:43 -0400 75d2ccb

    intro uxom




2019-08-14 23:55:03 -0400 787fe56

    to read usfi




2019-08-14 22:56:31 -0400 c9ba9b1

    update deploy script




2019-08-14 22:13:13 -0400 cf3eae3

    create embed/; move nesCheck and uxom; create minion




2019-08-14 22:12:30 -0400 15de02d

    add langs: tal; nesC




2019-08-14 20:51:11 -0400 e476b96

    test




2019-08-14 20:17:02 -0400 65fd2a7

    nesCheck




2019-08-14 00:48:06 -0400 b506b15

    pnacl: to do x86-64




2019-08-14 00:41:58 -0400 2442c0d

    guard page




2019-08-14 00:35:53 -0400 f6ed9f4

    impl on arm




2019-08-13 23:07:02 -0400 a37418c

    deplpy.sh: update history format: markdown table




2019-08-13 22:26:07 -0400 c3dc61a

    data mask in pnacl




2019-08-13 21:29:00 -0400 296f67b

    pnacl motivation




2019-08-13 16:53:45 -0400 32ba768

    nacl resource descriptor for shared memory objects, etc.




2019-08-13 16:27:50 -0400 17ae8d8

    native client: pcc




2019-08-13 16:27:26 -0400 9b84855

    to read: pcc




2019-08-13 15:14:39 -0400 73f772a

    one more book




2019-08-13 00:49:54 -0400 8309ee1

    tamper resistant: IVK to read;




2019-08-13 00:39:46 -0400 1256b9c

    tamper resistant software




2019-08-13 00:28:02 -0400 ef29a5a

    prima: info flow integrity attestation/detection




2019-08-12 23:54:26 -0400 5eca125

    rename secPol to security-pol




2019-08-12 23:45:28 -0400 bcc5ac8

    rename folders back with no upper letter

flicker 2008 eurosys



2019-08-12 23:16:00 -0400 5bfcaad

    add sys sec in general




2019-08-12 22:59:47 -0400 5ea6419

    rename top folders




2019-08-12 22:59:24 -0400 4fcf4c8

    rootkit detection




2019-08-12 22:34:57 -0400 10201cb

    native client




2019-08-12 22:34:05 -0400 60f4003

    privilege escalation papers




2019-08-12 16:40:26 -0400 3519b8e

    last mod date




2019-08-12 16:39:42 -0400 4b888bf

    useful links for basic research methods




2019-08-12 16:39:21 -0400 b3dbcf1

    nacl: original




2019-08-10 21:50:17 -0400 7252256

    comment out the last mod date




2019-08-10 21:48:09 -0400 1b8cda1

    vg and sva intrinsics




2019-08-10 21:47:18 -0400 268d7b8

    add container pe




2019-08-10 21:38:13 -0400 25280b4

    add new category attacks/




2019-08-10 15:22:22 -0400 cf488b9

    moving website to safersys.github.io




2019-08-08 09:47:59 -0400 440dcd8

    rename ChangeLog.html back to .txt




2019-08-08 00:08:59 -0400 bf6e4e4

    add keys to search for cheri feature;remove web_commits.log;




2019-08-07 23:25:25 -0400 7c135d0

    change delpoy.sh; only keep history in public html; but no history in hugo source index page




2019-08-07 23:01:43 -0400 db5f66c

    rename ChangeLog.txt to .html




2019-08-07 22:55:43 -0400 0e61784

    write message to index with reset 2




2019-08-07 22:51:54 -0400 4812f9a

    move to memflakes.github.io




2019-08-07 17:47:21 -0400 f5168f0

    add creation data; add author, commented out now;




2019-08-07 00:11:41 -0400 81a4aa7

    backed tutorial link




2019-08-06 23:11:04 -0400 aa86eaa

    update script: change history before stage




2019-08-06 23:10:26 -0400 7266854

    update script: change history before stage




2019-08-06 23:08:42 -0400 2e746a4

    update script: change history before stage




2019-08-06 22:39:43 -0400 bd7f603

    no drafts




2019-08-04 21:15:53 -0400 50bfa5b

    todo for compilers




2019-08-04 19:58:00 -0400 370e3a9

    go setup/tour pub




2019-08-04 15:48:22 -0400 bfe036b

    tour 01: functions variables types and packages




2019-08-04 13:54:35 -0400 317b29d

    setup of golang




2019-08-02 16:45:23 -0400 f483a08

    cheri-c-model in new folder; l4 os, minix original




2019-08-02 09:54:34 -0400 be9e7db

    add dinosaur book




2019-08-02 09:27:41 -0400 83663b9

    put lastest 100 lines of change history to home page




2019-08-02 09:15:54 -0400 c86b167

    privtrans to 3.2.2




2019-08-01 14:38:39 -0400 573f0d2

    privtrans ch2: annotation and policies




2019-07-31 15:46:54 -0400 d99928d

    privtrans:ch1




2019-07-31 15:46:14 -0400 9847fbb

    colored/one more bar for comments




2019-07-31 12:20:44 -0400 615b795

    overall of privtrans




2019-07-31 11:53:42 -0400 51601f9

    fix a broken link




2019-07-31 11:35:06 -0400 0fcaba1

    add pageComments variable




2019-07-31 10:55:32 -0400 d5b462f

    a more general title automatic privilege separation




2019-07-31 10:35:13 -0400 62fb6cf

    automatic compartmentalization




2019-07-31 10:33:06 -0400 f9afb0b

    todo PrivAnalyzer to read




2019-07-31 10:28:35 -0400 9a1e2e7

    pp ask: auto determine least privilege




2019-07-31 10:27:59 -0400 5feffc1

    comments on every page




2019-07-31 10:03:32 -0400 df58f82

    new todo: prog.partition




2019-07-31 01:30:07 -0400 a8a71af

    add design pattern book




2019-07-31 01:15:01 -0400 4cb860c

    add aop, to read




2019-07-31 00:55:30 -0400 210b4de

    reorder privilege separation in the menu




2019-07-31 00:52:28 -0400 54b247b

    3 new papers on program partition, to read




2019-07-30 17:35:10 -0400 de5e59b

    typesys in safecode: c lang




2019-07-30 17:16:22 -0400 c69672b

    2006safecode: typesys: language




2019-07-30 16:11:37 -0400 06f5d28

    questions on type system in dsa; rename questions/propersals to Q&A; XuanTie not Xuantie;




2019-07-30 12:27:01 -0400 ef3ed4d

    todo: type system in dsa; todo func ptr static check & runtime check in safecode




2019-07-30 11:10:54 -0400 fa09260

    answer function pointer runtime check in SAFECode




2019-07-30 10:59:44 -0400 c00d78f

    code: line-height 1.6




2019-07-30 10:46:20 -0400 7aefa72

    kernel lang by extending C? golang link




2019-07-30 00:30:46 -0400 fbde383

    1% userspace code change




2019-07-30 00:27:01 -0400 c3cc84f

    answer cheri kernel question: a hybrid kernel in CheriABI




2019-07-30 00:16:59 -0400 85e0e15

    new language arch menu




2019-07-30 00:05:25 -0400 6dca41e

    os in rust link




2019-07-29 23:51:29 -0400 babc0c2

    safecode TR 2005: type inference in dsa by analyzing pointer uses




2019-07-29 17:47:14 -0400 e015242

    func pointers




2019-07-29 16:39:46 -0400 112f2c6

    questions on affine transformations




2019-07-29 16:31:47 -0400 b458f48

    control C




2019-07-29 12:26:23 -0400 ec1b7a3

    todos




2019-07-29 12:17:43 -0400 20170c0

    runtime check for array bounds in safecode




2019-07-29 00:09:16 -0400 fca7384

    update book list




2019-07-28 23:38:03 -0400 154bd46

    dsa basics from 2005LattnerPhD




2019-07-28 23:37:21 -0400 c08e02a

    use latex in markdown based on MathJax




2019-07-28 14:40:47 -0400 1c130b2

    1997 backwards compatible bound checking by Jones and Kelly; hott in fm;




2019-07-26 16:04:46 -0400 24dc9ae

    runtime checks; pingtouge xuantie 910




2019-07-26 11:07:44 -0400 882b81d

    cfg added




2019-07-26 10:52:03 -0400 be1fb26

    interprocedural in pa




2019-07-26 00:22:19 -0400 29a6872

    reorganize dirs in mem safety; move cets/sft/hdbnds to mem safety folder




2019-07-25 23:36:40 -0400 dd36c6c

    implementation of safecode




2019-07-25 23:22:55 -0400 b14c8e4

    cheri questions from seminar talk




2019-07-25 18:16:13 -0400 03cb440

    passes in safecode; add softarch pdf




2019-07-25 13:05:56 -0400 6fe4690

    formating




2019-07-25 13:01:35 -0400 d4faa4d

    array  bnd chck




2019-07-25 12:18:19 -0400 b0abf30

    pointer checks in safecode/lib




2019-07-25 12:07:19 -0400 1a84e5b

    pool check passes in safecode/lib




2019-07-25 10:58:44 -0400 6684217

    todo in safecode; one fig in analog




2019-07-25 10:07:37 -0400 bce2114

    analog hw, 2016sp




2019-07-24 00:11:17 -0400 a7a4322

    ripe 5 dimensions




2019-07-23 17:37:15 -0400 fa1baf9

    add cets figure




2019-07-23 17:31:49 -0400 3100451

    cets, softbound




2019-07-23 16:36:24 -0400 9ced76e

    formats




2019-07-23 11:47:36 -0400 d6ba414

    update cheriabi with key challenges in asplos paper




2019-07-23 01:40:48 -0400 7e1e414

    content depth to 2 in sva




2019-07-23 01:33:51 -0400 f651a9b

    shorten menu title; hover color;




2019-07-23 01:15:40 -0400 bedbf4a

    format: hide children in menu bar




2019-07-23 01:12:01 -0400 0039874

    imp cets




2019-07-23 00:39:04 -0400 aecc760

    implement of softboundcets trie




2019-07-22 17:41:22 -0400 2022343

    low level hwsw interface




2019-07-21 15:11:44 -0400 a51a928

    move safecode to a folder




2019-07-20 15:45:22 -0400 5b3e855

    change font family; change font size of body (from 18 to 28, work?); li in blockquote added




2019-07-20 15:04:03 -0400 cb470ff

    title no uppercase




2019-07-20 13:50:24 -0400 c8e4e80

    add gnu hurd link




2019-07-20 13:43:50 -0400 525fc87

    link minix 3




2019-07-20 13:41:44 -0400 89a7146

    verve; ccured with safecode?




2019-07-20 13:40:34 -0400 925a4b7

    more oses




2019-07-18 00:20:29 -0400 44601f7

    title of cheri userspace; 2015 programmers guide might be outdated




2019-07-18 00:17:05 -0400 a461993

    domain transition sandbox; 2 steps




2019-07-18 00:09:35 -0400 d1f8078

    a new topic for domain interactino topology




2019-07-17 23:31:43 -0400 edd18ce

    more softbound




2019-07-17 23:31:04 -0400 b393adb

    add github source for ccall impl




2019-07-17 23:29:29 -0400 210774c

    cheriABI ch2; more history of cheri from cheriABI




2019-07-17 17:00:36 -0400 4db729b

    1. add ccall source in CheriBSD: no ccall instruction in binary, but instead 'dmtc2': double word move to coprocessor 2; 2. add sandbox loader source file path; 3. CheriABI paper introduction: C lang and MMU pages; 4. add KCoFI file.




2019-07-17 00:10:36 -0400 22194fb

    add sva references




2019-07-16 23:37:39 -0400 e18d70b

    grammar fix

add google analytics



2019-07-16 22:29:57 -0400 34d5f7a

    LLVA-OS question: a kernel language




2019-07-16 22:10:22 -0400 c95bf7f

    safecode compartmentalization question




2019-07-16 21:44:49 -0400 bb70ecf

    userspace source directories




2019-07-16 15:53:18 -0400 97dab17

    move cheri down; add cheri userspace




2019-07-16 13:54:48 -0400 5c33fa3

     what cheri cannot do




2019-07-16 11:07:22 -0400 f2e8553

    - add cheri signal     - move kernel cap-less to proper page     - enable footnotes in markdown     - add new cheriabi folder     - update deploy scripts




2019-07-15 15:28:57 -0400 63c1bf9

    emphasize kernel no cap state




2019-07-15 10:19:47 -0400 b4077f2

    trusted stack from programmers guide, 2015




2019-07-14 23:42:35 -0400 fbbaf14

    context switch from 2015 programmers guide




2019-07-14 22:07:40 -0400 c28c57a

    new file context switch; new favicon




2019-07-14 16:49:30 -0400 d00f2a3

    fix a rel link




2019-07-14 16:34:37 -0400 ab1a627

    add kernel change list




2019-07-14 14:50:28 -0400 39a563a

    cheriABI from 2015 programmers guide




2019-07-11 20:43:13 -0400 809542b

    folder name starting with _ will not render in github pages; use z- instead of _; for z-images/ z-pdfs/




2019-07-11 20:29:08 -0400 c5ad263

    hello example: static sandbox




2019-07-10 02:49:27 -0400 f0ae3f7

    describe main testing code




2019-07-10 02:41:36 -0400 1eb3e32

    a bare-metal sandbox, with no workload

region types



2019-07-09 01:22:44 -0400 a99db4e

    add super kernel cap




2019-07-08 00:31:40 -0400 dc72d0a

    fix link of hidden menu




2019-07-08 00:09:57 -0400 0676080

    - add motivation of cheri from v5; - create title of mpk, riscv




2019-07-07 14:24:11 -0400 cab62fe

    mkdir cheri-kernel




2019-07-06 21:58:13 -0400 ac56120

    add todo list




2019-07-05 22:30:45 -0400 3cd96a5

    cheriabi intro




2019-07-05 19:38:57 -0400 0ed97e9

    move cheri domain to subfolder




2019-07-05 14:59:32 -0400 6e1802c

    add cets paper




2019-07-05 14:55:41 -0400 ec46ded

    temporal safety of pointers




2019-07-05 02:18:13 -0400 c70bc50

    llva-os added




2019-07-05 02:15:10 -0400 22b52b4

    llva-os added




2019-07-05 00:37:07 -0400 cb1c76a

    sva outlined




2019-07-04 17:50:24 -0400 3540eda

    halting question on static analysis; update toc; c model by refine compiler.




2019-07-03 17:10:06 -0400 2050b1b

    cheri isa semantic; cheri formal methods




2019-07-03 00:56:11 -0400 7c09261

    new file cheri kernel separation




2019-07-03 00:22:48 -0400 64f6e7f

    top wonderings, 1,2,3.




2019-07-02 16:44:00 -0400 756425e

    update deploy script




2019-07-02 16:40:08 -0400 0b03967

    add cheri history figure




2019-07-02 16:21:32 -0400 9f5c7c6

    done pdp11 c model




2019-07-02 13:56:44 -0400 ffd886d

    update pdp11 paper




2019-07-02 01:54:47 -0400 884bfc1

    new logo: le learn




2019-07-02 01:33:10 -0400 208fe71

    pdp11 update




2019-07-01 17:58:12 -0400 f4d8a8d

    fix format




2019-07-01 17:16:13 -0400 5939079

    add changelog to web repo dumpped from git log in hugo repo




2019-07-01 16:47:54 -0400 a9dcae4

    fix themesite images; cheri domain problems




2019-07-01 11:33:34 -0400 9bf67a1

    revise cheri domain




2019-07-01 03:49:43 -0400 081b6e4

    update github repo




2019-07-01 03:47:31 -0400 264aae0

    fix base url and image link issue: image path contain base url top dir




2019-07-01 03:27:33 -0400 edb887a

    rename fat-ptrs to memsafety; add edit page button




2019-07-01 03:07:32 -0400 f1270a4

    add memoy safety fat pointers




2019-07-01 02:44:13 -0400 3f5288d

    add cheri




2019-07-01 01:40:19 -0400 ccda7c7

    force push




2019-07-01 01:38:57 -0400 dbca659

    draft as false by default;




2019-07-01 01:35:21 -0400 3797b83

    add reset option for deploy.sh




2019-07-01 01:26:04 -0400 7dd80a8

    remove research unrelated text




2019-07-01 01:25:05 -0400 7f0f493

    add deploy.sh




2019-06-26 17:17:59 -0400 dcf1fef

    disable toc




2019-06-26 17:15:40 -0400 5eb93d8

    dop jujutsu;

tryinig to use toc, failed;Hugo support is weak.

reformat the page.

reconfigure config.toml



2019-06-26 10:53:38 -0400 fa6aa8f

    fix relative link error in themesite




2019-06-26 02:09:36 -0400 ebbaad3

    reading Jun 25; - love and math, begin; - evolution of intelligent system, brain, begin; - compute sec policy, definition.




2019-06-24 17:29:03 -0400 70e300c

    ignore folder when building




2019-06-24 17:24:45 -0400 8f276af

    remove public folder




2019-06-24 17:05:51 -0400 71c4722

    adding theme example site as subsite, for reference; - testing zh basics




2019-06-24 16:09:46 -0400 f1263ae

    example site with documentations




2019-06-24 16:04:42 -0400 2820607

    add submodule




2019-06-24 16:02:14 -0400 3306f7d

    init commit by hugo new site