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.
-
GooseLast ChangeSize
- .editorconfig4.50 years140
- .fossil-settings3.80 years
- ignore-glob3.80 years121
- .vscode2.04 years
- c_cpp_properties.json2.04 years461
- bscurrent
- builtinscurrent
- builders26.0 days
- builders.h251.0 days133
- cb_interface.cpp228.2 days5,031
- codebuilder.h228.2 days745
- default_interface.cpp123.1 days3,868
- ghostcode_interface.cpp228.2 days2,842
- lifecycle_manager.h228.2 days4,605
- lifecycle_manager.inl105.3 days4,146
- props_interface.cpp228.2 days2,367
- struct_interface.cpp26.0 days3,424
- builtins.cppcurrent3,391
- builtins.h123.1 days917
- CMakeLists.txt26.0 days3,900
- exprhelpers.h1.81 years4,071
- helpers.cpp228.2 days12,201
- helpers.h228.2 days4,976
- operators10.6 days
- apostrophe.cpp314.1 days2,345
- arith.cpp1.79 years7,883
- assignment.cpp122.1 days5,387
- comma.cpp60.2 days4,205
- comparison.cpp1.60 years5,456
- compoundass.cpp1.60 years4,643
- comptime.cpp126.2 days1,791
- contract.cpp251.0 days3,163
- dollar.cpp1.62 years5,869
- dot.cpp10.6 days5,473
- ellipsis.cpp1.72 years1,239
- ghost.cpp156.4 days1,777
- helpers.h228.2 days4,470
- inline.cpp156.4 days1,775
- intrinsic.cpp156.4 days1,799
- logic.cpp60.2 days18,721
- operators.h126.2 days1,468
- semicolon.cpp2.41 years760
- tupass.cpp122.1 days6,608
- tuple.h60.2 days2,671
- statements117.0 days
- break.cpp2.41 years1,350
- continue.cpp2.41 years1,375
- ct-for.cpp1.10 years3,758
- ct-if.cpp1.61 years5,044
- forall.cpp240.2 days3,962
- if.cpp228.2 days5,373
- return.cpp228.2 days3,440
- statements.h251.0 days821
- using.cpp117.0 days4,603
- while.cpp228.2 days5,630
- typescurrent
- basic.cpp26.0 days6,301
- basic.h26.0 days3,550
- constrainedfunc1.04 years
- constrainedfunc.cpp2.57 years1,430
- constrainedfunc.h3.28 years1,332
- invoke.cpp1.11 years1,549
- typecheck.cpp1.04 years4,113
- convert.cpp1.04 years1,107
- decl.cpp122.1 days2,682
- decl.h122.1 days2,025
- destroy.cpp3.28 years406
- drop.cpp26.0 days3,997
- funccurrent
- bfunc.cpp60.2 days2,727
- bfunc.h60.2 days3,166
- bfunc.inl60.2 days4,884
- bintrinsic.cpp60.2 days869
- bintrinsic.h2.40 years1,134
- bintrinsic.inl60.2 days1,739
- build.cpp60.2 days7,709
- build.h98.0 days1,123
- compilationcurrent
- common.cpp98.0 days3,831
- common.h232.2 days2,188
- compilation.h156.4 days349
- inline.cpp156.4 days2,955
- intrinsic.cppcurrent2,886
- regular.cppcurrent3,948
- compile.cppcurrent1,551
- func.cppcurrent5,346
- func.h60.2 days4,989
- func.inl156.4 days746
- functype.cppcurrent7,895
- functype.h60.2 days5,008
- invocationcurrent
- beagerfunc.cpp60.2 days2,073
- bfunc.cpp226.0 days1,786
- bintrinsic.cpp1.88 years1,478
- common.cppcurrent2,791
- common.h126.2 days628
- comptime.cpp60.2 days2,725
- ghostfunc.cpp60.2 days2,437
- inline.cpp60.2 days7,457
- intrinsic.cppcurrent5,656
- invocation.h126.2 days1,953
- regular.cpp60.2 days3,430
- lower.cppcurrent1,032
- typecheck.cpp1.04 years5,013
- wrapped.cpp1.04 years3,398
- wrapped.h1.04 years490
- ghostcode228.2 days
- drop.cpp1.84 years1,546
- ghostcode.h228.2 days1,548
- infer.cppcurrent4,387
- init.cpp156.4 days2,420
- localvar60.2 days
- drop.cpp2.07 years1,942
- invoke.cpp1.81 years1,323
- localvar.cpp60.2 days6,044
- localvar.h122.1 days3,057
- typecheck.cpp1.04 years1,274
- lower.cpp10.6 days997
- overloadset17.4 days
- helpers.cpp1.10 years3,363
- helpers.h1.10 years717
- invoke.cpp17.4 days5,943
- overloadset.cpp2.58 years985
- overloadset.h2.58 years662
- typecheck.cpp1.04 years4,936
- param.h1.26 years1,460
- predicates1.04 years
- predicates.cpp2.34 years2,776
- predicates.h2.39 years640
- typecheck.cpp1.04 years523
- pretty.cpp60.2 days4,417
- propositionscurrent
- drop.cpp2.07 years1,254
- propositions.cppcurrent1,768
- propositions.h251.0 days2,124
- propositions.inl2.11 years701
- reference26.0 days
- init.cpp156.4 days848
- lower.cpp60.2 days716
- parse.cpp2.37 years2,093
- reference.cpp314.1 days5,444
- reference.h26.0 days4,948
- typecheck.cpp60.2 days10,791
- runtimecurrent
- array.cppcurrent1,783
- array.h1.13 years825
- basic.cppcurrent7,258
- basic.h1.13 years3,448
- init.cpp122.1 days969
- pointer.cppcurrent2,996
- pointer.h1.13 years1,375
- runtime.cppcurrent2,828
- runtime.h60.2 days611
- typecheck.cpp240.2 days5,264
- struct10.6 days
- builder.cpp10.6 days2,845
- builder.h17.4 days1,344
- builder.inl26.0 days2,249
- init.cpp26.0 days1,060
- lower.cpp10.6 days1,661
- parse.cpp17.4 days3,392
- struct.h26.0 days635
- structtype.cpp26.0 days2,328
- structtype.h26.0 days1,813
- templatecurrent
- build.cpp1.60 years3,993
- build.h2.14 years580
- instantiate.cpp1.11 years4,097
- invoke.cpp1.11 years3,328
- pretty.cpp1.62 years1,503
- rulescurrent
- decl.cpp1.60 years1,333
- rules.h1.41 years1,507
- tdecl.cpp1.60 years2,689
- tfunctype.cpp1.60 years2,802
- tnameddecl.cpp1.60 years2,981
- tpack.cpp1.41 years2,687
- tuple.cpp1.26 years3,896
- tvar.cppcurrent8,167
- tvectype.cpp1.26 years3,915
- value.cpp1.60 years2,221
- tc-tdecl.cpp1.04 years7,121
- tdecl.cpp1.62 years1,772
- tdecl.h1.62 years1,212
- texpr.cpp1.41 years1,199
- texpr.h1.41 years231
- tfunc.cpp2.19 years1,261
- tfunc.h2.14 years1,934
- tfunctype.cpp1.77 years2,923
- tfunctype.h1.77 years2,531
- tnameddecl.cpp122.1 days2,270
- tnameddecl.h122.1 days2,094
- tpack.cpp1.72 years678
- tpack.h1.72 years723
- ttvar.cpp1.62 years1,004
- ttvar.h1.62 years716
- tvar.cpp1.41 years992
- tvar.h1.41 years708
- tvec.cpp3.25 years1,014
- tvec.h2.57 years1,153
- typecheck.cpp1.04 years4,556
- trivialchecks.cpp1.19 years2,444
- tuplecurrent
- destroy.cpp105.3 days1,220
- drop.cpp105.3 days878
- init.cpp60.2 days4,995
- lower.cpp60.2 days1,941
- tuple.cpp1.10 years6,391
- tuple.h1.10 years2,831
- tuple.inl60.2 days5,881
- tupletype.cppcurrent7,597
- tupletype.h60.2 days1,556
- typecheck.cpp60.2 days9,473
- types.cppcurrent3,259
- types.h101.0 days2,601
- wrapper.h60.2 days9,131
- circurrent
- allocvar.h60.2 days1,271
- arith.h1.81 years2,075
- ass.h1.79 years877
- basicblock.h153.0 days5,047
- basicblock.inl1.88 years1,306
- binaryop.h1.79 years560
- bitwise.h1.81 years943
- branch.h1.25 years2,472
- break.h1.25 years628
- call.h156.4 days3,391
- cfg.cpp153.0 days1,831
- cfg.h153.0 days6,704
- cir.h156.4 days1,179
- CMakeLists.txt156.4 days323
- comparison.h1.81 years2,911
- constant.h60.2 days1,010
- continue.h1.25 years645
- createtemporary.h279.0 days1,345
- dominators.cpp3.28 years4,508
- forall.h251.0 days1,815
- func.cpp201.2 days404
- func.h98.0 days1,264
- gettemporary.h1.26 years1,283
- ghostcall.h201.2 days961
- hash.cpp60.2 days7,926
- hash.h60.2 days6,725
- helpers.cpp60.2 days2,787
- helpers.h60.2 days6,123
- inliner.cpp60.2 days6,106
- inliner.h156.4 days813
- instruction.cpp60.2 days2,787
- instruction.h156.4 days6,542
- load.h60.2 days752
- logic.h278.2 days927
- loopaddrs.cpp60.2 days6,789
- loops.cpp1.77 years3,665
- not.h1.79 years666
- phi.h60.2 days2,193
- phoverride.h1.79 years1,904
- placeholder.h60.2 days1,535
- reindexvars.cpp60.2 days4,408
- ret.h1.25 years1,109
- select.h1.79 years797
- storagelocation.cpp284.0 days1,841
- storagelocation.h292.0 days3,809
- store.h60.2 days1,118
- stringid.h251.0 days948
- tempaddr.h1.26 years991
- terminator.cpp1.25 years3,230
- terminator.h1.25 years1,440
- testscurrent
- CMakeLists.txtcurrent972
- dom-1.cpp60.2 days1,239
- dom-2.cpp60.2 days2,107
- type.h251.0 days929
- varaddr.h1.26 years990
- verification.h278.2 days824
- verifinstrfilter.cpp226.0 days5,248
- verifinstrfilter.h226.0 days2,351
- CMakeLists.txtcurrent2,119
- codegencurrent
- address.cpp10.6 days3,200
- address.h1.13 years791
- arithops.cpp1.13 years1,731
- basicblock.cpp153.0 days3,501
- CMakeLists.txtcurrent262
- codegen.cpp60.2 days550
- codegen.hcurrent792
- compareops.cpp1.13 years2,438
- func.cpp60.2 days2,379
- instructions.cpp60.2 days7,045
- llvmwrappers.cpp1.13 years2,641
- llvmwrappers.h1.13 years4,405
- logicops.cpp1.13 years1,762
- mangle.cpp126.2 days9,352
- module.cpp1.13 years2,914
- module.h153.0 days7,231
- module.inl131.2 days824
- stack.h1.13 years2,255
- value.cpp60.2 days4,162
- compilecurrent
- CMakeLists.txt240.2 days41
- compiler.cppcurrent6,388
- compiler.h3.28 years803
- diagnostics131.2 days
- CMakeLists.txt201.2 days72
- diagnostics.h201.2 days287
- diagnosticscontext.h1.10 years993
- diagnosticsmanager.cpp1.10 years5,965
- diagnosticsmanager.h131.2 days5,485
- renderer.cpp235.2 days12,435
- renderer.h2.25 years3,596
- renderer.inl2.25 years572
- verbositycontext.h4.55 years974
- eir60.2 days
- anyterm.h2.56 years859
- bridge.h3.25 years1,191
- CMakeLists.txt240.2 days269
- compare.cpp1.70 years1,568
- decompose.h3.28 years2,058
- decompose.inl2.57 years2,816
- eir.h201.2 days710
- enumerate.cpp3.28 years191
- enumerate.h3.28 years267
- enumerate.inl1.41 years6,080
- graphviz.cpp3.28 years165
- graphviz.h3.28 years273
- graphviz.inl1.70 years13,623
- hash.cpp1.25 years1,991
- hash.h2.46 years574
- helpers.cpp1.60 years1,459
- helpers.h1.60 years1,112
- helpers.inl1.04 years1,910
- match.cpp2.55 years442
- match.h60.2 days3,410
- match.inl1.11 years11,681
- merge.cpp3.28 years188
- merge.h3.28 years272
- merge.inl1.70 years10,295
- pretty.cpp3.18 years2,114
- pretty.h1.10 years668
- term.h1.70 years2,377
- tests60.2 days
- CMakeLists.txt60.2 days696
- match-terms-trie.cpp251.0 days8,121
- merge.cpp251.0 days4,194
- tostring.cpp1.25 years3,604
- tostring.h2.54 years1,057
- trie.h1.70 years4,442
- value.cpp201.2 days3,800
- value.h156.4 days4,932
- vecgenerator.cpp1.41 years837
- vecgenerator.h1.76 years574
- vecoflength.h2.56 years895
- vector.h1.04 years7,703
- execute60.2 days
- binaryops.cpp1.88 years4,086
- binaryops.inl1.87 years5,903
- CMakeLists.txt240.2 days83
- eval.cpp251.0 days2,301
- execute.h3.27 years364
- termaddr.cpp2.41 years634
- termaddr.h3.27 years296
- vm.cpp60.2 days11,283
- vm.h156.4 days6,332
- g0apicurrent
- cgapi240.2 days
- cgapi.h2.57 years429
- func.cpp2.54 years2,104
- linker.cpp240.2 days1,965
- mangle.cpp2.56 years645
- module.cpp2.54 years2,235
- module.h2.52 years156
- CMakeLists.txt240.2 days378
- compiler.cppcurrent11,391
- extensibility60.2 days
- cir.cpp225.1 days25,188
- context.cpp1.39 years2,012
- diagnostics.cpp1.04 years5,975
- eir.cpp235.2 days18,426
- env.cpp235.2 days2,617
- extensibility.h1.39 years1,028
- misc.cpp235.2 days7,419
- parser.cpp1.39 years1,904
- termref.h2.37 years1,243
- value.cpp60.2 days4,464
- g0api.h2.38 years601
- string.cpp1.19 years2,799
- types.cpp225.1 days10,545
- types.h225.1 days2,477
- goose-config.h.in240.2 days91
- goose.cpp2.55 years247
- lex240.2 days
- CMakeLists.txt240.2 days149
- comment.cpp4.55 years1,623
- intlit.cpp4.50 years2,514
- lex.h3.28 years344
- lexer.cpp1.77 years4,837
- lexer.h2.37 years2,463
- lookahead.cpp2.37 years1,736
- strlit.cpp4.24 years9,292
- tokenprovider.h2.37 years638
- vectoradapter.h2.37 years938
- vectoradapter.inl2.37 years1,354
- parsecurrent
- blocks.cpp2.14 years3,661
- braceblock.cpp1.10 years2,335
- bracketblock.cpp240.2 days4,872
- CMakeLists.txt240.2 days245
- func.cpp2.14 years4,468
- funcdecl.cpp2.14 years2,484
- funcdecl.h2.14 years1,395
- functype.cpp2.37 years1,669
- overload.cpp2.07 years1,183
- parenblock.cpp1.40 years4,298
- parse.hcurrent759
- parser.cpp26.0 days10,327
- parser.h240.2 days6,464
- parser.inl131.2 days1,442
- resolver.cpp251.0 days5,694
- resolver.h1.40 years2,372
- rule-helpers.cpp3.27 years1,017
- rule-helpers.h1.80 years1,198
- rule-helpers.inl1.81 years11,696
- rule.h2.56 years2,165
- tfunc.cpp2.14 years3,469
- tfuncdecl.cpp2.14 years2,511
- tfuncdecl.h2.14 years1,379
- precedence.h340.2 days2,568
- sema10.6 days
- CMakeLists.txt240.2 days461
- context.cpp60.2 days1,464
- context.h60.2 days4,046
- ctmm.h4.15 years2,898
- env.cpp156.4 days4,064
- env.h10.6 days10,793
- hole.cpp1.70 years1,243
- hole.h1.70 years419
- inv-ruleset.cpp4.55 years236
- inv-ruleset.h2.40 years1,385
- invocation.cpp2.51 years1,545
- invocation.h4.55 years388
- lower.cpp10.6 days1,305
- overloadset.cpp17.4 days1,816
- overloadset.h17.4 days1,713
- postprocess.cpp1.60 years2,449
- postprocess.h3.78 years624
- scope.cpp1.40 years881
- scope.h314.1 days1,327
- sema.h60.2 days1,011
- substitute.cpp1.60 years1,160
- substitute.h3.78 years182
- tc-basicrules.cpp1.04 years4,066
- tc-basicrules.h2.62 years182
- tc-context.cpp1.62 years5,153
- tc-context.h1.62 years5,841
- tc-postproc.cpp1.04 years2,835
- tc-ruleset.cpp1.04 years1,786
- tc-ruleset.h1.04 years2,206
- tc-score.h1.10 years2,339
- tc-vecgenerator.h1.41 years875
- tctrie-typecheck.inl1.41 years5,357
- tctrie.h17.4 days2,849
- tctrie.inl17.4 days4,126
- template.cpp1.41 years2,835
- template.h1.41 years834
- tests60.2 days
- CMakeLists.txt60.2 days781
- tctrie-merge.cpp251.0 days3,968
- tctrie-typecheck.cpp251.0 days5,186
- unify-holes.cpp251.0 days3,762
- tpl-ruleset.cpp1.62 years1,200
- tpl-ruleset.h1.60 years2,192
- typecheck.cpp1.26 years6,809
- typecheck.h2.62 years755
- uni-basicrules.cpp1.04 years5,066
- uni-basicrules.h3.78 years183
- uni-holes.cpp1.04 years14,141
- uni-holes.h3.78 years172
- uni-quote.cpp1.04 years1,885
- uni-quote.h3.78 years535
- util60.2 days
- bigint.cpp2.38 years1,067
- bigint.h126.2 days7,959
- CMakeLists.txt187.9 days191
- depgraph.cpp156.4 days1,093
- depgraph.h187.9 days938
- fixedint.h2.54 years1,255
- generator.h1.41 years11,828
- graphviz.cpp240.2 days5,730
- graphviz.h4.55 years3,740
- location.cpp201.2 days2,988
- location.h201.2 days3,696
- location.inl201.2 days316
- locationid.h201.2 days1,108
- profiling.h240.2 days504
- stringid.cpp2.53 years1,594
- stringid.h60.2 days2,096
- tests60.2 days
- CMakeLists.txt60.2 days588
- generator.cpp251.0 days3,447
- util.cpp187.9 days230
- util.h187.9 days6,153
- verify26.0 days
- basicblock.cpp131.2 days1,440
- builder.cpp229.0 days3,819
- builder.h131.2 days5,225
- call.cpp60.2 days4,322
- cfg.cpp1.81 years3,346
- CMakeLists.txt60.2 days341
- func.cpp60.2 days6,355
- func.h131.2 days2,514
- gfctracker.cpp1.78 years8,210
- gfctracker.h1.84 years1,619
- ghostfunc.cpp60.2 days1,901
- ghostfunc.h1.80 years1,301
- helpers.h60.2 days1,796
- helpers.inl60.2 days1,107
- instrseq.cpp131.2 days2,837
- loop.cpp131.2 days6,775
- phi.cpp60.2 days1,401
- propositions.cpp1.79 years2,195
- propositions.h2.38 years1,070
- remapper.cpp2.26 years5,633
- remapper.h2.26 years3,596
- stack.cpp314.1 days663
- stack.h156.4 days1,408
- storage.cpp60.2 days9,445
- storage.h314.1 days1,428
- terminator.cpp98.0 days4,887
- type.cpp26.0 days9,776
- type.h60.2 days2,013
- value.cpp60.2 days24,061
- value.h1.79 years1,491
- vartracker.cpp1.78 years2,574
- vartracker.h1.84 years899
- verify.cpp4.50 years157
- verify.h131.2 days705
- verifyviz.cpp2.25 years4,808
- verifyviz.h2.33 years2,711
- cmake26.0 days
- common.cmake240.2 days160
- compiler_config.cmake240.2 days1,951
- FindLLD.cmake240.2 days1,919
- profiling.cmake240.2 days379
- testing.cmake26.0 days5,781
- CMakeLists.txtcurrent761
- docs4.18 years
- index.md4.18 years1,396
- metaprogramming.md4.18 years3,093
- overloading.md4.18 years845
- syntax.md4.18 years4,556
- templates.md4.50 years2,341
- tuples.md4.18 years2,819
- types.md4.18 years3,972
- verification.md4.18 years4,476
- lib125.1 days
- CMakeLists.txt240.2 days1,023
- compile.g0131.2 days2,134
- goose.g02.56 years628
- goose_test.g01.13 years1,217
- prelude125.1 days
- args.g01.04 years955
- CMakeLists.txt240.2 days189
- diagnostics.g01.04 years1,076
- prelude.g01.04 years236
- ref_verification.g0279.0 days3,978
- setup_g1.g0125.1 days3,094
- tuple_foreach.g01.04 years1,192
- util.g0278.0 days3,825
- targets240.2 days
- CMakeLists.txt240.2 days47
- darwin.g0240.2 days583
- linux.g0240.2 days1,369
- LICENSE1.19 years1,081
- samples126.2 days
- CMakeLists.txt240.2 days1,056
- helloworld.g14.66 years192
- mandelbrot.g1126.2 days1,946
- tests10.6 days
- CMakeLists.txt240.2 days64
- g010.6 days
- CMakeLists.txt26.0 days734
- codegen60.2 days
- argpack.g0126.2 days1,446
- argpack.ll60.2 days3,447
- arithops.g01.87 years406
- arithops.ll1.13 years1,423
- bitwiseops.g01.87 years671
- bitwiseops.ll60.2 days3,402
- CMakeLists.txt131.2 days538
- comparisonops.g01.87 years421
- comparisonops.ll1.13 years1,711
- compoundass.g02.57 years407
- compoundass.ll1.13 years1,079
- func.g02.57 years543
- func.ll60.2 days1,490
- if.g02.57 years433
- if.ll60.2 days1,841
- inline-2.g0131.2 days374
- inline-2.ll131.2 days154
- inline.g0153.0 days652
- inline.ll60.2 days3,991
- locvar.g02.57 years334
- locvar.ll1.13 years511
- logicops.g02.57 years337
- logicops.ll60.2 days1,905
- template.g02.37 years549
- template.ll60.2 days946
- while.g02.57 years401
- while.ll1.13 years1,522
- function60.2 days
- c-fail-calling-compiletime-func.g04.64 years127
- c-fail-calling-compiletime-func.txt1.87 years177
- c-fail-func-type-mismatch.g04.64 years334
- c-fail-func-type-mismatch.txt2.57 years138
- CMakeLists.txt156.4 days775
- e-fail-template-instantiation-context.g02.57 years493
- e-fail-template-instantiation-context.txt2.57 years751
- e-fail-template-type-mismatch.g02.57 years422
- e-fail-template-type-mismatch.txt2.57 years857
- e-func.g02.57 years153
- e-higher-func.g02.57 years655
- e-higher-poly.g02.57 years438
- e-higher-template.g02.57 years546
- e-overloading.g02.57 years825
- e-template-tuple-vararg-2.g01.26 years747
- e-template-tuple-vararg.g01.41 years735
- e-template-vararg-2.g01.26 years292
- e-template-vararg.g01.60 years727
- e-templates.g01.11 years1,769
- inline60.2 days
- CMakeLists.txt156.4 days546
- e-fail-func-inline-1.g0156.4 days179
- e-fail-func-inline-1.txt156.4 days167
- e-fail-func-inline-2.g0156.4 days268
- e-fail-func-inline-2.txt156.4 days167
- e-func-inline-1.cir60.2 days833
- e-func-inline-1.g0131.2 days251
- e-func-inline-2.g0156.4 days278
- e-func-inline-3.cir60.2 days1,647
- e-func-inline-3.g0131.2 days330
- e-func-inline-4.g0156.4 days357
- e-func-inline-5.g0156.4 days367
- e-func-inline-6.cir60.2 days1,727
- e-func-inline-6.g0131.2 days415
- e-func-inline-7.g0156.4 days442
- e-func-inline-8.g0156.4 days477
- e-func-inline-9.g0156.4 days548
- general126.2 days
- c-fail-outofrange-int-constant.g03.07 years232
- c-fail-outofrange-int-constant.txt2.57 years278
- ce-mandelbrot.g0126.2 days2,554
- ce-mandelbrot.txt4.63 years3,232
- CMakeLists.txt240.2 days114
- helpers.g03.79 years402
- operators240.2 days
- CMakeLists.txt240.2 days288
- e-arithops.g02.57 years325
- e-bitwiseops.g02.57 years616
- e-comparisonops.g02.57 years1,271
- e-compoundass.g02.08 years1,261
- e-fail-type-mismatch.g04.65 years103
- e-fail-type-mismatch.txt2.55 years212
- e-logicops.g02.57 years1,096
- reference240.2 days
- ce-reference.g02.43 years2,197
- ce-reference.txt3.12 years233
- CMakeLists.txt240.2 days54
- statements60.2 days
- CMakeLists.txt240.2 days341
- e-fail-locvar-ctint-codegen.g02.14 years349
- e-fail-locvar-ctint-codegen.txt60.2 days148
- e-fail-locvar-init-mismatch.g03.93 years109
- e-fail-locvar-init-mismatch.txt105.3 days251
- e-if.g02.57 years445
- e-locvar.g02.57 years1,193
- e-using-2.g02.37 years438
- e-using.g02.57 years121
- e-while.g02.57 years125
- struct10.6 days
- c-fail-struct-member-name-collision.g017.4 days384
- c-fail-struct-member-name-collision.txt10.6 days484
- CMakeLists.txt10.6 days457
- e-struct-default-init-2.cir26.0 days730
- e-struct-default-init-2.g010.6 days193
- e-struct-default-init-3.g026.0 days276
- e-struct-default-init-3.ll26.0 days924
- e-struct-default-init-4.g026.0 days293
- e-struct-default-init-4.ll26.0 days1,019
- e-struct-default-init-5.g010.6 days384
- e-struct-default-init-5.ll17.4 days2,214
- e-struct-default-init.cir26.0 days725
- e-struct-default-init.g026.0 days170
- e-struct-dot-operator-2.g010.6 days428
- e-struct-dot-operator-2.ll10.6 days2,457
- e-struct-dot-operator.cir10.6 days1,278
- e-struct-dot-operator.g010.6 days334
- syntax26.0 days
- c-fail-bad-strlit.g03.11 years559
- c-fail-bad-strlit.txt2.57 years1,631
- CMakeLists.txt26.0 days223
- e-fail-illformed-file.g04.65 years2
- e-fail-illformed-file.txt2.57 years90
- e-fail-missing-closing-paren.g02.57 years67
- e-fail-missing-closing-paren.txt2.57 years113
- e-fail-unknown-identifier.g026.0 days5
- e-fail-unknown-identifier.txt26.0 days109
- tuple60.2 days
- ce-tuple.g0126.2 days1,710
- ce-tuple.txt1.19 years119
- CMakeLists.txt240.2 days191
- e-tuple-init-assign-2.cir60.2 days642
- e-tuple-init-assign-2.g0251.0 days145
- e-tuple-init-assign.cir60.2 days425
- e-tuple-init-assign.g0251.0 days146
- e-tuple.g0126.2 days1,338
- verification60.2 days
- c-fail-test-1.g02.38 years271
- c-fail-test-1.txt2.38 years132
- c-fail-test-2.g04.26 years406
- c-fail-test-2.txt2.57 years254
- c-fail-test-3.g04.26 years464
- c-fail-test-3.txt2.57 years268
- c-fail-test-4.g04.26 years480
- c-fail-test-4.txt2.57 years251
- c-fail-test-5.g02.37 years339
- c-fail-test-5.txt2.37 years259
- c-fail-test-6.g02.37 years277
- c-fail-test-6.txt2.37 years331
- c-fail-test-7.g02.37 years334
- c-fail-test-7.txt1.81 years277
- c-fail-test-8.g04.16 years231
- c-fail-test-8.txt2.51 years1,914
- c-fail-test-9.g02.38 years193
- c-fail-test-9.txt2.38 years140
- c-fail-test-10.g02.37 years702
- c-fail-test-10.txt2.37 years383
- c-fail-test-11.g02.37 years39
- c-fail-test-11.txt2.37 years273
- c-fail-test-12.g02.37 years29
- c-fail-test-12.txt2.37 years365
- c-fail-test-13.g02.37 years113
- c-fail-test-13.txt2.38 years312
- c-fail-test-14.g02.37 years155
- c-fail-test-14.txt2.38 years506
- c-test-1.g02.38 years111
- c-test-2.g02.38 years162
- c-test-3.g04.26 years201
- c-test-4.g04.26 years320
- c-test-5.g02.37 years177
- c-test-6.g02.37 years253
- c-test-7.g02.37 years288
- c-test-8.g02.38 years189
- c-test-9.g02.37 years39
- c-test-10.g02.37 years84
- CMakeLists.txt240.2 days1,368
- conditions240.2 days
- c-fail-bad-condition-1.g03.10 years90
- c-fail-bad-condition-1.txt2.57 years296
- c-fail-bad-condition-2.g03.10 years91
- c-fail-bad-condition-2.txt2.37 years317
- c-fail-bad-condition-3.g02.11 years25
- c-fail-bad-condition-3.txt2.07 years191
- c-fail-unsat-2.g02.37 years52
- c-fail-unsat-2.txt2.37 years371
- c-fail-unsat-3.g02.37 years22
- c-fail-unsat-3.txt2.37 years313
- c-fail-unsat.g03.10 years101
- c-fail-unsat.txt2.38 years948
- CMakeLists.txt240.2 days388
- e-parse-forall.cir60.2 days1,334
- e-parse-forall.g0251.0 days473
- ghostfuncs240.2 days
- c-fail-test-1.g02.11 years417
- c-fail-test-1.txt2.11 years188
- c-fail-test-2.g02.07 years319
- c-fail-test-2.txt2.07 years155
- c-fail-test-3.g02.07 years565
- c-fail-test-3.txt2.07 years247
- c-fail-test-4.g01.92 years308
- c-fail-test-4.txt1.92 years163
- c-fail-test-5.g01.92 years251
- c-fail-test-5.txt1.92 years159
- c-fail-test-6.g01.92 years310
- c-fail-test-6.txt1.92 years163
- c-test-1.g02.11 years415
- c-test-2.g02.07 years317
- c-test-3.g02.07 years488
- c-test-4.g01.92 years354
- CMakeLists.txt240.2 days467
- loops240.2 days
- c-fail-test-1.g02.38 years481
- c-fail-test-1.txt2.38 years226
- c-fail-test-2.g02.38 years560
- c-fail-test-2.txt2.38 years258
- c-test-1.g02.38 years408
- c-test-2.g02.38 years560
- CMakeLists.txt240.2 days167
- misc126.2 days
- c-fail-mandelbrot-bad-1.g0126.2 days1,964
- c-fail-mandelbrot-bad-1.txt1.17 years530
- c-fail-mandelbrot-bad-2.g0126.2 days1,962
- c-fail-mandelbrot-bad-2.txt1.17 years565
- c-fail-mandelbrot-bad-3.g0126.2 days1,969
- c-fail-mandelbrot-bad-3.txt126.2 days440
- c-fail-mandelbrot-bad-4.g0126.2 days1,962
- c-fail-mandelbrot-bad-4.txt126.2 days421
- CMakeLists.txt240.2 days204
- z3gen60.2 days
- CMakeLists.txt153.0 days831
- e-z3gen-test-1.g02.38 years143
- e-z3gen-test-1.txt1.78 years657
- e-z3gen-test-2.g02.38 years194
- e-z3gen-test-2.txt271.0 days1,350
- e-z3gen-test-3.g04.26 years233
- e-z3gen-test-3.txt126.2 days1,198
- e-z3gen-test-4.g04.26 years352
- e-z3gen-test-4.txt126.2 days1,488
- e-z3gen-test-5.g02.38 years221
- e-z3gen-test-5.txt271.0 days1,278
- e-z3gen-test-6.g02.07 years260
- e-z3gen-test-6.txt1.78 years547
- e-z3gen-test-bitwise.g04.35 years443
- e-z3gen-test-bitwise.txt271.0 days2,458
- e-z3gen-test-forall.g0251.0 days302
- e-z3gen-test-forall.txt251.0 days956
- e-z3gen-test-ghostfunc.g02.11 years447
- e-z3gen-test-ghostfunc.txt60.2 days13,997
- e-z3gen-test-inline.g0153.0 days249
- e-z3gen-test-inline.txt153.0 days684
- e-z3gen-test-logic-and.g04.36 years260
- e-z3gen-test-logic-and.txt131.2 days517
- e-z3gen-test-logic-or.g04.36 years259
- e-z3gen-test-logic-or.txt131.2 days516
- g1240.2 days
- CMakeLists.txt240.2 days90
- diagnostics240.2 days
- CMakeLists.txt240.2 days62
- fail-test-unexpected-type.g11.10 years5
- fail-test-unexpected-type.txt1.10 years109
- misc240.2 days
- CMakeLists.txt240.2 days67
- test-intrinsic-forward-predicates.g11.04 years105
- verification240.2 days
- CMakeLists.txt240.2 days30
- reference240.2 days
- CMakeLists.txt240.2 days380
- fail-test-constref-predicates.g12.37 years129
- fail-test-constref-predicates.txt2.37 years494
- fail-test-mutref-predicates-2.g12.37 years359
- fail-test-mutref-predicates-2.txt2.37 years485
- fail-test-mutref-predicates.g12.37 years88
- fail-test-mutref-predicates.txt2.37 years485
- test-constref-predicates.g12.37 years151
- test-mutref-predicates.g12.37 years92
- runtest_cmp.cmake201.2 days523
- runtest_compile_cmp.cmake240.2 days641
- runtest_err.cmake240.2 days534
- runtest_stdout_cmp.cmake240.2 days535
- tools125.1 days
- vscode-extension125.1 days
- CHANGELOG.md4.55 years238
- language-configuration.json4.55 years829
- package.json2.57 years859
- README.md4.55 years2,057
- syntaxes125.1 days
- goose.tmLanguage.json125.1 days4,254
- vsc-extension-quickstart.md4.55 years1,588
- www2.57 years
- devibeans.min.css2.57 years1,080
- highlight.js2.57 years649
- highlight.min.js2.57 years47,425