Files in the latest check-in for branch trunk sorted by filename
File ages are expressed relative to the check-in time of 2024-03-30 08:58:48.
-
GooseLast ChangeSize
- .editorconfig4.47 years140
- .fossil-settings3.77 years
- ignore-glob3.77 years121
- .vscode2.01 years
- c_cpp_properties.json2.01 years461
- bscurrent
- builtinscurrent
- builders15.4 days
- builders.h240.5 days133
- cb_interface.cpp217.6 days5,031
- codebuilder.h217.6 days745
- default_interface.cpp112.5 days3,868
- ghostcode_interface.cpp217.6 days2,842
- lifecycle_manager.h217.6 days4,605
- lifecycle_manager.inl94.7 days4,146
- props_interface.cpp217.6 days2,367
- struct_interface.cpp15.4 days3,424
- builtins.cppcurrent3,358
- builtins.h112.5 days917
- CMakeLists.txt15.4 days3,900
- exprhelpers.h1.78 years4,071
- helpers.cpp217.6 days12,201
- helpers.h217.6 days4,976
- operatorscurrent
- apostrophe.cpp303.5 days2,345
- arith.cpp1.76 years7,883
- assignment.cpp111.6 days5,387
- comma.cpp49.6 days4,205
- comparison.cpp1.57 years5,456
- compoundass.cpp1.57 years4,643
- comptime.cpp115.6 days1,791
- contract.cpp240.5 days3,163
- dollar.cpp1.59 years5,869
- dot.cppcurrent5,473
- ellipsis.cpp1.69 years1,239
- ghost.cpp145.8 days1,777
- helpers.h217.6 days4,470
- inline.cpp145.8 days1,775
- intrinsic.cpp145.8 days1,799
- logic.cpp49.6 days18,721
- operators.h115.6 days1,468
- semicolon.cpp2.38 years760
- tupass.cpp111.5 days6,608
- tuple.h49.6 days2,671
- statements106.4 days
- break.cpp2.38 years1,350
- continue.cpp2.38 years1,375
- ct-for.cpp1.07 years3,758
- ct-if.cpp1.58 years5,044
- forall.cpp229.6 days3,962
- if.cpp217.6 days5,373
- return.cpp217.6 days3,440
- statements.h240.5 days821
- using.cpp106.4 days4,603
- while.cpp217.6 days5,630
- typescurrent
- basic.cpp15.4 days6,301
- basic.h15.4 days3,550
- constrainedfunc1.01 years
- constrainedfunc.cpp2.55 years1,430
- constrainedfunc.h3.25 years1,332
- invoke.cpp1.09 years1,549
- typecheck.cpp1.01 years4,113
- convert.cpp1.01 years1,107
- decl.cpp111.6 days2,682
- decl.h111.6 days2,025
- destroy.cpp3.25 years406
- drop.cpp15.4 days3,997
- func49.6 days
- bfunc.cpp49.6 days2,727
- bfunc.h49.6 days3,166
- bfunc.inl49.6 days4,884
- bintrinsic.cpp49.6 days869
- bintrinsic.h2.37 years1,134
- bintrinsic.inl49.6 days1,739
- build.cpp49.6 days7,709
- build.h87.4 days1,123
- compilation87.4 days
- common.cpp87.4 days3,831
- common.h221.6 days2,188
- compilation.h145.8 days349
- inline.cpp145.8 days2,955
- intrinsic.cpp190.6 days2,832
- regular.cpp115.6 days3,874
- compile.cpp115.6 days1,528
- func.cpp49.6 days5,323
- func.h49.6 days4,989
- func.inl145.8 days746
- functype.cpp49.6 days7,872
- functype.h49.6 days5,008
- invocation49.6 days
- beagerfunc.cpp49.6 days2,073
- bfunc.cpp215.4 days1,786
- bintrinsic.cpp1.85 years1,478
- common.cpp115.6 days2,704
- common.h115.6 days628
- comptime.cpp49.6 days2,725
- ghostfunc.cpp49.6 days2,437
- inline.cpp49.6 days7,457
- intrinsic.cpp49.6 days5,583
- invocation.h115.6 days1,953
- regular.cpp49.6 days3,430
- lower.cpp49.6 days975
- typecheck.cpp1.01 years5,013
- wrapped.cpp1.01 years3,398
- wrapped.h1.01 years490
- ghostcode217.6 days
- drop.cpp1.81 years1,546
- ghostcode.h217.6 days1,548
- infer.cpp110.4 days4,354
- init.cpp145.8 days2,420
- localvar49.6 days
- drop.cpp2.04 years1,942
- invoke.cpp1.78 years1,323
- localvar.cpp49.6 days6,044
- localvar.h111.6 days3,057
- typecheck.cpp1.01 years1,274
- lower.cppcurrent997
- overloadset6.8 days
- helpers.cpp1.07 years3,363
- helpers.h1.07 years717
- invoke.cpp6.8 days5,943
- overloadset.cpp2.55 years985
- overloadset.h2.55 years662
- typecheck.cpp1.01 years4,936
- param.h1.23 years1,460
- predicates1.01 years
- predicates.cpp2.31 years2,776
- predicates.h2.36 years640
- typecheck.cpp1.01 years523
- pretty.cpp49.6 days4,417
- propositions240.5 days
- drop.cpp2.04 years1,254
- propositions.cpp1.59 years1,714
- propositions.h240.5 days2,124
- propositions.inl2.08 years701
- reference15.4 days
- init.cpp145.8 days848
- lower.cpp49.6 days716
- parse.cpp2.34 years2,093
- reference.cpp303.5 days5,444
- reference.h15.4 days4,948
- typecheck.cpp49.6 days10,791
- runtime49.6 days
- array.cpp1.11 years1,726
- array.h1.11 years825
- basic.cpp1.11 years7,098
- basic.h1.11 years3,448
- init.cpp111.6 days969
- pointer.cpp1.11 years2,941
- pointer.h1.11 years1,375
- runtime.cpp49.6 days2,694
- runtime.h49.6 days611
- typecheck.cpp229.6 days5,264
- structcurrent
- builder.cppcurrent2,845
- builder.h6.8 days1,344
- builder.inl15.4 days2,249
- init.cpp15.4 days1,060
- lower.cppcurrent1,661
- parse.cpp6.8 days3,392
- struct.h15.4 days635
- structtype.cpp15.4 days2,328
- structtype.h15.4 days1,813
- template111.6 days
- build.cpp1.57 years3,993
- build.h2.11 years580
- instantiate.cpp1.09 years4,097
- invoke.cpp1.09 years3,328
- pretty.cpp1.59 years1,503
- rules1.23 years
- decl.cpp1.57 years1,333
- rules.h1.38 years1,507
- tdecl.cpp1.57 years2,689
- tfunctype.cpp1.57 years2,802
- tnameddecl.cpp1.57 years2,981
- tpack.cpp1.38 years2,687
- tuple.cpp1.23 years3,896
- tvar.cpp1.57 years8,113
- tvectype.cpp1.23 years3,915
- value.cpp1.57 years2,221
- tc-tdecl.cpp1.01 years7,121
- tdecl.cpp1.59 years1,772
- tdecl.h1.59 years1,212
- texpr.cpp1.38 years1,199
- texpr.h1.38 years231
- tfunc.cpp2.17 years1,261
- tfunc.h2.11 years1,934
- tfunctype.cpp1.74 years2,923
- tfunctype.h1.74 years2,531
- tnameddecl.cpp111.6 days2,270
- tnameddecl.h111.6 days2,094
- tpack.cpp1.69 years678
- tpack.h1.69 years723
- ttvar.cpp1.59 years1,004
- ttvar.h1.59 years716
- tvar.cpp1.38 years992
- tvar.h1.38 years708
- tvec.cpp3.22 years1,014
- tvec.h2.55 years1,153
- typecheck.cpp1.01 years4,556
- trivialchecks.cpp1.16 years2,444
- tuple49.6 days
- destroy.cpp94.7 days1,220
- drop.cpp94.7 days878
- init.cpp49.6 days4,995
- lower.cpp49.6 days1,941
- tuple.cpp1.07 years6,391
- tuple.h1.07 years2,831
- tuple.inl49.6 days5,881
- tupletype.cpp49.6 days7,645
- tupletype.h49.6 days1,556
- typecheck.cpp49.6 days9,473
- types.cpp15.4 days3,224
- types.h90.5 days2,601
- wrapper.h49.6 days9,131
- cir49.6 days
- allocvar.h49.6 days1,271
- arith.h1.78 years2,075
- ass.h1.76 years877
- basicblock.h142.5 days5,047
- basicblock.inl1.85 years1,306
- binaryop.h1.76 years560
- bitwise.h1.78 years943
- branch.h1.22 years2,472
- break.h1.22 years628
- call.h145.8 days3,391
- cfg.cpp142.5 days1,831
- cfg.h142.5 days6,704
- cir.h145.8 days1,179
- CMakeLists.txt145.8 days323
- comparison.h1.78 years2,911
- constant.h49.6 days1,010
- continue.h1.22 years645
- createtemporary.h268.5 days1,345
- dominators.cpp3.25 years4,508
- forall.h240.5 days1,815
- func.cpp190.6 days404
- func.h87.4 days1,264
- gettemporary.h1.23 years1,283
- ghostcall.h190.6 days961
- hash.cpp49.6 days7,926
- hash.h49.6 days6,725
- helpers.cpp49.6 days2,787
- helpers.h49.6 days6,123
- inliner.cpp49.6 days6,106
- inliner.h145.8 days813
- instruction.cpp49.6 days2,787
- instruction.h145.8 days6,542
- load.h49.6 days752
- logic.h267.6 days927
- loopaddrs.cpp49.6 days6,789
- loops.cpp1.74 years3,665
- not.h1.76 years666
- phi.h49.6 days2,193
- phoverride.h1.76 years1,904
- placeholder.h49.6 days1,535
- reindexvars.cpp49.6 days4,408
- ret.h1.22 years1,109
- select.h1.76 years797
- storagelocation.cpp273.4 days1,841
- storagelocation.h281.4 days3,809
- store.h49.6 days1,118
- stringid.h240.5 days948
- tempaddr.h1.23 years991
- terminator.cpp1.22 years3,230
- terminator.h1.22 years1,440
- tests49.6 days
- CMakeLists.txt49.6 days914
- dom-1.cpp49.6 days1,239
- dom-2.cpp49.6 days2,107
- type.h240.5 days929
- varaddr.h1.23 years990
- verification.h267.6 days824
- verifinstrfilter.cpp215.4 days5,248
- verifinstrfilter.h215.4 days2,351
- CMakeLists.txt49.6 days1,980
- codegencurrent
- address.cppcurrent3,200
- address.h1.11 years791
- arithops.cpp1.11 years1,731
- basicblock.cpp142.5 days3,501
- CMakeLists.txt229.6 days227
- codegen.cpp49.6 days550
- codegen.h49.6 days763
- compareops.cpp1.11 years2,438
- func.cpp49.6 days2,379
- instructions.cpp49.6 days7,045
- llvmwrappers.cpp1.11 years2,641
- llvmwrappers.h1.11 years4,405
- logicops.cpp1.11 years1,762
- mangle.cpp115.6 days9,352
- module.cpp1.11 years2,914
- module.h142.5 days7,231
- module.inl120.6 days824
- stack.h1.11 years2,255
- value.cpp49.6 days4,162
- compile49.6 days
- CMakeLists.txt229.6 days41
- compiler.cpp49.6 days6,278
- compiler.h3.25 years803
- diagnostics120.6 days
- CMakeLists.txt190.6 days72
- diagnostics.h190.6 days287
- diagnosticscontext.h1.07 years993
- diagnosticsmanager.cpp1.07 years5,965
- diagnosticsmanager.h120.6 days5,485
- renderer.cpp224.6 days12,435
- renderer.h2.22 years3,596
- renderer.inl2.22 years572
- verbositycontext.h4.52 years974
- eir49.6 days
- anyterm.h2.53 years859
- bridge.h3.22 years1,191
- CMakeLists.txt229.6 days269
- compare.cpp1.67 years1,568
- decompose.h3.25 years2,058
- decompose.inl2.54 years2,816
- eir.h190.6 days710
- enumerate.cpp3.25 years191
- enumerate.h3.25 years267
- enumerate.inl1.38 years6,080
- graphviz.cpp3.25 years165
- graphviz.h3.25 years273
- graphviz.inl1.67 years13,623
- hash.cpp1.22 years1,991
- hash.h2.43 years574
- helpers.cpp1.57 years1,459
- helpers.h1.57 years1,112
- helpers.inl1.01 years1,910
- match.cpp2.52 years442
- match.h49.6 days3,410
- match.inl1.09 years11,681
- merge.cpp3.25 years188
- merge.h3.25 years272
- merge.inl1.67 years10,295
- pretty.cpp3.15 years2,114
- pretty.h1.07 years668
- term.h1.67 years2,377
- tests49.6 days
- CMakeLists.txt49.6 days696
- match-terms-trie.cpp240.4 days8,121
- merge.cpp240.4 days4,194
- tostring.cpp1.22 years3,604
- tostring.h2.51 years1,057
- trie.h1.67 years4,442
- value.cpp190.6 days3,800
- value.h145.8 days4,932
- vecgenerator.cpp1.38 years837
- vecgenerator.h1.73 years574
- vecoflength.h2.53 years895
- vector.h1.01 years7,703
- execute49.6 days
- binaryops.cpp1.85 years4,086
- binaryops.inl1.85 years5,903
- CMakeLists.txt229.6 days83
- eval.cpp240.5 days2,301
- execute.h3.24 years364
- termaddr.cpp2.38 years634
- termaddr.h3.24 years296
- vm.cpp49.6 days11,283
- vm.h145.8 days6,332
- g0api49.6 days
- cgapi229.6 days
- cgapi.h2.55 years429
- func.cpp2.51 years2,104
- linker.cpp229.6 days1,965
- mangle.cpp2.53 years645
- module.cpp2.51 years2,235
- module.h2.50 years156
- CMakeLists.txt229.6 days378
- compiler.cpp114.5 days11,368
- extensibility49.6 days
- cir.cpp214.5 days25,188
- context.cpp1.36 years2,012
- diagnostics.cpp1.01 years5,975
- eir.cpp224.6 days18,426
- env.cpp224.6 days2,617
- extensibility.h1.36 years1,028
- misc.cpp224.6 days7,419
- parser.cpp1.36 years1,904
- termref.h2.34 years1,243
- value.cpp49.6 days4,464
- g0api.h2.35 years601
- string.cpp1.16 years2,799
- types.cpp214.5 days10,545
- types.h214.5 days2,477
- goose-config.h.in229.6 days91
- goose.cpp2.52 years247
- lex229.6 days
- CMakeLists.txt229.6 days149
- comment.cpp4.52 years1,623
- intlit.cpp4.48 years2,514
- lex.h3.25 years344
- lexer.cpp1.74 years4,837
- lexer.h2.34 years2,463
- lookahead.cpp2.34 years1,736
- strlit.cpp4.22 years9,292
- tokenprovider.h2.34 years638
- vectoradapter.h2.34 years938
- vectoradapter.inl2.34 years1,354
- parse15.4 days
- blocks.cpp2.11 years3,661
- braceblock.cpp1.07 years2,335
- bracketblock.cpp229.6 days4,872
- CMakeLists.txt229.6 days245
- func.cpp2.11 years4,468
- funcdecl.cpp2.11 years2,484
- funcdecl.h2.11 years1,395
- functype.cpp2.34 years1,669
- overload.cpp2.04 years1,183
- parenblock.cpp1.37 years4,298
- parse.h1.37 years736
- parser.cpp15.4 days10,327
- parser.h229.6 days6,464
- parser.inl120.6 days1,442
- resolver.cpp240.5 days5,694
- resolver.h1.37 years2,372
- rule-helpers.cpp3.24 years1,017
- rule-helpers.h1.77 years1,198
- rule-helpers.inl1.78 years11,696
- rule.h2.53 years2,165
- tfunc.cpp2.11 years3,469
- tfuncdecl.cpp2.11 years2,511
- tfuncdecl.h2.11 years1,379
- precedence.h329.6 days2,568
- semacurrent
- CMakeLists.txt229.6 days461
- context.cpp49.6 days1,464
- context.h49.6 days4,046
- ctmm.h4.12 years2,898
- env.cpp145.8 days4,064
- env.hcurrent10,793
- hole.cpp1.67 years1,243
- hole.h1.67 years419
- inv-ruleset.cpp4.52 years236
- inv-ruleset.h2.37 years1,385
- invocation.cpp2.48 years1,545
- invocation.h4.52 years388
- lower.cppcurrent1,305
- overloadset.cpp6.8 days1,816
- overloadset.h6.8 days1,713
- postprocess.cpp1.57 years2,449
- postprocess.h3.75 years624
- scope.cpp1.37 years881
- scope.h303.5 days1,327
- sema.h49.6 days1,011
- substitute.cpp1.57 years1,160
- substitute.h3.75 years182
- tc-basicrules.cpp1.01 years4,066
- tc-basicrules.h2.59 years182
- tc-context.cpp1.59 years5,153
- tc-context.h1.59 years5,841
- tc-postproc.cpp1.01 years2,835
- tc-ruleset.cpp1.01 years1,786
- tc-ruleset.h1.01 years2,206
- tc-score.h1.07 years2,339
- tc-vecgenerator.h1.38 years875
- tctrie-typecheck.inl1.38 years5,357
- tctrie.h6.8 days2,849
- tctrie.inl6.8 days4,126
- template.cpp1.38 years2,835
- template.h1.38 years834
- tests49.6 days
- CMakeLists.txt49.6 days781
- tctrie-merge.cpp240.4 days3,968
- tctrie-typecheck.cpp240.4 days5,186
- unify-holes.cpp240.4 days3,762
- tpl-ruleset.cpp1.59 years1,200
- tpl-ruleset.h1.57 years2,192
- typecheck.cpp1.23 years6,809
- typecheck.h2.59 years755
- uni-basicrules.cpp1.01 years5,066
- uni-basicrules.h3.75 years183
- uni-holes.cpp1.01 years14,141
- uni-holes.h3.75 years172
- uni-quote.cpp1.01 years1,885
- uni-quote.h3.75 years535
- util49.6 days
- bigint.cpp2.35 years1,067
- bigint.h115.6 days7,959
- CMakeLists.txt177.4 days191
- depgraph.cpp145.8 days1,093
- depgraph.h177.4 days938
- fixedint.h2.51 years1,255
- generator.h1.38 years11,828
- graphviz.cpp229.6 days5,730
- graphviz.h4.52 years3,740
- location.cpp190.6 days2,988
- location.h190.6 days3,696
- location.inl190.6 days316
- locationid.h190.6 days1,108
- profiling.h229.6 days504
- stringid.cpp2.50 years1,594
- stringid.h49.6 days2,096
- tests49.6 days
- CMakeLists.txt49.6 days588
- generator.cpp240.4 days3,447
- util.cpp177.4 days230
- util.h177.4 days6,153
- verify15.4 days
- basicblock.cpp120.6 days1,440
- builder.cpp218.5 days3,819
- builder.h120.6 days5,225
- call.cpp49.6 days4,322
- cfg.cpp1.78 years3,346
- CMakeLists.txt49.6 days341
- func.cpp49.6 days6,355
- func.h120.6 days2,514
- gfctracker.cpp1.75 years8,210
- gfctracker.h1.81 years1,619
- ghostfunc.cpp49.6 days1,901
- ghostfunc.h1.77 years1,301
- helpers.h49.6 days1,796
- helpers.inl49.6 days1,107
- instrseq.cpp120.6 days2,837
- loop.cpp120.6 days6,775
- phi.cpp49.6 days1,401
- propositions.cpp1.76 years2,195
- propositions.h2.35 years1,070
- remapper.cpp2.23 years5,633
- remapper.h2.23 years3,596
- stack.cpp303.5 days663
- stack.h145.8 days1,408
- storage.cpp49.6 days9,445
- storage.h303.5 days1,428
- terminator.cpp87.4 days4,887
- type.cpp15.4 days9,776
- type.h49.6 days2,013
- value.cpp49.6 days24,061
- value.h1.76 years1,491
- vartracker.cpp1.75 years2,574
- vartracker.h1.81 years899
- verify.cpp4.47 years157
- verify.h120.6 days705
- verifyviz.cpp2.22 years4,808
- verifyviz.h2.30 years2,711
- cmake15.4 days
- common.cmake229.6 days160
- compiler_config.cmake229.6 days1,951
- FindLLD.cmake229.6 days1,919
- profiling.cmake229.6 days379
- testing.cmake15.4 days5,781
- CMakeLists.txt215.5 days719
- docs4.15 years
- index.md4.15 years1,396
- metaprogramming.md4.15 years3,093
- overloading.md4.15 years845
- syntax.md4.15 years4,556
- templates.md4.47 years2,341
- tuples.md4.15 years2,819
- types.md4.15 years3,972
- verification.md4.15 years4,476
- lib114.5 days
- CMakeLists.txt229.6 days1,023
- compile.g0120.6 days2,134
- goose.g02.53 years628
- goose_test.g01.11 years1,217
- prelude114.5 days
- args.g01.01 years955
- CMakeLists.txt229.6 days189
- diagnostics.g01.01 years1,076
- prelude.g01.01 years236
- ref_verification.g0268.5 days3,978
- setup_g1.g0114.5 days3,094
- tuple_foreach.g01.01 years1,192
- util.g0267.4 days3,825
- targets229.6 days
- CMakeLists.txt229.6 days47
- darwin.g0229.6 days583
- linux.g0229.6 days1,369
- LICENSE1.16 years1,081
- samples115.6 days
- CMakeLists.txt229.6 days1,056
- helloworld.g14.63 years192
- mandelbrot.g1115.6 days1,946
- testscurrent
- CMakeLists.txt229.6 days64
- g0current
- CMakeLists.txt15.4 days734
- codegen49.6 days
- argpack.g0115.6 days1,446
- argpack.ll49.6 days3,447
- arithops.g01.85 years406
- arithops.ll1.11 years1,423
- bitwiseops.g01.85 years671
- bitwiseops.ll49.6 days3,402
- CMakeLists.txt120.6 days538
- comparisonops.g01.85 years421
- comparisonops.ll1.11 years1,711
- compoundass.g02.55 years407
- compoundass.ll1.11 years1,079
- func.g02.55 years543
- func.ll49.6 days1,490
- if.g02.55 years433
- if.ll49.6 days1,841
- inline-2.g0120.6 days374
- inline-2.ll120.6 days154
- inline.g0142.5 days652
- inline.ll49.6 days3,991
- locvar.g02.55 years334
- locvar.ll1.11 years511
- logicops.g02.55 years337
- logicops.ll49.6 days1,905
- template.g02.34 years549
- template.ll49.6 days946
- while.g02.55 years401
- while.ll1.11 years1,522
- function49.6 days
- c-fail-calling-compiletime-func.g04.61 years127
- c-fail-calling-compiletime-func.txt1.85 years177
- c-fail-func-type-mismatch.g04.61 years334
- c-fail-func-type-mismatch.txt2.55 years138
- CMakeLists.txt145.8 days775
- e-fail-template-instantiation-context.g02.55 years493
- e-fail-template-instantiation-context.txt2.55 years751
- e-fail-template-type-mismatch.g02.55 years422
- e-fail-template-type-mismatch.txt2.55 years857
- e-func.g02.55 years153
- e-higher-func.g02.55 years655
- e-higher-poly.g02.55 years438
- e-higher-template.g02.55 years546
- e-overloading.g02.55 years825
- e-template-tuple-vararg-2.g01.23 years747
- e-template-tuple-vararg.g01.38 years735
- e-template-vararg-2.g01.23 years292
- e-template-vararg.g01.57 years727
- e-templates.g01.09 years1,769
- inline49.6 days
- CMakeLists.txt145.8 days546
- e-fail-func-inline-1.g0145.8 days179
- e-fail-func-inline-1.txt145.8 days167
- e-fail-func-inline-2.g0145.8 days268
- e-fail-func-inline-2.txt145.8 days167
- e-func-inline-1.cir49.6 days833
- e-func-inline-1.g0120.6 days251
- e-func-inline-2.g0145.8 days278
- e-func-inline-3.cir49.6 days1,647
- e-func-inline-3.g0120.6 days330
- e-func-inline-4.g0145.8 days357
- e-func-inline-5.g0145.8 days367
- e-func-inline-6.cir49.6 days1,727
- e-func-inline-6.g0120.6 days415
- e-func-inline-7.g0145.8 days442
- e-func-inline-8.g0145.8 days477
- e-func-inline-9.g0145.8 days548
- general115.6 days
- c-fail-outofrange-int-constant.g03.04 years232
- c-fail-outofrange-int-constant.txt2.55 years278
- ce-mandelbrot.g0115.6 days2,554
- ce-mandelbrot.txt4.60 years3,232
- CMakeLists.txt229.6 days114
- helpers.g03.76 years402
- operators229.6 days
- CMakeLists.txt229.6 days288
- e-arithops.g02.55 years325
- e-bitwiseops.g02.55 years616
- e-comparisonops.g02.55 years1,271
- e-compoundass.g02.05 years1,261
- e-fail-type-mismatch.g04.62 years103
- e-fail-type-mismatch.txt2.53 years212
- e-logicops.g02.55 years1,096
- reference229.6 days
- ce-reference.g02.40 years2,197
- ce-reference.txt3.09 years233
- CMakeLists.txt229.6 days54
- statements49.6 days
- CMakeLists.txt229.6 days341
- e-fail-locvar-ctint-codegen.g02.11 years349
- e-fail-locvar-ctint-codegen.txt49.6 days148
- e-fail-locvar-init-mismatch.g03.90 years109
- e-fail-locvar-init-mismatch.txt94.7 days251
- e-if.g02.55 years445
- e-locvar.g02.55 years1,193
- e-using-2.g02.34 years438
- e-using.g02.55 years121
- e-while.g02.55 years125
- structcurrent
- c-fail-struct-member-name-collision.g06.8 days384
- c-fail-struct-member-name-collision.txtcurrent484
- CMakeLists.txtcurrent457
- e-struct-default-init-2.cir15.4 days730
- e-struct-default-init-2.g0current193
- e-struct-default-init-3.g015.4 days276
- e-struct-default-init-3.ll15.4 days924
- e-struct-default-init-4.g015.4 days293
- e-struct-default-init-4.ll15.4 days1,019
- e-struct-default-init-5.g0current384
- e-struct-default-init-5.ll6.8 days2,214
- e-struct-default-init.cir15.4 days725
- e-struct-default-init.g015.4 days170
- e-struct-dot-operator-2.g0current428
- e-struct-dot-operator-2.llcurrent2,457
- e-struct-dot-operator.circurrent1,278
- e-struct-dot-operator.g0current334
- syntax15.4 days
- c-fail-bad-strlit.g03.08 years559
- c-fail-bad-strlit.txt2.55 years1,631
- CMakeLists.txt15.4 days223
- e-fail-illformed-file.g04.62 years2
- e-fail-illformed-file.txt2.55 years90
- e-fail-missing-closing-paren.g02.55 years67
- e-fail-missing-closing-paren.txt2.55 years113
- e-fail-unknown-identifier.g015.4 days5
- e-fail-unknown-identifier.txt15.4 days109
- tuple49.6 days
- ce-tuple.g0115.6 days1,710
- ce-tuple.txt1.16 years119
- CMakeLists.txt229.6 days191
- e-tuple-init-assign-2.cir49.6 days642
- e-tuple-init-assign-2.g0240.5 days145
- e-tuple-init-assign.cir49.6 days425
- e-tuple-init-assign.g0240.5 days146
- e-tuple.g0115.6 days1,338
- verification49.6 days
- c-fail-test-1.g02.35 years271
- c-fail-test-1.txt2.35 years132
- c-fail-test-2.g04.23 years406
- c-fail-test-2.txt2.55 years254
- c-fail-test-3.g04.23 years464
- c-fail-test-3.txt2.55 years268
- c-fail-test-4.g04.23 years480
- c-fail-test-4.txt2.55 years251
- c-fail-test-5.g02.34 years339
- c-fail-test-5.txt2.34 years259
- c-fail-test-6.g02.34 years277
- c-fail-test-6.txt2.34 years331
- c-fail-test-7.g02.34 years334
- c-fail-test-7.txt1.78 years277
- c-fail-test-8.g04.14 years231
- c-fail-test-8.txt2.48 years1,914
- c-fail-test-9.g02.35 years193
- c-fail-test-9.txt2.35 years140
- c-fail-test-10.g02.34 years702
- c-fail-test-10.txt2.34 years383
- c-fail-test-11.g02.34 years39
- c-fail-test-11.txt2.34 years273
- c-fail-test-12.g02.34 years29
- c-fail-test-12.txt2.34 years365
- c-fail-test-13.g02.34 years113
- c-fail-test-13.txt2.35 years312
- c-fail-test-14.g02.34 years155
- c-fail-test-14.txt2.35 years506
- c-test-1.g02.35 years111
- c-test-2.g02.35 years162
- c-test-3.g04.23 years201
- c-test-4.g04.23 years320
- c-test-5.g02.34 years177
- c-test-6.g02.34 years253
- c-test-7.g02.34 years288
- c-test-8.g02.35 years189
- c-test-9.g02.34 years39
- c-test-10.g02.34 years84
- CMakeLists.txt229.6 days1,368
- conditions229.6 days
- c-fail-bad-condition-1.g03.07 years90
- c-fail-bad-condition-1.txt2.55 years296
- c-fail-bad-condition-2.g03.07 years91
- c-fail-bad-condition-2.txt2.35 years317
- c-fail-bad-condition-3.g02.08 years25
- c-fail-bad-condition-3.txt2.04 years191
- c-fail-unsat-2.g02.34 years52
- c-fail-unsat-2.txt2.34 years371
- c-fail-unsat-3.g02.34 years22
- c-fail-unsat-3.txt2.34 years313
- c-fail-unsat.g03.07 years101
- c-fail-unsat.txt2.35 years948
- CMakeLists.txt229.6 days388
- e-parse-forall.cir49.6 days1,334
- e-parse-forall.g0240.4 days473
- ghostfuncs229.6 days
- c-fail-test-1.g02.08 years417
- c-fail-test-1.txt2.08 years188
- c-fail-test-2.g02.04 years319
- c-fail-test-2.txt2.04 years155
- c-fail-test-3.g02.04 years565
- c-fail-test-3.txt2.04 years247
- c-fail-test-4.g01.89 years308
- c-fail-test-4.txt1.89 years163
- c-fail-test-5.g01.89 years251
- c-fail-test-5.txt1.89 years159
- c-fail-test-6.g01.89 years310
- c-fail-test-6.txt1.89 years163
- c-test-1.g02.08 years415
- c-test-2.g02.04 years317
- c-test-3.g02.04 years488
- c-test-4.g01.89 years354
- CMakeLists.txt229.6 days467
- loops229.6 days
- c-fail-test-1.g02.35 years481
- c-fail-test-1.txt2.35 years226
- c-fail-test-2.g02.35 years560
- c-fail-test-2.txt2.35 years258
- c-test-1.g02.35 years408
- c-test-2.g02.35 years560
- CMakeLists.txt229.6 days167
- misc115.6 days
- c-fail-mandelbrot-bad-1.g0115.6 days1,964
- c-fail-mandelbrot-bad-1.txt1.14 years530
- c-fail-mandelbrot-bad-2.g0115.6 days1,962
- c-fail-mandelbrot-bad-2.txt1.14 years565
- c-fail-mandelbrot-bad-3.g0115.6 days1,969
- c-fail-mandelbrot-bad-3.txt115.6 days440
- c-fail-mandelbrot-bad-4.g0115.6 days1,962
- c-fail-mandelbrot-bad-4.txt115.6 days421
- CMakeLists.txt229.6 days204
- z3gen49.6 days
- CMakeLists.txt142.5 days831
- e-z3gen-test-1.g02.35 years143
- e-z3gen-test-1.txt1.75 years657
- e-z3gen-test-2.g02.35 years194
- e-z3gen-test-2.txt260.5 days1,350
- e-z3gen-test-3.g04.23 years233
- e-z3gen-test-3.txt115.6 days1,198
- e-z3gen-test-4.g04.23 years352
- e-z3gen-test-4.txt115.6 days1,488
- e-z3gen-test-5.g02.35 years221
- e-z3gen-test-5.txt260.5 days1,278
- e-z3gen-test-6.g02.04 years260
- e-z3gen-test-6.txt1.75 years547
- e-z3gen-test-bitwise.g04.32 years443
- e-z3gen-test-bitwise.txt260.5 days2,458
- e-z3gen-test-forall.g0240.5 days302
- e-z3gen-test-forall.txt240.5 days956
- e-z3gen-test-ghostfunc.g02.08 years447
- e-z3gen-test-ghostfunc.txt49.6 days13,997
- e-z3gen-test-inline.g0142.5 days249
- e-z3gen-test-inline.txt142.5 days684
- e-z3gen-test-logic-and.g04.33 years260
- e-z3gen-test-logic-and.txt120.6 days517
- e-z3gen-test-logic-or.g04.33 years259
- e-z3gen-test-logic-or.txt120.6 days516
- g1229.6 days
- CMakeLists.txt229.6 days90
- diagnostics229.6 days
- CMakeLists.txt229.6 days62
- fail-test-unexpected-type.g11.07 years5
- fail-test-unexpected-type.txt1.07 years109
- misc229.6 days
- CMakeLists.txt229.6 days67
- test-intrinsic-forward-predicates.g11.01 years105
- verification229.6 days
- CMakeLists.txt229.6 days30
- reference229.6 days
- CMakeLists.txt229.6 days380
- fail-test-constref-predicates.g12.34 years129
- fail-test-constref-predicates.txt2.34 years494
- fail-test-mutref-predicates-2.g12.34 years359
- fail-test-mutref-predicates-2.txt2.34 years485
- fail-test-mutref-predicates.g12.34 years88
- fail-test-mutref-predicates.txt2.34 years485
- test-constref-predicates.g12.34 years151
- test-mutref-predicates.g12.34 years92
- runtest_cmp.cmake190.6 days523
- runtest_compile_cmp.cmake229.6 days641
- runtest_err.cmake229.6 days534
- runtest_stdout_cmp.cmake229.6 days535
- tools114.5 days
- vscode-extension114.5 days
- CHANGELOG.md4.52 years238
- language-configuration.json4.52 years829
- package.json2.55 years859
- README.md4.52 years2,057
- syntaxes114.5 days
- goose.tmLanguage.json114.5 days4,254
- vsc-extension-quickstart.md4.52 years1,588
- www2.54 years
- devibeans.min.css2.54 years1,080
- highlight.js2.54 years649
- highlight.min.js2.54 years47,425