Files from all 885 check-ins sorted by filename
File ages are expressed relative to the check-in time of 2024-04-09 22:57:15.
-
GooseLast ChangeSize
- .editorconfig4.50 years140
- .fossil-settings3.80 years
- ignore-glob3.80 years121
- .vscode2.04 years
- c_cpp_properties.json2.04 years461
- bs79 seconds
- analyze4.50 years
- analyze.cpp4.50 years-
- analyze.h4.50 years-
- builder.cpp4.50 years-
- builder.h4.50 years-
- call.cpp4.50 years-
- diagnose.cpp4.50 years-
- funcvalidator.cpp4.50 years-
- funcvalidator.h4.50 years-
- meson.build4.50 years-
- value.cpp4.50 years-
- verifstmtvalidator.cpp4.50 years-
- verifstmtvalidator.h4.50 years-
- builtins79 seconds
- api2.57 years
- api.h2.57 years-
- codegen2.57 years
- codegen.h2.57 years-
- func.cpp2.57 years-
- func.h4.69 years-
- linker.cpp2.57 years-
- linker.h4.69 years-
- mangle.cpp2.57 years-
- mangle.h4.69 years-
- module.cpp2.57 years-
- module.h2.57 years-
- compiler.cpp2.57 years-
- extensibility2.57 years
- codebuilder.cpp2.57 years-
- codebuilder.h2.57 years-
- extensibility.h2.57 years-
- termref.cpp2.57 years-
- termref.h2.57 years-
- termwrapper.cpp2.57 years-
- termwrapper.h2.57 years-
- valuewrapper.cpp2.57 years-
- valuewrapper.h2.57 years-
- string.cpp2.57 years-
- support2.57 years
- cast.cpp2.57 years-
- support.h2.57 years-
- verification.cpp2.57 years-
- builders26.0 days
- builders.h251.0 days133
- cb_interface.cpp228.2 days5,031
- codebuilder.cpp228.2 days-
- codebuilder.h228.2 days745
- default_interface.cpp123.1 days3,868
- ghostcode_interface.cpp228.2 days2,842
- interfaces.cpp2.37 years-
- 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.cpp79 seconds3,391
- builtins.h123.1 days917
- CMakeLists.txt26.0 days3,900
- exprbuilder.h2.41 years-
- exprhelpers.h1.78 years4,071
- extpoints.cpp4.26 years-
- helpers.cpp228.2 days12,201
- helpers.h228.2 days4,976
- meson.build240.2 days-
- operators10.6 days
- access.cpp2.41 years-
- apostrophe.cpp314.1 days2,345
- arith.cpp1.78 years7,883
- assignment.cpp122.1 days5,387
- colon.cpp5.01 years-
- colon.h5.01 years-
- comma.cpp60.2 days4,205
- comma.h4.69 years-
- 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
- dollar.h4.69 years-
- domainspecifiers.cpp3.79 years-
- domainspecifiers.h4.69 years-
- dot.cpp10.6 days5,473
- ellipsis.cpp1.72 years1,239
- ghost.cpp156.4 days1,777
- helpers.cpp4.69 years-
- helpers.h228.2 days4,470
- inline.cpp156.4 days1,775
- intrinsic.cpp156.4 days1,799
- logic.cpp60.2 days18,721
- logic.h4.69 years-
- operators.h126.2 days1,468
- semicolon.cpp2.41 years760
- semicolon.h4.69 years-
- tupass.cpp122.1 days6,608
- tuple.h60.2 days2,671
- where.cpp2.37 years-
- 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
- hif.cpp1.61 years-
- hif.h4.69 years-
- if.cpp228.2 days5,373
- if.h4.69 years-
- return.cpp228.2 days3,440
- return.h4.69 years-
- statements.h251.0 days821
- using.cpp117.0 days4,603
- using.h4.67 years-
- verification.cpp2.37 years-
- while.cpp228.2 days5,630
- types79 seconds
- basic.cpp26.0 days6,301
- basic.h26.0 days3,550
- bfunc.cpp5.15 years-
- bfunc.h5.15 years-
- bfunc.inl5.15 years-
- constrainedfunc1.04 years
- constrainedfunc.cpp2.57 years1,430
- constrainedfunc.h3.28 years1,332
- invoke.cpp1.11 years1,549
- typecheck.cpp1.04 years4,113
- unify.cpp3.78 years-
- convert.cpp1.04 years1,107
- decl.cpp122.1 days2,682
- decl.h122.1 days2,025
- destroy.cpp2.54 years406
- drop.cpp26.0 days3,997
- extensibility2.56 years
- codebuilder.cpp2.56 years-
- codebuilder.h2.56 years-
- extensibility.h2.56 years-
- termref.cpp2.57 years-
- termref.h2.57 years-
- termwrapper.cpp2.57 years-
- termwrapper.h2.57 years-
- valuewrapper.cpp2.56 years-
- valuewrapper.h2.56 years-
- func.cpp5.15 years-
- func.h5.15 years-
- func.inl5.15 years-
- func79 seconds
- 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
- compilation79 seconds
- common.cpp98.0 days3,831
- common.h232.2 days2,188
- compilation.h156.4 days349
- inline.cpp156.4 days2,955
- intrinsic.cpp79 seconds2,886
- regular.cpp79 seconds3,948
- compile.cpp79 seconds1,551
- func.cpp79 seconds5,346
- func.h60.2 days4,989
- func.inl156.4 days746
- functype.cpp79 seconds7,895
- functype.h60.2 days5,008
- invocation79 seconds
- beagerfunc.cpp60.2 days2,073
- bfunc.cpp226.0 days1,786
- bintrinsic.cpp1.78 years1,478
- common.cpp79 seconds2,791
- common.h126.2 days628
- comptime.cpp60.2 days2,725
- func.cpp232.2 days-
- ghostfunc.cpp60.2 days2,437
- inline.cpp60.2 days7,457
- intrinsic.cpp79 seconds5,656
- invocation.h126.2 days1,953
- regular.cpp60.2 days3,430
- invoke.cpp1.78 years-
- lower.cpp79 seconds1,032
- param.cpp5.05 years-
- param.h5.05 years-
- typecheck.cpp1.04 years5,013
- unify.cpp3.78 years-
- wrapped.cpp1.04 years3,398
- wrapped.h1.04 years490
- wrappedarg.cpp1.04 years-
- wrappedarg.h1.04 years-
- ghostcode228.2 days
- drop.cpp1.78 years1,546
- ghostcode.h228.2 days1,548
- infer.cpp79 seconds4,387
- init.cpp156.4 days2,420
- intrinsic2.60 years
- intrinsic.cpp2.60 years-
- intrinsic.h2.60 years-
- intrinsic.inl2.60 years-
- inv-func.cpp5.15 years-
- localvar.cpp4.67 years-
- localvar.h4.67 years-
- localvar60.2 days
- drop.cpp2.07 years1,942
- init.cpp3.91 years-
- invoke.cpp1.78 years1,323
- localvar.cpp60.2 days6,044
- localvar.h122.1 days3,057
- typecheck.cpp1.04 years1,274
- unify.cpp3.78 years-
- 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
- unify.cpp3.78 years-
- param.h1.26 years1,460
- predicates1.04 years
- predicates.cpp1.83 years2,776
- predicates.h2.39 years640
- typecheck.cpp1.04 years523
- pretty.cpp60.2 days4,417
- propositions79 seconds
- drop.cpp2.07 years1,254
- propositions.cpp79 seconds1,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
- unify.cpp3.78 years-
- runtime79 seconds
- array.cpp79 seconds1,783
- array.h1.13 years825
- basic.cpp79 seconds7,258
- basic.h1.13 years3,448
- init.cpp122.1 days969
- pointer.cpp79 seconds2,996
- pointer.h1.13 years1,375
- record.cpp60.2 days-
- record.h60.2 days-
- runtime.cpp79 seconds2,828
- runtime.h60.2 days611
- struct.cpp4.24 years-
- struct.h4.24 years-
- typecheck.cpp240.2 days5,264
- unify.cpp3.78 years-
- 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
- template79 seconds
- build.cpp1.60 years3,993
- build.h1.60 years580
- instantiate.cpp1.11 years4,097
- invoke.cpp1.11 years3,328
- pretty.cpp1.62 years1,503
- rules.cpp2.45 years-
- rules.h2.45 years-
- rules79 seconds
- 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.cpp79 seconds8,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
- uni-tdecl.cpp3.78 years-
- unify.cpp3.78 years-
- texpr5.15 years
- tdecl.cpp5.15 years-
- tdecl.h5.15 years-
- tnameddecl.cpp5.15 years-
- tnameddecl.h5.15 years-
- tvar.cpp5.15 years-
- tvar.h5.15 years-
- tfunc5.15 years
- tfunc.cpp5.15 years-
- tfunc.h5.15 years-
- tfunctype.cpp5.15 years-
- tfunctype.h5.15 years-
- trivialchecks.cpp1.19 years2,444
- tuple.cpp5.15 years-
- tuple.h5.15 years-
- tuple.inl5.15 years-
- tuple79 seconds
- 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.cpp79 seconds7,597
- tupletype.h60.2 days1,556
- typecheck.cpp60.2 days9,473
- unify.cpp3.78 years-
- typepredicates.cpp3.10 years-
- typepredicates.h3.10 years-
- types.cpp79 seconds3,259
- types.h101.0 days2,601
- wrapper.h60.2 days9,131
- cir79 seconds
- address.h1.80 years-
- allocvar.h60.2 days1,271
- arith.h1.78 years2,075
- ass.h1.78 years877
- basicblock.h153.0 days5,047
- basicblock.inl1.78 years1,306
- binaryop.cpp1.78 years-
- binaryop.h1.78 years560
- bitwise.h1.78 years943
- branch.h1.25 years2,472
- break.h1.25 years628
- calcaddr.h3.27 years-
- call.cpp1.78 years-
- call.h130.2 days3,561
- cfg.cpp153.0 days1,831
- cfg.h153.0 days6,704
- cfgviz.cpp251.0 days-
- cfgviz.h251.0 days-
- cir.h156.4 days1,179
- CMakeLists.txt156.4 days323
- comparison.h1.78 years2,911
- conjunction.h2.44 years-
- constant.h60.2 days1,010
- continue.h1.25 years645
- createtemporary.h279.0 days1,345
- decorator.cpp225.1 days-
- decorator.h225.1 days-
- dominators.cpp3.28 years4,508
- forall.h130.2 days1,866
- func.cpp201.2 days404
- func.h98.0 days1,264
- gettemporary.h1.26 years1,283
- ghostcall.h130.2 days1,010
- 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
- inliner.inl156.4 days-
- instruction.cpp60.2 days2,787
- instruction.h156.4 days6,542
- load.h60.2 days752
- loadconst.h3.10 years-
- logic.h278.2 days927
- loopaddrs.cpp60.2 days6,789
- loops.cpp1.77 years3,665
- meson.build240.2 days-
- not.h1.78 years666
- phi.h60.2 days2,193
- phoverride.h1.78 years1,904
- placeholder.h60.2 days1,535
- quant.h251.0 days-
- reindexvars.cpp60.2 days4,408
- ret.h1.25 years1,109
- select.h1.78 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
- tests79 seconds
- CMakeLists.txt79 seconds972
- dom-1.cpp60.2 days1,239
- dom-2.cpp60.2 days2,107
- meson.build240.2 days-
- type.h251.0 days929
- varaddr.h1.26 years990
- verification.h278.2 days824
- verifinstrfilter.cpp130.2 days5,250
- verifinstrfilter.h226.0 days2,351
- CMakeLists.txt79 seconds2,119
- codegen79 seconds
- address.cpp10.6 days3,200
- address.h1.13 years791
- arithops.cpp1.13 years1,731
- basicblock.cpp153.0 days3,501
- binaryops.cpp4.68 years-
- cfg.cpp4.39 years-
- CMakeLists.txt79 seconds262
- codegen.cpp60.2 days550
- codegen.h79 seconds792
- 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
- mangle.h4.69 years-
- meson.build240.2 days-
- module.cpp1.13 years2,914
- module.h153.0 days7,231
- module.inl131.2 days824
- pointer.cpp3.94 years-
- stack.h1.13 years2,255
- type.cpp3.89 years-
- type.h3.89 years-
- value.cpp60.2 days4,162
- compile79 seconds
- CMakeLists.txt240.2 days41
- compiler.cpp79 seconds6,388
- compiler.h3.28 years803
- meson.build240.2 days-
- compiler.cpp4.49 years-
- compiler.h4.49 years-
- 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
- disagnosticmanager.h4.67 years-
- location.cpp201.2 days-
- location.h201.2 days-
- locationmanager.cpp4.66 years-
- locationmanager.h4.66 years-
- meson.build240.2 days-
- 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
- compare.h2.54 years-
- compare.inl2.54 years-
- 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.h1.78 years574
- helpers.cpp1.60 years1,459
- helpers.h1.60 years1,112
- helpers.inl1.04 years1,910
- location.h2.54 years-
- locationid.h201.2 days-
- 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
- meson.build240.2 days-
- pretty.cpp3.18 years2,114
- pretty.h1.10 years668
- term.h1.70 years2,377
- tests60.2 days
- CMakeLists.txt60.2 days696
- match-terms-trie.cpp60.2 days8,121
- match-terms.cpp2.55 years-
- match-tries.cpp2.54 years-
- merge.cpp60.2 days4,194
- meson.build240.2 days-
- tostring.cpp1.25 years3,604
- tostring.h2.54 years1,057
- trie.h1.70 years4,442
- typepredicates.h2.39 years-
- 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
- empathy.cpp4.55 years-
- execute60.2 days
- binaryops.cpp1.78 years4,086
- binaryops.inl1.78 years5,903
- CMakeLists.txt240.2 days83
- eval.cpp251.0 days2,301
- eval.h4.69 years-
- execute.h3.27 years364
- frame.cpp4.67 years-
- frame.h3.69 years-
- meson.build240.2 days-
- termaddr.cpp2.41 years634
- termaddr.h3.27 years296
- vm.cpp60.2 days11,283
- vm.h156.4 days6,332
- g0api79 seconds
- cgapi240.2 days
- cgapi.h2.57 years429
- func.cpp2.44 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.cpp79 seconds11,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
- term.cpp2.57 years-
- termref.h2.37 years1,243
- termwrapper.cpp2.56 years-
- termwrapper.h2.56 years-
- types.cpp2.52 years-
- types.h2.52 years-
- typewrappers.cpp2.56 years-
- typewrappers.h2.56 years-
- value.cpp60.2 days4,464
- g0api.h1.87 years601
- meson.build240.2 days-
- string.cpp1.19 years2,799
- support2.38 years
- cast.cpp2.38 years-
- support.h2.38 years-
- verification.cpp2.38 years-
- types.cpp225.1 days10,545
- types.h225.1 days2,477
- goose-config.h.in240.2 days91
- goose.cpp2.55 years247
- ir3.28 years
- anyterm.h3.28 years-
- bridge.h3.28 years-
- CMakeLists.txt4.63 years-
- compare.cpp3.28 years-
- compare.h3.28 years-
- compare.inl3.28 years-
- decompose.h3.28 years-
- decompose.inl3.28 years-
- enumerate.cpp3.28 years-
- enumerate.h3.28 years-
- enumerate.inl3.28 years-
- graphviz.cpp3.28 years-
- graphviz.h3.28 years-
- graphviz.inl3.28 years-
- helpers.cpp3.28 years-
- helpers.h3.28 years-
- helpers.inl3.28 years-
- ir.h3.28 years-
- location.h4.67 years-
- match.cpp3.28 years-
- match.h3.28 years-
- match.inl3.28 years-
- merge.cpp3.28 years-
- merge.h3.28 years-
- merge.inl3.28 years-
- meson.build3.28 years-
- or.cpp5.41 years-
- or.h5.41 years-
- term.cpp4.71 years-
- term.h3.28 years-
- term.inl4.67 years-
- tests3.28 years
- CMakeLists.txt4.63 years-
- match-terms-trie.cpp3.28 years-
- match-terms.cpp3.28 years-
- match-tries.cpp4.59 years-
- merge-tries.cpp4.59 years-
- merge.cpp3.28 years-
- meson.build3.28 years-
- tostring.cpp3.28 years-
- tostring.h3.28 years-
- trie.h3.28 years-
- value.cpp3.28 years-
- value.h3.28 years-
- variable.h5.44 years-
- vecgenerator.cpp3.28 years-
- vecgenerator.h3.28 years-
- vecoflength.h3.28 years-
- vector.h3.28 years-
- 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
- meson.build240.2 days-
- strlit.cpp4.24 years9,292
- tokenprovider.h2.37 years638
- vectoradapter.cpp5.05 years-
- vectoradapter.h2.37 years938
- vectoradapter.inl2.37 years1,354
- lexer5.22 years
- CMakeLists.txt5.22 years-
- comment.cpp5.22 years-
- lexer.cpp5.22 years-
- lexer.h5.22 years-
- lookahead.cpp5.22 years-
- llr3.28 years
- address.h3.31 years-
- allocvar.h3.28 years-
- arith.h3.28 years-
- ass.h3.28 years-
- basicblock.cpp4.44 years-
- basicblock.h3.28 years-
- basicblock.inl3.28 years-
- binaryop.cpp3.28 years-
- binaryop.h3.28 years-
- bitwise.h3.28 years-
- branch.cpp4.64 years-
- branch.h3.28 years-
- break.h3.28 years-
- calcaddr.h3.28 years-
- call.cpp3.28 years-
- call.h3.28 years-
- cfg.cpp3.28 years-
- cfg.h3.28 years-
- cfgviz.cpp3.28 years-
- cfgviz.h3.28 years-
- CMakeLists.txt4.63 years-
- comparison.h3.28 years-
- continue.h3.28 years-
- createtemporary.h3.28 years-
- dominators.cpp3.28 years-
- dominators.h4.48 years-
- element.cpp4.99 years-
- element.h4.99 years-
- element.inl5.19 years-
- func.cpp3.28 years-
- func.h3.28 years-
- gep.cpp4.12 years-
- gep.h4.09 years-
- getarg.h4.67 years-
- gettemporary.h3.28 years-
- getvar.h3.99 years-
- helpers.cpp3.28 years-
- helpers.h3.28 years-
- instruction.cpp3.28 years-
- instruction.h3.28 years-
- llr.h3.28 years-
- load.cpp4.09 years-
- load.h3.28 years-
- loadconst.h3.28 years-
- logic.h3.28 years-
- loopaddrs.cpp3.28 years-
- loops.cpp3.28 years-
- loopvars.cpp3.84 years-
- meson.build3.28 years-
- phi.cpp4.69 years-
- phi.h3.28 years-
- placeholder.h3.28 years-
- pointer.h3.94 years-
- predicates.h5.19 years-
- ret.h3.28 years-
- seq.h4.99 years-
- seq.inl4.99 years-
- setvar.h3.96 years-
- store.cpp4.09 years-
- store.h3.28 years-
- terminator.cpp3.28 years-
- terminator.h3.28 years-
- tests3.28 years
- dom-1.cpp3.28 years-
- dom-2.cpp3.28 years-
- meson.build3.28 years-
- variable.h5.19 years-
- meson.build240.2 days-
- parse79 seconds
- blocks.cpp2.14 years3,661
- braceblock.cpp1.10 years2,335
- bracketblock.cpp240.2 days4,872
- CMakeLists.txt240.2 days245
- complexvalue.cpp4.69 years-
- complexvalue.h4.69 years-
- destruct.cpp4.24 years-
- func.cpp2.14 years4,468
- funcdecl.cpp2.14 years2,484
- funcdecl.h2.14 years1,395
- functype.cpp2.37 years1,669
- meson.build240.2 days-
- overload.cpp2.07 years1,183
- overload.h2.14 years-
- parenblock.cpp1.40 years4,298
- parse.h79 seconds759
- 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.78 years1,198
- rule-helpers.inl1.78 years11,696
- rule.h2.56 years2,165
- scope.cpp1.40 years-
- scope.h1.40 years-
- tfunc.cpp2.14 years3,469
- tfuncdecl.cpp2.14 years2,511
- tfuncdecl.h2.14 years1,379
- parser5.22 years
- CMakeLists.txt5.22 years-
- context.h5.24 years-
- parser.h5.22 years-
- resolver.cpp5.22 years-
- resolver.h5.22 years-
- precedence.h340.2 days2,568
- profiling.cpp240.2 days-
- sema10.6 days
- call.cpp5.20 years-
- call.h5.20 years-
- callback.cpp4.68 years-
- callback.h4.68 years-
- cfgbuilder.cpp4.69 years-
- cfgbuilder.h4.69 years-
- CMakeLists.txt240.2 days461
- codebuilder.cpp2.41 years-
- codebuilder.h2.41 years-
- context.cpp60.2 days1,464
- context.h60.2 days4,046
- ctmm.h4.15 years2,898
- decl.cpp5.18 years-
- decl.h5.18 years-
- depsgraph.cpp5.27 years-
- depsgraph.h5.27 years-
- domain.cpp3.79 years-
- domain.h3.79 years-
- env.cpp156.4 days4,064
- env.h10.6 days10,793
- fun-decl.cpp5.20 years-
- fun-decl.h5.20 years-
- fun-ruleset.cpp5.20 years-
- fun-ruleset.h5.20 years-
- fun.cpp5.20 years-
- fun.h5.20 years-
- func-decl.cpp5.25 years-
- func-decl.h5.25 years-
- func.cpp5.15 years-
- func.h5.15 years-
- hole.cpp1.70 years1,243
- hole.h1.70 years419
- inv-func.cpp5.18 years-
- inv-func.h5.18 years-
- 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
- meson.build240.2 days-
- overloadset.cpp17.4 days1,816
- overloadset.h17.4 days1,713
- param.cpp5.18 years-
- param.h5.18 years-
- postprocess.cpp1.60 years2,449
- postprocess.h3.78 years624
- res-ruleset.cpp5.25 years-
- res-ruleset.h5.25 years-
- resolve.cpp5.25 years-
- resolve.h5.25 years-
- 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
- meson.build240.2 days-
- tctrie-merge.cpp60.2 days3,968
- tctrie-typecheck.cpp60.2 days5,186
- unify-holes.cpp60.2 days3,762
- utrie-merge.cpp3.78 years-
- utrie-unify.cpp3.78 years-
- tpl-ruleset.cpp1.62 years1,200
- tpl-ruleset.h1.60 years2,192
- typecheck.cpp1.26 years6,809
- typecheck.h2.54 years1,224
- uni-3way.cpp5.02 years-
- uni-3way.h5.02 years-
- uni-basicrules.cpp1.04 years5,066
- uni-basicrules.h3.78 years183
- uni-callback.cpp4.68 years-
- uni-context.cpp3.78 years-
- uni-context.h3.78 years-
- uni-holes.cpp1.04 years14,141
- uni-holes.h3.78 years172
- uni-postproc.cpp3.78 years-
- uni-quote.cpp1.04 years1,885
- uni-quote.h3.78 years535
- uni-ruleset.cpp3.78 years-
- uni-ruleset.h3.78 years-
- uni-score.h3.78 years-
- uni-trie.h5.09 years-
- unify.cpp3.78 years-
- unify.h3.78 years-
- utrie-uni.inl3.78 years-
- utrie.h3.78 years-
- utrie.inl3.78 years-
- value.cpp5.23 years-
- value.h5.23 years-
- util60.2 days
- bigint.cpp2.38 years1,067
- bigint.h126.2 days7,959
- CMakeLists.txt187.9 days191
- crc32.h4.64 years-
- 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
- meson.build240.2 days-
- profiling.h240.2 days504
- stringid.cpp2.53 years1,594
- stringid.h60.2 days2,096
- tests60.2 days
- CMakeLists.txt60.2 days588
- generator.cpp60.2 days3,447
- meson.build240.2 days-
- 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.78 years3,346
- CMakeLists.txt60.2 days341
- comptime.cpp1.78 years-
- condition.cpp2.38 years-
- condition.h2.38 years-
- diagnose.cpp4.49 years-
- func.cpp60.2 days6,355
- func.h131.2 days2,514
- gfctracker.cpp1.78 years8,210
- gfctracker.h1.78 years1,619
- ghostfunc.cpp60.2 days1,901
- ghostfunc.h1.78 years1,301
- helpers.h60.2 days1,796
- helpers.inl60.2 days1,107
- instrseq.cpp131.2 days2,837
- location.cpp1.92 years-
- location.h1.92 years-
- loop.cpp131.2 days6,775
- meson.build240.2 days-
- phi.cpp60.2 days1,401
- pointer.cpp3.96 years-
- pointer.h3.96 years-
- propositions.cpp1.78 years2,195
- propositions.h2.38 years1,070
- relation.cpp2.61 years-
- relation.h2.61 years-
- 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
- unroller.cpp4.44 years-
- unroller.h4.44 years-
- unrolling.cpp4.47 years-
- unrolling.h4.47 years-
- valtracker.cpp2.15 years-
- valtracker.h2.15 years-
- valtracker.inl1.78 years-
- value.cpp60.2 days24,061
- value.h1.78 years1,491
- vartracker.cpp1.78 years2,574
- vartracker.h1.78 years899
- verify.cpp4.50 years157
- verify.h131.2 days705
- verifyviz.cpp2.25 years4,808
- verifyviz.h2.33 years2,711
- z3helpers.h4.20 years-
- cmake26.0 days
- common.cmake240.2 days160
- compiler_config.cmake240.2 days1,951
- CompilerConfig.cmake4.63 years-
- conan.cmake4.63 years-
- FindLLD.cmake240.2 days1,919
- profiling.cmake240.2 days379
- testing.cmake26.0 days5,781
- CMakeLists.txt79 seconds761
- conanfile.txt4.63 years-
- docs4.18 years
- contracts.md4.18 years-
- index.md4.18 years1,396
- internals.md4.18 years-
- 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
- empathy.em4.55 years-
- frontend.em4.55 years-
- frontend.g2.57 years-
- goose.g2.57 years-
- goose.g02.56 years628
- goose_test.g0130.2 days1,378
- meson.build240.2 days-
- prelude125.1 days
- args.g01.04 years955
- CMakeLists.txt240.2 days189
- diagnostics.g01.04 years1,076
- meson.build240.2 days-
- prelude.g01.04 years236
- ref_verification.g0279.0 days3,978
- setup_g1.g0125.1 days3,094
- tuple_foreach.g01.04 years1,192
- util.g0156.4 days3,825
- targets240.2 days
- CMakeLists.txt240.2 days47
- darwin.g0240.2 days583
- linux.g0240.2 days1,369
- meson.build240.2 days-
- LICENSE1.19 years1,081
- meson.build240.2 days-
- meson_options.txt240.2 days-
- samples126.2 days
- CMakeLists.txt240.2 days1,056
- helloworld.em4.55 years-
- helloworld.g2.57 years-
- helloworld.g12.57 years192
- mandelbrot.em4.55 years-
- mandelbrot.g2.57 years-
- mandelbrot.g1126.2 days1,946
- meson.build240.2 days-
- shitty_helloworld.em4.66 years-
- subprojects240.2 days
- catch2.wrap240.2 days-
- fmt.wrap1.10 years-
- mimalloc.wrap240.2 days-
- packagefiles251.0 days
- mimalloc.patch251.0 days-
- tracy.wrap240.2 days-
- tests10.6 days
- arithops.em4.66 years-
- bitwiseops.em4.66 years-
- CMakeLists.txt240.2 days64
- codegen4.66 years
- arithops.em4.66 years-
- arithops.ll4.66 years-
- bitwiseops.em4.66 years-
- bitwiseops.ll4.66 years-
- CMakeLists.txt4.66 years-
- comparisonops.em4.66 years-
- comparisonops.ll4.66 years-
- func.em4.66 years-
- func.ll4.66 years-
- if.em4.66 years-
- if.ll4.66 years-
- locvar.em4.66 years-
- locvar.ll4.66 years-
- logicops.em4.66 years-
- logicops.ll4.66 years-
- module.em4.66 years-
- module.ll4.66 years-
- runtest.cmake4.66 years-
- comparisonops.em4.66 years-
- g010.6 days
- CMakeLists.txt26.0 days734
- codegen60.2 days
- argpack.g0126.2 days1,446
- argpack.ll60.2 days3,447
- arithops.g01.78 years406
- arithops.ll1.13 years1,423
- bitwiseops.g01.78 years671
- bitwiseops.ll60.2 days3,402
- CMakeLists.txt131.2 days538
- comparisonops.g01.78 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
- meson.build240.2 days-
- template.g02.37 years549
- template.ll60.2 days946
- test_runner.sh240.2 days-
- while.g02.57 years401
- while.ll1.13 years1,522
- function60.2 days
- c-fail-calling-compiletime-func.g02.57 years127
- c-fail-calling-compiletime-func.txt1.78 years177
- c-fail-func-type-mismatch.g02.57 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
- meson.build240.2 days-
- test_runner_c_fail.sh240.2 days-
- test_runner_e_fail.sh240.2 days-
- general126.2 days
- c-fail-outofrange-int-constant.g02.57 years232
- c-fail-outofrange-int-constant.txt2.57 years278
- ce-mandelbrot.g0126.2 days2,554
- ce-mandelbrot.txt2.57 years3,232
- CMakeLists.txt240.2 days114
- meson.build240.2 days-
- test_runner_c_fail.sh240.2 days-
- test_runner_compile.sh240.2 days-
- test_runner_execute.sh240.2 days-
- helpers.g02.57 years402
- meson.build240.2 days-
- 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.g02.57 years103
- e-fail-type-mismatch.txt2.55 years212
- e-logicops.g02.57 years1,096
- meson.build240.2 days-
- test_runner_e_fail.sh240.2 days-
- reference240.2 days
- ce-reference.g02.43 years2,197
- ce-reference.txt2.57 years233
- CMakeLists.txt240.2 days54
- meson.build240.2 days-
- test_runner_compile.sh240.2 days-
- test_runner_execute.sh240.2 days-
- 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.g02.57 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
- meson.build240.2 days-
- test_runner_e_fail.sh240.2 days-
- struct10.6 days
- c-fail-struct-member-name-collision.g010.6 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.g02.57 years559
- c-fail-bad-strlit.txt2.57 years1,631
- CMakeLists.txt26.0 days223
- e-fail-illformed-file.g02.57 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
- meson.build240.2 days-
- test_runner_c_fail.sh240.2 days-
- test_runner_e_fail.sh240.2 days-
- 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
- meson.build240.2 days-
- test_runner_cirgen.sh240.2 days-
- test_runner_compile.sh240.2 days-
- test_runner_execute.sh240.2 days-
- verification60.2 days
- c-fail-test-1.g02.38 years271
- c-fail-test-1.txt2.38 years132
- c-fail-test-2.g02.57 years406
- c-fail-test-2.txt2.57 years254
- c-fail-test-3.g02.57 years464
- c-fail-test-3.txt2.57 years268
- c-fail-test-4.g02.57 years480
- c-fail-test-4.txt1.10 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.78 years277
- c-fail-test-8.g02.57 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.g02.57 years201
- c-test-4.g02.57 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.g02.57 years90
- c-fail-bad-condition-1.txt2.57 years296
- c-fail-bad-condition-2.g02.57 years91
- c-fail-bad-condition-2.txt2.07 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.g02.57 years101
- c-fail-unsat.txt2.38 years948
- CMakeLists.txt240.2 days388
- meson.build240.2 days-
- test_runner_fail.sh240.2 days-
- 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
- meson.build240.2 days-
- test_runner.sh240.2 days-
- test_runner_fail.sh240.2 days-
- 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
- meson.build240.2 days-
- test_runner.sh240.2 days-
- test_runner_fail.sh240.2 days-
- meson.build240.2 days-
- 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
- meson.build240.2 days-
- test_runner_fail.sh240.2 days-
- test_runner.sh240.2 days-
- test_runner_cirgen.sh240.2 days-
- test_runner_fail.sh240.2 days-
- 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.g02.57 years233
- e-z3gen-test-3.txt126.2 days1,198
- e-z3gen-test-4.g02.57 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.g02.57 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.g02.57 years260
- e-z3gen-test-logic-and.txt131.2 days517
- e-z3gen-test-logic-or.g02.57 years259
- e-z3gen-test-logic-or.txt131.2 days516
- meson.build240.2 days-
- test_runner.sh240.2 days-
- 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
- meson.build240.2 days-
- test_runner_fail.sh240.2 days-
- meson.build240.2 days-
- misc240.2 days
- CMakeLists.txt240.2 days67
- meson.build240.2 days-
- test-intrinsic-forward-predicates.g11.04 years105
- test_runner.sh240.2 days-
- verification240.2 days
- CMakeLists.txt240.2 days30
- meson.build240.2 days-
- reference240.2 days
- c-fail-test-mutref-predicates.g12.50 years-
- c-fail-test-mutref-predicates.txt2.50 years-
- c-test-mutref-predicates.g12.50 years-
- 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
- meson.build240.2 days-
- test-constref-predicates.g12.37 years151
- test-mutref-predicates.g12.37 years92
- test_runner.sh240.2 days-
- test_runner_fail.sh240.2 days-
- helpers.em4.66 years-
- higher-func.em4.66 years-
- higher-poly.em4.66 years-
- higher-template.em4.66 years-
- if.em4.66 years-
- locvar.em4.66 years-
- logicops.em4.66 years-
- meson.build240.2 days-
- noprelude2.57 years
- CMakeLists.txt4.63 years-
- codegen2.57 years
- arithops.em4.55 years-
- arithops.g2.57 years-
- arithops.ll2.57 years-
- bitwiseops.em4.55 years-
- bitwiseops.g2.57 years-
- bitwiseops.ll2.57 years-
- CMakeLists.txt4.63 years-
- comparisonops.em4.55 years-
- comparisonops.g2.57 years-
- comparisonops.ll2.57 years-
- compoundass.em4.55 years-
- compoundass.g2.57 years-
- compoundass.ll2.57 years-
- func.em4.55 years-
- func.g2.57 years-
- func.ll2.57 years-
- if.em4.55 years-
- if.g2.57 years-
- if.ll2.57 years-
- locvar.em4.55 years-
- locvar.g2.57 years-
- locvar.ll2.57 years-
- logicops.em4.55 years-
- logicops.g2.57 years-
- logicops.ll2.57 years-
- meson.build2.57 years-
- runtest.cmake4.63 years-
- test_runner.sh2.57 years-
- while.em4.55 years-
- while.g2.57 years-
- while.ll2.57 years-
- combined3.11 years
- mandelbrot.g3.11 years-
- mandelbrot.txt3.11 years-
- meson.build3.11 years-
- reference.g3.11 years-
- reference.txt3.11 years-
- test_runner_compile.sh3.11 years-
- test_runner_interp.sh3.11 years-
- tuple.g3.11 years-
- tuple.txt3.11 years-
- complex3.90 years
- mandelbrot.em4.55 years-
- mandelbrot.g3.90 years-
- mandelbrot.txt3.90 years-
- meson.build3.90 years-
- test_runner_compile.sh3.90 years-
- test_runner_interp.sh3.90 years-
- diagnostics3.11 years
- CMakeLists.txt4.63 years-
- compile-bad-strlit.em4.55 years-
- compile-bad-strlit.g3.11 years-
- compile-bad-strlit.txt3.11 years-
- compile-calling-compiletime-func.em4.55 years-
- compile-calling-compiletime-func.g3.11 years-
- compile-calling-compiletime-func.txt3.11 years-
- compile-func-type-mismatch.em4.55 years-
- compile-func-type-mismatch.g3.11 years-
- compile-func-type-mismatch.txt3.11 years-
- compile-verif-bad-condition-1.g3.11 years-
- compile-verif-bad-condition-1.txt3.11 years-
- compile-verif-bad-condition-2.g3.11 years-
- compile-verif-bad-condition-2.txt3.11 years-
- compile-verif-mandelbrot-bad-1.g3.11 years-
- compile-verif-mandelbrot-bad-1.txt3.11 years-
- compile-verif-mandelbrot-bad-2.g3.11 years-
- compile-verif-mandelbrot-bad-2.txt3.11 years-
- compile-verif-mandelbrot-bad-3.g3.11 years-
- compile-verif-mandelbrot-bad-3.txt3.11 years-
- compile-verif-mandelbrot-bad-4.g3.11 years-
- compile-verif-mandelbrot-bad-4.txt3.11 years-
- compile-verif-test-1.g3.11 years-
- compile-verif-test-1.txt3.11 years-
- compile-verif-test-2.g3.11 years-
- compile-verif-test-2.txt3.11 years-
- compile-verif-test-3.g3.11 years-
- compile-verif-test-3.txt3.11 years-
- compile-verif-test-4.g3.11 years-
- compile-verif-test-4.txt3.11 years-
- compile-verif-test-5.g3.11 years-
- compile-verif-test-5.txt3.11 years-
- compile-verif-test-6.g3.11 years-
- compile-verif-test-6.txt3.11 years-
- compile-verif-test-7.g3.11 years-
- compile-verif-test-7.txt3.11 years-
- compile-verif-test-8.g3.11 years-
- compile-verif-test-8.txt3.11 years-
- compile-verif-test-9.g3.11 years-
- compile-verif-test-9.txt3.11 years-
- compile-verif-test-loop-1.g3.11 years-
- compile-verif-test-loop-1.txt3.11 years-
- compile-verif-test-loop-2.g3.11 years-
- compile-verif-test-loop-2.txt3.11 years-
- compile-verif-unsat-2.g3.11 years-
- compile-verif-unsat-2.txt3.11 years-
- compile-verif-unsat.g3.11 years-
- compile-verif-unsat.txt3.11 years-
- illformed-file-1.em4.55 years-
- illformed-file-1.g3.11 years-
- illformed-file-1.txt3.11 years-
- locvar-ctint-codegen.em4.55 years-
- locvar-ctint-codegen.g3.11 years-
- locvar-ctint-codegen.txt3.11 years-
- locvar-init-mismatch.em4.55 years-
- locvar-init-mismatch.g3.11 years-
- locvar-init-mismatch.txt3.11 years-
- meson.build3.11 years-
- missing-closing-paren.em4.55 years-
- missing-closing-paren.g3.11 years-
- missing-closing-paren.txt3.11 years-
- missing-open-paren.em4.66 years-
- missing-open-paren.txt4.66 years-
- operator-type-mismatch.em4.55 years-
- operator-type-mismatch.g3.11 years-
- operator-type-mismatch.txt3.11 years-
- recursive-using.em4.55 years-
- recursive-using.g3.79 years-
- recursive-using.txt3.79 years-
- runtest.cmake4.63 years-
- runtest_comp.cmake4.63 years-
- template-instantiation-context.em4.55 years-
- template-instantiation-context.g3.11 years-
- template-instantiation-context.txt3.11 years-
- template-type-mismatch.em4.55 years-
- template-type-mismatch.g3.11 years-
- template-type-mismatch.txt3.11 years-
- test_runner.sh3.11 years-
- test_runner_np.sh3.11 years-
- unsat-verif.g4.26 years-
- unsat-verif.txt4.26 years-
- execute3.11 years
- arithops.em4.55 years-
- arithops.g3.11 years-
- bitwiseops.em4.55 years-
- bitwiseops.g3.11 years-
- CMakeLists.txt4.63 years-
- comparisonops.em4.55 years-
- comparisonops.g3.11 years-
- compoundass.em4.55 years-
- compoundass.g3.11 years-
- func.g3.11 years-
- higher-func.em4.55 years-
- higher-func.g3.11 years-
- higher-poly.em4.55 years-
- higher-poly.g3.11 years-
- higher-template.em4.55 years-
- higher-template.g3.11 years-
- if.em4.55 years-
- if.g3.11 years-
- locvar.em4.55 years-
- locvar.g3.11 years-
- logicops.em4.55 years-
- logicops.g3.11 years-
- meson.build3.11 years-
- overloading.em4.55 years-
- overloading.g3.11 years-
- templates.em4.55 years-
- templates.g3.11 years-
- tuple.em4.55 years-
- tuple.g3.11 years-
- using.em4.55 years-
- using.g3.11 years-
- while.em4.55 years-
- while.g3.11 years-
- function2.57 years
- c-fail-calling-compiletime-func.g2.57 years-
- c-fail-calling-compiletime-func.txt2.57 years-
- c-fail-func-type-mismatch.g2.57 years-
- c-fail-func-type-mismatch.txt2.57 years-
- e-fail-template-instantiation-context.g2.57 years-
- e-fail-template-instantiation-context.txt2.57 years-
- e-fail-template-type-mismatch.g2.57 years-
- e-fail-template-type-mismatch.txt2.57 years-
- e-func.g2.57 years-
- e-higher-func.g2.57 years-
- e-higher-poly.g2.57 years-
- e-higher-template.g2.57 years-
- e-overloading.g2.57 years-
- e-templates.g2.57 years-
- meson.build2.57 years-
- test_runner_c_fail.sh2.57 years-
- test_runner_e_fail.sh2.57 years-
- general2.57 years
- c-fail-outofrange-int-constant.g2.57 years-
- c-fail-outofrange-int-constant.txt2.57 years-
- ce-mandelbrot.g2.57 years-
- ce-mandelbrot.txt2.57 years-
- meson.build2.57 years-
- test_runner_c_fail.sh2.57 years-
- test_runner_compile.sh2.57 years-
- test_runner_execute.sh2.57 years-
- helpers.em4.55 years-
- helpers.g2.57 years-
- meson.build2.57 years-
- operators2.57 years
- e-arithops.g2.57 years-
- e-bitwiseops.g2.57 years-
- e-comparisonops.g2.57 years-
- e-compoundass.g2.57 years-
- e-fail-type-mismatch.g2.57 years-
- e-fail-type-mismatch.txt2.57 years-
- e-logicops.g2.57 years-
- meson.build2.57 years-
- test_runner_e_fail.sh2.57 years-
- reference2.57 years
- ce-reference.g2.57 years-
- ce-reference.txt2.57 years-
- meson.build2.57 years-
- test_runner_compile.sh2.57 years-
- test_runner_execute.sh2.57 years-
- statements2.57 years
- e-fail-locvar-ctint-codegen.g2.57 years-
- e-fail-locvar-ctint-codegen.txt2.57 years-
- e-fail-locvar-init-mismatch.g2.57 years-
- e-fail-locvar-init-mismatch.txt2.57 years-
- e-if.g2.57 years-
- e-locvar.g2.57 years-
- e-using.g2.57 years-
- e-while.g2.57 years-
- meson.build2.57 years-
- test_runner_e_fail.sh2.57 years-
- syntax2.57 years
- c-fail-bad-strlit.g2.57 years-
- c-fail-bad-strlit.txt2.57 years-
- e-fail-illformed-file.g2.57 years-
- e-fail-illformed-file.txt2.57 years-
- e-fail-missing-closing-paren.g2.57 years-
- e-fail-missing-closing-paren.txt2.57 years-
- meson.build2.57 years-
- test_runner_c_fail.sh2.57 years-
- test_runner_e_fail.sh2.57 years-
- tuple2.57 years
- ce-tuple.g2.57 years-
- ce-tuple.txt2.57 years-
- e-tuple.g2.57 years-
- meson.build2.57 years-
- test_runner_compile.sh2.57 years-
- test_runner_execute.sh2.57 years-
- verification2.57 years
- c-fail-bad-condition-1.g3.11 years-
- c-fail-bad-condition-1.txt3.11 years-
- c-fail-bad-condition-2.g3.11 years-
- c-fail-bad-condition-2.txt3.11 years-
- c-fail-mandelbrot-bad-1.g3.11 years-
- c-fail-mandelbrot-bad-1.txt3.11 years-
- c-fail-mandelbrot-bad-2.g3.11 years-
- c-fail-mandelbrot-bad-2.txt3.11 years-
- c-fail-mandelbrot-bad-3.g3.11 years-
- c-fail-mandelbrot-bad-3.txt3.11 years-
- c-fail-mandelbrot-bad-4.g3.11 years-
- c-fail-mandelbrot-bad-4.txt3.11 years-
- c-fail-test-1.g2.57 years-
- c-fail-test-1.txt2.57 years-
- c-fail-test-2.g2.57 years-
- c-fail-test-2.txt2.57 years-
- c-fail-test-3.g2.57 years-
- c-fail-test-3.txt2.57 years-
- c-fail-test-4.g2.57 years-
- c-fail-test-4.txt2.57 years-
- c-fail-test-5.g2.57 years-
- c-fail-test-5.txt2.57 years-
- c-fail-test-6.g2.57 years-
- c-fail-test-6.txt2.57 years-
- c-fail-test-7.g2.57 years-
- c-fail-test-7.txt2.57 years-
- c-fail-test-8.g2.57 years-
- c-fail-test-8.txt2.57 years-
- c-fail-test-9.g2.57 years-
- c-fail-test-9.txt2.57 years-
- c-fail-test-10.g2.57 years-
- c-fail-test-10.txt2.57 years-
- c-fail-test-11.g2.57 years-
- c-fail-test-11.txt2.57 years-
- c-fail-test-12.g2.57 years-
- c-fail-test-12.txt2.57 years-
- c-fail-test-loop-1.g3.11 years-
- c-fail-test-loop-1.txt3.11 years-
- c-fail-test-loop-2.g3.11 years-
- c-fail-test-loop-2.txt3.11 years-
- c-fail-unsat-2.g3.11 years-
- c-fail-unsat-2.txt3.11 years-
- c-fail-unsat.g3.11 years-
- c-fail-unsat.txt3.11 years-
- c-test-1.g2.57 years-
- c-test-2.g2.57 years-
- c-test-3.g2.57 years-
- c-test-4.g2.57 years-
- c-test-5.g2.57 years-
- c-test-6.g2.57 years-
- c-test-7.g2.57 years-
- c-test-8.g2.57 years-
- c-test-9.g2.57 years-
- c-test-loop-1.g3.11 years-
- c-test-loop-2.g3.11 years-
- conditions2.57 years
- c-fail-bad-condition-1.g2.57 years-
- c-fail-bad-condition-1.txt2.57 years-
- c-fail-bad-condition-2.g2.57 years-
- c-fail-bad-condition-2.txt2.57 years-
- c-fail-unsat-2.g2.57 years-
- c-fail-unsat-2.txt2.57 years-
- c-fail-unsat-3.g2.57 years-
- c-fail-unsat-3.txt2.57 years-
- c-fail-unsat.g2.57 years-
- c-fail-unsat.txt2.57 years-
- meson.build2.57 years-
- test_runner_fail.sh2.57 years-
- e-z3out-test-1.g3.11 years-
- e-z3out-test-1.txt3.11 years-
- e-z3out-test-2.g3.11 years-
- e-z3out-test-2.txt3.11 years-
- e-z3out-test-3.g3.11 years-
- e-z3out-test-3.txt3.11 years-
- e-z3out-test-4.g3.11 years-
- e-z3out-test-4.txt3.11 years-
- e-z3out-test-5.g3.11 years-
- e-z3out-test-5.txt3.11 years-
- e-z3out-test-bitwise.g3.11 years-
- e-z3out-test-bitwise.txt3.11 years-
- e-z3out-test-logic-and.g3.11 years-
- e-z3out-test-logic-and.txt3.11 years-
- e-z3out-test-logic-or.g3.11 years-
- e-z3out-test-logic-or.txt3.11 years-
- loops2.57 years
- c-fail-test-1.g2.57 years-
- c-fail-test-1.txt2.57 years-
- c-fail-test-2.g2.57 years-
- c-fail-test-2.txt2.57 years-
- c-test-1.g2.57 years-
- c-test-2.g2.57 years-
- meson.build2.57 years-
- test_runner.sh2.57 years-
- test_runner_fail.sh2.57 years-
- meson.build2.57 years-
- misc2.57 years
- c-fail-mandelbrot-bad-1.g2.57 years-
- c-fail-mandelbrot-bad-1.txt2.57 years-
- c-fail-mandelbrot-bad-2.g2.57 years-
- c-fail-mandelbrot-bad-2.txt2.57 years-
- c-fail-mandelbrot-bad-3.g2.57 years-
- c-fail-mandelbrot-bad-3.txt2.57 years-
- c-fail-mandelbrot-bad-4.g2.57 years-
- c-fail-mandelbrot-bad-4.txt2.57 years-
- meson.build2.57 years-
- test_runner_fail.sh2.57 years-
- test-1.g4.50 years-
- test-2.g4.50 years-
- test-3.g4.50 years-
- test-4.g4.50 years-
- test_runner.sh2.57 years-
- test_runner_fail.sh2.57 years-
- test_runner_z3out.sh3.11 years-
- z3gen2.57 years
- e-z3gen-test-1.g2.57 years-
- e-z3gen-test-1.txt2.57 years-
- e-z3gen-test-2.g2.57 years-
- e-z3gen-test-2.txt2.57 years-
- e-z3gen-test-3.g2.57 years-
- e-z3gen-test-3.txt2.57 years-
- e-z3gen-test-4.g2.57 years-
- e-z3gen-test-4.txt2.57 years-
- e-z3gen-test-5.g2.57 years-
- e-z3gen-test-5.txt2.57 years-
- e-z3gen-test-bitwise.g2.57 years-
- e-z3gen-test-bitwise.txt2.57 years-
- e-z3gen-test-logic-and.g2.57 years-
- e-z3gen-test-logic-and.txt2.57 years-
- e-z3gen-test-logic-or.g2.57 years-
- e-z3gen-test-logic-or.txt2.57 years-
- meson.build2.57 years-
- test_runner.sh2.57 years-
- z3out-test-1.g4.50 years-
- z3out-test-1.txt4.50 years-
- z3out-test-2.g4.50 years-
- z3out-test-2.txt4.50 years-
- z3out-test-3.g4.50 years-
- z3out-test-3.txt4.50 years-
- z3out-test-4.g4.50 years-
- z3out-test-4.txt4.50 years-
- verify3.11 years
- meson.build3.11 years-
- test-1.g3.11 years-
- test-2.g3.11 years-
- test-3.g3.11 years-
- test-4.g3.11 years-
- test-5.g3.11 years-
- test-6.g3.11 years-
- test-7.g3.11 years-
- test-8.g3.11 years-
- test-loop-1.g3.11 years-
- test-loop-2.g3.11 years-
- test_runner.sh3.11 years-
- test_runner_z3out.sh3.11 years-
- z3out-test-1.g3.11 years-
- z3out-test-1.txt3.11 years-
- z3out-test-2.g3.11 years-
- z3out-test-2.txt3.11 years-
- z3out-test-3.g3.11 years-
- z3out-test-3.txt3.11 years-
- z3out-test-4.g3.11 years-
- z3out-test-4.txt3.11 years-
- z3out-test-5.g3.11 years-
- z3out-test-5.txt3.11 years-
- z3out-test-bitwise.g3.11 years-
- z3out-test-bitwise.txt3.11 years-
- z3out-test-logic-and.g3.11 years-
- z3out-test-logic-and.txt3.11 years-
- z3out-test-logic-or.g3.11 years-
- z3out-test-logic-or.txt3.11 years-
- overloading.em4.66 years-
- runtest_cmp.cmake201.2 days523
- runtest_compile_cmp.cmake240.2 days641
- runtest_err.cmake240.2 days534
- runtest_stdout_cmp.cmake240.2 days535
- templates.em4.66 years-
- testhelpers.em4.99 years-
- using.em4.66 years-
- 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
- empathy.tmLanguage.json4.55 years-
- goose.tmLanguage.json125.1 days4,254
- vsc-extension-quickstart.md4.55 years1,588
- www2.57 years
- atom-one-dark.css2.57 years-
- dark-violet.min.css2.57 years-
- devibeans.min.css2.57 years1,080
- highlight.js2.57 years649
- highlight.min.js2.57 years47,425
- highlight.pack.js2.57 years-
- prism.css4.54 years-
- prism.js4.54 years-
- railscasts.css4.54 years-