Goose: All Top-level Files

Files from all 892 check-ins sorted by filename

File ages are expressed relative to the check-in time of 2024-10-01 22:43:38.

Goose
Last Change

Size
- .clang-format
  16.1 days
  
  3,950
- .editorconfig
  4.98 years
  
  140
- .fossil-settings
  4.28 years
  - ignore-glob
    4.28 years
    
    121
- .vscode
  current
  - c_cpp_properties.json
    2.52 years
    
    461
  - launch.json
    current
    
    506
- bs
  current
  - analyze
    4.98 years
    - analyze.cpp
      4.98 years
      
      -
    - analyze.h
      4.98 years
      
      -
    - builder.cpp
      4.98 years
      
      -
    - builder.h
      4.98 years
      
      -
    - call.cpp
      4.98 years
      
      -
    - diagnose.cpp
      4.98 years
      
      -
    - funcvalidator.cpp
      4.98 years
      
      -
    - funcvalidator.h
      4.98 years
      
      -
    - meson.build
      4.98 years
      
      -
    - value.cpp
      4.98 years
      
      -
    - verifstmtvalidator.cpp
      4.98 years
      
      -
    - verifstmtvalidator.h
      4.98 years
      
      -
  - builtins
    current
    - api
      3.05 years
      - api.h
        3.05 years
        
        -
      - codegen
        3.05 years
        
        codegen.h
        3.05 years
        
        -
        
        func.cpp
        3.05 years
        
        -
        
        func.h
        5.17 years
        
        -
        
        linker.cpp
        3.05 years
        
        -
        
        linker.h
        5.17 years
        
        -
        
        mangle.cpp
        3.05 years
        
        -
        
        mangle.h
        5.17 years
        
        -
        
        module.cpp
        3.05 years
        
        -
        
        module.h
        3.05 years
        
        -
      - compiler.cpp
        3.05 years
        
        -
      - extensibility
        3.05 years
        
        codebuilder.cpp
        3.05 years
        
        -
        
        codebuilder.h
        3.05 years
        
        -
        
        extensibility.h
        3.05 years
        
        -
        
        termref.cpp
        3.05 years
        
        -
        
        termref.h
        3.05 years
        
        -
        
        termwrapper.cpp
        3.05 years
        
        -
        
        termwrapper.h
        3.05 years
        
        -
        
        valuewrapper.cpp
        3.05 years
        
        -
        
        valuewrapper.h
        3.05 years
        
        -
      - string.cpp
        3.05 years
        
        -
      - support
        3.05 years
        
        cast.cpp
        3.05 years
        
        -
        
        support.h
        3.05 years
        
        -
        
        verification.cpp
        3.05 years
        
        -
    - builders
      16.1 days
      - builders.h
        1.17 years
        
        133
      - cb_interface.cpp
        16.1 days
        
        4,888
      - codebuilder.cpp
        1.10 years
        
        -
      - codebuilder.h
        16.1 days
        
        707
      - default_interface.cpp
        16.1 days
        
        3,365
      - ghostcode_interface.cpp
        16.1 days
        
        2,782
      - interfaces.cpp
        2.85 years
        
        -
      - lifecycle_manager.h
        16.1 days
        
        4,284
      - lifecycle_manager.inl
        16.1 days
        
        4,107
      - props_interface.cpp
        16.1 days
        
        2,365
      - struct_interface.cpp
        16.1 days
        
        3,567
    - builtins.cpp
      16.1 days
      
      3,444
    - builtins.h
      16.1 days
      
      975
    - CMakeLists.txt
      201.0 days
      
      3,900
    - exprbuilder.h
      2.89 years
      
      -
    - exprhelpers.h
      16.1 days
      
      4,218
    - extpoints.cpp
      4.74 years
      
      -
    - helpers.cpp
      16.1 days
      
      12,267
    - helpers.h
      16.1 days
      
      5,105
    - meson.build
      1.14 years
      
      -
    - operators
      16.1 days
      - access.cpp
        2.89 years
        
        -
      - apostrophe.cpp
        16.1 days
        
        2,585
      - arith.cpp
        16.1 days
        
        7,552
      - assignment.cpp
        16.1 days
        
        5,659
      - colon.cpp
        5.49 years
        
        -
      - colon.h
        5.49 years
        
        -
      - comma.cpp
        16.1 days
        
        3,970
      - comma.h
        5.17 years
        
        -
      - comparison.cpp
        16.1 days
        
        5,248
      - compoundass.cpp
        16.1 days
        
        4,596
      - comptime.cpp
        16.1 days
        
        1,960
      - contract.cpp
        16.1 days
        
        3,197
      - dollar.cpp
        16.1 days
        
        5,918
      - dollar.h
        5.17 years
        
        -
      - domainspecifiers.cpp
        4.27 years
        
        -
      - domainspecifiers.h
        5.17 years
        
        -
      - dot.cpp
        16.1 days
        
        5,926
      - ellipsis.cpp
        16.1 days
        
        1,374
      - ghost.cpp
        16.1 days
        
        1,946
      - helpers.cpp
        5.17 years
        
        -
      - helpers.h
        16.1 days
        
        4,511
      - inline.cpp
        16.1 days
        
        1,944
      - intrinsic.cpp
        16.1 days
        
        1,968
      - logic.cpp
        16.1 days
        
        19,729
      - logic.h
        5.17 years
        
        -
      - operators.h
        16.1 days
        
        1,486
      - semicolon.cpp
        16.1 days
        
        800
      - semicolon.h
        5.17 years
        
        -
      - tupass.cpp
        16.1 days
        
        6,958
      - tuple.h
        16.1 days
        
        2,875
      - where.cpp
        2.85 years
        
        -
    - statements
      16.1 days
      - break.cpp
        16.1 days
        
        1,399
      - continue.cpp
        16.1 days
        
        1,424
      - ct-for.cpp
        16.1 days
        
        3,978
      - ct-if.cpp
        16.1 days
        
        5,238
      - forall.cpp
        16.1 days
        
        4,205
      - hif.cpp
        2.09 years
        
        -
      - hif.h
        5.17 years
        
        -
      - if.cpp
        16.1 days
        
        5,529
      - if.h
        5.17 years
        
        -
      - return.cpp
        16.1 days
        
        3,557
      - return.h
        5.17 years
        
        -
      - statements.h
        16.1 days
        
        850
      - using.cpp
        16.1 days
        
        4,783
      - using.h
        5.15 years
        
        -
      - verification.cpp
        2.85 years
        
        -
      - while.cpp
        16.1 days
        
        5,924
    - types
      current
      - basic.cpp
        16.1 days
        
        6,212
      - basic.h
        16.1 days
        
        3,527
      - bfunc.cpp
        5.63 years
        
        -
      - bfunc.h
        5.63 years
        
        -
      - bfunc.inl
        5.63 years
        
        -
      - constrainedfunc
        16.1 days
        
        constrainedfunc.cpp
        16.1 days
        
        1,393
        
        constrainedfunc.h
        16.1 days
        
        1,301
        
        invoke.cpp
        16.1 days
        
        1,452
        
        typecheck.cpp
        16.1 days
        
        3,901
        
        unify.cpp
        4.26 years
        
        -
      - convert.cpp
        16.1 days
        
        1,054
      - decl.cpp
        16.1 days
        
        2,477
      - decl.h
        16.1 days
        
        1,956
      - destroy.cpp
        16.1 days
        
        434
      - drop.cpp
        16.1 days
        
        4,157
      - extensibility
        3.04 years
        
        codebuilder.cpp
        3.04 years
        
        -
        
        codebuilder.h
        3.04 years
        
        -
        
        extensibility.h
        3.04 years
        
        -
        
        termref.cpp
        3.05 years
        
        -
        
        termref.h
        3.05 years
        
        -
        
        termwrapper.cpp
        3.05 years
        
        -
        
        termwrapper.h
        3.05 years
        
        -
        
        valuewrapper.cpp
        3.04 years
        
        -
        
        valuewrapper.h
        3.04 years
        
        -
      - func.cpp
        5.63 years
        
        -
      - func.h
        5.63 years
        
        -
      - func.inl
        5.63 years
        
        -
      - func
        current
        
        bfunc.cpp
        16.1 days
        
        2,608
        
        bfunc.h
        16.1 days
        
        3,120
        
        bfunc.inl
        16.1 days
        
        4,994
        
        bintrinsic.cpp
        16.1 days
        
        857
        
        bintrinsic.h
        16.1 days
        
        1,185
        
        bintrinsic.inl
        16.1 days
        
        1,776
        
        build.cpp
        16.1 days
        
        8,063
        
        build.h
        16.1 days
        
        1,152
        
        compilation
        16.1 days
        
        common.cpp
        16.1 days
        
        3,816
        
        common.h
        16.1 days
        
        2,298
        
        compilation.h
        16.1 days
        
        378
        
        inline.cpp
        16.1 days
        
        3,109
        
        intrinsic.cpp
        16.1 days
        
        2,921
        
        regular.cpp
        16.1 days
        
        4,022
        
        compile.cpp
        16.1 days
        
        1,581
        
        func.cpp
        16.1 days
        
        5,263
        
        func.h
        16.1 days
        
        4,676
        
        func.inl
        16.1 days
        
        775
        
        functype.cpp
        16.1 days
        
        8,181
        
        functype.h
        16.1 days
        
        4,788
        
        invocation
        current
        
        beagerfunc.cpp
        16.1 days
        
        2,008
        
        bfunc.cpp
        16.1 days
        
        1,861
        
        bintrinsic.cpp
        16.1 days
        
        1,489
        
        common.cpp
        16.1 days
        
        2,821
        
        common.h
        16.1 days
        
        663
        
        comptime.cpp
        16.1 days
        
        2,658
        
        func.cpp
        1.11 years
        
        -
        
        ghostfunc.cpp
        16.1 days
        
        2,341
        
        inline.cpp
        current
        
        7,396
        
        intrinsic.cpp
        16.1 days
        
        5,492
        
        invocation.h
        16.1 days
        
        1,966
        
        regular.cpp
        16.1 days
        
        3,406
        
        invoke.cpp
        2.26 years
        
        -
        
        lower.cpp
        16.1 days
        
        1,061
        
        param.cpp
        5.53 years
        
        -
        
        param.h
        5.53 years
        
        -
        
        typecheck.cpp
        16.1 days
        
        5,061
        
        unify.cpp
        4.26 years
        
        -
        
        wrapped.cpp
        16.1 days
        
        3,169
        
        wrapped.h
        16.1 days
        
        519
        
        wrappedarg.cpp
        1.52 years
        
        -
        
        wrappedarg.h
        1.52 years
        
        -
      - ghostcode
        16.1 days
        
        drop.cpp
        16.1 days
        
        1,592
        
        ghostcode.h
        16.1 days
        
        1,443
      - infer.cpp
        16.1 days
        
        4,519
      - init.cpp
        16.1 days
        
        2,446
      - intrinsic
        3.08 years
        
        intrinsic.cpp
        3.08 years
        
        -
        
        intrinsic.h
        3.08 years
        
        -
        
        intrinsic.inl
        3.08 years
        
        -
      - inv-func.cpp
        5.63 years
        
        -
      - localvar.cpp
        5.15 years
        
        -
      - localvar.h
        5.15 years
        
        -
      - localvar
        current
        
        drop.cpp
        16.1 days
        
        2,012
        
        init.cpp
        4.39 years
        
        -
        
        invoke.cpp
        16.1 days
        
        1,317
        
        localvar.cpp
        current
        
        5,900
        
        localvar.h
        16.1 days
        
        2,944
        
        typecheck.cpp
        16.1 days
        
        1,350
        
        unify.cpp
        4.26 years
        
        -
      - lower.cpp
        16.1 days
        
        903
      - overloadset
        16.1 days
        
        helpers.cpp
        16.1 days
        
        3,432
        
        helpers.h
        16.1 days
        
        746
        
        invoke.cpp
        16.1 days
        
        5,503
        
        overloadset.cpp
        16.1 days
        
        1,009
        
        overloadset.h
        16.1 days
        
        711
        
        typecheck.cpp
        16.1 days
        
        5,074
        
        unify.cpp
        4.26 years
        
        -
      - param.h
        16.1 days
        
        1,507
      - predicates
        16.1 days
        
        predicates.cpp
        16.1 days
        
        2,629
        
        predicates.h
        16.1 days
        
        669
        
        typecheck.cpp
        16.1 days
        
        512
      - pretty.cpp
        16.1 days
        
        4,984
      - propositions
        16.1 days
        
        drop.cpp
        16.1 days
        
        1,305
        
        propositions.cpp
        16.1 days
        
        1,809
        
        propositions.h
        16.1 days
        
        1,992
        
        propositions.inl
        16.1 days
        
        714
      - reference
        current
        
        init.cpp
        16.1 days
        
        892
        
        lower.cpp
        16.1 days
        
        796
        
        parse.cpp
        16.1 days
        
        2,108
        
        reference.cpp
        16.1 days
        
        5,289
        
        reference.h
        16.1 days
        
        4,717
        
        typecheck.cpp
        current
        
        10,328
        
        unify.cpp
        4.26 years
        
        -
      - runtime
        16.1 days
        
        array.cpp
        16.1 days
        
        1,760
        
        array.h
        16.1 days
        
        884
        
        basic.cpp
        16.1 days
        
        7,068
        
        basic.h
        16.1 days
        
        3,511
        
        init.cpp
        16.1 days
        
        1,009
        
        pointer.cpp
        16.1 days
        
        2,925
        
        pointer.h
        16.1 days
        
        1,437
        
        record.cpp
        235.2 days
        
        -
        
        record.h
        235.2 days
        
        -
        
        runtime.cpp
        16.1 days
        
        2,773
        
        runtime.h
        16.1 days
        
        640
        
        struct.cpp
        4.72 years
        
        -
        
        struct.h
        4.72 years
        
        -
        
        typecheck.cpp
        16.1 days
        
        5,541
        
        unify.cpp
        4.26 years
        
        -
      - struct
        16.1 days
        
        builder.cpp
        16.1 days
        
        2,894
        
        builder.h
        16.1 days
        
        1,286
        
        builder.inl
        16.1 days
        
        2,322
        
        init.cpp
        16.1 days
        
        1,068
        
        lower.cpp
        16.1 days
        
        1,879
        
        parse.cpp
        16.1 days
        
        3,418
        
        struct.h
        16.1 days
        
        676
        
        structtype.cpp
        16.1 days
        
        2,324
        
        structtype.h
        16.1 days
        
        1,816
      - template
        16.1 days
        
        build.cpp
        16.1 days
        
        4,274
        
        build.h
        16.1 days
        
        617
        
        instantiate.cpp
        16.1 days
        
        4,225
        
        invoke.cpp
        16.1 days
        
        3,188
        
        pretty.cpp
        16.1 days
        
        1,592
        
        rules.cpp
        2.92 years
        
        -
        
        rules.h
        2.92 years
        
        -
        
        rules
        16.1 days
        
        decl.cpp
        16.1 days
        
        1,362
        
        rules.h
        16.1 days
        
        1,560
        
        tdecl.cpp
        16.1 days
        
        2,742
        
        tfunctype.cpp
        16.1 days
        
        2,895
        
        tnameddecl.cpp
        16.1 days
        
        3,064
        
        tpack.cpp
        16.1 days
        
        2,712
        
        tuple.cpp
        16.1 days
        
        4,109
        
        tvar.cpp
        16.1 days
        
        8,291
        
        tvectype.cpp
        16.1 days
        
        3,961
        
        value.cpp
        16.1 days
        
        2,214
        
        tc-tdecl.cpp
        16.1 days
        
        7,432
        
        tdecl.cpp
        16.1 days
        
        1,680
        
        tdecl.h
        16.1 days
        
        1,231
        
        texpr.cpp
        16.1 days
        
        1,229
        
        texpr.h
        1.89 years
        
        231
        
        tfunc.cpp
        16.1 days
        
        1,226
        
        tfunc.h
        16.1 days
        
        1,858
        
        tfunctype.cpp
        16.1 days
        
        2,823
        
        tfunctype.h
        16.1 days
        
        2,502
        
        tnameddecl.cpp
        16.1 days
        
        2,191
        
        tnameddecl.h
        16.1 days
        
        2,025
        
        tpack.cpp
        16.1 days
        
        731
        
        tpack.h
        16.1 days
        
        753
        
        ttvar.cpp
        16.1 days
        
        1,037
        
        ttvar.h
        16.1 days
        
        750
        
        tvar.cpp
        16.1 days
        
        1,025
        
        tvar.h
        16.1 days
        
        742
        
        tvec.cpp
        16.1 days
        
        957
        
        tvec.h
        16.1 days
        
        1,148
        
        typecheck.cpp
        16.1 days
        
        4,723
        
        uni-tdecl.cpp
        4.26 years
        
        -
        
        unify.cpp
        4.26 years
        
        -
      - texpr
        5.62 years
        
        tdecl.cpp
        5.62 years
        
        -
        
        tdecl.h
        5.62 years
        
        -
        
        tnameddecl.cpp
        5.62 years
        
        -
        
        tnameddecl.h
        5.62 years
        
        -
        
        tvar.cpp
        5.62 years
        
        -
        
        tvar.h
        5.62 years
        
        -
      - tfunc
        5.62 years
        
        tfunc.cpp
        5.62 years
        
        -
        
        tfunc.h
        5.62 years
        
        -
        
        tfunctype.cpp
        5.62 years
        
        -
        
        tfunctype.h
        5.62 years
        
        -
      - trivialchecks.cpp
        16.1 days
        
        2,301
      - tuple.cpp
        5.63 years
        
        -
      - tuple.h
        5.63 years
        
        -
      - tuple.inl
        5.63 years
        
        -
      - tuple
        current
        
        destroy.cpp
        16.1 days
        
        1,327
        
        drop.cpp
        16.1 days
        
        934
        
        init.cpp
        16.1 days
        
        5,266
        
        lower.cpp
        16.1 days
        
        2,264
        
        tuple.cpp
        16.1 days
        
        6,290
        
        tuple.h
        16.1 days
        
        2,868
        
        tuple.inl
        16.1 days
        
        5,638
        
        tupletype.cpp
        16.1 days
        
        7,034
        
        tupletype.h
        16.1 days
        
        1,597
        
        typecheck.cpp
        current
        
        9,565
        
        unify.cpp
        4.26 years
        
        -
      - typepredicates.cpp
        3.58 years
        
        -
      - typepredicates.h
        3.58 years
        
        -
      - types.cpp
        16.1 days
        
        3,197
      - types.h
        16.1 days
        
        2,638
      - wrapper.h
        16.1 days
        
        8,162
  - cir
    current
    - address.h
      2.28 years
      
      -
    - allocvar.h
      18.1 days
      
      -
    - arith.h
      16.1 days
      
      -
    - ass.h
      16.1 days
      
      -
    - basicblock.h
      16.1 days
      
      4,398
    - basicblock.inl
      16.1 days
      
      1,270
    - binaryop.cpp
      2.26 years
      
      -
    - binaryop.h
      16.1 days
      
      -
    - bitwise.h
      16.1 days
      
      -
    - branch.h
      16.1 days
      
      2,372
    - break.h
      16.1 days
      
      617
    - calcaddr.h
      3.75 years
      
      -
    - call.cpp
      2.26 years
      
      -
    - call.h
      16.1 days
      
      -
    - cfg.cpp
      16.1 days
      
      1,899
    - cfg.h
      current
      
      6,502
    - cfgviz.cpp
      1.17 years
      
      -
    - cfgviz.h
      1.17 years
      
      -
    - cir.h
      16.1 days
      
      1,266
    - CMakeLists.txt
      18.1 days
      
      339
    - comparison.h
      16.1 days
      
      -
    - conjunction.h
      2.92 years
      
      -
    - constant.h
      16.1 days
      
      -
    - continue.h
      16.1 days
      
      635
    - createtemporary.h
      18.1 days
      
      -
    - datalocation.cpp
      16.1 days
      
      2,353
    - datalocation.h
      16.1 days
      
      4,637
    - decorator.cpp
      1.10 years
      
      -
    - decorator.h
      1.10 years
      
      -
    - dominators.cpp
      16.1 days
      
      4,557
    - forall.h
      16.1 days
      
      -
    - func.cpp
      16.1 days
      
      428
    - func.h
      16.1 days
      
      1,184
    - gettemporary.h
      18.1 days
      
      -
    - ghostcall.h
      16.1 days
      
      -
    - hash.cpp
      current
      
      7,569
    - hash.h
      16.1 days
      
      6,190
    - helpers.cpp
      current
      
      2,770
    - helpers.h
      current
      
      3,714
    - inliner.cpp
      current
      
      6,229
    - inliner.h
      current
      
      840
    - inliner.inl
      331.4 days
      
      -
    - instruction.cpp
      current
      
      3,215
    - instruction.h
      16.1 days
      
      954
    - load.h
      16.1 days
      
      -
    - loadconst.h
      3.58 years
      
      -
    - logic.h
      16.1 days
      
      -
    - loopaddrs.cpp
      18.1 days
      
      6,831
    - loops.cpp
      16.1 days
      
      3,677
    - meson.build
      1.14 years
      
      -
    - not.h
      16.1 days
      
      -
    - op-allocvar.h
      16.1 days
      
      1,209
    - op-arith.h
      current
      
      2,343
    - op-assert.h
      current
      
      698
    - op-binary.h
      16.1 days
      
      525
    - op-bitwise.h
      current
      
      1,075
    - op-call.h
      current
      
      2,446
    - op-comparisons.h
      current
      
      3,281
    - op-constant.h
      current
      
      983
    - op-datapath.h
      current
      
      1,322
    - op-forall.h
      current
      
      1,500
    - op-ghostcall.h
      current
      
      690
    - op-load.h
      16.1 days
      
      741
    - op-logic.h
      current
      
      1,059
    - op-not.h
      current
      
      676
    - op-phi.h
      16.1 days
      
      2,122
    - op-phoverride.h
      16.1 days
      
      1,830
    - op-placeholder.h
      current
      
      1,523
    - op-select.h
      16.1 days
      
      750
    - op-store.h
      16.1 days
      
      1,049
    - op-stringid.h
      current
      
      944
    - op-type.h
      current
      
      921
    - op-verification.h
      current
      
      929
    - operation.h
      current
      
      3,826
    - phi.h
      16.1 days
      
      -
    - phoverride.h
      16.1 days
      
      -
    - placeholder.h
      16.1 days
      
      -
    - quant.h
      1.17 years
      
      -
    - reindexvars.cpp
      16.1 days
      
      3,993
    - ret.h
      16.1 days
      
      1,071
    - select.h
      16.1 days
      
      -
    - seqbuilder.cpp
      current
      
      4,604
    - seqbuilder.h
      current
      
      3,017
    - seqbuilder.inl
      current
      
      1,846
    - storagelocation.cpp
      18.1 days
      
      -
    - storagelocation.h
      18.1 days
      
      -
    - store.h
      16.1 days
      
      -
    - stringid.h
      16.1 days
      
      -
    - tempaddr.h
      18.1 days
      
      -
    - terminator.cpp
      16.1 days
      
      3,183
    - terminator.h
      16.1 days
      
      1,274
    - tests
      31.4 days
      - CMakeLists.txt
        31.4 days
        
        994
      - dom-1.cpp
        235.2 days
        
        1,239
      - dom-2.cpp
        31.4 days
        
        2,107
      - meson.build
        1.14 years
        
        -
    - type.h
      16.1 days
      
      -
    - varaddr.h
      18.1 days
      
      -
    - verification.h
      16.1 days
      
      -
    - verifinstrfilter.cpp
      current
      
      4,992
    - verifinstrfilter.h
      16.1 days
      
      2,112
  - CMakeLists.txt
    18.1 days
    
    2,327
  - codegen
    16.1 days
    - address.cpp
      16.1 days
      
      3,278
    - address.h
      16.1 days
      
      785
    - arithops.cpp
      16.1 days
      
      1,535
    - basicblock.cpp
      16.1 days
      
      3,467
    - binaryops.cpp
      5.16 years
      
      -
    - cfg.cpp
      4.87 years
      
      -
    - CMakeLists.txt
      175.0 days
      
      262
    - codegen.cpp
      16.1 days
      
      578
    - codegen.h
      16.1 days
      
      853
    - compareops.cpp
      16.1 days
      
      2,158
    - func.cpp
      16.1 days
      
      2,383
    - instructions.cpp
      16.1 days
      
      7,071
    - llvmwrappers.cpp
      16.1 days
      
      2,621
    - llvmwrappers.h
      16.1 days
      
      4,219
    - logicops.cpp
      16.1 days
      
      1,602
    - mangle.cpp
      16.1 days
      
      8,490
    - mangle.h
      5.17 years
      
      -
    - meson.build
      1.14 years
      
      -
    - module.cpp
      16.1 days
      
      2,925
    - module.h
      16.1 days
      
      6,800
    - module.inl
      16.1 days
      
      844
    - pointer.cpp
      4.41 years
      
      -
    - stack.h
      16.1 days
      
      2,131
    - type.cpp
      4.37 years
      
      -
    - type.h
      4.37 years
      
      -
    - value.cpp
      16.1 days
      
      4,216
  - compile
    16.1 days
    - CMakeLists.txt
      1.14 years
      
      41
    - compiler.cpp
      16.1 days
      
      6,300
    - compiler.h
      16.1 days
      
      823
    - meson.build
      1.14 years
      
      -
  - compiler.cpp
    4.97 years
    
    -
  - compiler.h
    4.97 years
    
    -
  - diagnostics
    16.1 days
    - CMakeLists.txt
      1.03 years
      
      72
    - diagnostics.h
      1.03 years
      
      287
    - diagnosticscontext.h
      16.1 days
      
      931
    - diagnosticsmanager.cpp
      16.1 days
      
      6,017
    - diagnosticsmanager.h
      16.1 days
      
      5,282
    - disagnosticmanager.h
      5.14 years
      
      -
    - location.cpp
      1.03 years
      
      -
    - location.h
      1.03 years
      
      -
    - locationmanager.cpp
      5.14 years
      
      -
    - locationmanager.h
      5.14 years
      
      -
    - meson.build
      1.14 years
      
      -
    - renderer.cpp
      16.1 days
      
      12,618
    - renderer.h
      16.1 days
      
      3,271
    - renderer.inl
      16.1 days
      
      577
    - verbositycontext.h
      16.1 days
      
      899
  - eir
    current
    - anyterm.h
      16.1 days
      
      834
    - bridge.h
      16.1 days
      
      1,192
    - CMakeLists.txt
      1.14 years
      
      269
    - compare.cpp
      16.1 days
      
      1,665
    - compare.h
      3.02 years
      
      -
    - compare.inl
      3.02 years
      
      -
    - decompose.h
      16.1 days
      
      2,113
    - decompose.inl
      16.1 days
      
      2,841
    - eir.h
      16.1 days
      
      739
    - enumerate.cpp
      16.1 days
      
      216
    - enumerate.h
      3.76 years
      
      267
    - enumerate.inl
      16.1 days
      
      6,135
    - graphviz.cpp
      16.1 days
      
      189
    - graphviz.h
      16.1 days
      
      269
    - graphviz.inl
      16.1 days
      
      13,415
    - hash.cpp
      16.1 days
      
      2,204
    - hash.h
      16.1 days
      
      591
    - helpers.cpp
      16.1 days
      
      1,483
    - helpers.h
      16.1 days
      
      1,124
    - helpers.inl
      16.1 days
      
      1,871
    - location.h
      3.02 years
      
      -
    - locationid.h
      1.03 years
      
      -
    - match.cpp
      16.1 days
      
      466
    - match.h
      16.1 days
      
      3,201
    - match.inl
      16.1 days
      
      11,817
    - merge.cpp
      16.1 days
      
      213
    - merge.h
      3.76 years
      
      272
    - merge.inl
      16.1 days
      
      10,436
    - meson.build
      1.14 years
      
      -
    - pretty.cpp
      16.1 days
      
      2,259
    - pretty.h
      16.1 days
      
      685
    - term.h
      16.1 days
      
      2,182
    - tests
      16.1 days
      - CMakeLists.txt
        31.4 days
        
        718
      - match-terms-trie.cpp
        16.1 days
        
        8,391
      - match-terms.cpp
        3.03 years
        
        -
      - match-tries.cpp
        3.02 years
        
        -
      - merge.cpp
        16.1 days
        
        3,666
      - meson.build
        1.14 years
        
        -
    - tostring.cpp
      16.1 days
      
      3,600
    - tostring.h
      16.1 days
      
      1,081
    - trie.h
      16.1 days
      
      4,259
    - typepredicates.h
      2.87 years
      
      -
    - value.cpp
      current
      
      4,352
    - value.h
      current
      
      4,246
    - vecgenerator.cpp
      16.1 days
      
      873
    - vecgenerator.h
      16.1 days
      
      602
    - vecoflength.h
      16.1 days
      
      898
    - vector.h
      16.1 days
      
      6,882
  - empathy.cpp
    5.03 years
    
    -
  - execute
    current
    - binaryops.cpp
      16.1 days
      
      3,806
    - binaryops.inl
      16.1 days
      
      5,911
    - CMakeLists.txt
      1.14 years
      
      83
    - eval.cpp
      16.1 days
      
      2,343
    - eval.h
      5.17 years
      
      -
    - execute.h
      16.1 days
      
      385
    - frame.cpp
      5.15 years
      
      -
    - frame.h
      4.16 years
      
      -
    - meson.build
      1.14 years
      
      -
    - termaddr.cpp
      16.1 days
      
      642
    - termaddr.h
      16.1 days
      
      316
    - vm.cpp
      current
      
      10,159
    - vm.h
      16.1 days
      
      5,435
  - g0api
    current
    - cgapi
      16.1 days
      - cgapi.h
        16.1 days
        
        455
      - func.cpp
        16.1 days
        
        2,188
      - linker.cpp
        16.1 days
        
        2,065
      - mangle.cpp
        16.1 days
        
        670
      - module.cpp
        16.1 days
        
        2,247
      - module.h
        3.00 years
        
        156
    - CMakeLists.txt
      18.1 days
      
      439
    - compiler.cpp
      16.1 days
      
      11,773
    - extensibility
      current
      - cir.cpp
        current
        
        25,662
      - context.cpp
        16.1 days
        
        1,789
      - diagnostics.cpp
        16.1 days
        
        5,738
      - eir.cpp
        16.1 days
        
        17,834
      - env.cpp
        16.1 days
        
        2,753
      - extensibility.h
        16.1 days
        
        1,054
      - misc.cpp
        16.1 days
        
        7,388
      - parser.cpp
        16.1 days
        
        1,772
      - term.cpp
        3.05 years
        
        -
      - termref.h
        16.1 days
        
        1,195
      - termwrapper.cpp
        3.04 years
        
        -
      - termwrapper.h
        3.04 years
        
        -
      - types.cpp
        3.00 years
        
        -
      - types.h
        3.00 years
        
        -
      - typewrappers.cpp
        3.04 years
        
        -
      - typewrappers.h
        3.04 years
        
        -
      - value.cpp
        16.1 days
        
        3,997
    - g0api.h
      16.1 days
      
      716
    - meson.build
      1.14 years
      
      -
    - string.cpp
      16.1 days
      
      2,656
    - support
      2.86 years
      - cast.cpp
        2.86 years
        
        -
      - support.h
        2.86 years
        
        -
      - verification.cpp
        2.86 years
        
        -
    - types.cpp
      16.1 days
      
      10,414
    - types.h
      16.1 days
      
      2,471
  - goose-config.h.in
    1.14 years
    
    91
  - goose.cpp
    3.03 years
    
    247
  - ir
    3.76 years
    - anyterm.h
      3.76 years
      
      -
    - bridge.h
      3.76 years
      
      -
    - CMakeLists.txt
      5.11 years
      
      -
    - compare.cpp
      3.76 years
      
      -
    - compare.h
      3.76 years
      
      -
    - compare.inl
      3.76 years
      
      -
    - decompose.h
      3.76 years
      
      -
    - decompose.inl
      3.76 years
      
      -
    - enumerate.cpp
      3.76 years
      
      -
    - enumerate.h
      3.76 years
      
      -
    - enumerate.inl
      3.76 years
      
      -
    - graphviz.cpp
      3.76 years
      
      -
    - graphviz.h
      3.76 years
      
      -
    - graphviz.inl
      3.76 years
      
      -
    - helpers.cpp
      3.76 years
      
      -
    - helpers.h
      3.76 years
      
      -
    - helpers.inl
      3.76 years
      
      -
    - ir.h
      3.76 years
      
      -
    - location.h
      5.15 years
      
      -
    - match.cpp
      3.76 years
      
      -
    - match.h
      3.76 years
      
      -
    - match.inl
      3.76 years
      
      -
    - merge.cpp
      3.76 years
      
      -
    - merge.h
      3.76 years
      
      -
    - merge.inl
      3.76 years
      
      -
    - meson.build
      3.76 years
      
      -
    - or.cpp
      5.89 years
      
      -
    - or.h
      5.89 years
      
      -
    - term.cpp
      5.19 years
      
      -
    - term.h
      3.76 years
      
      -
    - term.inl
      5.15 years
      
      -
    - tests
      3.76 years
      - CMakeLists.txt
        5.11 years
        
        -
      - match-terms-trie.cpp
        3.76 years
        
        -
      - match-terms.cpp
        3.76 years
        
        -
      - match-tries.cpp
        5.07 years
        
        -
      - merge-tries.cpp
        5.07 years
        
        -
      - merge.cpp
        3.76 years
        
        -
      - meson.build
        3.76 years
        
        -
    - tostring.cpp
      3.76 years
      
      -
    - tostring.h
      3.76 years
      
      -
    - trie.h
      3.76 years
      
      -
    - value.cpp
      3.76 years
      
      -
    - value.h
      3.76 years
      
      -
    - variable.h
      5.92 years
      
      -
    - vecgenerator.cpp
      3.76 years
      
      -
    - vecgenerator.h
      3.76 years
      
      -
    - vecoflength.h
      3.76 years
      
      -
    - vector.h
      3.76 years
      
      -
  - lex
    16.1 days
    - CMakeLists.txt
      1.14 years
      
      149
    - comment.cpp
      16.1 days
      
      1,595
    - intlit.cpp
      16.1 days
      
      2,516
    - lex.h
      16.1 days
      
      368
    - lexer.cpp
      16.1 days
      
      4,820
    - lexer.h
      16.1 days
      
      2,308
    - lookahead.cpp
      16.1 days
      
      1,672
    - meson.build
      1.14 years
      
      -
    - strlit.cpp
      16.1 days
      
      9,120
    - tokenprovider.h
      16.1 days
      
      624
    - vectoradapter.cpp
      5.53 years
      
      -
    - vectoradapter.h
      16.1 days
      
      915
    - vectoradapter.inl
      16.1 days
      
      1,354
  - lexer
    5.70 years
    - CMakeLists.txt
      5.70 years
      
      -
    - comment.cpp
      5.70 years
      
      -
    - lexer.cpp
      5.70 years
      
      -
    - lexer.h
      5.70 years
      
      -
    - lookahead.cpp
      5.70 years
      
      -
  - llr
    3.76 years
    - address.h
      3.79 years
      
      -
    - allocvar.h
      3.76 years
      
      -
    - arith.h
      3.76 years
      
      -
    - ass.h
      3.76 years
      
      -
    - basicblock.cpp
      4.92 years
      
      -
    - basicblock.h
      3.76 years
      
      -
    - basicblock.inl
      3.76 years
      
      -
    - binaryop.cpp
      3.76 years
      
      -
    - binaryop.h
      3.76 years
      
      -
    - bitwise.h
      3.76 years
      
      -
    - branch.cpp
      5.12 years
      
      -
    - branch.h
      3.76 years
      
      -
    - break.h
      3.76 years
      
      -
    - calcaddr.h
      3.76 years
      
      -
    - call.cpp
      3.76 years
      
      -
    - call.h
      3.76 years
      
      -
    - cfg.cpp
      3.76 years
      
      -
    - cfg.h
      3.76 years
      
      -
    - cfgviz.cpp
      3.76 years
      
      -
    - cfgviz.h
      3.76 years
      
      -
    - CMakeLists.txt
      5.11 years
      
      -
    - comparison.h
      3.76 years
      
      -
    - continue.h
      3.76 years
      
      -
    - createtemporary.h
      3.76 years
      
      -
    - dominators.cpp
      3.76 years
      
      -
    - dominators.h
      4.96 years
      
      -
    - element.cpp
      5.47 years
      
      -
    - element.h
      5.47 years
      
      -
    - element.inl
      5.67 years
      
      -
    - func.cpp
      3.76 years
      
      -
    - func.h
      3.76 years
      
      -
    - gep.cpp
      4.59 years
      
      -
    - gep.h
      4.57 years
      
      -
    - getarg.h
      5.15 years
      
      -
    - gettemporary.h
      3.76 years
      
      -
    - getvar.h
      4.46 years
      
      -
    - helpers.cpp
      3.76 years
      
      -
    - helpers.h
      3.76 years
      
      -
    - instruction.cpp
      3.76 years
      
      -
    - instruction.h
      3.76 years
      
      -
    - llr.h
      3.76 years
      
      -
    - load.cpp
      4.57 years
      
      -
    - load.h
      3.76 years
      
      -
    - loadconst.h
      3.76 years
      
      -
    - logic.h
      3.76 years
      
      -
    - loopaddrs.cpp
      3.76 years
      
      -
    - loops.cpp
      3.76 years
      
      -
    - loopvars.cpp
      4.32 years
      
      -
    - meson.build
      3.76 years
      
      -
    - phi.cpp
      5.17 years
      
      -
    - phi.h
      3.76 years
      
      -
    - placeholder.h
      3.76 years
      
      -
    - pointer.h
      4.41 years
      
      -
    - predicates.h
      5.67 years
      
      -
    - ret.h
      3.76 years
      
      -
    - seq.h
      5.47 years
      
      -
    - seq.inl
      5.47 years
      
      -
    - setvar.h
      4.44 years
      
      -
    - store.cpp
      4.57 years
      
      -
    - store.h
      3.76 years
      
      -
    - terminator.cpp
      3.76 years
      
      -
    - terminator.h
      3.76 years
      
      -
    - tests
      3.76 years
      - dom-1.cpp
        3.76 years
        
        -
      - dom-2.cpp
        3.76 years
        
        -
      - meson.build
        3.76 years
        
        -
    - variable.h
      5.67 years
      
      -
  - meson.build
    1.14 years
    
    -
  - parse
    16.1 days
    - blocks.cpp
      2.62 years
      
      3,661
    - braceblock.cpp
      1.58 years
      
      2,335
    - bracketblock.cpp
      16.1 days
      
      4,893
    - CMakeLists.txt
      1.14 years
      
      245
    - complexvalue.cpp
      5.17 years
      
      -
    - complexvalue.h
      5.17 years
      
      -
    - destruct.cpp
      4.72 years
      
      -
    - func.cpp
      16.1 days
      
      4,529
    - funcdecl.cpp
      16.1 days
      
      2,478
    - funcdecl.h
      16.1 days
      
      1,401
    - functype.cpp
      16.1 days
      
      1,669
    - meson.build
      1.14 years
      
      -
    - overload.cpp
      16.1 days
      
      1,195
    - overload.h
      2.62 years
      
      -
    - parenblock.cpp
      16.1 days
      
      4,298
    - parse.h
      16.1 days
      
      812
    - parser.cpp
      16.1 days
      
      10,274
    - parser.h
      16.1 days
      
      5,981
    - parser.inl
      16.1 days
      
      1,452
    - resolver.cpp
      16.1 days
      
      5,726
    - resolver.h
      16.1 days
      
      2,215
    - rule-helpers.cpp
      16.1 days
      
      1,067
    - rule-helpers.h
      16.1 days
      
      1,260
    - rule-helpers.inl
      16.1 days
      
      12,280
    - rule.h
      16.1 days
      
      2,032
    - scope.cpp
      1.88 years
      
      -
    - scope.h
      1.88 years
      
      -
    - tfunc.cpp
      16.1 days
      
      3,488
    - tfuncdecl.cpp
      16.1 days
      
      2,505
    - tfuncdecl.h
      16.1 days
      
      1,392
  - parser
    5.70 years
    - CMakeLists.txt
      5.70 years
      
      -
    - context.h
      5.72 years
      
      -
    - parser.h
      5.70 years
      
      -
    - resolver.cpp
      5.70 years
      
      -
    - resolver.h
      5.70 years
      
      -
  - precedence.h
    16.1 days
    
    2,599
  - profiling.cpp
    1.14 years
    
    -
  - sema
    16.1 days
    - call.cpp
      5.68 years
      
      -
    - call.h
      5.68 years
      
      -
    - callback.cpp
      5.16 years
      
      -
    - callback.h
      5.16 years
      
      -
    - cfgbuilder.cpp
      5.17 years
      
      -
    - cfgbuilder.h
      5.17 years
      
      -
    - CMakeLists.txt
      1.14 years
      
      461
    - codebuilder.cpp
      2.89 years
      
      -
    - codebuilder.h
      2.89 years
      
      -
    - context.cpp
      16.1 days
      
      1,464
    - context.h
      16.1 days
      
      3,330
    - ctmm.h
      16.1 days
      
      2,608
    - decl.cpp
      5.66 years
      
      -
    - decl.h
      5.66 years
      
      -
    - depsgraph.cpp
      5.75 years
      
      -
    - depsgraph.h
      5.75 years
      
      -
    - domain.cpp
      4.27 years
      
      -
    - domain.h
      4.27 years
      
      -
    - env.cpp
      16.1 days
      
      4,239
    - env.h
      16.1 days
      
      9,779
    - fun-decl.cpp
      5.68 years
      
      -
    - fun-decl.h
      5.68 years
      
      -
    - fun-ruleset.cpp
      5.68 years
      
      -
    - fun-ruleset.h
      5.68 years
      
      -
    - fun.cpp
      5.68 years
      
      -
    - fun.h
      5.68 years
      
      -
    - func-decl.cpp
      5.73 years
      
      -
    - func-decl.h
      5.73 years
      
      -
    - func.cpp
      5.63 years
      
      -
    - func.h
      5.63 years
      
      -
    - hole.cpp
      16.1 days
      
      1,228
    - hole.h
      16.1 days
      
      444
    - inv-func.cpp
      5.66 years
      
      -
    - inv-func.h
      5.66 years
      
      -
    - inv-ruleset.cpp
      16.1 days
      
      237
    - inv-ruleset.h
      16.1 days
      
      1,297
    - invocation.cpp
      16.1 days
      
      1,578
    - invocation.h
      16.1 days
      
      421
    - lower.cpp
      16.1 days
      
      1,330
    - meson.build
      1.14 years
      
      -
    - overloadset.cpp
      16.1 days
      
      1,831
    - overloadset.h
      16.1 days
      
      1,577
    - param.cpp
      5.66 years
      
      -
    - param.h
      5.66 years
      
      -
    - postprocess.cpp
      16.1 days
      
      2,422
    - postprocess.h
      16.1 days
      
      648
    - res-ruleset.cpp
      5.73 years
      
      -
    - res-ruleset.h
      5.73 years
      
      -
    - resolve.cpp
      5.73 years
      
      -
    - resolve.h
      5.73 years
      
      -
    - scope.cpp
      1.88 years
      
      881
    - scope.h
      16.1 days
      
      1,277
    - sema.h
      16.1 days
      
      1,036
    - substitute.cpp
      16.1 days
      
      1,185
    - substitute.h
      4.26 years
      
      182
    - tc-basicrules.cpp
      16.1 days
      
      4,348
    - tc-basicrules.h
      3.09 years
      
      182
    - tc-context.cpp
      16.1 days
      
      5,179
    - tc-context.h
      16.1 days
      
      5,066
    - tc-postproc.cpp
      16.1 days
      
      2,818
    - tc-ruleset.cpp
      16.1 days
      
      1,880
    - tc-ruleset.h
      16.1 days
      
      2,142
    - tc-score.h
      16.1 days
      
      2,089
    - tc-vecgenerator.h
      16.1 days
      
      862
    - tctrie-typecheck.inl
      16.1 days
      
      5,399
    - tctrie.h
      16.1 days
      
      2,782
    - tctrie.inl
      16.1 days
      
      4,133
    - template.cpp
      16.1 days
      
      2,868
    - template.h
      16.1 days
      
      875
    - tests
      16.1 days
      - CMakeLists.txt
        31.4 days
        
        804
      - meson.build
        1.14 years
        
        -
      - tctrie-merge.cpp
        16.1 days
        
        3,943
      - tctrie-typecheck.cpp
        16.1 days
        
        5,353
      - unify-holes.cpp
        16.1 days
        
        3,570
      - utrie-merge.cpp
        4.26 years
        
        -
      - utrie-unify.cpp
        4.26 years
        
        -
    - tpl-ruleset.cpp
      16.1 days
      
      1,201
    - tpl-ruleset.h
      16.1 days
      
      2,172
    - typecheck.cpp
      16.1 days
      
      6,891
    - typecheck.h
      16.1 days
      
      767
    - uni-3way.cpp
      5.50 years
      
      -
    - uni-3way.h
      5.50 years
      
      -
    - uni-basicrules.cpp
      16.1 days
      
      5,459
    - uni-basicrules.h
      4.26 years
      
      183
    - uni-callback.cpp
      5.16 years
      
      -
    - uni-context.cpp
      4.26 years
      
      -
    - uni-context.h
      4.26 years
      
      -
    - uni-holes.cpp
      16.1 days
      
      13,620
    - uni-holes.h
      4.26 years
      
      172
    - uni-postproc.cpp
      4.26 years
      
      -
    - uni-quote.cpp
      16.1 days
      
      1,818
    - uni-quote.h
      16.1 days
      
      560
    - uni-ruleset.cpp
      4.26 years
      
      -
    - uni-ruleset.h
      4.26 years
      
      -
    - uni-score.h
      4.26 years
      
      -
    - uni-trie.h
      5.57 years
      
      -
    - unify.cpp
      4.26 years
      
      -
    - unify.h
      4.26 years
      
      -
    - utrie-uni.inl
      4.26 years
      
      -
    - utrie.h
      4.26 years
      
      -
    - utrie.inl
      4.26 years
      
      -
    - value.cpp
      5.71 years
      
      -
    - value.h
      5.71 years
      
      -
  - util
    current
    - bigint.cpp
      16.1 days
      
      1,092
    - bigint.h
      16.1 days
      
      7,066
    - CMakeLists.txt
      362.9 days
      
      191
    - crc32.h
      5.12 years
      
      -
    - depgraph.cpp
      16.1 days
      
      1,119
    - depgraph.h
      16.1 days
      
      895
    - fixedint.h
      16.1 days
      
      1,239
    - generator.h
      16.1 days
      
      10,598
    - graphviz.cpp
      16.1 days
      
      5,930
    - graphviz.h
      16.1 days
      
      3,220
    - location.cpp
      16.1 days
      
      3,009
    - location.h
      16.1 days
      
      3,483
    - location.inl
      16.1 days
      
      341
    - locationid.h
      16.1 days
      
      1,101
    - meson.build
      1.14 years
      
      -
    - profiling.h
      16.1 days
      
      532
    - stringid.cpp
      16.1 days
      
      1,602
    - stringid.h
      16.1 days
      
      1,926
    - tests
      16.1 days
      - CMakeLists.txt
        31.4 days
        
        610
      - generator.cpp
        16.1 days
        
        3,181
      - meson.build
        1.14 years
        
        -
    - util.cpp
      current
      
      260
    - util.h
      current
      
      5,769
  - verify
    16.1 days
    - basicblock.cpp
      16.1 days
      
      1,487
    - builder.cpp
      1.11 years
      
      3,819
    - builder.h
      16.1 days
      
      4,647
    - call.cpp
      16.1 days
      
      4,437
    - cfg.cpp
      16.1 days
      
      3,441
    - CMakeLists.txt
      235.2 days
      
      341
    - comptime.cpp
      2.26 years
      
      -
    - condition.cpp
      2.86 years
      
      -
    - condition.h
      2.86 years
      
      -
    - diagnose.cpp
      4.97 years
      
      -
    - func.cpp
      16.1 days
      
      6,705
    - func.h
      16.1 days
      
      2,422
    - gfctracker.cpp
      16.1 days
      
      8,481
    - gfctracker.h
      16.1 days
      
      1,599
    - ghostfunc.cpp
      16.1 days
      
      1,901
    - ghostfunc.h
      16.1 days
      
      1,244
    - helpers.h
      16.1 days
      
      1,879
    - helpers.inl
      16.1 days
      
      1,166
    - instrseq.cpp
      16.1 days
      
      3,079
    - location.cpp
      2.40 years
      
      -
    - location.h
      2.40 years
      
      -
    - loop.cpp
      16.1 days
      
      7,051
    - meson.build
      1.14 years
      
      -
    - phi.cpp
      16.1 days
      
      1,584
    - pointer.cpp
      4.44 years
      
      -
    - pointer.h
      4.44 years
      
      -
    - propositions.cpp
      16.1 days
      
      2,197
    - propositions.h
      16.1 days
      
      1,037
    - relation.cpp
      3.09 years
      
      -
    - relation.h
      3.09 years
      
      -
    - remapper.cpp
      16.1 days
      
      5,609
    - remapper.h
      16.1 days
      
      3,400
    - stack.cpp
      16.1 days
      
      746
    - stack.h
      16.1 days
      
      1,255
    - storage.cpp
      16.1 days
      
      9,548
    - storage.h
      16.1 days
      
      1,457
    - terminator.cpp
      16.1 days
      
      4,958
    - type.cpp
      16.1 days
      
      9,608
    - type.h
      16.1 days
      
      1,801
    - unroller.cpp
      4.92 years
      
      -
    - unroller.h
      4.92 years
      
      -
    - unrolling.cpp
      4.95 years
      
      -
    - unrolling.h
      4.95 years
      
      -
    - valtracker.cpp
      2.63 years
      
      -
    - valtracker.h
      2.63 years
      
      -
    - valtracker.inl
      2.26 years
      
      -
    - value.cpp
      16.1 days
      
      24,683
    - value.h
      16.1 days
      
      1,534
    - vartracker.cpp
      16.1 days
      
      2,690
    - vartracker.h
      16.1 days
      
      899
    - verify.cpp
      16.1 days
      
      184
    - verify.h
      16.1 days
      
      732
    - verifyviz.cpp
      16.1 days
      
      4,903
    - verifyviz.h
      16.1 days
      
      2,509
    - z3helpers.h
      4.68 years
      
      -
- cmake
  18.1 days
  - catch2.cmake
    31.4 days
    
    191
  - common.cmake
    18.1 days
    
    98
  - compiler_config.cmake
    18.1 days
    
    1,746
  - CompilerConfig.cmake
    5.11 years
    
    -
  - conan.cmake
    5.11 years
    
    -
  - FindLLD.cmake
    1.14 years
    
    1,919
  - mimalloc.cmake
    31.4 days
    
    198
  - profiling.cmake
    1.14 years
    
    379
  - testing.cmake
    201.0 days
    
    5,781
- CMakeLists.txt
  31.4 days
  
  855
- conanfile.txt
  5.11 years
  
  -
- docs
  4.66 years
  - contracts.md
    4.66 years
    
    -
  - index.md
    4.66 years
    
    1,396
  - internals.md
    4.66 years
    
    -
  - metaprogramming.md
    4.66 years
    
    3,093
  - overloading.md
    4.66 years
    
    845
  - syntax.md
    4.66 years
    
    4,556
  - templates.md
    4.98 years
    
    2,341
  - tuples.md
    4.66 years
    
    2,819
  - types.md
    4.66 years
    
    3,972
  - verification.md
    4.66 years
    
    4,476
- lib
  current
  - CMakeLists.txt
    1.14 years
    
    1,023
  - compile.g0
    306.2 days
    
    2,134
  - empathy.em
    5.03 years
    
    -
  - frontend.em
    5.03 years
    
    -
  - frontend.g
    3.05 years
    
    -
  - goose.g
    3.05 years
    
    -
  - goose.g0
    3.03 years
    
    628
  - goose_test.g0
    305.2 days
    
    1,378
  - meson.build
    1.14 years
    
    -
  - prelude
    current
    - args.g0
      1.52 years
      
      955
    - CMakeLists.txt
      1.14 years
      
      189
    - diagnostics.g0
      1.52 years
      
      1,076
    - meson.build
      1.14 years
      
      -
    - prelude.g0
      1.52 years
      
      236
    - ref_verification.g0
      1.24 years
      
      3,978
    - setup_g1.g0
      300.1 days
      
      3,094
    - tuple_foreach.g0
      1.52 years
      
      1,192
    - util.g0
      current
      
      3,898
  - targets
    1.14 years
    - CMakeLists.txt
      1.14 years
      
      47
    - darwin.g0
      1.14 years
      
      583
    - linux.g0
      1.14 years
      
      1,369
    - meson.build
      1.14 years
      
      -
- LICENSE
  1.67 years
  
  1,081
- meson.build
  1.14 years
  
  -
- meson_options.txt
  1.14 years
  
  -
- samples
  301.2 days
  - CMakeLists.txt
    1.14 years
    
    1,056
  - helloworld.em
    5.03 years
    
    -
  - helloworld.g
    3.05 years
    
    -
  - helloworld.g1
    3.05 years
    
    192
  - mandelbrot.em
    5.03 years
    
    -
  - mandelbrot.g
    3.05 years
    
    -
  - mandelbrot.g1
    301.2 days
    
    1,946
  - meson.build
    1.14 years
    
    -
  - shitty_helloworld.em
    5.14 years
    
    -
- subprojects
  1.14 years
  - catch2.wrap
    1.14 years
    
    -
  - fmt.wrap
    1.58 years
    
    -
  - mimalloc.wrap
    1.14 years
    
    -
  - packagefiles
    1.17 years
    - mimalloc.patch
      1.17 years
      
      -
  - tracy.wrap
    1.14 years
    
    -
- tests
  185.6 days
  - arithops.em
    5.14 years
    
    -
  - bitwiseops.em
    5.14 years
    
    -
  - CMakeLists.txt
    1.14 years
    
    64
  - codegen
    5.14 years
    - arithops.em
      5.14 years
      
      -
    - arithops.ll
      5.14 years
      
      -
    - bitwiseops.em
      5.14 years
      
      -
    - bitwiseops.ll
      5.14 years
      
      -
    - CMakeLists.txt
      5.14 years
      
      -
    - comparisonops.em
      5.14 years
      
      -
    - comparisonops.ll
      5.14 years
      
      -
    - func.em
      5.14 years
      
      -
    - func.ll
      5.14 years
      
      -
    - if.em
      5.14 years
      
      -
    - if.ll
      5.14 years
      
      -
    - locvar.em
      5.14 years
      
      -
    - locvar.ll
      5.14 years
      
      -
    - logicops.em
      5.14 years
      
      -
    - logicops.ll
      5.14 years
      
      -
    - module.em
      5.14 years
      
      -
    - module.ll
      5.14 years
      
      -
    - runtest.cmake
      5.14 years
      
      -
  - comparisonops.em
    5.14 years
    
    -
  - g0
    185.6 days
    - CMakeLists.txt
      201.0 days
      
      734
    - codegen
      235.2 days
      - argpack.g0
        301.2 days
        
        1,446
      - argpack.ll
        235.2 days
        
        3,447
      - arithops.g0
        2.26 years
        
        406
      - arithops.ll
        1.61 years
        
        1,423
      - bitwiseops.g0
        2.26 years
        
        671
      - bitwiseops.ll
        235.2 days
        
        3,402
      - CMakeLists.txt
        306.2 days
        
        538
      - comparisonops.g0
        2.26 years
        
        421
      - comparisonops.ll
        1.61 years
        
        1,711
      - compoundass.g0
        3.05 years
        
        407
      - compoundass.ll
        1.61 years
        
        1,079
      - func.g0
        3.05 years
        
        543
      - func.ll
        235.2 days
        
        1,490
      - if.g0
        3.05 years
        
        433
      - if.ll
        235.2 days
        
        1,841
      - inline-2.g0
        306.2 days
        
        374
      - inline-2.ll
        306.2 days
        
        154
      - inline.g0
        328.0 days
        
        652
      - inline.ll
        235.2 days
        
        3,991
      - locvar.g0
        3.05 years
        
        334
      - locvar.ll
        1.61 years
        
        511
      - logicops.g0
        3.05 years
        
        337
      - logicops.ll
        235.2 days
        
        1,905
      - meson.build
        1.14 years
        
        -
      - template.g0
        2.85 years
        
        549
      - template.ll
        235.2 days
        
        946
      - test_runner.sh
        1.14 years
        
        -
      - while.g0
        3.05 years
        
        401
      - while.ll
        1.61 years
        
        1,522
    - function
      235.2 days
      - c-fail-calling-compiletime-func.g0
        3.05 years
        
        127
      - c-fail-calling-compiletime-func.txt
        2.26 years
        
        177
      - c-fail-func-type-mismatch.g0
        3.05 years
        
        334
      - c-fail-func-type-mismatch.txt
        3.05 years
        
        138
      - CMakeLists.txt
        331.4 days
        
        775
      - e-fail-template-instantiation-context.g0
        3.05 years
        
        493
      - e-fail-template-instantiation-context.txt
        3.05 years
        
        751
      - e-fail-template-type-mismatch.g0
        3.05 years
        
        422
      - e-fail-template-type-mismatch.txt
        3.05 years
        
        857
      - e-func.g0
        3.05 years
        
        153
      - e-higher-func.g0
        3.05 years
        
        655
      - e-higher-poly.g0
        3.05 years
        
        438
      - e-higher-template.g0
        3.05 years
        
        546
      - e-overloading.g0
        3.05 years
        
        825
      - e-template-tuple-vararg-2.g0
        1.74 years
        
        747
      - e-template-tuple-vararg.g0
        1.89 years
        
        735
      - e-template-vararg-2.g0
        1.74 years
        
        292
      - e-template-vararg.g0
        2.08 years
        
        727
      - e-templates.g0
        1.59 years
        
        1,769
      - inline
        235.2 days
        
        CMakeLists.txt
        331.4 days
        
        546
        
        e-fail-func-inline-1.g0
        331.4 days
        
        179
        
        e-fail-func-inline-1.txt
        331.4 days
        
        167
        
        e-fail-func-inline-2.g0
        331.4 days
        
        268
        
        e-fail-func-inline-2.txt
        331.4 days
        
        167
        
        e-func-inline-1.cir
        235.2 days
        
        833
        
        e-func-inline-1.g0
        306.2 days
        
        251
        
        e-func-inline-2.g0
        331.4 days
        
        278
        
        e-func-inline-3.cir
        235.2 days
        
        1,647
        
        e-func-inline-3.g0
        306.2 days
        
        330
        
        e-func-inline-4.g0
        331.4 days
        
        357
        
        e-func-inline-5.g0
        331.4 days
        
        367
        
        e-func-inline-6.cir
        235.2 days
        
        1,727
        
        e-func-inline-6.g0
        306.2 days
        
        415
        
        e-func-inline-7.g0
        331.4 days
        
        442
        
        e-func-inline-8.g0
        331.4 days
        
        477
        
        e-func-inline-9.g0
        331.4 days
        
        548
      - meson.build
        1.14 years
        
        -
      - test_runner_c_fail.sh
        1.14 years
        
        -
      - test_runner_e_fail.sh
        1.14 years
        
        -
    - general
      301.2 days
      - c-fail-outofrange-int-constant.g0
        3.05 years
        
        232
      - c-fail-outofrange-int-constant.txt
        3.05 years
        
        278
      - ce-mandelbrot.g0
        301.2 days
        
        2,554
      - ce-mandelbrot.txt
        3.05 years
        
        3,232
      - CMakeLists.txt
        1.14 years
        
        114
      - meson.build
        1.14 years
        
        -
      - test_runner_c_fail.sh
        1.14 years
        
        -
      - test_runner_compile.sh
        1.14 years
        
        -
      - test_runner_execute.sh
        1.14 years
        
        -
    - helpers.g0
      3.05 years
      
      402
    - meson.build
      1.14 years
      
      -
    - operators
      1.14 years
      - CMakeLists.txt
        1.14 years
        
        288
      - e-arithops.g0
        3.05 years
        
        325
      - e-bitwiseops.g0
        3.05 years
        
        616
      - e-comparisonops.g0
        3.05 years
        
        1,271
      - e-compoundass.g0
        2.56 years
        
        1,261
      - e-fail-type-mismatch.g0
        3.05 years
        
        103
      - e-fail-type-mismatch.txt
        3.03 years
        
        212
      - e-logicops.g0
        3.05 years
        
        1,096
      - meson.build
        1.14 years
        
        -
      - test_runner_e_fail.sh
        1.14 years
        
        -
    - reference
      1.14 years
      - ce-reference.g0
        2.91 years
        
        2,197
      - ce-reference.txt
        3.05 years
        
        233
      - CMakeLists.txt
        1.14 years
        
        54
      - meson.build
        1.14 years
        
        -
      - test_runner_compile.sh
        1.14 years
        
        -
      - test_runner_execute.sh
        1.14 years
        
        -
    - statements
      235.2 days
      - CMakeLists.txt
        1.14 years
        
        341
      - e-fail-locvar-ctint-codegen.g0
        2.62 years
        
        349
      - e-fail-locvar-ctint-codegen.txt
        235.2 days
        
        148
      - e-fail-locvar-init-mismatch.g0
        3.05 years
        
        109
      - e-fail-locvar-init-mismatch.txt
        280.3 days
        
        251
      - e-if.g0
        3.05 years
        
        445
      - e-locvar.g0
        3.05 years
        
        1,193
      - e-using-2.g0
        2.85 years
        
        438
      - e-using.g0
        3.05 years
        
        121
      - e-while.g0
        3.05 years
        
        125
      - meson.build
        1.14 years
        
        -
      - test_runner_e_fail.sh
        1.14 years
        
        -
    - struct
      185.6 days
      - c-fail-struct-member-name-collision.g0
        185.6 days
        
        384
      - c-fail-struct-member-name-collision.txt
        185.6 days
        
        484
      - CMakeLists.txt
        185.6 days
        
        457
      - e-struct-default-init-2.cir
        201.0 days
        
        730
      - e-struct-default-init-2.g0
        185.6 days
        
        193
      - e-struct-default-init-3.g0
        201.0 days
        
        276
      - e-struct-default-init-3.ll
        201.0 days
        
        924
      - e-struct-default-init-4.g0
        201.0 days
        
        293
      - e-struct-default-init-4.ll
        201.0 days
        
        1,019
      - e-struct-default-init-5.g0
        185.6 days
        
        384
      - e-struct-default-init-5.ll
        192.4 days
        
        2,214
      - e-struct-default-init.cir
        201.0 days
        
        725
      - e-struct-default-init.g0
        201.0 days
        
        170
      - e-struct-dot-operator-2.g0
        185.6 days
        
        428
      - e-struct-dot-operator-2.ll
        185.6 days
        
        2,457
      - e-struct-dot-operator.cir
        185.6 days
        
        1,278
      - e-struct-dot-operator.g0
        185.6 days
        
        334
    - syntax
      201.0 days
      - c-fail-bad-strlit.g0
        3.05 years
        
        559
      - c-fail-bad-strlit.txt
        3.05 years
        
        1,631
      - CMakeLists.txt
        201.0 days
        
        223
      - e-fail-illformed-file.g0
        3.05 years
        
        2
      - e-fail-illformed-file.txt
        3.05 years
        
        90
      - e-fail-missing-closing-paren.g0
        3.05 years
        
        67
      - e-fail-missing-closing-paren.txt
        3.05 years
        
        113
      - e-fail-unknown-identifier.g0
        201.0 days
        
        5
      - e-fail-unknown-identifier.txt
        201.0 days
        
        109
      - meson.build
        1.14 years
        
        -
      - test_runner_c_fail.sh
        1.14 years
        
        -
      - test_runner_e_fail.sh
        1.14 years
        
        -
    - tuple
      235.2 days
      - ce-tuple.g0
        301.2 days
        
        1,710
      - ce-tuple.txt
        1.67 years
        
        119
      - CMakeLists.txt
        1.14 years
        
        191
      - e-tuple-init-assign-2.cir
        235.2 days
        
        642
      - e-tuple-init-assign-2.g0
        1.17 years
        
        145
      - e-tuple-init-assign.cir
        235.2 days
        
        425
      - e-tuple-init-assign.g0
        1.17 years
        
        146
      - e-tuple.g0
        301.2 days
        
        1,338
      - meson.build
        1.14 years
        
        -
      - test_runner_cirgen.sh
        1.14 years
        
        -
      - test_runner_compile.sh
        1.14 years
        
        -
      - test_runner_execute.sh
        1.14 years
        
        -
    - verification
      235.2 days
      - c-fail-test-1.g0
        2.86 years
        
        271
      - c-fail-test-1.txt
        2.86 years
        
        132
      - c-fail-test-2.g0
        3.05 years
        
        406
      - c-fail-test-2.txt
        3.05 years
        
        254
      - c-fail-test-3.g0
        3.05 years
        
        464
      - c-fail-test-3.txt
        3.05 years
        
        268
      - c-fail-test-4.g0
        3.05 years
        
        480
      - c-fail-test-4.txt
        1.58 years
        
        251
      - c-fail-test-5.g0
        2.85 years
        
        339
      - c-fail-test-5.txt
        2.85 years
        
        259
      - c-fail-test-6.g0
        2.85 years
        
        277
      - c-fail-test-6.txt
        2.85 years
        
        331
      - c-fail-test-7.g0
        2.85 years
        
        334
      - c-fail-test-7.txt
        2.26 years
        
        277
      - c-fail-test-8.g0
        3.05 years
        
        231
      - c-fail-test-8.txt
        2.99 years
        
        1,914
      - c-fail-test-9.g0
        2.86 years
        
        193
      - c-fail-test-9.txt
        2.86 years
        
        140
      - c-fail-test-10.g0
        2.85 years
        
        702
      - c-fail-test-10.txt
        2.85 years
        
        383
      - c-fail-test-11.g0
        2.85 years
        
        39
      - c-fail-test-11.txt
        2.85 years
        
        273
      - c-fail-test-12.g0
        2.85 years
        
        29
      - c-fail-test-12.txt
        2.85 years
        
        365
      - c-fail-test-13.g0
        2.85 years
        
        113
      - c-fail-test-13.txt
        2.86 years
        
        312
      - c-fail-test-14.g0
        2.85 years
        
        155
      - c-fail-test-14.txt
        2.86 years
        
        506
      - c-test-1.g0
        2.86 years
        
        111
      - c-test-2.g0
        2.86 years
        
        162
      - c-test-3.g0
        3.05 years
        
        201
      - c-test-4.g0
        3.05 years
        
        320
      - c-test-5.g0
        2.85 years
        
        177
      - c-test-6.g0
        2.85 years
        
        253
      - c-test-7.g0
        2.85 years
        
        288
      - c-test-8.g0
        2.86 years
        
        189
      - c-test-9.g0
        2.85 years
        
        39
      - c-test-10.g0
        2.85 years
        
        84
      - CMakeLists.txt
        1.14 years
        
        1,368
      - conditions
        1.14 years
        
        c-fail-bad-condition-1.g0
        3.05 years
        
        90
        
        c-fail-bad-condition-1.txt
        3.05 years
        
        296
        
        c-fail-bad-condition-2.g0
        3.05 years
        
        91
        
        c-fail-bad-condition-2.txt
        2.55 years
        
        317
        
        c-fail-bad-condition-3.g0
        2.59 years
        
        25
        
        c-fail-bad-condition-3.txt
        2.55 years
        
        191
        
        c-fail-unsat-2.g0
        2.85 years
        
        52
        
        c-fail-unsat-2.txt
        2.85 years
        
        371
        
        c-fail-unsat-3.g0
        2.85 years
        
        22
        
        c-fail-unsat-3.txt
        2.85 years
        
        313
        
        c-fail-unsat.g0
        3.05 years
        
        101
        
        c-fail-unsat.txt
        2.86 years
        
        948
        
        CMakeLists.txt
        1.14 years
        
        388
        
        meson.build
        1.14 years
        
        -
        
        test_runner_fail.sh
        1.14 years
        
        -
      - e-parse-forall.cir
        235.2 days
        
        1,334
      - e-parse-forall.g0
        1.17 years
        
        473
      - ghostfuncs
        1.14 years
        
        c-fail-test-1.g0
        2.59 years
        
        417
        
        c-fail-test-1.txt
        2.59 years
        
        188
        
        c-fail-test-2.g0
        2.55 years
        
        319
        
        c-fail-test-2.txt
        2.55 years
        
        155
        
        c-fail-test-3.g0
        2.55 years
        
        565
        
        c-fail-test-3.txt
        2.55 years
        
        247
        
        c-fail-test-4.g0
        2.40 years
        
        308
        
        c-fail-test-4.txt
        2.40 years
        
        163
        
        c-fail-test-5.g0
        2.40 years
        
        251
        
        c-fail-test-5.txt
        2.40 years
        
        159
        
        c-fail-test-6.g0
        2.40 years
        
        310
        
        c-fail-test-6.txt
        2.40 years
        
        163
        
        c-test-1.g0
        2.59 years
        
        415
        
        c-test-2.g0
        2.55 years
        
        317
        
        c-test-3.g0
        2.55 years
        
        488
        
        c-test-4.g0
        2.40 years
        
        354
        
        CMakeLists.txt
        1.14 years
        
        467
        
        meson.build
        1.14 years
        
        -
        
        test_runner.sh
        1.14 years
        
        -
        
        test_runner_fail.sh
        1.14 years
        
        -
      - loops
        1.14 years
        
        c-fail-test-1.g0
        2.86 years
        
        481
        
        c-fail-test-1.txt
        2.86 years
        
        226
        
        c-fail-test-2.g0
        2.86 years
        
        560
        
        c-fail-test-2.txt
        2.86 years
        
        258
        
        c-test-1.g0
        2.86 years
        
        408
        
        c-test-2.g0
        2.86 years
        
        560
        
        CMakeLists.txt
        1.14 years
        
        167
        
        meson.build
        1.14 years
        
        -
        
        test_runner.sh
        1.14 years
        
        -
        
        test_runner_fail.sh
        1.14 years
        
        -
      - meson.build
        1.14 years
        
        -
      - misc
        301.2 days
        
        c-fail-mandelbrot-bad-1.g0
        301.2 days
        
        1,964
        
        c-fail-mandelbrot-bad-1.txt
        1.65 years
        
        530
        
        c-fail-mandelbrot-bad-2.g0
        301.2 days
        
        1,962
        
        c-fail-mandelbrot-bad-2.txt
        1.65 years
        
        565
        
        c-fail-mandelbrot-bad-3.g0
        301.2 days
        
        1,969
        
        c-fail-mandelbrot-bad-3.txt
        301.2 days
        
        440
        
        c-fail-mandelbrot-bad-4.g0
        301.2 days
        
        1,962
        
        c-fail-mandelbrot-bad-4.txt
        301.2 days
        
        421
        
        CMakeLists.txt
        1.14 years
        
        204
        
        meson.build
        1.14 years
        
        -
        
        test_runner_fail.sh
        1.14 years
        
        -
      - test_runner.sh
        1.14 years
        
        -
      - test_runner_cirgen.sh
        1.14 years
        
        -
      - test_runner_fail.sh
        1.14 years
        
        -
      - z3gen
        235.2 days
        
        CMakeLists.txt
        328.0 days
        
        831
        
        e-z3gen-test-1.g0
        2.86 years
        
        143
        
        e-z3gen-test-1.txt
        2.26 years
        
        657
        
        e-z3gen-test-2.g0
        2.86 years
        
        194
        
        e-z3gen-test-2.txt
        1.22 years
        
        1,350
        
        e-z3gen-test-3.g0
        3.05 years
        
        233
        
        e-z3gen-test-3.txt
        301.2 days
        
        1,198
        
        e-z3gen-test-4.g0
        3.05 years
        
        352
        
        e-z3gen-test-4.txt
        301.2 days
        
        1,488
        
        e-z3gen-test-5.g0
        2.86 years
        
        221
        
        e-z3gen-test-5.txt
        1.22 years
        
        1,278
        
        e-z3gen-test-6.g0
        2.55 years
        
        260
        
        e-z3gen-test-6.txt
        2.26 years
        
        547
        
        e-z3gen-test-bitwise.g0
        3.05 years
        
        443
        
        e-z3gen-test-bitwise.txt
        1.22 years
        
        2,458
        
        e-z3gen-test-forall.g0
        1.17 years
        
        302
        
        e-z3gen-test-forall.txt
        1.17 years
        
        956
        
        e-z3gen-test-ghostfunc.g0
        2.59 years
        
        447
        
        e-z3gen-test-ghostfunc.txt
        235.2 days
        
        13,997
        
        e-z3gen-test-inline.g0
        328.0 days
        
        249
        
        e-z3gen-test-inline.txt
        328.0 days
        
        684
        
        e-z3gen-test-logic-and.g0
        3.05 years
        
        260
        
        e-z3gen-test-logic-and.txt
        306.2 days
        
        517
        
        e-z3gen-test-logic-or.g0
        3.05 years
        
        259
        
        e-z3gen-test-logic-or.txt
        306.2 days
        
        516
        
        meson.build
        1.14 years
        
        -
        
        test_runner.sh
        1.14 years
        
        -
  - g1
    1.14 years
    - CMakeLists.txt
      1.14 years
      
      90
    - diagnostics
      1.14 years
      - CMakeLists.txt
        1.14 years
        
        62
      - fail-test-unexpected-type.g1
        1.58 years
        
        5
      - fail-test-unexpected-type.txt
        1.58 years
        
        109
      - meson.build
        1.14 years
        
        -
      - test_runner_fail.sh
        1.14 years
        
        -
    - meson.build
      1.14 years
      
      -
    - misc
      1.14 years
      - CMakeLists.txt
        1.14 years
        
        67
      - meson.build
        1.14 years
        
        -
      - test-intrinsic-forward-predicates.g1
        1.52 years
        
        105
      - test_runner.sh
        1.14 years
        
        -
    - verification
      1.14 years
      - CMakeLists.txt
        1.14 years
        
        30
      - meson.build
        1.14 years
        
        -
      - reference
        1.14 years
        
        c-fail-test-mutref-predicates.g1
        2.98 years
        
        -
        
        c-fail-test-mutref-predicates.txt
        2.98 years
        
        -
        
        c-test-mutref-predicates.g1
        2.98 years
        
        -
        
        CMakeLists.txt
        1.14 years
        
        380
        
        fail-test-constref-predicates.g1
        2.85 years
        
        129
        
        fail-test-constref-predicates.txt
        2.85 years
        
        494
        
        fail-test-mutref-predicates-2.g1
        2.85 years
        
        359
        
        fail-test-mutref-predicates-2.txt
        2.85 years
        
        485
        
        fail-test-mutref-predicates.g1
        2.85 years
        
        88
        
        fail-test-mutref-predicates.txt
        2.85 years
        
        485
        
        meson.build
        1.14 years
        
        -
        
        test-constref-predicates.g1
        2.85 years
        
        151
        
        test-mutref-predicates.g1
        2.85 years
        
        92
        
        test_runner.sh
        1.14 years
        
        -
        
        test_runner_fail.sh
        1.14 years
        
        -
  - helpers.em
    5.14 years
    
    -
  - higher-func.em
    5.14 years
    
    -
  - higher-poly.em
    5.14 years
    
    -
  - higher-template.em
    5.14 years
    
    -
  - if.em
    5.14 years
    
    -
  - locvar.em
    5.14 years
    
    -
  - logicops.em
    5.14 years
    
    -
  - meson.build
    1.14 years
    
    -
  - noprelude
    3.05 years
    - CMakeLists.txt
      5.11 years
      
      -
    - codegen
      3.05 years
      - arithops.em
        5.03 years
        
        -
      - arithops.g
        3.05 years
        
        -
      - arithops.ll
        3.05 years
        
        -
      - bitwiseops.em
        5.03 years
        
        -
      - bitwiseops.g
        3.05 years
        
        -
      - bitwiseops.ll
        3.05 years
        
        -
      - CMakeLists.txt
        5.11 years
        
        -
      - comparisonops.em
        5.03 years
        
        -
      - comparisonops.g
        3.05 years
        
        -
      - comparisonops.ll
        3.05 years
        
        -
      - compoundass.em
        5.03 years
        
        -
      - compoundass.g
        3.05 years
        
        -
      - compoundass.ll
        3.05 years
        
        -
      - func.em
        5.03 years
        
        -
      - func.g
        3.05 years
        
        -
      - func.ll
        3.05 years
        
        -
      - if.em
        5.03 years
        
        -
      - if.g
        3.05 years
        
        -
      - if.ll
        3.05 years
        
        -
      - locvar.em
        5.03 years
        
        -
      - locvar.g
        3.05 years
        
        -
      - locvar.ll
        3.05 years
        
        -
      - logicops.em
        5.03 years
        
        -
      - logicops.g
        3.05 years
        
        -
      - logicops.ll
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - runtest.cmake
        5.11 years
        
        -
      - test_runner.sh
        3.05 years
        
        -
      - while.em
        5.03 years
        
        -
      - while.g
        3.05 years
        
        -
      - while.ll
        3.05 years
        
        -
    - combined
      3.59 years
      - mandelbrot.g
        3.59 years
        
        -
      - mandelbrot.txt
        3.59 years
        
        -
      - meson.build
        3.59 years
        
        -
      - reference.g
        3.59 years
        
        -
      - reference.txt
        3.59 years
        
        -
      - test_runner_compile.sh
        3.59 years
        
        -
      - test_runner_interp.sh
        3.59 years
        
        -
      - tuple.g
        3.59 years
        
        -
      - tuple.txt
        3.59 years
        
        -
    - complex
      4.38 years
      - mandelbrot.em
        5.03 years
        
        -
      - mandelbrot.g
        4.38 years
        
        -
      - mandelbrot.txt
        4.38 years
        
        -
      - meson.build
        4.38 years
        
        -
      - test_runner_compile.sh
        4.38 years
        
        -
      - test_runner_interp.sh
        4.38 years
        
        -
    - diagnostics
      3.59 years
      - CMakeLists.txt
        5.11 years
        
        -
      - compile-bad-strlit.em
        5.03 years
        
        -
      - compile-bad-strlit.g
        3.59 years
        
        -
      - compile-bad-strlit.txt
        3.59 years
        
        -
      - compile-calling-compiletime-func.em
        5.03 years
        
        -
      - compile-calling-compiletime-func.g
        3.59 years
        
        -
      - compile-calling-compiletime-func.txt
        3.59 years
        
        -
      - compile-func-type-mismatch.em
        5.03 years
        
        -
      - compile-func-type-mismatch.g
        3.59 years
        
        -
      - compile-func-type-mismatch.txt
        3.59 years
        
        -
      - compile-verif-bad-condition-1.g
        3.59 years
        
        -
      - compile-verif-bad-condition-1.txt
        3.59 years
        
        -
      - compile-verif-bad-condition-2.g
        3.59 years
        
        -
      - compile-verif-bad-condition-2.txt
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-1.g
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-1.txt
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-2.g
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-2.txt
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-3.g
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-3.txt
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-4.g
        3.59 years
        
        -
      - compile-verif-mandelbrot-bad-4.txt
        3.59 years
        
        -
      - compile-verif-test-1.g
        3.59 years
        
        -
      - compile-verif-test-1.txt
        3.59 years
        
        -
      - compile-verif-test-2.g
        3.59 years
        
        -
      - compile-verif-test-2.txt
        3.59 years
        
        -
      - compile-verif-test-3.g
        3.59 years
        
        -
      - compile-verif-test-3.txt
        3.59 years
        
        -
      - compile-verif-test-4.g
        3.59 years
        
        -
      - compile-verif-test-4.txt
        3.59 years
        
        -
      - compile-verif-test-5.g
        3.59 years
        
        -
      - compile-verif-test-5.txt
        3.59 years
        
        -
      - compile-verif-test-6.g
        3.59 years
        
        -
      - compile-verif-test-6.txt
        3.59 years
        
        -
      - compile-verif-test-7.g
        3.59 years
        
        -
      - compile-verif-test-7.txt
        3.59 years
        
        -
      - compile-verif-test-8.g
        3.59 years
        
        -
      - compile-verif-test-8.txt
        3.59 years
        
        -
      - compile-verif-test-9.g
        3.59 years
        
        -
      - compile-verif-test-9.txt
        3.59 years
        
        -
      - compile-verif-test-loop-1.g
        3.59 years
        
        -
      - compile-verif-test-loop-1.txt
        3.59 years
        
        -
      - compile-verif-test-loop-2.g
        3.59 years
        
        -
      - compile-verif-test-loop-2.txt
        3.59 years
        
        -
      - compile-verif-unsat-2.g
        3.59 years
        
        -
      - compile-verif-unsat-2.txt
        3.59 years
        
        -
      - compile-verif-unsat.g
        3.59 years
        
        -
      - compile-verif-unsat.txt
        3.59 years
        
        -
      - illformed-file-1.em
        5.03 years
        
        -
      - illformed-file-1.g
        3.59 years
        
        -
      - illformed-file-1.txt
        3.59 years
        
        -
      - locvar-ctint-codegen.em
        5.03 years
        
        -
      - locvar-ctint-codegen.g
        3.59 years
        
        -
      - locvar-ctint-codegen.txt
        3.59 years
        
        -
      - locvar-init-mismatch.em
        5.03 years
        
        -
      - locvar-init-mismatch.g
        3.59 years
        
        -
      - locvar-init-mismatch.txt
        3.59 years
        
        -
      - meson.build
        3.59 years
        
        -
      - missing-closing-paren.em
        5.03 years
        
        -
      - missing-closing-paren.g
        3.59 years
        
        -
      - missing-closing-paren.txt
        3.59 years
        
        -
      - missing-open-paren.em
        5.14 years
        
        -
      - missing-open-paren.txt
        5.14 years
        
        -
      - operator-type-mismatch.em
        5.03 years
        
        -
      - operator-type-mismatch.g
        3.59 years
        
        -
      - operator-type-mismatch.txt
        3.59 years
        
        -
      - recursive-using.em
        5.03 years
        
        -
      - recursive-using.g
        4.27 years
        
        -
      - recursive-using.txt
        4.27 years
        
        -
      - runtest.cmake
        5.11 years
        
        -
      - runtest_comp.cmake
        5.11 years
        
        -
      - template-instantiation-context.em
        5.03 years
        
        -
      - template-instantiation-context.g
        3.59 years
        
        -
      - template-instantiation-context.txt
        3.59 years
        
        -
      - template-type-mismatch.em
        5.03 years
        
        -
      - template-type-mismatch.g
        3.59 years
        
        -
      - template-type-mismatch.txt
        3.59 years
        
        -
      - test_runner.sh
        3.59 years
        
        -
      - test_runner_np.sh
        3.59 years
        
        -
      - unsat-verif.g
        4.74 years
        
        -
      - unsat-verif.txt
        4.74 years
        
        -
    - execute
      3.59 years
      - arithops.em
        5.03 years
        
        -
      - arithops.g
        3.59 years
        
        -
      - bitwiseops.em
        5.03 years
        
        -
      - bitwiseops.g
        3.59 years
        
        -
      - CMakeLists.txt
        5.11 years
        
        -
      - comparisonops.em
        5.03 years
        
        -
      - comparisonops.g
        3.59 years
        
        -
      - compoundass.em
        5.03 years
        
        -
      - compoundass.g
        3.59 years
        
        -
      - func.g
        3.59 years
        
        -
      - higher-func.em
        5.03 years
        
        -
      - higher-func.g
        3.59 years
        
        -
      - higher-poly.em
        5.03 years
        
        -
      - higher-poly.g
        3.59 years
        
        -
      - higher-template.em
        5.03 years
        
        -
      - higher-template.g
        3.59 years
        
        -
      - if.em
        5.03 years
        
        -
      - if.g
        3.59 years
        
        -
      - locvar.em
        5.03 years
        
        -
      - locvar.g
        3.59 years
        
        -
      - logicops.em
        5.03 years
        
        -
      - logicops.g
        3.59 years
        
        -
      - meson.build
        3.59 years
        
        -
      - overloading.em
        5.03 years
        
        -
      - overloading.g
        3.59 years
        
        -
      - templates.em
        5.03 years
        
        -
      - templates.g
        3.59 years
        
        -
      - tuple.em
        5.03 years
        
        -
      - tuple.g
        3.59 years
        
        -
      - using.em
        5.03 years
        
        -
      - using.g
        3.59 years
        
        -
      - while.em
        5.03 years
        
        -
      - while.g
        3.59 years
        
        -
    - function
      3.05 years
      - c-fail-calling-compiletime-func.g
        3.05 years
        
        -
      - c-fail-calling-compiletime-func.txt
        3.05 years
        
        -
      - c-fail-func-type-mismatch.g
        3.05 years
        
        -
      - c-fail-func-type-mismatch.txt
        3.05 years
        
        -
      - e-fail-template-instantiation-context.g
        3.05 years
        
        -
      - e-fail-template-instantiation-context.txt
        3.05 years
        
        -
      - e-fail-template-type-mismatch.g
        3.05 years
        
        -
      - e-fail-template-type-mismatch.txt
        3.05 years
        
        -
      - e-func.g
        3.05 years
        
        -
      - e-higher-func.g
        3.05 years
        
        -
      - e-higher-poly.g
        3.05 years
        
        -
      - e-higher-template.g
        3.05 years
        
        -
      - e-overloading.g
        3.05 years
        
        -
      - e-templates.g
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_c_fail.sh
        3.05 years
        
        -
      - test_runner_e_fail.sh
        3.05 years
        
        -
    - general
      3.05 years
      - c-fail-outofrange-int-constant.g
        3.05 years
        
        -
      - c-fail-outofrange-int-constant.txt
        3.05 years
        
        -
      - ce-mandelbrot.g
        3.05 years
        
        -
      - ce-mandelbrot.txt
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_c_fail.sh
        3.05 years
        
        -
      - test_runner_compile.sh
        3.05 years
        
        -
      - test_runner_execute.sh
        3.05 years
        
        -
    - helpers.em
      5.03 years
      
      -
    - helpers.g
      3.05 years
      
      -
    - meson.build
      3.05 years
      
      -
    - operators
      3.05 years
      - e-arithops.g
        3.05 years
        
        -
      - e-bitwiseops.g
        3.05 years
        
        -
      - e-comparisonops.g
        3.05 years
        
        -
      - e-compoundass.g
        3.05 years
        
        -
      - e-fail-type-mismatch.g
        3.05 years
        
        -
      - e-fail-type-mismatch.txt
        3.05 years
        
        -
      - e-logicops.g
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_e_fail.sh
        3.05 years
        
        -
    - reference
      3.05 years
      - ce-reference.g
        3.05 years
        
        -
      - ce-reference.txt
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_compile.sh
        3.05 years
        
        -
      - test_runner_execute.sh
        3.05 years
        
        -
    - statements
      3.05 years
      - e-fail-locvar-ctint-codegen.g
        3.05 years
        
        -
      - e-fail-locvar-ctint-codegen.txt
        3.05 years
        
        -
      - e-fail-locvar-init-mismatch.g
        3.05 years
        
        -
      - e-fail-locvar-init-mismatch.txt
        3.05 years
        
        -
      - e-if.g
        3.05 years
        
        -
      - e-locvar.g
        3.05 years
        
        -
      - e-using.g
        3.05 years
        
        -
      - e-while.g
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_e_fail.sh
        3.05 years
        
        -
    - syntax
      3.05 years
      - c-fail-bad-strlit.g
        3.05 years
        
        -
      - c-fail-bad-strlit.txt
        3.05 years
        
        -
      - e-fail-illformed-file.g
        3.05 years
        
        -
      - e-fail-illformed-file.txt
        3.05 years
        
        -
      - e-fail-missing-closing-paren.g
        3.05 years
        
        -
      - e-fail-missing-closing-paren.txt
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_c_fail.sh
        3.05 years
        
        -
      - test_runner_e_fail.sh
        3.05 years
        
        -
    - tuple
      3.05 years
      - ce-tuple.g
        3.05 years
        
        -
      - ce-tuple.txt
        3.05 years
        
        -
      - e-tuple.g
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - test_runner_compile.sh
        3.05 years
        
        -
      - test_runner_execute.sh
        3.05 years
        
        -
    - verification
      3.05 years
      - c-fail-bad-condition-1.g
        3.59 years
        
        -
      - c-fail-bad-condition-1.txt
        3.59 years
        
        -
      - c-fail-bad-condition-2.g
        3.59 years
        
        -
      - c-fail-bad-condition-2.txt
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-1.g
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-1.txt
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-2.g
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-2.txt
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-3.g
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-3.txt
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-4.g
        3.59 years
        
        -
      - c-fail-mandelbrot-bad-4.txt
        3.59 years
        
        -
      - c-fail-test-1.g
        3.05 years
        
        -
      - c-fail-test-1.txt
        3.05 years
        
        -
      - c-fail-test-2.g
        3.05 years
        
        -
      - c-fail-test-2.txt
        3.05 years
        
        -
      - c-fail-test-3.g
        3.05 years
        
        -
      - c-fail-test-3.txt
        3.05 years
        
        -
      - c-fail-test-4.g
        3.05 years
        
        -
      - c-fail-test-4.txt
        3.05 years
        
        -
      - c-fail-test-5.g
        3.05 years
        
        -
      - c-fail-test-5.txt
        3.05 years
        
        -
      - c-fail-test-6.g
        3.05 years
        
        -
      - c-fail-test-6.txt
        3.05 years
        
        -
      - c-fail-test-7.g
        3.05 years
        
        -
      - c-fail-test-7.txt
        3.05 years
        
        -
      - c-fail-test-8.g
        3.05 years
        
        -
      - c-fail-test-8.txt
        3.05 years
        
        -
      - c-fail-test-9.g
        3.05 years
        
        -
      - c-fail-test-9.txt
        3.05 years
        
        -
      - c-fail-test-10.g
        3.05 years
        
        -
      - c-fail-test-10.txt
        3.05 years
        
        -
      - c-fail-test-11.g
        3.05 years
        
        -
      - c-fail-test-11.txt
        3.05 years
        
        -
      - c-fail-test-12.g
        3.05 years
        
        -
      - c-fail-test-12.txt
        3.05 years
        
        -
      - c-fail-test-loop-1.g
        3.59 years
        
        -
      - c-fail-test-loop-1.txt
        3.59 years
        
        -
      - c-fail-test-loop-2.g
        3.59 years
        
        -
      - c-fail-test-loop-2.txt
        3.59 years
        
        -
      - c-fail-unsat-2.g
        3.59 years
        
        -
      - c-fail-unsat-2.txt
        3.59 years
        
        -
      - c-fail-unsat.g
        3.59 years
        
        -
      - c-fail-unsat.txt
        3.59 years
        
        -
      - c-test-1.g
        3.05 years
        
        -
      - c-test-2.g
        3.05 years
        
        -
      - c-test-3.g
        3.05 years
        
        -
      - c-test-4.g
        3.05 years
        
        -
      - c-test-5.g
        3.05 years
        
        -
      - c-test-6.g
        3.05 years
        
        -
      - c-test-7.g
        3.05 years
        
        -
      - c-test-8.g
        3.05 years
        
        -
      - c-test-9.g
        3.05 years
        
        -
      - c-test-loop-1.g
        3.59 years
        
        -
      - c-test-loop-2.g
        3.59 years
        
        -
      - conditions
        3.05 years
        
        c-fail-bad-condition-1.g
        3.05 years
        
        -
        
        c-fail-bad-condition-1.txt
        3.05 years
        
        -
        
        c-fail-bad-condition-2.g
        3.05 years
        
        -
        
        c-fail-bad-condition-2.txt
        3.05 years
        
        -
        
        c-fail-unsat-2.g
        3.05 years
        
        -
        
        c-fail-unsat-2.txt
        3.05 years
        
        -
        
        c-fail-unsat-3.g
        3.05 years
        
        -
        
        c-fail-unsat-3.txt
        3.05 years
        
        -
        
        c-fail-unsat.g
        3.05 years
        
        -
        
        c-fail-unsat.txt
        3.05 years
        
        -
        
        meson.build
        3.05 years
        
        -
        
        test_runner_fail.sh
        3.05 years
        
        -
      - e-z3out-test-1.g
        3.59 years
        
        -
      - e-z3out-test-1.txt
        3.59 years
        
        -
      - e-z3out-test-2.g
        3.59 years
        
        -
      - e-z3out-test-2.txt
        3.59 years
        
        -
      - e-z3out-test-3.g
        3.59 years
        
        -
      - e-z3out-test-3.txt
        3.59 years
        
        -
      - e-z3out-test-4.g
        3.59 years
        
        -
      - e-z3out-test-4.txt
        3.59 years
        
        -
      - e-z3out-test-5.g
        3.59 years
        
        -
      - e-z3out-test-5.txt
        3.59 years
        
        -
      - e-z3out-test-bitwise.g
        3.59 years
        
        -
      - e-z3out-test-bitwise.txt
        3.59 years
        
        -
      - e-z3out-test-logic-and.g
        3.59 years
        
        -
      - e-z3out-test-logic-and.txt
        3.59 years
        
        -
      - e-z3out-test-logic-or.g
        3.59 years
        
        -
      - e-z3out-test-logic-or.txt
        3.59 years
        
        -
      - loops
        3.05 years
        
        c-fail-test-1.g
        3.05 years
        
        -
        
        c-fail-test-1.txt
        3.05 years
        
        -
        
        c-fail-test-2.g
        3.05 years
        
        -
        
        c-fail-test-2.txt
        3.05 years
        
        -
        
        c-test-1.g
        3.05 years
        
        -
        
        c-test-2.g
        3.05 years
        
        -
        
        meson.build
        3.05 years
        
        -
        
        test_runner.sh
        3.05 years
        
        -
        
        test_runner_fail.sh
        3.05 years
        
        -
      - meson.build
        3.05 years
        
        -
      - misc
        3.05 years
        
        c-fail-mandelbrot-bad-1.g
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-1.txt
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-2.g
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-2.txt
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-3.g
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-3.txt
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-4.g
        3.05 years
        
        -
        
        c-fail-mandelbrot-bad-4.txt
        3.05 years
        
        -
        
        meson.build
        3.05 years
        
        -
        
        test_runner_fail.sh
        3.05 years
        
        -
      - test-1.g
        4.98 years
        
        -
      - test-2.g
        4.98 years
        
        -
      - test-3.g
        4.98 years
        
        -
      - test-4.g
        4.98 years
        
        -
      - test_runner.sh
        3.05 years
        
        -
      - test_runner_fail.sh
        3.05 years
        
        -
      - test_runner_z3out.sh
        3.59 years
        
        -
      - z3gen
        3.05 years
        
        e-z3gen-test-1.g
        3.05 years
        
        -
        
        e-z3gen-test-1.txt
        3.05 years
        
        -
        
        e-z3gen-test-2.g
        3.05 years
        
        -
        
        e-z3gen-test-2.txt
        3.05 years
        
        -
        
        e-z3gen-test-3.g
        3.05 years
        
        -
        
        e-z3gen-test-3.txt
        3.05 years
        
        -
        
        e-z3gen-test-4.g
        3.05 years
        
        -
        
        e-z3gen-test-4.txt
        3.05 years
        
        -
        
        e-z3gen-test-5.g
        3.05 years
        
        -
        
        e-z3gen-test-5.txt
        3.05 years
        
        -
        
        e-z3gen-test-bitwise.g
        3.05 years
        
        -
        
        e-z3gen-test-bitwise.txt
        3.05 years
        
        -
        
        e-z3gen-test-logic-and.g
        3.05 years
        
        -
        
        e-z3gen-test-logic-and.txt
        3.05 years
        
        -
        
        e-z3gen-test-logic-or.g
        3.05 years
        
        -
        
        e-z3gen-test-logic-or.txt
        3.05 years
        
        -
        
        meson.build
        3.05 years
        
        -
        
        test_runner.sh
        3.05 years
        
        -
      - z3out-test-1.g
        4.98 years
        
        -
      - z3out-test-1.txt
        4.98 years
        
        -
      - z3out-test-2.g
        4.98 years
        
        -
      - z3out-test-2.txt
        4.98 years
        
        -
      - z3out-test-3.g
        4.98 years
        
        -
      - z3out-test-3.txt
        4.98 years
        
        -
      - z3out-test-4.g
        4.98 years
        
        -
      - z3out-test-4.txt
        4.98 years
        
        -
    - verify
      3.59 years
      - meson.build
        3.59 years
        
        -
      - test-1.g
        3.59 years
        
        -
      - test-2.g
        3.59 years
        
        -
      - test-3.g
        3.59 years
        
        -
      - test-4.g
        3.59 years
        
        -
      - test-5.g
        3.59 years
        
        -
      - test-6.g
        3.59 years
        
        -
      - test-7.g
        3.59 years
        
        -
      - test-8.g
        3.59 years
        
        -
      - test-loop-1.g
        3.59 years
        
        -
      - test-loop-2.g
        3.59 years
        
        -
      - test_runner.sh
        3.59 years
        
        -
      - test_runner_z3out.sh
        3.59 years
        
        -
      - z3out-test-1.g
        3.59 years
        
        -
      - z3out-test-1.txt
        3.59 years
        
        -
      - z3out-test-2.g
        3.59 years
        
        -
      - z3out-test-2.txt
        3.59 years
        
        -
      - z3out-test-3.g
        3.59 years
        
        -
      - z3out-test-3.txt
        3.59 years
        
        -
      - z3out-test-4.g
        3.59 years
        
        -
      - z3out-test-4.txt
        3.59 years
        
        -
      - z3out-test-5.g
        3.59 years
        
        -
      - z3out-test-5.txt
        3.59 years
        
        -
      - z3out-test-bitwise.g
        3.59 years
        
        -
      - z3out-test-bitwise.txt
        3.59 years
        
        -
      - z3out-test-logic-and.g
        3.59 years
        
        -
      - z3out-test-logic-and.txt
        3.59 years
        
        -
      - z3out-test-logic-or.g
        3.59 years
        
        -
      - z3out-test-logic-or.txt
        3.59 years
        
        -
  - overloading.em
    5.14 years
    
    -
  - runtest_cmp.cmake
    1.03 years
    
    523
  - runtest_compile_cmp.cmake
    1.14 years
    
    641
  - runtest_err.cmake
    1.14 years
    
    534
  - runtest_stdout_cmp.cmake
    1.14 years
    
    535
  - templates.em
    5.14 years
    
    -
  - testhelpers.em
    5.47 years
    
    -
  - using.em
    5.14 years
    
    -
- tools
  18.1 days
  - install_vscodeext.ps1
    18.1 days
    
    116
  - vscode-extension
    300.1 days
    - CHANGELOG.md
      5.03 years
      
      238
    - language-configuration.json
      5.03 years
      
      829
    - package.json
      3.05 years
      
      859
    - README.md
      5.03 years
      
      2,057
    - syntaxes
      300.1 days
      - empathy.tmLanguage.json
        5.03 years
        
        -
      - goose.tmLanguage.json
        300.1 days
        
        4,254
    - vsc-extension-quickstart.md
      5.03 years
      
      1,588
- www
  3.05 years
  - atom-one-dark.css
    3.05 years
    
    -
  - dark-violet.min.css
    3.05 years
    
    -
  - devibeans.min.css
    3.05 years
    
    1,080
  - highlight.js
    3.05 years
    
    649
  - highlight.min.js
    3.05 years
    
    47,425
  - highlight.pack.js
    3.05 years
    
    -
  - prism.css
    5.02 years
    
    -
  - prism.js
    5.02 years
    
    -
  - railscasts.css
    5.02 years
    
    -

Goose All Top-level Files

Files from all 892 check-ins sorted by filename