Goose: Top-level Files of tip

Files in the latest check-in sorted by filename

File ages are expressed relative to the check-in time of 2024-09-15 21:15:04.

Goose
Last Change

Size
- .clang-format
  50.6 minutes
  
  3,950
- .editorconfig
  4.94 years
  
  140
- .fossil-settings
  4.24 years
  - ignore-glob
    4.24 years
    
    121
- .vscode
  50.6 minutes
  - c_cpp_properties.json
    2.48 years
    
    461
  - launch.json
    50.6 minutes
    
    507
- bs
  current
  - builtins
    current
    - builders
      50.6 minutes
      - builders.h
        1.12 years
        
        133
      - cb_interface.cpp
        50.6 minutes
        
        4,888
      - codebuilder.h
        50.6 minutes
        
        707
      - default_interface.cpp
        50.6 minutes
        
        3,365
      - ghostcode_interface.cpp
        50.6 minutes
        
        2,782
      - lifecycle_manager.h
        50.6 minutes
        
        4,284
      - lifecycle_manager.inl
        50.6 minutes
        
        4,107
      - props_interface.cpp
        50.6 minutes
        
        2,365
      - struct_interface.cpp
        50.6 minutes
        
        3,567
    - builtins.cpp
      50.6 minutes
      
      3,444
    - builtins.h
      50.6 minutes
      
      975
    - CMakeLists.txt
      184.9 days
      
      3,900
    - exprhelpers.h
      50.6 minutes
      
      4,218
    - helpers.cpp
      50.6 minutes
      
      12,267
    - helpers.h
      50.6 minutes
      
      5,105
    - operators
      50.6 minutes
      - apostrophe.cpp
        50.6 minutes
        
        2,585
      - arith.cpp
        50.6 minutes
        
        7,552
      - assignment.cpp
        50.6 minutes
        
        5,659
      - comma.cpp
        50.6 minutes
        
        3,970
      - comparison.cpp
        50.6 minutes
        
        5,248
      - compoundass.cpp
        50.6 minutes
        
        4,596
      - comptime.cpp
        50.6 minutes
        
        1,960
      - contract.cpp
        50.6 minutes
        
        3,197
      - dollar.cpp
        50.6 minutes
        
        5,918
      - dot.cpp
        50.6 minutes
        
        5,926
      - ellipsis.cpp
        50.6 minutes
        
        1,374
      - ghost.cpp
        50.6 minutes
        
        1,946
      - helpers.h
        50.6 minutes
        
        4,511
      - inline.cpp
        50.6 minutes
        
        1,944
      - intrinsic.cpp
        50.6 minutes
        
        1,968
      - logic.cpp
        50.6 minutes
        
        19,729
      - operators.h
        50.6 minutes
        
        1,486
      - semicolon.cpp
        50.6 minutes
        
        800
      - tupass.cpp
        50.6 minutes
        
        6,958
      - tuple.h
        50.6 minutes
        
        2,875
    - statements
      50.6 minutes
      - break.cpp
        50.6 minutes
        
        1,399
      - continue.cpp
        50.6 minutes
        
        1,424
      - ct-for.cpp
        50.6 minutes
        
        3,978
      - ct-if.cpp
        50.6 minutes
        
        5,238
      - forall.cpp
        50.6 minutes
        
        4,205
      - if.cpp
        50.6 minutes
        
        5,529
      - return.cpp
        50.6 minutes
        
        3,557
      - statements.h
        50.6 minutes
        
        850
      - using.cpp
        50.6 minutes
        
        4,783
      - while.cpp
        50.6 minutes
        
        5,924
    - types
      current
      - basic.cpp
        50.6 minutes
        
        6,212
      - basic.h
        50.6 minutes
        
        3,527
      - constrainedfunc
        50.6 minutes
        
        constrainedfunc.cpp
        50.6 minutes
        
        1,393
        
        constrainedfunc.h
        50.6 minutes
        
        1,301
        
        invoke.cpp
        50.6 minutes
        
        1,452
        
        typecheck.cpp
        50.6 minutes
        
        3,901
      - convert.cpp
        50.6 minutes
        
        1,054
      - decl.cpp
        50.6 minutes
        
        2,477
      - decl.h
        50.6 minutes
        
        1,956
      - destroy.cpp
        50.6 minutes
        
        434
      - drop.cpp
        50.6 minutes
        
        4,157
      - func
        current
        
        bfunc.cpp
        50.6 minutes
        
        2,608
        
        bfunc.h
        50.6 minutes
        
        3,120
        
        bfunc.inl
        50.6 minutes
        
        4,994
        
        bintrinsic.cpp
        50.6 minutes
        
        857
        
        bintrinsic.h
        50.6 minutes
        
        1,185
        
        bintrinsic.inl
        50.6 minutes
        
        1,776
        
        build.cpp
        50.6 minutes
        
        8,063
        
        build.h
        50.6 minutes
        
        1,152
        
        compilation
        50.6 minutes
        
        common.cpp
        50.6 minutes
        
        3,816
        
        common.h
        50.6 minutes
        
        2,298
        
        compilation.h
        50.6 minutes
        
        378
        
        inline.cpp
        50.6 minutes
        
        3,109
        
        intrinsic.cpp
        50.6 minutes
        
        2,921
        
        regular.cpp
        50.6 minutes
        
        4,022
        
        compile.cpp
        50.6 minutes
        
        1,581
        
        func.cpp
        50.6 minutes
        
        5,263
        
        func.h
        50.6 minutes
        
        4,676
        
        func.inl
        50.6 minutes
        
        775
        
        functype.cpp
        50.6 minutes
        
        8,181
        
        functype.h
        50.6 minutes
        
        4,788
        
        invocation
        50.6 minutes
        
        beagerfunc.cpp
        50.6 minutes
        
        2,008
        
        bfunc.cpp
        50.6 minutes
        
        1,861
        
        bintrinsic.cpp
        50.6 minutes
        
        1,489
        
        common.cpp
        50.6 minutes
        
        2,821
        
        common.h
        50.6 minutes
        
        663
        
        comptime.cpp
        50.6 minutes
        
        2,658
        
        ghostfunc.cpp
        50.6 minutes
        
        2,341
        
        inline.cpp
        50.6 minutes
        
        7,284
        
        intrinsic.cpp
        50.6 minutes
        
        5,492
        
        invocation.h
        50.6 minutes
        
        1,966
        
        regular.cpp
        50.6 minutes
        
        3,406
        
        lower.cpp
        50.6 minutes
        
        1,061
        
        typecheck.cpp
        50.6 minutes
        
        5,061
        
        wrapped.cpp
        current
        
        3,169
        
        wrapped.h
        50.6 minutes
        
        519
      - ghostcode
        50.6 minutes
        
        drop.cpp
        50.6 minutes
        
        1,592
        
        ghostcode.h
        50.6 minutes
        
        1,443
      - infer.cpp
        50.6 minutes
        
        4,519
      - init.cpp
        50.6 minutes
        
        2,446
      - localvar
        50.6 minutes
        
        drop.cpp
        50.6 minutes
        
        2,012
        
        invoke.cpp
        50.6 minutes
        
        1,317
        
        localvar.cpp
        50.6 minutes
        
        5,902
        
        localvar.h
        50.6 minutes
        
        2,944
        
        typecheck.cpp
        50.6 minutes
        
        1,350
      - lower.cpp
        50.6 minutes
        
        903
      - overloadset
        50.6 minutes
        
        helpers.cpp
        50.6 minutes
        
        3,432
        
        helpers.h
        50.6 minutes
        
        746
        
        invoke.cpp
        50.6 minutes
        
        5,503
        
        overloadset.cpp
        50.6 minutes
        
        1,009
        
        overloadset.h
        50.6 minutes
        
        711
        
        typecheck.cpp
        50.6 minutes
        
        5,074
      - param.h
        50.6 minutes
        
        1,507
      - predicates
        50.6 minutes
        
        predicates.cpp
        50.6 minutes
        
        2,629
        
        predicates.h
        50.6 minutes
        
        669
        
        typecheck.cpp
        50.6 minutes
        
        512
      - pretty.cpp
        50.6 minutes
        
        4,984
      - propositions
        50.6 minutes
        
        drop.cpp
        50.6 minutes
        
        1,305
        
        propositions.cpp
        50.6 minutes
        
        1,809
        
        propositions.h
        50.6 minutes
        
        1,992
        
        propositions.inl
        50.6 minutes
        
        714
      - reference
        50.6 minutes
        
        init.cpp
        50.6 minutes
        
        892
        
        lower.cpp
        50.6 minutes
        
        796
        
        parse.cpp
        50.6 minutes
        
        2,108
        
        reference.cpp
        50.6 minutes
        
        5,289
        
        reference.h
        50.6 minutes
        
        4,717
        
        typecheck.cpp
        50.6 minutes
        
        10,329
      - runtime
        50.6 minutes
        
        array.cpp
        50.6 minutes
        
        1,760
        
        array.h
        50.6 minutes
        
        884
        
        basic.cpp
        50.6 minutes
        
        7,068
        
        basic.h
        50.6 minutes
        
        3,511
        
        init.cpp
        50.6 minutes
        
        1,009
        
        pointer.cpp
        50.6 minutes
        
        2,925
        
        pointer.h
        50.6 minutes
        
        1,437
        
        runtime.cpp
        50.6 minutes
        
        2,773
        
        runtime.h
        50.6 minutes
        
        640
        
        typecheck.cpp
        50.6 minutes
        
        5,541
      - struct
        50.6 minutes
        
        builder.cpp
        50.6 minutes
        
        2,894
        
        builder.h
        50.6 minutes
        
        1,286
        
        builder.inl
        50.6 minutes
        
        2,322
        
        init.cpp
        50.6 minutes
        
        1,068
        
        lower.cpp
        50.6 minutes
        
        1,879
        
        parse.cpp
        50.6 minutes
        
        3,418
        
        struct.h
        50.6 minutes
        
        676
        
        structtype.cpp
        50.6 minutes
        
        2,324
        
        structtype.h
        50.6 minutes
        
        1,816
      - template
        50.6 minutes
        
        build.cpp
        50.6 minutes
        
        4,274
        
        build.h
        50.6 minutes
        
        617
        
        instantiate.cpp
        50.6 minutes
        
        4,225
        
        invoke.cpp
        50.6 minutes
        
        3,188
        
        pretty.cpp
        50.6 minutes
        
        1,592
        
        rules
        50.6 minutes
        
        decl.cpp
        50.6 minutes
        
        1,362
        
        rules.h
        50.6 minutes
        
        1,560
        
        tdecl.cpp
        50.6 minutes
        
        2,742
        
        tfunctype.cpp
        50.6 minutes
        
        2,895
        
        tnameddecl.cpp
        50.6 minutes
        
        3,064
        
        tpack.cpp
        50.6 minutes
        
        2,712
        
        tuple.cpp
        50.6 minutes
        
        4,109
        
        tvar.cpp
        50.6 minutes
        
        8,291
        
        tvectype.cpp
        50.6 minutes
        
        3,961
        
        value.cpp
        50.6 minutes
        
        2,214
        
        tc-tdecl.cpp
        50.6 minutes
        
        7,432
        
        tdecl.cpp
        50.6 minutes
        
        1,680
        
        tdecl.h
        50.6 minutes
        
        1,231
        
        texpr.cpp
        50.6 minutes
        
        1,229
        
        texpr.h
        1.85 years
        
        231
        
        tfunc.cpp
        50.6 minutes
        
        1,226
        
        tfunc.h
        50.6 minutes
        
        1,858
        
        tfunctype.cpp
        50.6 minutes
        
        2,823
        
        tfunctype.h
        50.6 minutes
        
        2,502
        
        tnameddecl.cpp
        50.6 minutes
        
        2,191
        
        tnameddecl.h
        50.6 minutes
        
        2,025
        
        tpack.cpp
        50.6 minutes
        
        731
        
        tpack.h
        50.6 minutes
        
        753
        
        ttvar.cpp
        50.6 minutes
        
        1,037
        
        ttvar.h
        50.6 minutes
        
        750
        
        tvar.cpp
        50.6 minutes
        
        1,025
        
        tvar.h
        50.6 minutes
        
        742
        
        tvec.cpp
        50.6 minutes
        
        957
        
        tvec.h
        50.6 minutes
        
        1,148
        
        typecheck.cpp
        50.6 minutes
        
        4,723
      - trivialchecks.cpp
        50.6 minutes
        
        2,301
      - tuple
        50.6 minutes
        
        destroy.cpp
        50.6 minutes
        
        1,327
        
        drop.cpp
        50.6 minutes
        
        934
        
        init.cpp
        50.6 minutes
        
        5,266
        
        lower.cpp
        50.6 minutes
        
        2,264
        
        tuple.cpp
        50.6 minutes
        
        6,290
        
        tuple.h
        50.6 minutes
        
        2,868
        
        tuple.inl
        50.6 minutes
        
        5,638
        
        tupletype.cpp
        50.6 minutes
        
        7,034
        
        tupletype.h
        50.6 minutes
        
        1,597
        
        typecheck.cpp
        50.6 minutes
        
        9,528
      - types.cpp
        50.6 minutes
        
        3,197
      - types.h
        50.6 minutes
        
        2,638
      - wrapper.h
        50.6 minutes
        
        8,162
  - cir
    current
    - basicblock.h
      50.6 minutes
      
      4,398
    - basicblock.inl
      50.6 minutes
      
      1,270
    - branch.h
      50.6 minutes
      
      2,372
    - break.h
      50.6 minutes
      
      617
    - cfg.cpp
      50.6 minutes
      
      1,899
    - cfg.h
      50.6 minutes
      
      6,430
    - cir.h
      50.6 minutes
      
      1,266
    - CMakeLists.txt
      2.0 days
      
      339
    - continue.h
      50.6 minutes
      
      635
    - datalocation.cpp
      50.6 minutes
      
      2,353
    - datalocation.h
      50.6 minutes
      
      4,637
    - dominators.cpp
      50.6 minutes
      
      4,557
    - func.cpp
      50.6 minutes
      
      428
    - func.h
      50.6 minutes
      
      1,184
    - hash.cpp
      50.6 minutes
      
      7,205
    - hash.h
      50.6 minutes
      
      6,190
    - helpers.cpp
      50.6 minutes
      
      2,341
    - helpers.h
      50.6 minutes
      
      3,635
    - inliner.cpp
      50.6 minutes
      
      6,213
    - inliner.h
      50.6 minutes
      
      845
    - instruction.cpp
      current
      
      3,006
    - instruction.h
      50.6 minutes
      
      954
    - loopaddrs.cpp
      2.0 days
      
      6,831
    - loops.cpp
      50.6 minutes
      
      3,677
    - op-allocvar.h
      current
      
      1,209
    - op-arith.h
      50.6 minutes
      
      1,762
    - op-assert.h
      50.6 minutes
      
      615
    - op-binary.h
      50.6 minutes
      
      525
    - op-bitwise.h
      50.6 minutes
      
      826
    - op-call.h
      50.6 minutes
      
      3,257
    - op-comparisons.h
      50.6 minutes
      
      2,451
    - op-constant.h
      current
      
      928
    - op-datapath.h
      50.6 minutes
      
      1,483
    - op-forall.h
      50.6 minutes
      
      1,636
    - op-ghostcall.h
      50.6 minutes
      
      900
    - op-load.h
      50.6 minutes
      
      741
    - op-logic.h
      50.6 minutes
      
      810
    - op-not.h
      50.6 minutes
      
      593
    - op-phi.h
      50.6 minutes
      
      2,122
    - op-phoverride.h
      50.6 minutes
      
      1,830
    - op-placeholder.h
      50.6 minutes
      
      1,468
    - op-select.h
      50.6 minutes
      
      750
    - op-store.h
      current
      
      1,049
    - op-stringid.h
      50.6 minutes
      
      889
    - op-type.h
      50.6 minutes
      
      866
    - op-verification.h
      50.6 minutes
      
      784
    - operation.h
      50.6 minutes
      
      3,893
    - reindexvars.cpp
      50.6 minutes
      
      3,993
    - ret.h
      50.6 minutes
      
      1,071
    - seqbuilder.cpp
      50.6 minutes
      
      1,965
    - seqbuilder.h
      50.6 minutes
      
      2,669
    - seqbuilder.inl
      50.6 minutes
      
      1,755
    - terminator.cpp
      50.6 minutes
      
      3,183
    - terminator.h
      50.6 minutes
      
      1,274
    - tests
      15.3 days
      - CMakeLists.txt
        15.3 days
        
        994
      - dom-1.cpp
        219.1 days
        
        1,239
      - dom-2.cpp
        15.3 days
        
        2,107
    - verifinstrfilter.cpp
      50.6 minutes
      
      4,916
    - verifinstrfilter.h
      50.6 minutes
      
      2,112
  - CMakeLists.txt
    2.0 days
    
    2,327
  - codegen
    50.6 minutes
    - address.cpp
      50.6 minutes
      
      3,278
    - address.h
      50.6 minutes
      
      785
    - arithops.cpp
      50.6 minutes
      
      1,535
    - basicblock.cpp
      50.6 minutes
      
      3,467
    - CMakeLists.txt
      158.9 days
      
      262
    - codegen.cpp
      50.6 minutes
      
      578
    - codegen.h
      50.6 minutes
      
      853
    - compareops.cpp
      50.6 minutes
      
      2,158
    - func.cpp
      50.6 minutes
      
      2,383
    - instructions.cpp
      50.6 minutes
      
      7,071
    - llvmwrappers.cpp
      50.6 minutes
      
      2,621
    - llvmwrappers.h
      50.6 minutes
      
      4,219
    - logicops.cpp
      50.6 minutes
      
      1,602
    - mangle.cpp
      50.6 minutes
      
      8,490
    - module.cpp
      50.6 minutes
      
      2,925
    - module.h
      50.6 minutes
      
      6,800
    - module.inl
      50.6 minutes
      
      844
    - stack.h
      50.6 minutes
      
      2,131
    - value.cpp
      50.6 minutes
      
      4,216
  - compile
    current
    - CMakeLists.txt
      1.09 years
      
      41
    - compiler.cpp
      current
      
      6,300
    - compiler.h
      50.6 minutes
      
      823
  - diagnostics
    50.6 minutes
    - CMakeLists.txt
      360.1 days
      
      72
    - diagnostics.h
      360.1 days
      
      287
    - diagnosticscontext.h
      50.6 minutes
      
      931
    - diagnosticsmanager.cpp
      50.6 minutes
      
      6,017
    - diagnosticsmanager.h
      50.6 minutes
      
      5,282
    - renderer.cpp
      50.6 minutes
      
      12,618
    - renderer.h
      50.6 minutes
      
      3,271
    - renderer.inl
      50.6 minutes
      
      577
    - verbositycontext.h
      50.6 minutes
      
      899
  - eir
    current
    - anyterm.h
      50.6 minutes
      
      834
    - bridge.h
      50.6 minutes
      
      1,192
    - CMakeLists.txt
      1.09 years
      
      269
    - compare.cpp
      50.6 minutes
      
      1,665
    - decompose.h
      50.6 minutes
      
      2,113
    - decompose.inl
      50.6 minutes
      
      2,841
    - eir.h
      50.6 minutes
      
      739
    - enumerate.cpp
      50.6 minutes
      
      216
    - enumerate.h
      3.72 years
      
      267
    - enumerate.inl
      50.6 minutes
      
      6,135
    - graphviz.cpp
      50.6 minutes
      
      189
    - graphviz.h
      50.6 minutes
      
      269
    - graphviz.inl
      50.6 minutes
      
      13,415
    - hash.cpp
      50.6 minutes
      
      2,204
    - hash.h
      50.6 minutes
      
      591
    - helpers.cpp
      50.6 minutes
      
      1,483
    - helpers.h
      50.6 minutes
      
      1,124
    - helpers.inl
      50.6 minutes
      
      1,871
    - match.cpp
      50.6 minutes
      
      466
    - match.h
      50.6 minutes
      
      3,201
    - match.inl
      50.6 minutes
      
      11,817
    - merge.cpp
      50.6 minutes
      
      213
    - merge.h
      3.72 years
      
      272
    - merge.inl
      50.6 minutes
      
      10,436
    - pretty.cpp
      50.6 minutes
      
      2,259
    - pretty.h
      50.6 minutes
      
      685
    - term.h
      50.6 minutes
      
      2,182
    - tests
      50.6 minutes
      - CMakeLists.txt
        15.3 days
        
        718
      - match-terms-trie.cpp
        50.6 minutes
        
        8,391
      - merge.cpp
        50.6 minutes
        
        3,666
    - tostring.cpp
      50.6 minutes
      
      3,600
    - tostring.h
      50.6 minutes
      
      1,081
    - trie.h
      50.6 minutes
      
      4,259
    - value.cpp
      current
      
      4,537
    - value.h
      50.6 minutes
      
      4,262
    - vecgenerator.cpp
      50.6 minutes
      
      873
    - vecgenerator.h
      50.6 minutes
      
      602
    - vecoflength.h
      50.6 minutes
      
      898
    - vector.h
      50.6 minutes
      
      6,882
  - execute
    50.6 minutes
    - binaryops.cpp
      50.6 minutes
      
      3,806
    - binaryops.inl
      50.6 minutes
      
      5,911
    - CMakeLists.txt
      1.09 years
      
      83
    - eval.cpp
      50.6 minutes
      
      2,343
    - execute.h
      50.6 minutes
      
      385
    - termaddr.cpp
      50.6 minutes
      
      642
    - termaddr.h
      50.6 minutes
      
      316
    - vm.cpp
      50.6 minutes
      
      10,140
    - vm.h
      50.6 minutes
      
      5,435
  - g0api
    50.6 minutes
    - cgapi
      50.6 minutes
      - cgapi.h
        50.6 minutes
        
        455
      - func.cpp
        50.6 minutes
        
        2,188
      - linker.cpp
        50.6 minutes
        
        2,065
      - mangle.cpp
        50.6 minutes
        
        670
      - module.cpp
        50.6 minutes
        
        2,247
      - module.h
        2.96 years
        
        156
    - CMakeLists.txt
      2.0 days
      
      439
    - compiler.cpp
      50.6 minutes
      
      11,773
    - extensibility
      50.6 minutes
      - cir.cpp
        50.6 minutes
        
        25,786
      - context.cpp
        50.6 minutes
        
        1,789
      - diagnostics.cpp
        50.6 minutes
        
        5,738
      - eir.cpp
        50.6 minutes
        
        17,834
      - env.cpp
        50.6 minutes
        
        2,753
      - extensibility.h
        50.6 minutes
        
        1,054
      - misc.cpp
        50.6 minutes
        
        7,388
      - parser.cpp
        50.6 minutes
        
        1,772
      - termref.h
        50.6 minutes
        
        1,195
      - value.cpp
        50.6 minutes
        
        3,997
    - g0api.h
      50.6 minutes
      
      716
    - string.cpp
      50.6 minutes
      
      2,656
    - types.cpp
      50.6 minutes
      
      10,414
    - types.h
      50.6 minutes
      
      2,471
  - goose-config.h.in
    1.09 years
    
    91
  - goose.cpp
    2.99 years
    
    247
  - lex
    50.6 minutes
    - CMakeLists.txt
      1.09 years
      
      149
    - comment.cpp
      50.6 minutes
      
      1,595
    - intlit.cpp
      50.6 minutes
      
      2,516
    - lex.h
      50.6 minutes
      
      368
    - lexer.cpp
      50.6 minutes
      
      4,820
    - lexer.h
      50.6 minutes
      
      2,308
    - lookahead.cpp
      50.6 minutes
      
      1,672
    - strlit.cpp
      50.6 minutes
      
      9,120
    - tokenprovider.h
      50.6 minutes
      
      624
    - vectoradapter.h
      50.6 minutes
      
      915
    - vectoradapter.inl
      50.6 minutes
      
      1,354
  - parse
    50.6 minutes
    - blocks.cpp
      2.57 years
      
      3,661
    - braceblock.cpp
      1.53 years
      
      2,335
    - bracketblock.cpp
      50.6 minutes
      
      4,893
    - CMakeLists.txt
      1.09 years
      
      245
    - func.cpp
      50.6 minutes
      
      4,529
    - funcdecl.cpp
      50.6 minutes
      
      2,478
    - funcdecl.h
      50.6 minutes
      
      1,401
    - functype.cpp
      50.6 minutes
      
      1,669
    - overload.cpp
      50.6 minutes
      
      1,195
    - parenblock.cpp
      50.6 minutes
      
      4,298
    - parse.h
      50.6 minutes
      
      812
    - parser.cpp
      50.6 minutes
      
      10,274
    - parser.h
      50.6 minutes
      
      5,981
    - parser.inl
      50.6 minutes
      
      1,452
    - resolver.cpp
      50.6 minutes
      
      5,726
    - resolver.h
      50.6 minutes
      
      2,215
    - rule-helpers.cpp
      50.6 minutes
      
      1,067
    - rule-helpers.h
      50.6 minutes
      
      1,260
    - rule-helpers.inl
      50.6 minutes
      
      12,280
    - rule.h
      50.6 minutes
      
      2,032
    - tfunc.cpp
      50.6 minutes
      
      3,488
    - tfuncdecl.cpp
      50.6 minutes
      
      2,505
    - tfuncdecl.h
      50.6 minutes
      
      1,392
  - precedence.h
    50.6 minutes
    
    2,599
  - sema
    50.6 minutes
    - CMakeLists.txt
      1.09 years
      
      461
    - context.cpp
      50.6 minutes
      
      1,464
    - context.h
      50.6 minutes
      
      3,330
    - ctmm.h
      50.6 minutes
      
      2,608
    - env.cpp
      50.6 minutes
      
      4,239
    - env.h
      50.6 minutes
      
      9,779
    - hole.cpp
      50.6 minutes
      
      1,228
    - hole.h
      50.6 minutes
      
      444
    - inv-ruleset.cpp
      50.6 minutes
      
      237
    - inv-ruleset.h
      50.6 minutes
      
      1,297
    - invocation.cpp
      50.6 minutes
      
      1,578
    - invocation.h
      50.6 minutes
      
      421
    - lower.cpp
      50.6 minutes
      
      1,330
    - overloadset.cpp
      50.6 minutes
      
      1,831
    - overloadset.h
      50.6 minutes
      
      1,577
    - postprocess.cpp
      50.6 minutes
      
      2,422
    - postprocess.h
      50.6 minutes
      
      648
    - scope.cpp
      1.83 years
      
      881
    - scope.h
      50.6 minutes
      
      1,277
    - sema.h
      50.6 minutes
      
      1,036
    - substitute.cpp
      50.6 minutes
      
      1,185
    - substitute.h
      4.22 years
      
      182
    - tc-basicrules.cpp
      50.6 minutes
      
      4,348
    - tc-basicrules.h
      3.05 years
      
      182
    - tc-context.cpp
      50.6 minutes
      
      5,179
    - tc-context.h
      50.6 minutes
      
      5,066
    - tc-postproc.cpp
      50.6 minutes
      
      2,818
    - tc-ruleset.cpp
      50.6 minutes
      
      1,880
    - tc-ruleset.h
      50.6 minutes
      
      2,142
    - tc-score.h
      50.6 minutes
      
      2,089
    - tc-vecgenerator.h
      50.6 minutes
      
      862
    - tctrie-typecheck.inl
      50.6 minutes
      
      5,399
    - tctrie.h
      50.6 minutes
      
      2,782
    - tctrie.inl
      50.6 minutes
      
      4,133
    - template.cpp
      50.6 minutes
      
      2,868
    - template.h
      50.6 minutes
      
      875
    - tests
      50.6 minutes
      - CMakeLists.txt
        15.3 days
        
        804
      - tctrie-merge.cpp
        50.6 minutes
        
        3,943
      - tctrie-typecheck.cpp
        50.6 minutes
        
        5,353
      - unify-holes.cpp
        50.6 minutes
        
        3,570
    - tpl-ruleset.cpp
      50.6 minutes
      
      1,201
    - tpl-ruleset.h
      50.6 minutes
      
      2,172
    - typecheck.cpp
      50.6 minutes
      
      6,891
    - typecheck.h
      50.6 minutes
      
      767
    - uni-basicrules.cpp
      50.6 minutes
      
      5,459
    - uni-basicrules.h
      4.22 years
      
      183
    - uni-holes.cpp
      50.6 minutes
      
      13,620
    - uni-holes.h
      4.22 years
      
      172
    - uni-quote.cpp
      50.6 minutes
      
      1,818
    - uni-quote.h
      50.6 minutes
      
      560
  - util
    50.6 minutes
    - bigint.cpp
      50.6 minutes
      
      1,092
    - bigint.h
      50.6 minutes
      
      7,066
    - CMakeLists.txt
      346.9 days
      
      191
    - depgraph.cpp
      50.6 minutes
      
      1,119
    - depgraph.h
      50.6 minutes
      
      895
    - fixedint.h
      50.6 minutes
      
      1,239
    - generator.h
      50.6 minutes
      
      10,598
    - graphviz.cpp
      50.6 minutes
      
      5,930
    - graphviz.h
      50.6 minutes
      
      3,220
    - location.cpp
      50.6 minutes
      
      3,009
    - location.h
      50.6 minutes
      
      3,483
    - location.inl
      50.6 minutes
      
      341
    - locationid.h
      50.6 minutes
      
      1,101
    - profiling.h
      50.6 minutes
      
      532
    - stringid.cpp
      50.6 minutes
      
      1,602
    - stringid.h
      50.6 minutes
      
      1,926
    - tests
      50.6 minutes
      - CMakeLists.txt
        15.3 days
        
        610
      - generator.cpp
        50.6 minutes
        
        3,181
    - util.cpp
      50.6 minutes
      
      256
    - util.h
      50.6 minutes
      
      5,767
  - verify
    50.6 minutes
    - basicblock.cpp
      50.6 minutes
      
      1,487
    - builder.cpp
      1.06 years
      
      3,819
    - builder.h
      50.6 minutes
      
      4,647
    - call.cpp
      50.6 minutes
      
      4,437
    - cfg.cpp
      50.6 minutes
      
      3,441
    - CMakeLists.txt
      219.1 days
      
      341
    - func.cpp
      50.6 minutes
      
      6,705
    - func.h
      50.6 minutes
      
      2,422
    - gfctracker.cpp
      50.6 minutes
      
      8,481
    - gfctracker.h
      50.6 minutes
      
      1,599
    - ghostfunc.cpp
      50.6 minutes
      
      1,901
    - ghostfunc.h
      50.6 minutes
      
      1,244
    - helpers.h
      50.6 minutes
      
      1,879
    - helpers.inl
      50.6 minutes
      
      1,166
    - instrseq.cpp
      50.6 minutes
      
      3,079
    - loop.cpp
      50.6 minutes
      
      7,051
    - phi.cpp
      50.6 minutes
      
      1,584
    - propositions.cpp
      50.6 minutes
      
      2,197
    - propositions.h
      50.6 minutes
      
      1,037
    - remapper.cpp
      50.6 minutes
      
      5,609
    - remapper.h
      50.6 minutes
      
      3,400
    - stack.cpp
      50.6 minutes
      
      746
    - stack.h
      50.6 minutes
      
      1,255
    - storage.cpp
      50.6 minutes
      
      9,548
    - storage.h
      50.6 minutes
      
      1,457
    - terminator.cpp
      50.6 minutes
      
      4,958
    - type.cpp
      50.6 minutes
      
      9,608
    - type.h
      50.6 minutes
      
      1,801
    - value.cpp
      50.6 minutes
      
      24,683
    - value.h
      50.6 minutes
      
      1,534
    - vartracker.cpp
      50.6 minutes
      
      2,690
    - vartracker.h
      50.6 minutes
      
      899
    - verify.cpp
      50.6 minutes
      
      184
    - verify.h
      50.6 minutes
      
      732
    - verifyviz.cpp
      50.6 minutes
      
      4,903
    - verifyviz.h
      50.6 minutes
      
      2,509
- cmake
  2.0 days
  - catch2.cmake
    15.3 days
    
    191
  - common.cmake
    2.0 days
    
    98
  - compiler_config.cmake
    2.0 days
    
    1,746
  - FindLLD.cmake
    1.09 years
    
    1,919
  - mimalloc.cmake
    15.3 days
    
    198
  - profiling.cmake
    1.09 years
    
    379
  - testing.cmake
    184.9 days
    
    5,781
- CMakeLists.txt
  15.3 days
  
  855
- docs
  4.61 years
  - index.md
    4.62 years
    
    1,396
  - metaprogramming.md
    4.62 years
    
    3,093
  - overloading.md
    4.62 years
    
    845
  - syntax.md
    4.62 years
    
    4,556
  - templates.md
    4.94 years
    
    2,341
  - tuples.md
    4.62 years
    
    2,819
  - types.md
    4.62 years
    
    3,972
  - verification.md
    4.61 years
    
    4,476
- lib
  284.0 days
  - CMakeLists.txt
    1.09 years
    
    1,023
  - compile.g0
    290.1 days
    
    2,134
  - goose.g0
    2.99 years
    
    628
  - goose_test.g0
    1.57 years
    
    1,217
  - prelude
    284.0 days
    - args.g0
      1.47 years
      
      955
    - CMakeLists.txt
      1.09 years
      
      189
    - diagnostics.g0
      1.47 years
      
      1,076
    - prelude.g0
      1.47 years
      
      236
    - ref_verification.g0
      1.20 years
      
      3,978
    - setup_g1.g0
      284.0 days
      
      3,094
    - tuple_foreach.g0
      1.47 years
      
      1,192
    - util.g0
      1.20 years
      
      3,825
  - targets
    1.09 years
    - CMakeLists.txt
      1.09 years
      
      47
    - darwin.g0
      1.09 years
      
      583
    - linux.g0
      1.09 years
      
      1,369
- LICENSE
  1.63 years
  
  1,081
- samples
  285.1 days
  - CMakeLists.txt
    1.09 years
    
    1,056
  - helloworld.g1
    5.09 years
    
    192
  - mandelbrot.g1
    285.1 days
    
    1,946
- tests
  169.5 days
  - CMakeLists.txt
    1.09 years
    
    64
  - g0
    169.5 days
    - CMakeLists.txt
      184.9 days
      
      734
    - codegen
      219.1 days
      - argpack.g0
        285.1 days
        
        1,446
      - argpack.ll
        219.1 days
        
        3,447
      - arithops.g0
        2.31 years
        
        406
      - arithops.ll
        1.57 years
        
        1,423
      - bitwiseops.g0
        2.31 years
        
        671
      - bitwiseops.ll
        219.1 days
        
        3,402
      - CMakeLists.txt
        290.1 days
        
        538
      - comparisonops.g0
        2.31 years
        
        421
      - comparisonops.ll
        1.57 years
        
        1,711
      - compoundass.g0
        3.01 years
        
        407
      - compoundass.ll
        1.57 years
        
        1,079
      - func.g0
        3.01 years
        
        543
      - func.ll
        219.1 days
        
        1,490
      - if.g0
        3.01 years
        
        433
      - if.ll
        219.1 days
        
        1,841
      - inline-2.g0
        290.1 days
        
        374
      - inline-2.ll
        290.1 days
        
        154
      - inline.g0
        312.0 days
        
        652
      - inline.ll
        219.1 days
        
        3,991
      - locvar.g0
        3.01 years
        
        334
      - locvar.ll
        1.57 years
        
        511
      - logicops.g0
        3.01 years
        
        337
      - logicops.ll
        219.1 days
        
        1,905
      - template.g0
        2.81 years
        
        549
      - template.ll
        219.1 days
        
        946
      - while.g0
        3.01 years
        
        401
      - while.ll
        1.57 years
        
        1,522
    - function
      219.1 days
      - c-fail-calling-compiletime-func.g0
        5.07 years
        
        127
      - c-fail-calling-compiletime-func.txt
        2.31 years
        
        177
      - c-fail-func-type-mismatch.g0
        5.07 years
        
        334
      - c-fail-func-type-mismatch.txt
        3.01 years
        
        138
      - CMakeLists.txt
        315.3 days
        
        775
      - e-fail-template-instantiation-context.g0
        3.01 years
        
        493
      - e-fail-template-instantiation-context.txt
        3.01 years
        
        751
      - e-fail-template-type-mismatch.g0
        3.01 years
        
        422
      - e-fail-template-type-mismatch.txt
        3.01 years
        
        857
      - e-func.g0
        3.01 years
        
        153
      - e-higher-func.g0
        3.01 years
        
        655
      - e-higher-poly.g0
        3.01 years
        
        438
      - e-higher-template.g0
        3.01 years
        
        546
      - e-overloading.g0
        3.01 years
        
        825
      - e-template-tuple-vararg-2.g0
        1.69 years
        
        747
      - e-template-tuple-vararg.g0
        1.85 years
        
        735
      - e-template-vararg-2.g0
        1.69 years
        
        292
      - e-template-vararg.g0
        2.04 years
        
        727
      - e-templates.g0
        1.55 years
        
        1,769
      - inline
        219.1 days
        
        CMakeLists.txt
        315.3 days
        
        546
        
        e-fail-func-inline-1.g0
        315.3 days
        
        179
        
        e-fail-func-inline-1.txt
        315.3 days
        
        167
        
        e-fail-func-inline-2.g0
        315.3 days
        
        268
        
        e-fail-func-inline-2.txt
        315.3 days
        
        167
        
        e-func-inline-1.cir
        219.1 days
        
        833
        
        e-func-inline-1.g0
        290.1 days
        
        251
        
        e-func-inline-2.g0
        315.3 days
        
        278
        
        e-func-inline-3.cir
        219.1 days
        
        1,647
        
        e-func-inline-3.g0
        290.1 days
        
        330
        
        e-func-inline-4.g0
        315.3 days
        
        357
        
        e-func-inline-5.g0
        315.3 days
        
        367
        
        e-func-inline-6.cir
        219.1 days
        
        1,727
        
        e-func-inline-6.g0
        290.1 days
        
        415
        
        e-func-inline-7.g0
        315.3 days
        
        442
        
        e-func-inline-8.g0
        315.3 days
        
        477
        
        e-func-inline-9.g0
        315.3 days
        
        548
    - general
      285.1 days
      - c-fail-outofrange-int-constant.g0
        3.50 years
        
        232
      - c-fail-outofrange-int-constant.txt
        3.01 years
        
        278
      - ce-mandelbrot.g0
        285.1 days
        
        2,554
      - ce-mandelbrot.txt
        5.06 years
        
        3,232
      - CMakeLists.txt
        1.09 years
        
        114
    - helpers.g0
      4.22 years
      
      402
    - operators
      1.09 years
      - CMakeLists.txt
        1.09 years
        
        288
      - e-arithops.g0
        3.01 years
        
        325
      - e-bitwiseops.g0
        3.01 years
        
        616
      - e-comparisonops.g0
        3.01 years
        
        1,271
      - e-compoundass.g0
        2.52 years
        
        1,261
      - e-fail-type-mismatch.g0
        5.08 years
        
        103
      - e-fail-type-mismatch.txt
        2.99 years
        
        212
      - e-logicops.g0
        3.01 years
        
        1,096
    - reference
      1.09 years
      - ce-reference.g0
        2.87 years
        
        2,197
      - ce-reference.txt
        3.55 years
        
        233
      - CMakeLists.txt
        1.09 years
        
        54
    - statements
      219.1 days
      - CMakeLists.txt
        1.09 years
        
        341
      - e-fail-locvar-ctint-codegen.g0
        2.57 years
        
        349
      - e-fail-locvar-ctint-codegen.txt
        219.1 days
        
        148
      - e-fail-locvar-init-mismatch.g0
        4.37 years
        
        109
      - e-fail-locvar-init-mismatch.txt
        264.2 days
        
        251
      - e-if.g0
        3.01 years
        
        445
      - e-locvar.g0
        3.01 years
        
        1,193
      - e-using-2.g0
        2.80 years
        
        438
      - e-using.g0
        3.01 years
        
        121
      - e-while.g0
        3.01 years
        
        125
    - struct
      169.5 days
      - c-fail-struct-member-name-collision.g0
        176.4 days
        
        384
      - c-fail-struct-member-name-collision.txt
        169.5 days
        
        484
      - CMakeLists.txt
        169.5 days
        
        457
      - e-struct-default-init-2.cir
        184.9 days
        
        730
      - e-struct-default-init-2.g0
        169.5 days
        
        193
      - e-struct-default-init-3.g0
        184.9 days
        
        276
      - e-struct-default-init-3.ll
        184.9 days
        
        924
      - e-struct-default-init-4.g0
        184.9 days
        
        293
      - e-struct-default-init-4.ll
        184.9 days
        
        1,019
      - e-struct-default-init-5.g0
        169.5 days
        
        384
      - e-struct-default-init-5.ll
        176.4 days
        
        2,214
      - e-struct-default-init.cir
        184.9 days
        
        725
      - e-struct-default-init.g0
        184.9 days
        
        170
      - e-struct-dot-operator-2.g0
        169.5 days
        
        428
      - e-struct-dot-operator-2.ll
        169.5 days
        
        2,457
      - e-struct-dot-operator.cir
        169.5 days
        
        1,278
      - e-struct-dot-operator.g0
        169.5 days
        
        334
    - syntax
      184.9 days
      - c-fail-bad-strlit.g0
        3.54 years
        
        559
      - c-fail-bad-strlit.txt
        3.01 years
        
        1,631
      - CMakeLists.txt
        184.9 days
        
        223
      - e-fail-illformed-file.g0
        5.08 years
        
        2
      - e-fail-illformed-file.txt
        3.01 years
        
        90
      - e-fail-missing-closing-paren.g0
        3.01 years
        
        67
      - e-fail-missing-closing-paren.txt
        3.01 years
        
        113
      - e-fail-unknown-identifier.g0
        184.9 days
        
        5
      - e-fail-unknown-identifier.txt
        184.9 days
        
        109
    - tuple
      219.1 days
      - ce-tuple.g0
        285.1 days
        
        1,710
      - ce-tuple.txt
        1.63 years
        
        119
      - CMakeLists.txt
        1.09 years
        
        191
      - e-tuple-init-assign-2.cir
        219.1 days
        
        642
      - e-tuple-init-assign-2.g0
        1.12 years
        
        145
      - e-tuple-init-assign.cir
        219.1 days
        
        425
      - e-tuple-init-assign.g0
        1.12 years
        
        146
      - e-tuple.g0
        285.1 days
        
        1,338
    - verification
      219.1 days
      - c-fail-test-1.g0
        2.81 years
        
        271
      - c-fail-test-1.txt
        2.81 years
        
        132
      - c-fail-test-2.g0
        4.70 years
        
        406
      - c-fail-test-2.txt
        3.01 years
        
        254
      - c-fail-test-3.g0
        4.70 years
        
        464
      - c-fail-test-3.txt
        3.01 years
        
        268
      - c-fail-test-4.g0
        4.70 years
        
        480
      - c-fail-test-4.txt
        3.01 years
        
        251
      - c-fail-test-5.g0
        2.81 years
        
        339
      - c-fail-test-5.txt
        2.81 years
        
        259
      - c-fail-test-6.g0
        2.81 years
        
        277
      - c-fail-test-6.txt
        2.81 years
        
        331
      - c-fail-test-7.g0
        2.81 years
        
        334
      - c-fail-test-7.txt
        2.25 years
        
        277
      - c-fail-test-8.g0
        4.60 years
        
        231
      - c-fail-test-8.txt
        2.94 years
        
        1,914
      - c-fail-test-9.g0
        2.81 years
        
        193
      - c-fail-test-9.txt
        2.81 years
        
        140
      - c-fail-test-10.g0
        2.81 years
        
        702
      - c-fail-test-10.txt
        2.81 years
        
        383
      - c-fail-test-11.g0
        2.81 years
        
        39
      - c-fail-test-11.txt
        2.81 years
        
        273
      - c-fail-test-12.g0
        2.81 years
        
        29
      - c-fail-test-12.txt
        2.81 years
        
        365
      - c-fail-test-13.g0
        2.81 years
        
        113
      - c-fail-test-13.txt
        2.81 years
        
        312
      - c-fail-test-14.g0
        2.81 years
        
        155
      - c-fail-test-14.txt
        2.81 years
        
        506
      - c-test-1.g0
        2.81 years
        
        111
      - c-test-2.g0
        2.81 years
        
        162
      - c-test-3.g0
        4.70 years
        
        201
      - c-test-4.g0
        4.70 years
        
        320
      - c-test-5.g0
        2.81 years
        
        177
      - c-test-6.g0
        2.81 years
        
        253
      - c-test-7.g0
        2.81 years
        
        288
      - c-test-8.g0
        2.81 years
        
        189
      - c-test-9.g0
        2.81 years
        
        39
      - c-test-10.g0
        2.81 years
        
        84
      - CMakeLists.txt
        1.09 years
        
        1,368
      - conditions
        1.09 years
        
        c-fail-bad-condition-1.g0
        3.53 years
        
        90
        
        c-fail-bad-condition-1.txt
        3.01 years
        
        296
        
        c-fail-bad-condition-2.g0
        3.53 years
        
        91
        
        c-fail-bad-condition-2.txt
        2.81 years
        
        317
        
        c-fail-bad-condition-3.g0
        2.55 years
        
        25
        
        c-fail-bad-condition-3.txt
        2.51 years
        
        191
        
        c-fail-unsat-2.g0
        2.81 years
        
        52
        
        c-fail-unsat-2.txt
        2.81 years
        
        371
        
        c-fail-unsat-3.g0
        2.81 years
        
        22
        
        c-fail-unsat-3.txt
        2.81 years
        
        313
        
        c-fail-unsat.g0
        3.53 years
        
        101
        
        c-fail-unsat.txt
        2.81 years
        
        948
        
        CMakeLists.txt
        1.09 years
        
        388
      - e-parse-forall.cir
        219.1 days
        
        1,334
      - e-parse-forall.g0
        1.12 years
        
        473
      - ghostfuncs
        1.09 years
        
        c-fail-test-1.g0
        2.55 years
        
        417
        
        c-fail-test-1.txt
        2.55 years
        
        188
        
        c-fail-test-2.g0
        2.51 years
        
        319
        
        c-fail-test-2.txt
        2.51 years
        
        155
        
        c-fail-test-3.g0
        2.50 years
        
        565
        
        c-fail-test-3.txt
        2.50 years
        
        247
        
        c-fail-test-4.g0
        2.35 years
        
        308
        
        c-fail-test-4.txt
        2.35 years
        
        163
        
        c-fail-test-5.g0
        2.35 years
        
        251
        
        c-fail-test-5.txt
        2.35 years
        
        159
        
        c-fail-test-6.g0
        2.35 years
        
        310
        
        c-fail-test-6.txt
        2.35 years
        
        163
        
        c-test-1.g0
        2.55 years
        
        415
        
        c-test-2.g0
        2.51 years
        
        317
        
        c-test-3.g0
        2.50 years
        
        488
        
        c-test-4.g0
        2.35 years
        
        354
        
        CMakeLists.txt
        1.09 years
        
        467
      - loops
        1.09 years
        
        c-fail-test-1.g0
        2.81 years
        
        481
        
        c-fail-test-1.txt
        2.81 years
        
        226
        
        c-fail-test-2.g0
        2.81 years
        
        560
        
        c-fail-test-2.txt
        2.81 years
        
        258
        
        c-test-1.g0
        2.81 years
        
        408
        
        c-test-2.g0
        2.81 years
        
        560
        
        CMakeLists.txt
        1.09 years
        
        167
      - misc
        285.1 days
        
        c-fail-mandelbrot-bad-1.g0
        285.1 days
        
        1,964
        
        c-fail-mandelbrot-bad-1.txt
        1.61 years
        
        530
        
        c-fail-mandelbrot-bad-2.g0
        285.1 days
        
        1,962
        
        c-fail-mandelbrot-bad-2.txt
        1.61 years
        
        565
        
        c-fail-mandelbrot-bad-3.g0
        285.1 days
        
        1,969
        
        c-fail-mandelbrot-bad-3.txt
        285.1 days
        
        440
        
        c-fail-mandelbrot-bad-4.g0
        285.1 days
        
        1,962
        
        c-fail-mandelbrot-bad-4.txt
        285.1 days
        
        421
        
        CMakeLists.txt
        1.09 years
        
        204
      - z3gen
        219.1 days
        
        CMakeLists.txt
        312.0 days
        
        831
        
        e-z3gen-test-1.g0
        2.81 years
        
        143
        
        e-z3gen-test-1.txt
        2.21 years
        
        657
        
        e-z3gen-test-2.g0
        2.81 years
        
        194
        
        e-z3gen-test-2.txt
        1.18 years
        
        1,350
        
        e-z3gen-test-3.g0
        4.70 years
        
        233
        
        e-z3gen-test-3.txt
        285.1 days
        
        1,198
        
        e-z3gen-test-4.g0
        4.70 years
        
        352
        
        e-z3gen-test-4.txt
        285.1 days
        
        1,488
        
        e-z3gen-test-5.g0
        2.81 years
        
        221
        
        e-z3gen-test-5.txt
        1.18 years
        
        1,278
        
        e-z3gen-test-6.g0
        2.51 years
        
        260
        
        e-z3gen-test-6.txt
        2.21 years
        
        547
        
        e-z3gen-test-bitwise.g0
        4.79 years
        
        443
        
        e-z3gen-test-bitwise.txt
        1.18 years
        
        2,458
        
        e-z3gen-test-forall.g0
        1.12 years
        
        302
        
        e-z3gen-test-forall.txt
        1.12 years
        
        956
        
        e-z3gen-test-ghostfunc.g0
        2.55 years
        
        447
        
        e-z3gen-test-ghostfunc.txt
        219.1 days
        
        13,997
        
        e-z3gen-test-inline.g0
        312.0 days
        
        249
        
        e-z3gen-test-inline.txt
        312.0 days
        
        684
        
        e-z3gen-test-logic-and.g0
        4.79 years
        
        260
        
        e-z3gen-test-logic-and.txt
        290.1 days
        
        517
        
        e-z3gen-test-logic-or.g0
        4.79 years
        
        259
        
        e-z3gen-test-logic-or.txt
        290.1 days
        
        516
  - g1
    1.09 years
    - CMakeLists.txt
      1.09 years
      
      90
    - diagnostics
      1.09 years
      - CMakeLists.txt
        1.09 years
        
        62
      - fail-test-unexpected-type.g1
        1.53 years
        
        5
      - fail-test-unexpected-type.txt
        1.53 years
        
        109
    - misc
      1.09 years
      - CMakeLists.txt
        1.09 years
        
        67
      - test-intrinsic-forward-predicates.g1
        1.47 years
        
        105
    - verification
      1.09 years
      - CMakeLists.txt
        1.09 years
        
        30
      - reference
        1.09 years
        
        CMakeLists.txt
        1.09 years
        
        380
        
        fail-test-constref-predicates.g1
        2.81 years
        
        129
        
        fail-test-constref-predicates.txt
        2.81 years
        
        494
        
        fail-test-mutref-predicates-2.g1
        2.81 years
        
        359
        
        fail-test-mutref-predicates-2.txt
        2.81 years
        
        485
        
        fail-test-mutref-predicates.g1
        2.81 years
        
        88
        
        fail-test-mutref-predicates.txt
        2.81 years
        
        485
        
        test-constref-predicates.g1
        2.81 years
        
        151
        
        test-mutref-predicates.g1
        2.81 years
        
        92
  - runtest_cmp.cmake
    360.1 days
    
    523
  - runtest_compile_cmp.cmake
    1.09 years
    
    641
  - runtest_err.cmake
    1.09 years
    
    534
  - runtest_stdout_cmp.cmake
    1.09 years
    
    535
- tools
  2.0 days
  - install_vscodeext.ps1
    2.0 days
    
    116
  - vscode-extension
    284.0 days
    - CHANGELOG.md
      4.98 years
      
      238
    - language-configuration.json
      4.98 years
      
      829
    - package.json
      3.01 years
      
      859
    - README.md
      4.98 years
      
      2,057
    - syntaxes
      284.0 days
      - goose.tmLanguage.json
        284.0 days
        
        4,254
    - vsc-extension-quickstart.md
      4.98 years
      
      1,588
- www
  3.01 years
  - devibeans.min.css
    3.01 years
    
    1,080
  - highlight.js
    3.01 years
    
    649
  - highlight.min.js
    3.01 years
    
    47,425

Goose Top-level Files of tip

Files in the latest check-in sorted by filename