#
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`.
|