History log of /seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/src/iread.cogent
Revision Date Author Comments
# 5e1db6b4 05-Feb-2020 Jashank Jeremy <jashank.jeremy@unsw.edu.au>

impl/fs/ext2: Make log messages disappear under verification.

The AutoCorres C parser chokes on string literals. Instead, with
`-DVERIFICATION' set, all the calls to <gum/common/log.cogent> logging
functions disappear in a suffusion of C preprocessor tokens.


# 45d11357 08-Feb-2018 Partha Susarla <mail@spartha.org>

Remove the old style debug statements.

Cogent earlier had statements starting with an `_` which the compiler
would ignore in debug mode and this behaviour has changed. This commit
removes those statements and is the first phase of using the
C preprocessor style debug conditionals.


# 8550c31b 08-Dec-2016 Zilin Chen <Zilin.Chen@data61.csiro.au>

ext2: typechecks again with upcast


# 22c9082a 17-Nov-2016 Zilin Chen <Zilin.Chen@nicta.com.au>

ext2: new tc passed!!!


# ca265040 06-Sep-2016 Zilin Chen <Zilin.Chen@data61.csiro.au>

ext2: wip - porting to new type system


# dc6bd0fb 15-Mar-2017 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

[impl] Reorganise impl directory.

We currently have all our filesystem implementation in `impl` directory. This
patch moves all the implementations into `impl/fs` directory. This makes for
better organisation of the source tree when we eventually have `impl/net`,
for network implementations in `Cogent`.