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-04-09 22:55:56.

Goose
2024-04-09 22:55:56
- .editorconfig
  4.50 years
- .fossil-settings
  3.80 years
  - ignore-glob
    3.80 years
- .vscode
  2.04 years
  - c_cpp_properties.json
    2.04 years
- bs
  current
  - builtins
    current
    - builders
      26.0 days
      - builders.h
        251.0 days
      - cb_interface.cpp
        228.2 days
      - codebuilder.h
        228.2 days
      - default_interface.cpp
        123.1 days
      - ghostcode_interface.cpp
        228.2 days
      - lifecycle_manager.h
        228.2 days
      - lifecycle_manager.inl
        105.3 days
      - props_interface.cpp
        228.2 days
      - struct_interface.cpp
        26.0 days
    - builtins.cpp
      current
    - builtins.h
      123.1 days
    - CMakeLists.txt
      26.0 days
    - exprhelpers.h
      1.81 years
    - helpers.cpp
      228.2 days
    - helpers.h
      228.2 days
    - operators
      10.6 days
      - apostrophe.cpp
        314.1 days
      - arith.cpp
        1.79 years
      - assignment.cpp
        122.1 days
      - comma.cpp
        60.2 days
      - comparison.cpp
        1.60 years
      - compoundass.cpp
        1.60 years
      - comptime.cpp
        126.2 days
      - contract.cpp
        251.0 days
      - dollar.cpp
        1.62 years
      - dot.cpp
        10.6 days
      - ellipsis.cpp
        1.72 years
      - ghost.cpp
        156.4 days
      - helpers.h
        228.2 days
      - inline.cpp
        156.4 days
      - intrinsic.cpp
        156.4 days
      - logic.cpp
        60.2 days
      - operators.h
        126.2 days
      - semicolon.cpp
        2.41 years
      - tupass.cpp
        122.1 days
      - tuple.h
        60.2 days
    - statements
      117.0 days
      - break.cpp
        2.41 years
      - continue.cpp
        2.41 years
      - ct-for.cpp
        1.10 years
      - ct-if.cpp
        1.61 years
      - forall.cpp
        240.2 days
      - if.cpp
        228.2 days
      - return.cpp
        228.2 days
      - statements.h
        251.0 days
      - using.cpp
        117.0 days
      - while.cpp
        228.2 days
    - types
      current
      - basic.cpp
        26.0 days
      - basic.h
        26.0 days
      - constrainedfunc
        1.04 years
        
        constrainedfunc.cpp
        2.57 years
        
        constrainedfunc.h
        3.28 years
        
        invoke.cpp
        1.11 years
        
        typecheck.cpp
        1.04 years
      - convert.cpp
        1.04 years
      - decl.cpp
        122.1 days
      - decl.h
        122.1 days
      - destroy.cpp
        3.28 years
      - drop.cpp
        26.0 days
      - func
        current
        
        bfunc.cpp
        60.2 days
        
        bfunc.h
        60.2 days
        
        bfunc.inl
        60.2 days
        
        bintrinsic.cpp
        60.2 days
        
        bintrinsic.h
        2.40 years
        
        bintrinsic.inl
        60.2 days
        
        build.cpp
        60.2 days
        
        build.h
        98.0 days
        
        compilation
        current
        
        common.cpp
        98.0 days
        
        common.h
        232.2 days
        
        compilation.h
        156.4 days
        
        inline.cpp
        156.4 days
        
        intrinsic.cpp
        current
        
        regular.cpp
        current
        
        compile.cpp
        current
        
        func.cpp
        current
        
        func.h
        60.2 days
        
        func.inl
        156.4 days
        
        functype.cpp
        current
        
        functype.h
        60.2 days
        
        invocation
        current
        
        beagerfunc.cpp
        60.2 days
        
        bfunc.cpp
        226.0 days
        
        bintrinsic.cpp
        1.88 years
        
        common.cpp
        current
        
        common.h
        126.2 days
        
        comptime.cpp
        60.2 days
        
        ghostfunc.cpp
        60.2 days
        
        inline.cpp
        60.2 days
        
        intrinsic.cpp
        current
        
        invocation.h
        126.2 days
        
        regular.cpp
        60.2 days
        
        lower.cpp
        current
        
        typecheck.cpp
        1.04 years
        
        wrapped.cpp
        1.04 years
        
        wrapped.h
        1.04 years
      - ghostcode
        228.2 days
        
        drop.cpp
        1.84 years
        
        ghostcode.h
        228.2 days
      - infer.cpp
        current
      - init.cpp
        156.4 days
      - localvar
        60.2 days
        
        drop.cpp
        2.07 years
        
        invoke.cpp
        1.81 years
        
        localvar.cpp
        60.2 days
        
        localvar.h
        122.1 days
        
        typecheck.cpp
        1.04 years
      - lower.cpp
        10.6 days
      - overloadset
        17.4 days
        
        helpers.cpp
        1.10 years
        
        helpers.h
        1.10 years
        
        invoke.cpp
        17.4 days
        
        overloadset.cpp
        2.58 years
        
        overloadset.h
        2.58 years
        
        typecheck.cpp
        1.04 years
      - param.h
        1.26 years
      - predicates
        1.04 years
        
        predicates.cpp
        2.34 years
        
        predicates.h
        2.39 years
        
        typecheck.cpp
        1.04 years
      - pretty.cpp
        60.2 days
      - propositions
        current
        
        drop.cpp
        2.07 years
        
        propositions.cpp
        current
        
        propositions.h
        251.0 days
        
        propositions.inl
        2.11 years
      - reference
        26.0 days
        
        init.cpp
        156.4 days
        
        lower.cpp
        60.2 days
        
        parse.cpp
        2.37 years
        
        reference.cpp
        314.1 days
        
        reference.h
        26.0 days
        
        typecheck.cpp
        60.2 days
      - runtime
        current
        
        array.cpp
        current
        
        array.h
        1.13 years
        
        basic.cpp
        current
        
        basic.h
        1.13 years
        
        init.cpp
        122.1 days
        
        pointer.cpp
        current
        
        pointer.h
        1.13 years
        
        runtime.cpp
        current
        
        runtime.h
        60.2 days
        
        typecheck.cpp
        240.2 days
      - struct
        10.6 days
        
        builder.cpp
        10.6 days
        
        builder.h
        17.4 days
        
        builder.inl
        26.0 days
        
        init.cpp
        26.0 days
        
        lower.cpp
        10.6 days
        
        parse.cpp
        17.4 days
        
        struct.h
        26.0 days
        
        structtype.cpp
        26.0 days
        
        structtype.h
        26.0 days
      - template
        current
        
        build.cpp
        1.60 years
        
        build.h
        2.14 years
        
        instantiate.cpp
        1.11 years
        
        invoke.cpp
        1.11 years
        
        pretty.cpp
        1.62 years
        
        rules
        current
        
        decl.cpp
        1.60 years
        
        rules.h
        1.41 years
        
        tdecl.cpp
        1.60 years
        
        tfunctype.cpp
        1.60 years
        
        tnameddecl.cpp
        1.60 years
        
        tpack.cpp
        1.41 years
        
        tuple.cpp
        1.26 years
        
        tvar.cpp
        current
        
        tvectype.cpp
        1.26 years
        
        value.cpp
        1.60 years
        
        tc-tdecl.cpp
        1.04 years
        
        tdecl.cpp
        1.62 years
        
        tdecl.h
        1.62 years
        
        texpr.cpp
        1.41 years
        
        texpr.h
        1.41 years
        
        tfunc.cpp
        2.19 years
        
        tfunc.h
        2.14 years
        
        tfunctype.cpp
        1.77 years
        
        tfunctype.h
        1.77 years
        
        tnameddecl.cpp
        122.1 days
        
        tnameddecl.h
        122.1 days
        
        tpack.cpp
        1.72 years
        
        tpack.h
        1.72 years
        
        ttvar.cpp
        1.62 years
        
        ttvar.h
        1.62 years
        
        tvar.cpp
        1.41 years
        
        tvar.h
        1.41 years
        
        tvec.cpp
        3.25 years
        
        tvec.h
        2.57 years
        
        typecheck.cpp
        1.04 years
      - trivialchecks.cpp
        1.19 years
      - tuple
        current
        
        destroy.cpp
        105.3 days
        
        drop.cpp
        105.3 days
        
        init.cpp
        60.2 days
        
        lower.cpp
        60.2 days
        
        tuple.cpp
        1.10 years
        
        tuple.h
        1.10 years
        
        tuple.inl
        60.2 days
        
        tupletype.cpp
        current
        
        tupletype.h
        60.2 days
        
        typecheck.cpp
        60.2 days
      - types.cpp
        current
      - types.h
        101.0 days
      - wrapper.h
        60.2 days
  - cir
    current
    - allocvar.h
      60.2 days
    - arith.h
      1.81 years
    - ass.h
      1.79 years
    - basicblock.h
      153.0 days
    - basicblock.inl
      1.88 years
    - binaryop.h
      1.79 years
    - bitwise.h
      1.81 years
    - branch.h
      1.25 years
    - break.h
      1.25 years
    - call.h
      156.4 days
    - cfg.cpp
      153.0 days
    - cfg.h
      153.0 days
    - cir.h
      156.4 days
    - CMakeLists.txt
      156.4 days
    - comparison.h
      1.81 years
    - constant.h
      60.2 days
    - continue.h
      1.25 years
    - createtemporary.h
      279.0 days
    - dominators.cpp
      3.28 years
    - forall.h
      251.0 days
    - func.cpp
      201.2 days
    - func.h
      98.0 days
    - gettemporary.h
      1.26 years
    - ghostcall.h
      201.2 days
    - hash.cpp
      60.2 days
    - hash.h
      60.2 days
    - helpers.cpp
      60.2 days
    - helpers.h
      60.2 days
    - inliner.cpp
      60.2 days
    - inliner.h
      156.4 days
    - instruction.cpp
      60.2 days
    - instruction.h
      156.4 days
    - load.h
      60.2 days
    - logic.h
      278.2 days
    - loopaddrs.cpp
      60.2 days
    - loops.cpp
      1.77 years
    - not.h
      1.79 years
    - phi.h
      60.2 days
    - phoverride.h
      1.79 years
    - placeholder.h
      60.2 days
    - reindexvars.cpp
      60.2 days
    - ret.h
      1.25 years
    - select.h
      1.79 years
    - storagelocation.cpp
      284.0 days
    - storagelocation.h
      292.0 days
    - store.h
      60.2 days
    - stringid.h
      251.0 days
    - tempaddr.h
      1.26 years
    - terminator.cpp
      1.25 years
    - terminator.h
      1.25 years
    - tests
      current
      - CMakeLists.txt
        current
      - dom-1.cpp
        60.2 days
      - dom-2.cpp
        60.2 days
    - type.h
      251.0 days
    - varaddr.h
      1.26 years
    - verification.h
      278.2 days
    - verifinstrfilter.cpp
      226.0 days
    - verifinstrfilter.h
      226.0 days
  - CMakeLists.txt
    current
  - codegen
    current
    - address.cpp
      10.6 days
    - address.h
      1.13 years
    - arithops.cpp
      1.13 years
    - basicblock.cpp
      153.0 days
    - CMakeLists.txt
      current
    - codegen.cpp
      60.2 days
    - codegen.h
      current
    - compareops.cpp
      1.13 years
    - func.cpp
      60.2 days
    - instructions.cpp
      60.2 days
    - llvmwrappers.cpp
      1.13 years
    - llvmwrappers.h
      1.13 years
    - logicops.cpp
      1.13 years
    - mangle.cpp
      126.2 days
    - module.cpp
      1.13 years
    - module.h
      153.0 days
    - module.inl
      131.2 days
    - stack.h
      1.13 years
    - value.cpp
      60.2 days
  - compile
    current
    - CMakeLists.txt
      240.2 days
    - compiler.cpp
      current
    - compiler.h
      3.28 years
  - diagnostics
    131.2 days
    - CMakeLists.txt
      201.2 days
    - diagnostics.h
      201.2 days
    - diagnosticscontext.h
      1.10 years
    - diagnosticsmanager.cpp
      1.10 years
    - diagnosticsmanager.h
      131.2 days
    - renderer.cpp
      235.2 days
    - renderer.h
      2.25 years
    - renderer.inl
      2.25 years
    - verbositycontext.h
      4.55 years
  - eir
    60.2 days
    - anyterm.h
      2.56 years
    - bridge.h
      3.25 years
    - CMakeLists.txt
      240.2 days
    - compare.cpp
      1.70 years
    - decompose.h
      3.28 years
    - decompose.inl
      2.57 years
    - eir.h
      201.2 days
    - enumerate.cpp
      3.28 years
    - enumerate.h
      3.28 years
    - enumerate.inl
      1.41 years
    - graphviz.cpp
      3.28 years
    - graphviz.h
      3.28 years
    - graphviz.inl
      1.70 years
    - hash.cpp
      1.25 years
    - hash.h
      2.46 years
    - helpers.cpp
      1.60 years
    - helpers.h
      1.60 years
    - helpers.inl
      1.04 years
    - match.cpp
      2.55 years
    - match.h
      60.2 days
    - match.inl
      1.11 years
    - merge.cpp
      3.28 years
    - merge.h
      3.28 years
    - merge.inl
      1.70 years
    - pretty.cpp
      3.18 years
    - pretty.h
      1.10 years
    - term.h
      1.70 years
    - tests
      60.2 days
      - CMakeLists.txt
        60.2 days
      - match-terms-trie.cpp
        251.0 days
      - merge.cpp
        251.0 days
    - tostring.cpp
      1.25 years
    - tostring.h
      2.54 years
    - trie.h
      1.70 years
    - value.cpp
      201.2 days
    - value.h
      156.4 days
    - vecgenerator.cpp
      1.41 years
    - vecgenerator.h
      1.76 years
    - vecoflength.h
      2.56 years
    - vector.h
      1.04 years
  - execute
    60.2 days
    - binaryops.cpp
      1.88 years
    - binaryops.inl
      1.87 years
    - CMakeLists.txt
      240.2 days
    - eval.cpp
      251.0 days
    - execute.h
      3.27 years
    - termaddr.cpp
      2.41 years
    - termaddr.h
      3.27 years
    - vm.cpp
      60.2 days
    - vm.h
      156.4 days
  - g0api
    current
    - cgapi
      240.2 days
      - cgapi.h
        2.57 years
      - func.cpp
        2.54 years
      - linker.cpp
        240.2 days
      - mangle.cpp
        2.56 years
      - module.cpp
        2.54 years
      - module.h
        2.52 years
    - CMakeLists.txt
      240.2 days
    - compiler.cpp
      current
    - extensibility
      60.2 days
      - cir.cpp
        225.1 days
      - context.cpp
        1.39 years
      - diagnostics.cpp
        1.04 years
      - eir.cpp
        235.2 days
      - env.cpp
        235.2 days
      - extensibility.h
        1.39 years
      - misc.cpp
        235.2 days
      - parser.cpp
        1.39 years
      - termref.h
        2.37 years
      - value.cpp
        60.2 days
    - g0api.h
      2.38 years
    - string.cpp
      1.19 years
    - types.cpp
      225.1 days
    - types.h
      225.1 days
  - goose-config.h.in
    240.2 days
  - goose.cpp
    2.55 years
  - lex
    240.2 days
    - CMakeLists.txt
      240.2 days
    - comment.cpp
      4.55 years
    - intlit.cpp
      4.50 years
    - lex.h
      3.28 years
    - lexer.cpp
      1.77 years
    - lexer.h
      2.37 years
    - lookahead.cpp
      2.37 years
    - strlit.cpp
      4.24 years
    - tokenprovider.h
      2.37 years
    - vectoradapter.h
      2.37 years
    - vectoradapter.inl
      2.37 years
  - parse
    current
    - blocks.cpp
      2.14 years
    - braceblock.cpp
      1.10 years
    - bracketblock.cpp
      240.2 days
    - CMakeLists.txt
      240.2 days
    - func.cpp
      2.14 years
    - funcdecl.cpp
      2.14 years
    - funcdecl.h
      2.14 years
    - functype.cpp
      2.37 years
    - overload.cpp
      2.07 years
    - parenblock.cpp
      1.40 years
    - parse.h
      current
    - parser.cpp
      26.0 days
    - parser.h
      240.2 days
    - parser.inl
      131.2 days
    - resolver.cpp
      251.0 days
    - resolver.h
      1.40 years
    - rule-helpers.cpp
      3.27 years
    - rule-helpers.h
      1.80 years
    - rule-helpers.inl
      1.81 years
    - rule.h
      2.56 years
    - tfunc.cpp
      2.14 years
    - tfuncdecl.cpp
      2.14 years
    - tfuncdecl.h
      2.14 years
  - precedence.h
    340.2 days
  - sema
    10.6 days
    - CMakeLists.txt
      240.2 days
    - context.cpp
      60.2 days
    - context.h
      60.2 days
    - ctmm.h
      4.15 years
    - env.cpp
      156.4 days
    - env.h
      10.6 days
    - hole.cpp
      1.70 years
    - hole.h
      1.70 years
    - inv-ruleset.cpp
      4.55 years
    - inv-ruleset.h
      2.40 years
    - invocation.cpp
      2.51 years
    - invocation.h
      4.55 years
    - lower.cpp
      10.6 days
    - overloadset.cpp
      17.4 days
    - overloadset.h
      17.4 days
    - postprocess.cpp
      1.60 years
    - postprocess.h
      3.78 years
    - scope.cpp
      1.40 years
    - scope.h
      314.1 days
    - sema.h
      60.2 days
    - substitute.cpp
      1.60 years
    - substitute.h
      3.78 years
    - tc-basicrules.cpp
      1.04 years
    - tc-basicrules.h
      2.62 years
    - tc-context.cpp
      1.62 years
    - tc-context.h
      1.62 years
    - tc-postproc.cpp
      1.04 years
    - tc-ruleset.cpp
      1.04 years
    - tc-ruleset.h
      1.04 years
    - tc-score.h
      1.10 years
    - tc-vecgenerator.h
      1.41 years
    - tctrie-typecheck.inl
      1.41 years
    - tctrie.h
      17.4 days
    - tctrie.inl
      17.4 days
    - template.cpp
      1.41 years
    - template.h
      1.41 years
    - tests
      60.2 days
      - CMakeLists.txt
        60.2 days
      - tctrie-merge.cpp
        251.0 days
      - tctrie-typecheck.cpp
        251.0 days
      - unify-holes.cpp
        251.0 days
    - tpl-ruleset.cpp
      1.62 years
    - tpl-ruleset.h
      1.60 years
    - typecheck.cpp
      1.26 years
    - typecheck.h
      2.62 years
    - uni-basicrules.cpp
      1.04 years
    - uni-basicrules.h
      3.78 years
    - uni-holes.cpp
      1.04 years
    - uni-holes.h
      3.78 years
    - uni-quote.cpp
      1.04 years
    - uni-quote.h
      3.78 years
  - util
    60.2 days
    - bigint.cpp
      2.38 years
    - bigint.h
      126.2 days
    - CMakeLists.txt
      187.9 days
    - depgraph.cpp
      156.4 days
    - depgraph.h
      187.9 days
    - fixedint.h
      2.54 years
    - generator.h
      1.41 years
    - graphviz.cpp
      240.2 days
    - graphviz.h
      4.55 years
    - location.cpp
      201.2 days
    - location.h
      201.2 days
    - location.inl
      201.2 days
    - locationid.h
      201.2 days
    - profiling.h
      240.2 days
    - stringid.cpp
      2.53 years
    - stringid.h
      60.2 days
    - tests
      60.2 days
      - CMakeLists.txt
        60.2 days
      - generator.cpp
        251.0 days
    - util.cpp
      187.9 days
    - util.h
      187.9 days
  - verify
    26.0 days
    - basicblock.cpp
      131.2 days
    - builder.cpp
      229.0 days
    - builder.h
      131.2 days
    - call.cpp
      60.2 days
    - cfg.cpp
      1.81 years
    - CMakeLists.txt
      60.2 days
    - func.cpp
      60.2 days
    - func.h
      131.2 days
    - gfctracker.cpp
      1.78 years
    - gfctracker.h
      1.84 years
    - ghostfunc.cpp
      60.2 days
    - ghostfunc.h
      1.80 years
    - helpers.h
      60.2 days
    - helpers.inl
      60.2 days
    - instrseq.cpp
      131.2 days
    - loop.cpp
      131.2 days
    - phi.cpp
      60.2 days
    - propositions.cpp
      1.79 years
    - propositions.h
      2.38 years
    - remapper.cpp
      2.26 years
    - remapper.h
      2.26 years
    - stack.cpp
      314.1 days
    - stack.h
      156.4 days
    - storage.cpp
      60.2 days
    - storage.h
      314.1 days
    - terminator.cpp
      98.0 days
    - type.cpp
      26.0 days
    - type.h
      60.2 days
    - value.cpp
      60.2 days
    - value.h
      1.79 years
    - vartracker.cpp
      1.78 years
    - vartracker.h
      1.84 years
    - verify.cpp
      4.50 years
    - verify.h
      131.2 days
    - verifyviz.cpp
      2.25 years
    - verifyviz.h
      2.33 years
- cmake
  26.0 days
  - common.cmake
    240.2 days
  - compiler_config.cmake
    240.2 days
  - FindLLD.cmake
    240.2 days
  - profiling.cmake
    240.2 days
  - testing.cmake
    26.0 days
- CMakeLists.txt
  current
- docs
  4.18 years
  - index.md
    4.18 years
  - metaprogramming.md
    4.18 years
  - overloading.md
    4.18 years
  - syntax.md
    4.18 years
  - templates.md
    4.50 years
  - tuples.md
    4.18 years
  - types.md
    4.18 years
  - verification.md
    4.18 years
- lib
  125.1 days
  - CMakeLists.txt
    240.2 days
  - compile.g0
    131.2 days
  - goose.g0
    2.56 years
  - goose_test.g0
    1.13 years
  - prelude
    125.1 days
    - args.g0
      1.04 years
    - CMakeLists.txt
      240.2 days
    - diagnostics.g0
      1.04 years
    - prelude.g0
      1.04 years
    - ref_verification.g0
      279.0 days
    - setup_g1.g0
      125.1 days
    - tuple_foreach.g0
      1.04 years
    - util.g0
      278.0 days
  - targets
    240.2 days
    - CMakeLists.txt
      240.2 days
    - darwin.g0
      240.2 days
    - linux.g0
      240.2 days
- LICENSE
  1.19 years
- samples
  126.2 days
  - CMakeLists.txt
    240.2 days
  - helloworld.g1
    4.66 years
  - mandelbrot.g1
    126.2 days
- tests
  10.6 days
  - CMakeLists.txt
    240.2 days
  - g0
    10.6 days
    - CMakeLists.txt
      26.0 days
    - codegen
      60.2 days
      - argpack.g0
        126.2 days
      - argpack.ll
        60.2 days
      - arithops.g0
        1.87 years
      - arithops.ll
        1.13 years
      - bitwiseops.g0
        1.87 years
      - bitwiseops.ll
        60.2 days
      - CMakeLists.txt
        131.2 days
      - comparisonops.g0
        1.87 years
      - comparisonops.ll
        1.13 years
      - compoundass.g0
        2.57 years
      - compoundass.ll
        1.13 years
      - func.g0
        2.57 years
      - func.ll
        60.2 days
      - if.g0
        2.57 years
      - if.ll
        60.2 days
      - inline-2.g0
        131.2 days
      - inline-2.ll
        131.2 days
      - inline.g0
        153.0 days
      - inline.ll
        60.2 days
      - locvar.g0
        2.57 years
      - locvar.ll
        1.13 years
      - logicops.g0
        2.57 years
      - logicops.ll
        60.2 days
      - template.g0
        2.37 years
      - template.ll
        60.2 days
      - while.g0
        2.57 years
      - while.ll
        1.13 years
    - function
      60.2 days
      - c-fail-calling-compiletime-func.g0
        4.64 years
      - c-fail-calling-compiletime-func.txt
        1.87 years
      - c-fail-func-type-mismatch.g0
        4.64 years
      - c-fail-func-type-mismatch.txt
        2.57 years
      - CMakeLists.txt
        156.4 days
      - e-fail-template-instantiation-context.g0
        2.57 years
      - e-fail-template-instantiation-context.txt
        2.57 years
      - e-fail-template-type-mismatch.g0
        2.57 years
      - e-fail-template-type-mismatch.txt
        2.57 years
      - e-func.g0
        2.57 years
      - e-higher-func.g0
        2.57 years
      - e-higher-poly.g0
        2.57 years
      - e-higher-template.g0
        2.57 years
      - e-overloading.g0
        2.57 years
      - e-template-tuple-vararg-2.g0
        1.26 years
      - e-template-tuple-vararg.g0
        1.41 years
      - e-template-vararg-2.g0
        1.26 years
      - e-template-vararg.g0
        1.60 years
      - e-templates.g0
        1.11 years
      - inline
        60.2 days
        
        CMakeLists.txt
        156.4 days
        
        e-fail-func-inline-1.g0
        156.4 days
        
        e-fail-func-inline-1.txt
        156.4 days
        
        e-fail-func-inline-2.g0
        156.4 days
        
        e-fail-func-inline-2.txt
        156.4 days
        
        e-func-inline-1.cir
        60.2 days
        
        e-func-inline-1.g0
        131.2 days
        
        e-func-inline-2.g0
        156.4 days
        
        e-func-inline-3.cir
        60.2 days
        
        e-func-inline-3.g0
        131.2 days
        
        e-func-inline-4.g0
        156.4 days
        
        e-func-inline-5.g0
        156.4 days
        
        e-func-inline-6.cir
        60.2 days
        
        e-func-inline-6.g0
        131.2 days
        
        e-func-inline-7.g0
        156.4 days
        
        e-func-inline-8.g0
        156.4 days
        
        e-func-inline-9.g0
        156.4 days
    - general
      126.2 days
      - c-fail-outofrange-int-constant.g0
        3.07 years
      - c-fail-outofrange-int-constant.txt
        2.57 years
      - ce-mandelbrot.g0
        126.2 days
      - ce-mandelbrot.txt
        4.63 years
      - CMakeLists.txt
        240.2 days
    - helpers.g0
      3.79 years
    - operators
      240.2 days
      - CMakeLists.txt
        240.2 days
      - e-arithops.g0
        2.57 years
      - e-bitwiseops.g0
        2.57 years
      - e-comparisonops.g0
        2.57 years
      - e-compoundass.g0
        2.08 years
      - e-fail-type-mismatch.g0
        4.65 years
      - e-fail-type-mismatch.txt
        2.55 years
      - e-logicops.g0
        2.57 years
    - reference
      240.2 days
      - ce-reference.g0
        2.43 years
      - ce-reference.txt
        3.12 years
      - CMakeLists.txt
        240.2 days
    - statements
      60.2 days
      - CMakeLists.txt
        240.2 days
      - e-fail-locvar-ctint-codegen.g0
        2.14 years
      - e-fail-locvar-ctint-codegen.txt
        60.2 days
      - e-fail-locvar-init-mismatch.g0
        3.93 years
      - e-fail-locvar-init-mismatch.txt
        105.3 days
      - e-if.g0
        2.57 years
      - e-locvar.g0
        2.57 years
      - e-using-2.g0
        2.37 years
      - e-using.g0
        2.57 years
      - e-while.g0
        2.57 years
    - struct
      10.6 days
      - c-fail-struct-member-name-collision.g0
        17.4 days
      - c-fail-struct-member-name-collision.txt
        10.6 days
      - CMakeLists.txt
        10.6 days
      - e-struct-default-init-2.cir
        26.0 days
      - e-struct-default-init-2.g0
        10.6 days
      - e-struct-default-init-3.g0
        26.0 days
      - e-struct-default-init-3.ll
        26.0 days
      - e-struct-default-init-4.g0
        26.0 days
      - e-struct-default-init-4.ll
        26.0 days
      - e-struct-default-init-5.g0
        10.6 days
      - e-struct-default-init-5.ll
        17.4 days
      - e-struct-default-init.cir
        26.0 days
      - e-struct-default-init.g0
        26.0 days
      - e-struct-dot-operator-2.g0
        10.6 days
      - e-struct-dot-operator-2.ll
        10.6 days
      - e-struct-dot-operator.cir
        10.6 days
      - e-struct-dot-operator.g0
        10.6 days
    - syntax
      26.0 days
      - c-fail-bad-strlit.g0
        3.11 years
      - c-fail-bad-strlit.txt
        2.57 years
      - CMakeLists.txt
        26.0 days
      - e-fail-illformed-file.g0
        4.65 years
      - e-fail-illformed-file.txt
        2.57 years
      - e-fail-missing-closing-paren.g0
        2.57 years
      - e-fail-missing-closing-paren.txt
        2.57 years
      - e-fail-unknown-identifier.g0
        26.0 days
      - e-fail-unknown-identifier.txt
        26.0 days
    - tuple
      60.2 days
      - ce-tuple.g0
        126.2 days
      - ce-tuple.txt
        1.19 years
      - CMakeLists.txt
        240.2 days
      - e-tuple-init-assign-2.cir
        60.2 days
      - e-tuple-init-assign-2.g0
        251.0 days
      - e-tuple-init-assign.cir
        60.2 days
      - e-tuple-init-assign.g0
        251.0 days
      - e-tuple.g0
        126.2 days
    - verification
      60.2 days
      - c-fail-test-1.g0
        2.38 years
      - c-fail-test-1.txt
        2.38 years
      - c-fail-test-2.g0
        4.26 years
      - c-fail-test-2.txt
        2.57 years
      - c-fail-test-3.g0
        4.26 years
      - c-fail-test-3.txt
        2.57 years
      - c-fail-test-4.g0
        4.26 years
      - c-fail-test-4.txt
        2.57 years
      - c-fail-test-5.g0
        2.37 years
      - c-fail-test-5.txt
        2.37 years
      - c-fail-test-6.g0
        2.37 years
      - c-fail-test-6.txt
        2.37 years
      - c-fail-test-7.g0
        2.37 years
      - c-fail-test-7.txt
        1.81 years
      - c-fail-test-8.g0
        4.16 years
      - c-fail-test-8.txt
        2.51 years
      - c-fail-test-9.g0
        2.38 years
      - c-fail-test-9.txt
        2.38 years
      - c-fail-test-10.g0
        2.37 years
      - c-fail-test-10.txt
        2.37 years
      - c-fail-test-11.g0
        2.37 years
      - c-fail-test-11.txt
        2.37 years
      - c-fail-test-12.g0
        2.37 years
      - c-fail-test-12.txt
        2.37 years
      - c-fail-test-13.g0
        2.37 years
      - c-fail-test-13.txt
        2.38 years
      - c-fail-test-14.g0
        2.37 years
      - c-fail-test-14.txt
        2.38 years
      - c-test-1.g0
        2.38 years
      - c-test-2.g0
        2.38 years
      - c-test-3.g0
        4.26 years
      - c-test-4.g0
        4.26 years
      - c-test-5.g0
        2.37 years
      - c-test-6.g0
        2.37 years
      - c-test-7.g0
        2.37 years
      - c-test-8.g0
        2.38 years
      - c-test-9.g0
        2.37 years
      - c-test-10.g0
        2.37 years
      - CMakeLists.txt
        240.2 days
      - conditions
        240.2 days
        
        c-fail-bad-condition-1.g0
        3.10 years
        
        c-fail-bad-condition-1.txt
        2.57 years
        
        c-fail-bad-condition-2.g0
        3.10 years
        
        c-fail-bad-condition-2.txt
        2.37 years
        
        c-fail-bad-condition-3.g0
        2.11 years
        
        c-fail-bad-condition-3.txt
        2.07 years
        
        c-fail-unsat-2.g0
        2.37 years
        
        c-fail-unsat-2.txt
        2.37 years
        
        c-fail-unsat-3.g0
        2.37 years
        
        c-fail-unsat-3.txt
        2.37 years
        
        c-fail-unsat.g0
        3.10 years
        
        c-fail-unsat.txt
        2.38 years
        
        CMakeLists.txt
        240.2 days
      - e-parse-forall.cir
        60.2 days
      - e-parse-forall.g0
        251.0 days
      - ghostfuncs
        240.2 days
        
        c-fail-test-1.g0
        2.11 years
        
        c-fail-test-1.txt
        2.11 years
        
        c-fail-test-2.g0
        2.07 years
        
        c-fail-test-2.txt
        2.07 years
        
        c-fail-test-3.g0
        2.07 years
        
        c-fail-test-3.txt
        2.07 years
        
        c-fail-test-4.g0
        1.92 years
        
        c-fail-test-4.txt
        1.92 years
        
        c-fail-test-5.g0
        1.92 years
        
        c-fail-test-5.txt
        1.92 years
        
        c-fail-test-6.g0
        1.92 years
        
        c-fail-test-6.txt
        1.92 years
        
        c-test-1.g0
        2.11 years
        
        c-test-2.g0
        2.07 years
        
        c-test-3.g0
        2.07 years
        
        c-test-4.g0
        1.92 years
        
        CMakeLists.txt
        240.2 days
      - loops
        240.2 days
        
        c-fail-test-1.g0
        2.38 years
        
        c-fail-test-1.txt
        2.38 years
        
        c-fail-test-2.g0
        2.38 years
        
        c-fail-test-2.txt
        2.38 years
        
        c-test-1.g0
        2.38 years
        
        c-test-2.g0
        2.38 years
        
        CMakeLists.txt
        240.2 days
      - misc
        126.2 days
        
        c-fail-mandelbrot-bad-1.g0
        126.2 days
        
        c-fail-mandelbrot-bad-1.txt
        1.17 years
        
        c-fail-mandelbrot-bad-2.g0
        126.2 days
        
        c-fail-mandelbrot-bad-2.txt
        1.17 years
        
        c-fail-mandelbrot-bad-3.g0
        126.2 days
        
        c-fail-mandelbrot-bad-3.txt
        126.2 days
        
        c-fail-mandelbrot-bad-4.g0
        126.2 days
        
        c-fail-mandelbrot-bad-4.txt
        126.2 days
        
        CMakeLists.txt
        240.2 days
      - z3gen
        60.2 days
        
        CMakeLists.txt
        153.0 days
        
        e-z3gen-test-1.g0
        2.38 years
        
        e-z3gen-test-1.txt
        1.78 years
        
        e-z3gen-test-2.g0
        2.38 years
        
        e-z3gen-test-2.txt
        271.0 days
        
        e-z3gen-test-3.g0
        4.26 years
        
        e-z3gen-test-3.txt
        126.2 days
        
        e-z3gen-test-4.g0
        4.26 years
        
        e-z3gen-test-4.txt
        126.2 days
        
        e-z3gen-test-5.g0
        2.38 years
        
        e-z3gen-test-5.txt
        271.0 days
        
        e-z3gen-test-6.g0
        2.07 years
        
        e-z3gen-test-6.txt
        1.78 years
        
        e-z3gen-test-bitwise.g0
        4.35 years
        
        e-z3gen-test-bitwise.txt
        271.0 days
        
        e-z3gen-test-forall.g0
        251.0 days
        
        e-z3gen-test-forall.txt
        251.0 days
        
        e-z3gen-test-ghostfunc.g0
        2.11 years
        
        e-z3gen-test-ghostfunc.txt
        60.2 days
        
        e-z3gen-test-inline.g0
        153.0 days
        
        e-z3gen-test-inline.txt
        153.0 days
        
        e-z3gen-test-logic-and.g0
        4.36 years
        
        e-z3gen-test-logic-and.txt
        131.2 days
        
        e-z3gen-test-logic-or.g0
        4.36 years
        
        e-z3gen-test-logic-or.txt
        131.2 days
  - g1
    240.2 days
    - CMakeLists.txt
      240.2 days
    - diagnostics
      240.2 days
      - CMakeLists.txt
        240.2 days
      - fail-test-unexpected-type.g1
        1.10 years
      - fail-test-unexpected-type.txt
        1.10 years
    - misc
      240.2 days
      - CMakeLists.txt
        240.2 days
      - test-intrinsic-forward-predicates.g1
        1.04 years
    - verification
      240.2 days
      - CMakeLists.txt
        240.2 days
      - reference
        240.2 days
        
        CMakeLists.txt
        240.2 days
        
        fail-test-constref-predicates.g1
        2.37 years
        
        fail-test-constref-predicates.txt
        2.37 years
        
        fail-test-mutref-predicates-2.g1
        2.37 years
        
        fail-test-mutref-predicates-2.txt
        2.37 years
        
        fail-test-mutref-predicates.g1
        2.37 years
        
        fail-test-mutref-predicates.txt
        2.37 years
        
        test-constref-predicates.g1
        2.37 years
        
        test-mutref-predicates.g1
        2.37 years
  - runtest_cmp.cmake
    201.2 days
  - runtest_compile_cmp.cmake
    240.2 days
  - runtest_err.cmake
    240.2 days
  - runtest_stdout_cmp.cmake
    240.2 days
- tools
  125.1 days
  - vscode-extension
    125.1 days
    - CHANGELOG.md
      4.55 years
    - language-configuration.json
      4.55 years
    - package.json
      2.57 years
    - README.md
      4.55 years
    - syntaxes
      125.1 days
      - goose.tmLanguage.json
        125.1 days
    - vsc-extension-quickstart.md
      4.55 years
- www
  2.57 years
  - devibeans.min.css
    2.57 years
  - highlight.js
    2.57 years
  - highlight.min.js
    2.57 years

Goose Top-level Files of tip

Files in the latest check-in sorted by filename