Files in the latest check-in sorted by filename
File ages are expressed relative to the check-in time of 2023-12-09 19:56:22.
-
GooseLast ChangeSize
- .editorconfig4.17 years140
- .fossil-settings3.47 years
- ignore-glob3.47 years121
- .vscode1.71 years
- c_cpp_properties.json1.71 years461
- bscurrent
- builtinscurrent
- builders22.7 hours
- builders.h128.9 days133
- cb_interface.cpp106.0 days5,031
- codebuilder.h106.0 days745
- default_interface.cpp22.7 hours3,868
- ghostcode_interface.cpp106.0 days2,842
- lifecycle_manager.h106.0 days4,605
- lifecycle_manager.inl128.9 days4,145
- props_interface.cpp106.0 days2,367
- struct_interface.cpp22.7 hours790
- builtins.cpp22.7 hours3,458
- builtins.h22.7 hours917
- CMakeLists.txt22.7 hours3,827
- exprhelpers.h1.48 years4,071
- helpers.cpp106.0 days12,201
- helpers.h106.0 days4,976
- operatorscurrent
- apostrophe.cpp191.9 days2,345
- arith.cpp1.45 years7,883
- assignment.cpp11.9 minutes5,387
- comma.cpp4.1 days4,301
- comparison.cpp1.27 years5,456
- compoundass.cpp1.27 years4,643
- comptime.cpp4.1 days1,791
- contract.cpp128.9 days3,163
- dollar.cpp1.28 years5,869
- dot.cpp218.1 days3,124
- ellipsis.cpp1.39 years1,239
- ghost.cpp34.3 days1,777
- helpers.h106.0 days4,470
- inline.cpp34.3 days1,775
- intrinsic.cpp34.3 days1,799
- logic.cpp156.9 days18,751
- operators.h4.1 days1,468
- semicolon.cpp2.08 years760
- tupass.cppcurrent6,608
- tuple.h1.27 years2,701
- statements4.1 days
- break.cpp2.08 years1,350
- continue.cpp2.08 years1,375
- ct-for.cpp278.9 days3,758
- ct-if.cpp1.28 years5,044
- forall.cpp118.1 days3,962
- if.cpp106.0 days5,373
- return.cpp106.0 days3,440
- statements.h128.9 days821
- using.cpp4.1 days4,439
- while.cpp106.0 days5,630
- types11.9 minutes
- basic.cpp156.9 days5,697
- basic.h169.8 days3,347
- constrainedfunc256.0 days
- constrainedfunc.cpp2.24 years1,430
- constrainedfunc.h2.95 years1,332
- invoke.cpp284.8 days1,549
- typecheck.cpp256.0 days4,113
- convert.cpp257.1 days1,107
- decl.cpp11.9 minutes2,682
- decl.h11.9 minutes2,025
- destroy.cpp2.95 years406
- drop.cpp11.9 minutes3,610
- func3.0 days
- bfunc.cpp2.24 years2,188
- bfunc.h106.0 days3,244
- bfunc.inl278.9 days5,171
- bintrinsic.cpp2.24 years859
- bintrinsic.h2.06 years1,134
- bintrinsic.inl147.0 days1,736
- build.cpp34.3 days6,210
- build.h2.20 years863
- compilation3.0 days
- common.cpp3.0 days3,786
- common.h110.1 days2,188
- compilation.h34.3 days349
- inline.cpp34.3 days2,955
- intrinsic.cpp79.1 days2,832
- regular.cpp4.1 days3,874
- compile.cpp4.1 days1,528
- func.cpp34.3 days5,307
- func.h34.3 days4,765
- func.inl34.3 days746
- functype.cpp110.1 days7,864
- functype.h4.1 days4,259
- invocation4.1 days
- beagerfunc.cpp1.48 years2,018
- bfunc.cpp103.9 days1,786
- bintrinsic.cpp1.54 years1,478
- common.cpp4.1 days2,704
- common.h4.1 days628
- comptime.cpp4.1 days2,725
- ghostfunc.cpp103.9 days2,437
- inline.cpp9.1 days7,457
- intrinsic.cpp34.3 days5,583
- invocation.h4.1 days1,953
- regular.cpp4.1 days3,414
- lower.cpp292.1 days2,782
- typecheck.cpp256.0 days5,013
- wrapped.cpp256.0 days3,398
- wrapped.h257.1 days490
- ghostcode106.0 days
- drop.cpp1.50 years1,546
- ghostcode.h106.0 days1,548
- init.cpp34.3 days2,420
- localvar11.9 minutes
- drop.cpp1.74 years1,942
- invoke.cpp1.48 years1,323
- localvar.cpp11.9 minutes9,651
- localvar.h11.9 minutes3,057
- typecheck.cpp256.0 days1,274
- lower.cpp1.54 years1,075
- overloadset256.0 days
- helpers.cpp278.9 days3,363
- helpers.h278.9 days717
- invoke.cpp278.9 days5,522
- overloadset.cpp2.25 years985
- overloadset.h2.25 years662
- typecheck.cpp256.0 days4,936
- param.h338.0 days1,460
- predicates256.0 days
- predicates.cpp2.00 years2,776
- predicates.h2.05 years640
- typecheck.cpp256.0 days523
- pretty.cpp338.0 days3,458
- propositions128.9 days
- drop.cpp1.74 years1,254
- propositions.cpp1.28 years1,714
- propositions.h128.9 days2,124
- propositions.inl1.78 years701
- reference11.9 minutes
- init.cpp34.3 days848
- lower.cpp161.9 days1,043
- parse.cpp2.04 years2,093
- reference.cpp191.9 days5,444
- reference.h11.9 minutes4,903
- typecheck.cpp3.0 days10,783
- runtime11.9 minutes
- array.cpp292.1 days1,726
- array.h292.1 days825
- basic.cpp292.1 days7,098
- basic.h292.1 days3,448
- init.cpp11.9 minutes969
- pointer.cpp292.1 days2,941
- pointer.h292.1 days1,375
- record.cpp292.1 days2,545
- record.h292.1 days1,269
- runtime.cpp292.1 days2,697
- runtime.h292.1 days668
- typecheck.cpp118.1 days5,264
- struct22.7 hours
- parse.cpp22.7 hours2,533
- struct.h3.0 days540
- structtype.cpp22.7 hours1,722
- structtype.h22.7 hours1,607
- template11.9 minutes
- build.cpp1.27 years3,993
- build.h1.80 years580
- instantiate.cpp284.8 days4,097
- invoke.cpp284.8 days3,328
- pretty.cpp1.28 years1,503
- rules338.0 days
- decl.cpp1.27 years1,333
- rules.h1.08 years1,507
- tdecl.cpp1.27 years2,689
- tfunctype.cpp1.27 years2,802
- tnameddecl.cpp1.27 years2,981
- tpack.cpp1.08 years2,687
- tuple.cpp338.0 days3,896
- tvar.cpp1.27 years8,113
- tvectype.cpp338.0 days3,915
- value.cpp1.27 years2,221
- tc-tdecl.cpp256.0 days7,121
- tdecl.cpp1.28 years1,772
- tdecl.h1.28 years1,212
- texpr.cpp1.08 years1,199
- texpr.h1.08 years231
- tfunc.cpp1.86 years1,261
- tfunc.h1.80 years1,934
- tfunctype.cpp1.43 years2,923
- tfunctype.h1.43 years2,531
- tnameddecl.cpp11.9 minutes2,270
- tnameddecl.h11.9 minutes2,094
- tpack.cpp1.39 years678
- tpack.h1.39 years723
- ttvar.cpp1.28 years1,004
- ttvar.h1.28 years716
- tvar.cpp1.08 years992
- tvar.h1.08 years708
- tvec.cpp2.92 years1,014
- tvec.h2.24 years1,153
- typecheck.cpp256.0 days4,556
- trivialchecks.cpp313.0 days2,444
- tuple11.9 minutes
- destroy.cpp1.27 years1,218
- drop.cpp1.27 years877
- init.cpp11.9 minutes4,984
- lower.cpp2.24 years1,914
- tuple.cpp278.9 days6,391
- tuple.h278.9 days2,831
- tuple.inl314.0 days5,851
- tupletype.cpp305.2 days6,769
- tupletype.h305.2 days1,478
- typecheck.cpp4.1 days9,477
- types.cpp3.0 days3,190
- types.h3.0 days2,425
- wrapper.h257.1 days7,779
- cir9.1 days
- allocvar.h338.0 days1,262
- arith.h1.48 years2,075
- ass.h1.45 years877
- basicblock.h30.9 days5,047
- basicblock.inl1.55 years1,306
- binaryop.h1.45 years560
- bitwise.h1.48 years943
- branch.h332.9 days2,472
- break.h332.9 days628
- call.h34.3 days3,391
- cfg.cpp30.9 days1,831
- cfg.h30.9 days6,704
- cir.h34.3 days1,179
- CMakeLists.txt34.3 days323
- comparison.h1.48 years2,911
- constant.h128.9 days1,000
- continue.h332.9 days645
- createtemporary.h156.9 days1,345
- dominators.cpp2.95 years4,508
- forall.h128.9 days1,815
- func.cpp79.1 days404
- func.h79.1 days1,208
- gettemporary.h338.0 days1,283
- ghostcall.h79.1 days961
- hash.cpp34.3 days7,587
- hash.h34.3 days6,439
- helpers.cpp128.9 days1,604
- helpers.h103.9 days3,947
- inliner.cpp34.3 days6,104
- inliner.h34.3 days813
- instruction.cpp9.1 days2,763
- instruction.h34.3 days6,542
- load.h1.45 years748
- logic.h156.1 days927
- loopaddrs.cpp34.3 days6,777
- loops.cpp1.43 years3,665
- not.h1.45 years666
- phi.h9.1 days2,190
- phoverride.h1.45 years1,904
- placeholder.h1.45 years1,525
- reindexvars.cpp128.9 days4,399
- ret.h332.9 days1,109
- select.h1.45 years797
- storagelocation.cpp161.9 days1,841
- storagelocation.h169.8 days3,809
- store.h79.1 days1,114
- stringid.h128.9 days948
- tempaddr.h338.0 days991
- terminator.cpp332.9 days3,230
- terminator.h332.9 days1,440
- tests118.1 days
- CMakeLists.txt118.1 days685
- dom-1.cpp118.1 days1,261
- dom-2.cpp118.1 days2,129
- type.h128.9 days929
- varaddr.h338.0 days990
- verification.h156.1 days824
- verifinstrfilter.cpp103.9 days5,248
- verifinstrfilter.h103.9 days2,351
- CMakeLists.txt9.1 days1,946
- codegen4.1 days
- address.cpp292.1 days3,234
- address.h292.1 days791
- arithops.cpp292.1 days1,731
- basicblock.cpp30.9 days3,501
- CMakeLists.txt118.1 days227
- codegen.cpp4.21 years177
- codegen.h292.1 days674
- compareops.cpp292.1 days2,438
- func.cpp30.9 days2,660
- instructions.cpp34.3 days7,155
- llvmwrappers.cpp292.1 days2,641
- llvmwrappers.h292.1 days4,405
- logicops.cpp292.1 days1,762
- mangle.cpp4.1 days9,352
- module.cpp292.1 days2,914
- module.h30.9 days7,231
- module.inl9.1 days824
- stack.h292.1 days2,255
- value.cpp292.1 days4,426
- compile3.0 days
- CMakeLists.txt118.1 days41
- compiler.cpp3.0 days6,130
- compiler.h2.95 years803
- diagnostics9.1 days
- CMakeLists.txt79.1 days72
- diagnostics.h79.1 days287
- diagnosticscontext.h278.9 days993
- diagnosticsmanager.cpp278.9 days5,965
- diagnosticsmanager.h9.1 days5,485
- renderer.cpp113.1 days12,435
- renderer.h1.92 years3,596
- renderer.inl1.92 years572
- verbositycontext.h4.21 years974
- eir34.3 days
- anyterm.h2.23 years859
- bridge.h2.92 years1,191
- CMakeLists.txt118.1 days269
- compare.cpp1.36 years1,568
- decompose.h2.95 years2,058
- decompose.inl2.24 years2,816
- eir.h79.1 days710
- enumerate.cpp2.95 years191
- enumerate.h2.95 years267
- enumerate.inl1.08 years6,080
- graphviz.cpp2.95 years165
- graphviz.h2.95 years273
- graphviz.inl1.36 years13,623
- hash.cpp334.0 days1,991
- hash.h2.12 years574
- helpers.cpp1.27 years1,459
- helpers.h1.27 years1,112
- helpers.inl257.1 days1,910
- match.cpp2.22 years442
- match.h2.22 years3,470
- match.inl284.8 days11,681
- merge.cpp2.95 years188
- merge.h2.95 years272
- merge.inl1.36 years10,295
- pretty.cpp2.85 years2,114
- pretty.h278.9 days668
- term.h1.36 years2,377
- tests118.1 days
- CMakeLists.txt118.1 days689
- match-terms-trie.cpp284.8 days8,143
- merge.cpp1.40 years4,216
- tostring.cpp332.9 days3,604
- tostring.h2.20 years1,057
- trie.h1.36 years4,442
- value.cpp79.1 days3,800
- value.h34.3 days4,932
- vecgenerator.cpp1.08 years837
- vecgenerator.h1.43 years574
- vecoflength.h2.23 years895
- vector.h257.1 days7,703
- execute34.3 days
- binaryops.cpp1.54 years4,086
- binaryops.inl1.54 years5,903
- CMakeLists.txt118.1 days83
- eval.cpp128.9 days2,301
- execute.h2.93 years364
- termaddr.cpp2.08 years634
- termaddr.h2.93 years296
- vm.cpp34.3 days11,256
- vm.h34.3 days6,332
- g0api3.0 days
- cgapi118.1 days
- cgapi.h2.24 years429
- func.cpp2.20 years2,104
- linker.cpp118.1 days1,965
- mangle.cpp2.23 years645
- module.cpp2.20 years2,235
- module.h2.19 years156
- CMakeLists.txt118.1 days378
- compiler.cpp3.0 days11,368
- extensibility103.0 days
- cir.cpp103.0 days25,188
- context.cpp1.06 years2,012
- diagnostics.cpp257.1 days5,975
- eir.cpp113.1 days18,426
- env.cpp113.1 days2,617
- extensibility.h1.05 years1,028
- misc.cpp113.1 days7,419
- parser.cpp1.05 years1,904
- termref.h2.04 years1,243
- value.cpp156.9 days4,455
- g0api.h2.04 years601
- string.cpp313.0 days2,799
- types.cpp103.0 days10,545
- types.h103.0 days2,477
- goose-config.h.in118.1 days91
- goose.cpp2.22 years247
- lex118.1 days
- CMakeLists.txt118.1 days149
- comment.cpp4.21 years1,623
- intlit.cpp4.17 years2,514
- lex.h2.95 years344
- lexer.cpp1.44 years4,837
- lexer.h2.04 years2,463
- lookahead.cpp2.04 years1,736
- strlit.cpp3.91 years9,292
- tokenprovider.h2.04 years638
- vectoradapter.h2.04 years938
- vectoradapter.inl2.04 years1,354
- parse9.1 days
- blocks.cpp1.80 years3,661
- braceblock.cpp278.9 days2,335
- bracketblock.cpp118.1 days4,872
- CMakeLists.txt118.1 days245
- func.cpp1.80 years4,468
- funcdecl.cpp1.80 years2,484
- funcdecl.h1.80 years1,395
- functype.cpp2.04 years1,669
- overload.cpp1.74 years1,183
- parenblock.cpp1.06 years4,298
- parse.h1.06 years736
- parser.cpp34.3 days10,375
- parser.h118.1 days6,464
- parser.inl9.1 days1,442
- resolver.cpp128.9 days5,694
- resolver.h1.06 years2,372
- rule-helpers.cpp2.93 years1,017
- rule-helpers.h1.47 years1,198
- rule-helpers.inl1.48 years11,696
- rule.h2.22 years2,165
- tfunc.cpp1.80 years3,469
- tfuncdecl.cpp1.80 years2,511
- tfuncdecl.h1.80 years1,379
- precedence.h218.1 days2,568
- sema3.0 days
- CMakeLists.txt118.1 days461
- context.cpp3.0 days1,411
- context.h79.1 days3,280
- ctmm.h3.81 years2,898
- env.cpp34.3 days4,064
- env.h34.3 days11,043
- hole.cpp1.36 years1,243
- hole.h1.36 years419
- inv-ruleset.cpp4.21 years236
- inv-ruleset.h2.06 years1,385
- invocation.cpp2.17 years1,545
- invocation.h4.21 years388
- lower.cpp278.9 days2,102
- overloadset.cpp2.13 years1,675
- overloadset.h278.9 days1,652
- postprocess.cpp1.27 years2,449
- postprocess.h3.45 years624
- scope.cpp1.06 years881
- scope.h191.9 days1,327
- sema.h1.06 years1,223
- substitute.cpp1.27 years1,160
- substitute.h3.45 years182
- tc-basicrules.cpp256.0 days4,066
- tc-basicrules.h2.28 years182
- tc-context.cpp1.28 years5,153
- tc-context.h1.28 years5,841
- tc-postproc.cpp256.0 days2,835
- tc-ruleset.cpp256.0 days1,786
- tc-ruleset.h256.0 days2,206
- tc-score.h278.9 days2,339
- tc-vecgenerator.h1.08 years875
- tctrie-typecheck.inl1.08 years5,357
- tctrie.h1.43 years2,671
- tctrie.inl2.21 years3,197
- template.cpp1.08 years2,835
- template.h1.08 years834
- tests118.1 days
- CMakeLists.txt118.1 days774
- tctrie-merge.cpp1.54 years3,990
- tctrie-typecheck.cpp256.0 days5,208
- unify-holes.cpp1.54 years3,784
- tpl-ruleset.cpp1.28 years1,200
- tpl-ruleset.h1.27 years2,192
- typecheck.cpp338.0 days6,809
- typecheck.h2.28 years755
- uni-basicrules.cpp256.0 days5,066
- uni-basicrules.h3.45 years183
- uni-holes.cpp256.0 days14,141
- uni-holes.h3.45 years172
- uni-quote.cpp256.0 days1,885
- uni-quote.h3.45 years535
- util4.1 days
- bigint.cpp2.04 years1,067
- bigint.h4.1 days7,959
- CMakeLists.txt65.8 days191
- depgraph.cpp34.3 days1,093
- depgraph.h65.8 days938
- fixedint.h2.20 years1,255
- generator.h1.08 years11,828
- graphviz.cpp118.1 days5,730
- graphviz.h4.21 years3,740
- location.cpp79.1 days2,988
- location.h79.1 days3,696
- location.inl79.1 days316
- locationid.h79.1 days1,108
- profiling.h118.1 days504
- stringid.cpp2.19 years1,594
- stringid.h191.9 days2,079
- tests118.1 days
- CMakeLists.txt118.1 days581
- generator.cpp2.28 years3,469
- util.cpp65.8 days230
- util.h65.8 days6,153
- verify9.1 days
- basicblock.cpp9.1 days1,440
- builder.cpp106.9 days3,819
- builder.h9.1 days5,225
- call.cpp103.9 days4,233
- cfg.cpp1.48 years3,346
- CMakeLists.txt118.1 days375
- func.cpp128.9 days6,606
- func.h9.1 days2,514
- gfctracker.cpp1.45 years8,210
- gfctracker.h1.50 years1,619
- ghostfunc.cpp191.9 days2,358
- ghostfunc.h1.46 years1,301
- helpers.h191.9 days1,673
- helpers.inl1.08 years905
- instrseq.cpp9.1 days2,837
- loop.cpp9.1 days6,775
- phi.cpp9.1 days1,395
- propositions.cpp1.45 years2,195
- propositions.h2.05 years1,070
- remapper.cpp1.92 years5,633
- remapper.h1.92 years3,596
- stack.cpp191.9 days663
- stack.h34.3 days1,408
- storage.cpp161.9 days9,478
- storage.h191.9 days1,428
- terminator.cpp1.45 years4,735
- type.cpp161.9 days10,310
- type.h161.9 days2,113
- value.cpp9.1 days24,282
- value.h1.45 years1,491
- vartracker.cpp1.45 years2,574
- vartracker.h1.50 years899
- verify.cpp4.17 years157
- verify.h9.1 days705
- verifyviz.cpp1.92 years4,808
- verifyviz.h2.00 years2,711
- cmake79.1 days
- common.cmake118.1 days160
- compiler_config.cmake118.1 days1,951
- FindLLD.cmake118.1 days1,919
- profiling.cmake118.1 days379
- testing.cmake79.1 days5,779
- CMakeLists.txt103.9 days719
- docs3.84 years
- index.md3.85 years1,396
- metaprogramming.md3.85 years3,093
- overloading.md3.85 years845
- syntax.md3.85 years4,556
- templates.md4.17 years2,341
- tuples.md3.85 years2,819
- types.md3.85 years3,972
- verification.md3.84 years4,476
- lib3.0 days
- CMakeLists.txt118.1 days1,023
- compile.g09.1 days2,134
- goose.g02.22 years628
- goose_test.g0292.1 days1,217
- prelude3.0 days
- args.g0257.1 days955
- CMakeLists.txt118.1 days189
- diagnostics.g0257.1 days1,076
- prelude.g0257.1 days236
- ref_verification.g0156.9 days3,978
- setup_g1.g03.0 days3,094
- tuple_foreach.g0257.1 days1,192
- util.g0155.9 days3,825
- targets118.1 days
- CMakeLists.txt118.1 days47
- darwin.g0118.1 days583
- linux.g0118.1 days1,369
- LICENSE313.0 days1,081
- samples4.1 days
- CMakeLists.txt118.1 days1,056
- helloworld.g14.32 years192
- mandelbrot.g14.1 days1,946
- tests11.9 minutes
- CMakeLists.txt118.1 days64
- g011.9 minutes
- CMakeLists.txt118.1 days684
- codegen4.1 days
- argpack.g04.1 days1,446
- argpack.ll4.1 days3,447
- arithops.g01.54 years406
- arithops.ll292.1 days1,423
- bitwiseops.g01.54 years671
- bitwiseops.ll292.1 days3,402
- CMakeLists.txt9.1 days538
- comparisonops.g01.54 years421
- comparisonops.ll292.1 days1,711
- compoundass.g02.24 years407
- compoundass.ll292.1 days1,079
- func.g02.24 years543
- func.ll292.1 days1,490
- if.g02.24 years433
- if.ll292.1 days1,841
- inline-2.g09.1 days374
- inline-2.ll9.1 days154
- inline.g030.9 days652
- inline.ll30.9 days3,991
- locvar.g02.24 years334
- locvar.ll292.1 days511
- logicops.g02.24 years337
- logicops.ll292.1 days1,905
- template.g02.04 years549
- template.ll292.1 days946
- while.g02.24 years401
- while.ll292.1 days1,522
- function9.1 days
- c-fail-calling-compiletime-func.g04.30 years127
- c-fail-calling-compiletime-func.txt1.54 years177
- c-fail-func-type-mismatch.g04.30 years334
- c-fail-func-type-mismatch.txt2.24 years138
- CMakeLists.txt34.3 days775
- e-fail-template-instantiation-context.g02.24 years493
- e-fail-template-instantiation-context.txt2.24 years751
- e-fail-template-type-mismatch.g02.24 years422
- e-fail-template-type-mismatch.txt2.24 years857
- e-func.g02.24 years153
- e-higher-func.g02.24 years655
- e-higher-poly.g02.24 years438
- e-higher-template.g02.24 years546
- e-overloading.g02.24 years825
- e-template-tuple-vararg-2.g0338.0 days747
- e-template-tuple-vararg.g01.08 years735
- e-template-vararg-2.g0338.0 days292
- e-template-vararg.g01.27 years727
- e-templates.g0284.8 days1,769
- inline9.1 days
- CMakeLists.txt34.3 days546
- e-fail-func-inline-1.g034.3 days179
- e-fail-func-inline-1.txt34.3 days167
- e-fail-func-inline-2.g034.3 days268
- e-fail-func-inline-2.txt34.3 days167
- e-func-inline-1.cir9.1 days819
- e-func-inline-1.g09.1 days251
- e-func-inline-2.g034.3 days278
- e-func-inline-3.cir9.1 days1,621
- e-func-inline-3.g09.1 days330
- e-func-inline-4.g034.3 days357
- e-func-inline-5.g034.3 days367
- e-func-inline-6.cir9.1 days1,709
- e-func-inline-6.g09.1 days415
- e-func-inline-7.g034.3 days442
- e-func-inline-8.g034.3 days477
- e-func-inline-9.g034.3 days548
- general4.1 days
- c-fail-outofrange-int-constant.g02.73 years232
- c-fail-outofrange-int-constant.txt2.24 years278
- ce-mandelbrot.g04.1 days2,554
- ce-mandelbrot.txt4.29 years3,232
- CMakeLists.txt118.1 days114
- helpers.g03.45 years402
- operators118.1 days
- CMakeLists.txt118.1 days288
- e-arithops.g02.24 years325
- e-bitwiseops.g02.24 years616
- e-comparisonops.g02.24 years1,271
- e-compoundass.g01.75 years1,261
- e-fail-type-mismatch.g04.31 years103
- e-fail-type-mismatch.txt2.22 years212
- e-logicops.g02.24 years1,096
- reference118.1 days
- ce-reference.g02.10 years2,197
- ce-reference.txt2.78 years233
- CMakeLists.txt118.1 days54
- statements11.9 minutes
- CMakeLists.txt118.1 days341
- e-fail-locvar-ctint-codegen.g01.80 years349
- e-fail-locvar-ctint-codegen.txt278.9 days229
- e-fail-locvar-init-mismatch.g03.60 years109
- e-fail-locvar-init-mismatch.txt11.9 minutes250
- e-if.g02.24 years445
- e-locvar.g02.24 years1,193
- e-using-2.g02.03 years438
- e-using.g02.24 years121
- e-while.g02.24 years125
- syntax2.24 years
- c-fail-bad-strlit.g02.77 years559
- c-fail-bad-strlit.txt2.24 years1,631
- e-fail-illformed-file.g04.31 years2
- e-fail-illformed-file.txt2.24 years90
- e-fail-missing-closing-paren.g02.24 years67
- e-fail-missing-closing-paren.txt2.24 years113
- tuple4.1 days
- ce-tuple.g04.1 days1,710
- ce-tuple.txt314.0 days119
- CMakeLists.txt118.1 days191
- e-tuple-init-assign-2.cir34.3 days640
- e-tuple-init-assign-2.g0128.9 days145
- e-tuple-init-assign.cir34.3 days423
- e-tuple-init-assign.g0128.9 days146
- e-tuple.g04.1 days1,338
- verification4.1 days
- c-fail-test-1.g02.04 years271
- c-fail-test-1.txt2.04 years132
- c-fail-test-2.g03.93 years406
- c-fail-test-2.txt2.24 years254
- c-fail-test-3.g03.93 years464
- c-fail-test-3.txt2.24 years268
- c-fail-test-4.g03.93 years480
- c-fail-test-4.txt2.24 years251
- c-fail-test-5.g02.04 years339
- c-fail-test-5.txt2.04 years259
- c-fail-test-6.g02.04 years277
- c-fail-test-6.txt2.04 years331
- c-fail-test-7.g02.04 years334
- c-fail-test-7.txt1.48 years277
- c-fail-test-8.g03.83 years231
- c-fail-test-8.txt2.17 years1,914
- c-fail-test-9.g02.04 years193
- c-fail-test-9.txt2.04 years140
- c-fail-test-10.g02.04 years702
- c-fail-test-10.txt2.04 years383
- c-fail-test-11.g02.04 years39
- c-fail-test-11.txt2.04 years273
- c-fail-test-12.g02.04 years29
- c-fail-test-12.txt2.04 years365
- c-fail-test-13.g02.04 years113
- c-fail-test-13.txt2.04 years312
- c-fail-test-14.g02.04 years155
- c-fail-test-14.txt2.04 years506
- c-test-1.g02.04 years111
- c-test-2.g02.04 years162
- c-test-3.g03.93 years201
- c-test-4.g03.93 years320
- c-test-5.g02.04 years177
- c-test-6.g02.04 years253
- c-test-7.g02.04 years288
- c-test-8.g02.04 years189
- c-test-9.g02.04 years39
- c-test-10.g02.04 years84
- CMakeLists.txt118.1 days1,368
- conditions118.1 days
- c-fail-bad-condition-1.g02.77 years90
- c-fail-bad-condition-1.txt2.24 years296
- c-fail-bad-condition-2.g02.77 years91
- c-fail-bad-condition-2.txt2.04 years317
- c-fail-bad-condition-3.g01.78 years25
- c-fail-bad-condition-3.txt1.74 years191
- c-fail-unsat-2.g02.04 years52
- c-fail-unsat-2.txt2.04 years371
- c-fail-unsat-3.g02.04 years22
- c-fail-unsat-3.txt2.04 years313
- c-fail-unsat.g02.77 years101
- c-fail-unsat.txt2.05 years948
- CMakeLists.txt118.1 days388
- e-parse-forall.cir34.3 days1,332
- e-parse-forall.g0128.9 days473
- ghostfuncs118.1 days
- c-fail-test-1.g01.78 years417
- c-fail-test-1.txt1.78 years188
- c-fail-test-2.g01.74 years319
- c-fail-test-2.txt1.74 years155
- c-fail-test-3.g01.74 years565
- c-fail-test-3.txt1.74 years247
- c-fail-test-4.g01.59 years308
- c-fail-test-4.txt1.59 years163
- c-fail-test-5.g01.59 years251
- c-fail-test-5.txt1.59 years159
- c-fail-test-6.g01.59 years310
- c-fail-test-6.txt1.59 years163
- c-test-1.g01.78 years415
- c-test-2.g01.74 years317
- c-test-3.g01.74 years488
- c-test-4.g01.59 years354
- CMakeLists.txt118.1 days467
- loops118.1 days
- c-fail-test-1.g02.04 years481
- c-fail-test-1.txt2.04 years226
- c-fail-test-2.g02.04 years560
- c-fail-test-2.txt2.04 years258
- c-test-1.g02.04 years408
- c-test-2.g02.04 years560
- CMakeLists.txt118.1 days167
- misc4.1 days
- c-fail-mandelbrot-bad-1.g04.1 days1,964
- c-fail-mandelbrot-bad-1.txt305.2 days530
- c-fail-mandelbrot-bad-2.g04.1 days1,962
- c-fail-mandelbrot-bad-2.txt305.2 days565
- c-fail-mandelbrot-bad-3.g04.1 days1,969
- c-fail-mandelbrot-bad-3.txt4.1 days440
- c-fail-mandelbrot-bad-4.g04.1 days1,962
- c-fail-mandelbrot-bad-4.txt4.1 days421
- CMakeLists.txt118.1 days204
- z3gen4.1 days
- CMakeLists.txt30.9 days831
- e-z3gen-test-1.g02.04 years143
- e-z3gen-test-1.txt1.44 years657
- e-z3gen-test-2.g02.04 years194
- e-z3gen-test-2.txt148.9 days1,350
- e-z3gen-test-3.g03.93 years233
- e-z3gen-test-3.txt4.1 days1,198
- e-z3gen-test-4.g03.93 years352
- e-z3gen-test-4.txt4.1 days1,488
- e-z3gen-test-5.g02.04 years221
- e-z3gen-test-5.txt148.9 days1,278
- e-z3gen-test-6.g01.74 years260
- e-z3gen-test-6.txt1.44 years547
- e-z3gen-test-bitwise.g04.02 years443
- e-z3gen-test-bitwise.txt148.9 days2,458
- e-z3gen-test-forall.g0128.9 days302
- e-z3gen-test-forall.txt128.9 days956
- e-z3gen-test-ghostfunc.g01.78 years447
- e-z3gen-test-ghostfunc.txt103.9 days13,997
- e-z3gen-test-inline.g030.9 days249
- e-z3gen-test-inline.txt30.9 days684
- e-z3gen-test-logic-and.g04.02 years260
- e-z3gen-test-logic-and.txt9.1 days517
- e-z3gen-test-logic-or.g04.02 years259
- e-z3gen-test-logic-or.txt9.1 days516
- g1118.1 days
- CMakeLists.txt118.1 days90
- diagnostics118.1 days
- CMakeLists.txt118.1 days62
- fail-test-unexpected-type.g1278.9 days5
- fail-test-unexpected-type.txt278.9 days109
- misc118.1 days
- CMakeLists.txt118.1 days67
- test-intrinsic-forward-predicates.g1257.1 days105
- verification118.1 days
- CMakeLists.txt118.1 days30
- reference118.1 days
- CMakeLists.txt118.1 days380
- fail-test-constref-predicates.g12.04 years129
- fail-test-constref-predicates.txt2.04 years494
- fail-test-mutref-predicates-2.g12.04 years359
- fail-test-mutref-predicates-2.txt2.04 years485
- fail-test-mutref-predicates.g12.04 years88
- fail-test-mutref-predicates.txt2.04 years485
- test-constref-predicates.g12.04 years151
- test-mutref-predicates.g12.04 years92
- runtest_cmp.cmake79.1 days523
- runtest_compile_cmp.cmake118.1 days641
- runtest_err.cmake118.1 days534
- runtest_stdout_cmp.cmake118.1 days535
- tools3.0 days
- vscode-extension3.0 days
- CHANGELOG.md4.21 years238
- language-configuration.json4.21 years829
- package.json2.24 years859
- README.md4.21 years2,057
- syntaxes3.0 days
- goose.tmLanguage.json3.0 days4,254
- vsc-extension-quickstart.md4.21 years1,588
- www2.24 years
- devibeans.min.css2.24 years1,080
- highlight.js2.24 years649
- highlight.min.js2.24 years47,425