├── .gitignore ├── .hgignore ├── README.md └── src ├── Makefile.in ├── aclocal.m4 ├── aclocal ├── ac_define_dir.m4 ├── ax_boost_base.m4 ├── ax_boost_filesystem.m4 ├── ax_boost_system.m4 ├── ax_compare_version.m4 ├── check_lib64.m4 ├── check_libgc.m4 ├── check_libicuuc.m4 ├── check_osdoc.m4 └── prog_bison_version.m4 ├── build ├── Makefile ├── bin │ ├── bitc-install │ ├── dirsync │ ├── flatten-html │ └── move-if-change └── make │ ├── build-rules.mk │ ├── common-rules.mk │ ├── doxygen-rules.mk │ ├── env-standard.mk │ ├── makerules.mk │ ├── makevars.mk │ ├── osdoc-rules.mk │ ├── pkgrules.mk │ ├── ps2pdf.sh │ ├── runlatex.sh │ └── xcache.sh ├── compiler ├── AST.ast ├── AST.cxx ├── AST.hxx ├── ASTaux.cxx ├── ASTimpl.cxx ├── BeginSimp.cxx ├── BitC-pp.cxx ├── BoostCompat.cxx ├── BoostCompat.hxx ├── Clconv.cxx ├── Constraints.cxx ├── DefreprCheck.cxx ├── DefreprXform.cxx ├── Environment.cxx ├── Environment.hxx ├── FQName.cxx ├── FQName.hxx ├── InitializerRules.doxy ├── InstLamHoist.cxx ├── Instantiate.cxx ├── Instantiate.hxx ├── LayoutProcessing.doxy ├── LitValue.cxx ├── LitValue.hxx ├── LocChk.cxx ├── MainPage.doxy ├── Makefile.in ├── MethDecl.cxx ├── Methods.doxy ├── MixFix.cxx ├── MixFix.doxy ├── MixFix.hxx ├── NoAllocCheck.cxx ├── Options.cxx ├── Options.hxx ├── Overview.doxy ├── ParseType.hxx ├── SSA.cxx ├── Simplify.cxx ├── Solver.cxx ├── Special.cxx ├── Special.hxx ├── Symtab.cxx ├── Symtab.hxx ├── TODO.txt ├── Tail.cxx ├── ToDo.doxy ├── TopInit.cxx ├── Trail.cxx ├── Trail.hxx ├── TransitionLexer.cxx ├── TransitionLexer.hxx ├── TransitionParser.y ├── TvPrinter.cxx ├── TvPrinter.hxx ├── Type-mangle.cxx ├── Type-pp.cxx ├── Type-size.cxx ├── Type-to-ast.cxx ├── Type-xml.cxx ├── Type.cxx ├── Type.hxx ├── TypeInfer.cxx ├── TypeInfer.hxx ├── TypeInferUtil.cxx ├── TypeInferUtil.hxx ├── TypeMut.cxx ├── TypeMut.hxx ├── TypePoly.cxx ├── TypeScheme.cxx ├── TypeScheme.hxx ├── TypeValRes.cxx ├── Typeclass.cxx ├── Typeclass.hxx ├── Unify.cxx ├── Unify.hxx ├── UocInfo.cxx ├── UocInfo.hxx ├── Version.hxx ├── WorkList.hxx ├── XML-pp.cxx ├── backend.cxx ├── backend.hxx ├── bitcc.cxx ├── bito.cxx ├── config.h.in ├── debug.hxx ├── doxygen.html.cfg ├── gen-c.cxx ├── inter-pass.cxx ├── inter-pass.hxx ├── libsherpa │ ├── BigNum.cxx │ ├── BigNum.hxx │ ├── EnumSet.hxx │ ├── INOstream.hxx │ ├── LToken.hxx │ ├── LexLoc.cxx │ ├── LexLoc.hxx │ ├── UExcept.cxx │ ├── UExcept.hxx │ ├── format.cxx │ ├── format.hxx │ ├── utf8.cxx │ ├── utf8.hxx │ ├── util.cxx │ └── util.hxx ├── machine-dep.hxx ├── onepass.def ├── pass.def ├── shared_ptr.cxx ├── shared_ptr.hxx ├── showrules.pl ├── stale │ ├── AlphaRename.cxx │ ├── BitcLexer.hxx │ ├── BitcLexer.l │ ├── Clconv.cxx │ ├── EqUnify.cxx │ ├── Fixinit.cxx │ ├── Gather.cxx │ ├── Hoist.cxx │ ├── Loop.cxx │ ├── NoClconv.hxx │ ├── Polyinst.cxx │ ├── ReprSimp.cxx │ ├── TypeChoice.cxx │ ├── TypeEqInfer.cxx │ ├── TypeEqInfer.hxx │ ├── TypeInferCommon.cxx │ ├── TypeInferCommon.hxx │ ├── c-gen.cxx │ ├── history.cxx │ └── refize.cxx ├── types.def └── ucs.hxx ├── config.guess ├── config.h.in ├── config.sub ├── configure ├── configure.in ├── doc ├── Makefile ├── bitc.xhtml ├── browse │ ├── Makefile │ └── index.xhtml ├── docs.ohtml ├── docs │ ├── Makefile │ ├── bitc │ │ ├── Internals.xml │ │ ├── Makefile │ │ ├── bitc-origins.xml │ │ ├── changes.xml │ │ ├── closures.xml │ │ ├── layout.xml │ │ ├── polyinst.xml │ │ ├── relnotes-0.10.xml │ │ ├── relnotes-0.9.xml │ │ ├── spec-0.10.xml │ │ ├── spec.xml │ │ └── unicode.xml │ ├── index.xml │ ├── latex_classes │ │ ├── acm_proc_article-sp.cls │ │ ├── llncs.cls │ │ └── sigplanconf.cls │ ├── old │ │ ├── e-formal.txml │ │ ├── eq-helper.xmli │ │ ├── eq-infer.xmli │ │ ├── eq-unify.xmli │ │ ├── hm_infer_proof.xmli │ │ ├── include │ │ │ ├── e-formal │ │ │ │ ├── cdecl.xmli │ │ │ │ ├── decl.xmli │ │ │ │ ├── eq-helper.xmli │ │ │ │ ├── eq-infer.xmli │ │ │ │ ├── eq-unify.xmli │ │ │ │ ├── equational.xmli │ │ │ │ ├── lang.xmli │ │ │ │ ├── locsem.xmli │ │ │ │ ├── opsem.xmli │ │ │ │ ├── semantics.xmli │ │ │ │ ├── subtype.xmli │ │ │ │ └── type_system.xmli │ │ │ └── sys-infer │ │ │ │ ├── decl.xmli │ │ │ │ ├── infer.xmli │ │ │ │ ├── opsem.xmli │ │ │ │ ├── solve.xmli │ │ │ │ └── unify.xmli │ │ ├── old_sys-infer.decl.xmli │ │ ├── old_sys-infer.infer.xmli │ │ ├── old_sys-infer.opsem.xmli │ │ ├── old_sys-infer.txml │ │ ├── old_sys-infer.unfsol.xmli │ │ └── sys-infer.txml │ ├── osverify-2004 │ │ ├── Makefile │ │ ├── llncs.cls │ │ └── osverify-2004.xml │ ├── papers │ │ ├── APLAS2008.txml │ │ ├── Makefile │ │ ├── PLOS2006-shap.xml │ │ ├── PLOS2006.xml │ │ ├── complete.txml │ │ ├── heuristic.txml │ │ ├── include │ │ │ ├── APLAS2008 │ │ │ │ ├── abstract.xmli │ │ │ │ ├── bibliography.xmli │ │ │ │ ├── conclusion.xmli │ │ │ │ ├── formal.xmli │ │ │ │ ├── grammar.xmli │ │ │ │ ├── infer.xmli │ │ │ │ ├── introduction.xmli │ │ │ │ ├── lang-comp.xmli │ │ │ │ ├── lang.xmli │ │ │ │ ├── operators.xmli │ │ │ │ ├── opsem.xmli │ │ │ │ ├── overview.xmli │ │ │ │ ├── related_work.xmli │ │ │ │ ├── type.xmli │ │ │ │ └── unify.xmli │ │ │ ├── complete │ │ │ │ ├── bibliography.xmli │ │ │ │ ├── declarative.xmli │ │ │ │ ├── equational.xmli │ │ │ │ ├── formal.xmli │ │ │ │ ├── grammar.xmli │ │ │ │ ├── lang.xmli │ │ │ │ ├── static_sem.xmli │ │ │ │ └── subst.xmli │ │ │ ├── heuristic │ │ │ │ ├── decl.xmli │ │ │ │ ├── heuristic.xmli │ │ │ │ ├── infer.xmli │ │ │ │ ├── intermediate.xmli │ │ │ │ ├── locsem.xmli │ │ │ │ ├── opsem.xmli │ │ │ │ ├── semantics.xmli │ │ │ │ ├── solve.xmli │ │ │ │ ├── subtype.xmli │ │ │ │ ├── type_system.xmli │ │ │ │ └── unify.xmli │ │ │ ├── mutinfer2007 │ │ │ │ ├── decl.xmli │ │ │ │ ├── eq-infer.xmli │ │ │ │ ├── eq-solve.xmli │ │ │ │ ├── eq-unify.xmli │ │ │ │ ├── gen.xmli │ │ │ │ ├── hm-infer.xmli │ │ │ │ ├── hm-solve.xmli │ │ │ │ ├── hm-unify.aux.xmli │ │ │ │ ├── hm-unify.xmli │ │ │ │ ├── locsem.xmli │ │ │ │ ├── opsem.xmli │ │ │ │ └── subtype.xmli │ │ │ └── new-formal │ │ │ │ ├── infer.xmli │ │ │ │ ├── operators.xmli │ │ │ │ ├── opsem.xmli │ │ │ │ ├── subtype.xmli │ │ │ │ ├── type.xmli │ │ │ │ └── unify.xmli │ │ ├── mutinfer2006.txml │ │ ├── mutinfer2007.txml │ │ └── new-formal.txml │ ├── txml_proc │ │ ├── bitc-types.dtd │ │ ├── btypes-osdoc.xsl │ │ └── fixup.pl │ └── unpublished │ │ ├── Makefile │ │ └── challenges.xml ├── download │ ├── Makefile │ └── index.xhtml ├── history.xhtml ├── img │ ├── doors │ │ ├── bg.gif │ │ ├── left_both.gif │ │ └── right_both.gif │ └── shap.jpg ├── navstyles.css ├── people.ohtml ├── projects │ ├── JointAssign.xhtml │ ├── Makefile │ └── index.xhtml ├── sidenav.html ├── sitefooter.html ├── siteheader.html ├── styles.css ├── svg-logo-inkscape.svg ├── svg-logo.svg ├── topnav.html └── topnav │ ├── HOWTO │ ├── Makefile │ ├── browse.bg.png │ ├── browse.fg.png │ ├── docs.bg.png │ ├── docs.fg.png │ ├── docs.html │ ├── download.html │ ├── doxygen.html │ ├── get_it.bg.png │ ├── get_it.fg.png │ ├── home.bg.png │ ├── home.fg.png │ ├── home.html │ ├── makepng.sh │ ├── projects.bg.png │ ├── projects.fg.png │ └── projects.html ├── install-sh ├── libbitc ├── MainPage.doxy ├── Makefile.in ├── arch │ ├── i386 │ │ └── make_procedure_object.c │ ├── powerpc │ │ └── make_procedure_object.c │ ├── sparc │ │ └── make_procedure_object.c │ ├── sparc64 │ │ └── make_procedure_object.c │ └── x86_64 │ │ └── make_procedure_object.c ├── bitc-runtime.bitc ├── bitc-runtime.bitc.sexpr ├── bitc │ ├── int.bitc │ ├── int.bitc.sexpr │ ├── list.bitc │ ├── list.bitc.sexpr │ ├── main.bitc │ ├── main.bitc.sexpr │ ├── math.bitc │ ├── math.bitc.sexpr │ ├── prelude.bitc │ ├── prelude.bitc.sexpr │ ├── runtime.h │ ├── sets │ │ └── bit.bitc │ ├── stdio.bitc │ ├── stdio.bitc.sexpr │ ├── stdlib.bitc │ ├── stdlib.bitc.sexpr │ ├── string.bitc │ ├── string.bitc.sexpr │ ├── target │ │ ├── arch-i386.bitc │ │ ├── arch-i386.bitc.sexpr │ │ ├── arch-sparc.bitc │ │ ├── arch-sparc.bitc.sexpr │ │ ├── arch-sparc64.bitc │ │ ├── arch-sparc64.bitc.sexpr │ │ ├── arch-x86_64.bitc │ │ └── arch-x86_64.bitc.sexpr │ ├── vector.bitc │ └── vector.bitc.sexpr ├── crypt │ ├── sha1.bitc │ ├── sha1.bitc.sexpr │ ├── sha1.bits │ └── sha1.bits.sexpr ├── doxygen.html.cfg ├── helper │ ├── README │ ├── gen.cxx │ └── genops.sh ├── nogc-allocator.c ├── stdio.c ├── stdlib.c └── string.c ├── man ├── Makefile.in └── bitcc.1.man ├── mkinstalldirs ├── plugins ├── emacs │ ├── Makefile │ └── bitc-mode │ │ ├── bitc-defs.el │ │ ├── bitc-font-lock.el │ │ ├── bitc-imenu.el │ │ ├── bitc-mode.el │ │ └── bitc-parse.el └── vim │ ├── filetype.vim │ ├── ftplugin │ ├── bitc.vim │ └── bits.vim │ └── syntax │ └── bitc.vim └── tests ├── Coyotos └── obstore │ ├── Makefile │ ├── cap.bitc │ └── capability.bitc ├── IA32 ├── GDT.bitc ├── GDT.bitc.old ├── Makefile └── jmp.bitc ├── Makefile.in ├── bugs ├── Let_test2.bitc ├── Makefile.in ├── expect.mk ├── r-and-t-1.bitc └── r-and-t-2.bitc ├── compileit.sh ├── convenience └── lambda-args.bitc ├── defloop ├── Makefile ├── ifa.bitc ├── ifb.bitc ├── srca.bitc └── srcb.bitc ├── error ├── disjoint.bitc ├── noinst.bitc ├── poly1.bitc └── unify-byref.bitc ├── experimental └── inner_ref.bitc ├── general ├── Makefile ├── acyclic.bitc ├── ambiguous.bitc ├── arith.bitc ├── atrans.bitc ├── badloop.bitc ├── basic.bitc ├── cgen.bitc ├── clconv.bitc ├── declbug.bitc ├── dummyvar.bitc ├── eq.bitc ├── examples.bitc ├── fact.bitc ├── fixinit.bitc ├── fnxn.bitc ├── gen.bitc ├── genbug.bitc ├── hoist.bitc ├── id.bitc ├── iface.bitc ├── iface02.bitc ├── iface1.bitc ├── iface2.bitc ├── iftest.bitc ├── import.bitc ├── incomplete.bitc ├── io.bitc ├── link.bitc ├── listif.bitc ├── loop.bitc ├── mod1.bitc ├── mod2.bitc ├── mut.bitc ├── mypair.bitc ├── nestedlambda.bitc ├── oddeven.bitc ├── pairtest.bitc ├── patbind.bitc ├── rectyp.bitc ├── refize.bitc ├── seetypes.sh ├── sp-bug.bitc ├── sp.bitc ├── structures.bitc ├── test1.bitc ├── test2.bitc ├── test3.bitc ├── testing.bitc ├── toc.bitc ├── unions.bitc ├── unit-fn.bitc ├── unittest.bitc ├── val-res.bitc ├── varbug.bitc └── vector.bitc ├── grammars ├── mixfix.output └── mixfix.y ├── issues ├── Makefile ├── badswitch.bitc ├── marison.bitc ├── mut-polyinst.bitc ├── type-poly.bitc └── unrefbug.bitc ├── n-unit ├── BitField.bitc ├── Makefile.in ├── aNil.bitc ├── adecl.bitc ├── alias.bitc ├── arith.bitc ├── arr-list.bitc ├── array-ref.bitc ├── basic.bitc ├── bitsizeof.bitc ├── bitwise.bitc ├── block.bitc ├── boolbit.bitc ├── boolnot.bitc ├── builtin.bitc ├── byref.bitc └── myID.bitc ├── parse ├── Makefile.in ├── expect.mk └── missing-then.bits ├── pretty ├── Makefile.in ├── alltypes.bits ├── alltypes.compile ├── alltypes.link ├── driver.bitc ├── excpt.bits ├── expect.mk ├── fn.bits ├── imenu.bits ├── importlist.bits ├── instance.bits ├── main.bits ├── mixedtypes.bits ├── repr.bits ├── struct.bits ├── trait.bits └── union.bits ├── reachbug ├── Makefile ├── ifa.bitc ├── ifb.bitc ├── srca.bitc └── srcb.bitc ├── stale ├── Loc1.bitc ├── Odd_Even.bitc ├── arith.bitc ├── defpair.bitc ├── indexible-length-field.bitc ├── mut1.bitc └── pairs.bitc ├── testit.sh └── unit ├── AppLoc.bitc ├── ArithInst.bitc ├── Array.bitc ├── BitField.bitc ├── CMangle.bitc ├── Cap-plus.bitc ├── Catch_Index_Error.bitc ├── Catch_in_a_Catch.bitc ├── DefRepr.bitc ├── DefRepr2.bitc ├── DefRepr3.bitc ├── DefReprCase.bitc ├── Dup.bitc ├── Echo_Args.bitc ├── Echo_Args.stdout ├── Exception.bitc ├── Fact-Loop.bitc ├── Fact-Mut.bitc ├── Fact-Rec.bitc ├── Flat-Union.bitc ├── ID.bitc ├── InvolvedException.bitc ├── Let_test.bitc ├── Loc2.bitc ├── Makefile.in ├── Odd_Even_proclaim.bitc ├── Ops.bitc ├── Polyinst-alpha.bitc ├── Polyinst.bitc ├── SmallUnion.bitc ├── Struct-Arr.bitc ├── Struct-Vec.bitc ├── TagType.bitc.fixme ├── Tail.bitc ├── ThrowLeg.bitc ├── UncaughtException.bitc ├── UncaughtException.stdout ├── VecBoundsError.bitc ├── VecBoundsError.stdout ├── Vector.bitc ├── aNil.bitc ├── adecl.bitc ├── alias.bitc ├── arr-list.bitc ├── array-ref.bitc ├── badsyntax.bitc ├── badsyntax.errout ├── basic.bitc ├── bindmethod.bitc ├── bitset.bitc ├── bitset.stdout ├── bitsizeof.bitc ├── bitwise.bitc ├── block.bitc ├── boolbit.bitc ├── boolnot.bitc ├── builtin.bitc ├── byref.bitc ├── captured-mut.bitc ├── catchall.bitc ├── chars.bitc ├── classunf.bitc ├── clconv.bitc ├── clconv1.bitc ├── clconv2.bitc ├── closure.bitc ├── closurebug.bitc ├── const1.bitc ├── const2.bitc ├── const3.bitc ├── copy-compat.bitc ├── copy-compat1.bitc ├── copy-compat2.bitc ├── ctr-test.bitc ├── cyclic.bitc ├── cyclic.errout ├── disjoint.bitc ├── dotest.bitc ├── echo-char.bitc ├── echo-char.stdin ├── echo-char.stdout ├── eq.bitc ├── eqPair.bitc ├── existential.bitc ├── expect.mk ├── extend.bitc ├── field-coerce.bitc ├── field-infer.bitc ├── field-method-infer.bitc ├── file.input ├── fill.bitc ├── forall.bitc ├── forall2.bitc ├── from-all.bitc ├── from.bitc ├── hello.bitc ├── hello.stdout ├── import_path.bitc ├── import_path.errout ├── inf.bitc ├── initArray.bitc ├── innerdef.bitc ├── inst-test1.bitc ├── inst-test2.bitc ├── inst-test3.bitc ├── intout.bitc ├── intout.stdout ├── io-time.bitc ├── io-time.stdout ├── layout-autoclose.bitc ├── layout-top-explicit.bitc ├── layout-top-implicit.bitc ├── let-polyinst.bitc ├── letrecdef.bitc ├── libbitc-bita.bitc ├── list-nullable.bitc ├── listvec.bitc ├── listvec2.bitc ├── lit.bitc ├── main-simple.bitc ├── make-mut-vec.bitc ├── mixfix.bitc ├── mkvecL-mut.bitc ├── mkvecL.bitc ├── mut-array.bitc ├── mut-cc-1.bitc ├── mut-cc-2.bitc ├── mut-cc-3.bitc ├── mut-struct.bitc ├── mut-vec.bitc ├── mut10.bitc ├── mut2.bitc ├── mut3.bitc ├── mut4.bitc ├── mut5.bitc ├── mut6.bitc ├── mut7.bitc ├── mut8.bitc ├── mut9.bitc ├── myID.bitc ├── newConstr1.bitc ├── newConstr2.bitc ├── newConstr3.bitc ├── newDef.bitc ├── newException.bitc ├── newException.stdout ├── newinf.bitc ├── newmain.bitc ├── not.bitc ├── nullable-cardelli.bitc ├── nullable.bitc ├── nunion-case.bitc.fixme ├── odd_even_letrec.bitc ├── phantom.bitc ├── proclaim.bitc ├── ref-types.bitc ├── ret-fun.bitc ├── seetypes.sh ├── sha1-file.bitc ├── sha1-file.stdout ├── sha1-test.bitc ├── sha1-test.stdout ├── sizeof.bitc ├── string-lex.bitc ├── string-lex.errout ├── structmethod.bitc ├── suspend.bitc ├── switch-multiple.bitc ├── switch-unify.bitc ├── switch.bitc ├── test_import └── bad_interface.bitc ├── toomanyargs.bitc ├── top-level-mut.bitc ├── tvar-scope.bitc ├── tvar-use1.bitc ├── twomodule.bitc ├── twomodule.stdout ├── unresolved.bitc ├── usesel-unbound.bitc ├── usesel-unbound.errout ├── utf8echo ├── vec-badly-typed.bitc ├── vec-badly-typed.errout ├── vec-infer.bitc ├── wchar.bitc └── wchar.stdout /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/.gitignore -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/.hgignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/README.md -------------------------------------------------------------------------------- /src/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/Makefile.in -------------------------------------------------------------------------------- /src/aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal.m4 -------------------------------------------------------------------------------- /src/aclocal/ac_define_dir.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/ac_define_dir.m4 -------------------------------------------------------------------------------- /src/aclocal/ax_boost_base.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/ax_boost_base.m4 -------------------------------------------------------------------------------- /src/aclocal/ax_boost_filesystem.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/ax_boost_filesystem.m4 -------------------------------------------------------------------------------- /src/aclocal/ax_boost_system.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/ax_boost_system.m4 -------------------------------------------------------------------------------- /src/aclocal/ax_compare_version.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/ax_compare_version.m4 -------------------------------------------------------------------------------- /src/aclocal/check_lib64.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/check_lib64.m4 -------------------------------------------------------------------------------- /src/aclocal/check_libgc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/check_libgc.m4 -------------------------------------------------------------------------------- /src/aclocal/check_libicuuc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/check_libicuuc.m4 -------------------------------------------------------------------------------- /src/aclocal/check_osdoc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/check_osdoc.m4 -------------------------------------------------------------------------------- /src/aclocal/prog_bison_version.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/aclocal/prog_bison_version.m4 -------------------------------------------------------------------------------- /src/build/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/Makefile -------------------------------------------------------------------------------- /src/build/bin/bitc-install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/bin/bitc-install -------------------------------------------------------------------------------- /src/build/bin/dirsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/bin/dirsync -------------------------------------------------------------------------------- /src/build/bin/flatten-html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/bin/flatten-html -------------------------------------------------------------------------------- /src/build/bin/move-if-change: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/bin/move-if-change -------------------------------------------------------------------------------- /src/build/make/build-rules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/build-rules.mk -------------------------------------------------------------------------------- /src/build/make/common-rules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/common-rules.mk -------------------------------------------------------------------------------- /src/build/make/doxygen-rules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/doxygen-rules.mk -------------------------------------------------------------------------------- /src/build/make/env-standard.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/env-standard.mk -------------------------------------------------------------------------------- /src/build/make/makerules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/makerules.mk -------------------------------------------------------------------------------- /src/build/make/makevars.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/makevars.mk -------------------------------------------------------------------------------- /src/build/make/osdoc-rules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/osdoc-rules.mk -------------------------------------------------------------------------------- /src/build/make/pkgrules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/pkgrules.mk -------------------------------------------------------------------------------- /src/build/make/ps2pdf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/ps2pdf.sh -------------------------------------------------------------------------------- /src/build/make/runlatex.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/runlatex.sh -------------------------------------------------------------------------------- /src/build/make/xcache.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/build/make/xcache.sh -------------------------------------------------------------------------------- /src/compiler/AST.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/AST.ast -------------------------------------------------------------------------------- /src/compiler/AST.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/AST.cxx -------------------------------------------------------------------------------- /src/compiler/AST.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/AST.hxx -------------------------------------------------------------------------------- /src/compiler/ASTaux.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/ASTaux.cxx -------------------------------------------------------------------------------- /src/compiler/ASTimpl.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/ASTimpl.cxx -------------------------------------------------------------------------------- /src/compiler/BeginSimp.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/BeginSimp.cxx -------------------------------------------------------------------------------- /src/compiler/BitC-pp.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/BitC-pp.cxx -------------------------------------------------------------------------------- /src/compiler/BoostCompat.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/BoostCompat.cxx -------------------------------------------------------------------------------- /src/compiler/BoostCompat.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/BoostCompat.hxx -------------------------------------------------------------------------------- /src/compiler/Clconv.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Clconv.cxx -------------------------------------------------------------------------------- /src/compiler/Constraints.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Constraints.cxx -------------------------------------------------------------------------------- /src/compiler/DefreprCheck.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/DefreprCheck.cxx -------------------------------------------------------------------------------- /src/compiler/DefreprXform.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/DefreprXform.cxx -------------------------------------------------------------------------------- /src/compiler/Environment.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Environment.cxx -------------------------------------------------------------------------------- /src/compiler/Environment.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Environment.hxx -------------------------------------------------------------------------------- /src/compiler/FQName.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/FQName.cxx -------------------------------------------------------------------------------- /src/compiler/FQName.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/FQName.hxx -------------------------------------------------------------------------------- /src/compiler/InitializerRules.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/InitializerRules.doxy -------------------------------------------------------------------------------- /src/compiler/InstLamHoist.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/InstLamHoist.cxx -------------------------------------------------------------------------------- /src/compiler/Instantiate.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Instantiate.cxx -------------------------------------------------------------------------------- /src/compiler/Instantiate.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Instantiate.hxx -------------------------------------------------------------------------------- /src/compiler/LayoutProcessing.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/LayoutProcessing.doxy -------------------------------------------------------------------------------- /src/compiler/LitValue.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/LitValue.cxx -------------------------------------------------------------------------------- /src/compiler/LitValue.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/LitValue.hxx -------------------------------------------------------------------------------- /src/compiler/LocChk.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/LocChk.cxx -------------------------------------------------------------------------------- /src/compiler/MainPage.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/MainPage.doxy -------------------------------------------------------------------------------- /src/compiler/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Makefile.in -------------------------------------------------------------------------------- /src/compiler/MethDecl.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/MethDecl.cxx -------------------------------------------------------------------------------- /src/compiler/Methods.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Methods.doxy -------------------------------------------------------------------------------- /src/compiler/MixFix.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/MixFix.cxx -------------------------------------------------------------------------------- /src/compiler/MixFix.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/MixFix.doxy -------------------------------------------------------------------------------- /src/compiler/MixFix.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/MixFix.hxx -------------------------------------------------------------------------------- /src/compiler/NoAllocCheck.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/NoAllocCheck.cxx -------------------------------------------------------------------------------- /src/compiler/Options.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Options.cxx -------------------------------------------------------------------------------- /src/compiler/Options.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Options.hxx -------------------------------------------------------------------------------- /src/compiler/Overview.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Overview.doxy -------------------------------------------------------------------------------- /src/compiler/ParseType.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/ParseType.hxx -------------------------------------------------------------------------------- /src/compiler/SSA.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/SSA.cxx -------------------------------------------------------------------------------- /src/compiler/Simplify.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Simplify.cxx -------------------------------------------------------------------------------- /src/compiler/Solver.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Solver.cxx -------------------------------------------------------------------------------- /src/compiler/Special.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Special.cxx -------------------------------------------------------------------------------- /src/compiler/Special.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Special.hxx -------------------------------------------------------------------------------- /src/compiler/Symtab.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Symtab.cxx -------------------------------------------------------------------------------- /src/compiler/Symtab.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Symtab.hxx -------------------------------------------------------------------------------- /src/compiler/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TODO.txt -------------------------------------------------------------------------------- /src/compiler/Tail.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Tail.cxx -------------------------------------------------------------------------------- /src/compiler/ToDo.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/ToDo.doxy -------------------------------------------------------------------------------- /src/compiler/TopInit.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TopInit.cxx -------------------------------------------------------------------------------- /src/compiler/Trail.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Trail.cxx -------------------------------------------------------------------------------- /src/compiler/Trail.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Trail.hxx -------------------------------------------------------------------------------- /src/compiler/TransitionLexer.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TransitionLexer.cxx -------------------------------------------------------------------------------- /src/compiler/TransitionLexer.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TransitionLexer.hxx -------------------------------------------------------------------------------- /src/compiler/TransitionParser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TransitionParser.y -------------------------------------------------------------------------------- /src/compiler/TvPrinter.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TvPrinter.cxx -------------------------------------------------------------------------------- /src/compiler/TvPrinter.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TvPrinter.hxx -------------------------------------------------------------------------------- /src/compiler/Type-mangle.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type-mangle.cxx -------------------------------------------------------------------------------- /src/compiler/Type-pp.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type-pp.cxx -------------------------------------------------------------------------------- /src/compiler/Type-size.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type-size.cxx -------------------------------------------------------------------------------- /src/compiler/Type-to-ast.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type-to-ast.cxx -------------------------------------------------------------------------------- /src/compiler/Type-xml.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type-xml.cxx -------------------------------------------------------------------------------- /src/compiler/Type.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type.cxx -------------------------------------------------------------------------------- /src/compiler/Type.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Type.hxx -------------------------------------------------------------------------------- /src/compiler/TypeInfer.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeInfer.cxx -------------------------------------------------------------------------------- /src/compiler/TypeInfer.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeInfer.hxx -------------------------------------------------------------------------------- /src/compiler/TypeInferUtil.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeInferUtil.cxx -------------------------------------------------------------------------------- /src/compiler/TypeInferUtil.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeInferUtil.hxx -------------------------------------------------------------------------------- /src/compiler/TypeMut.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeMut.cxx -------------------------------------------------------------------------------- /src/compiler/TypeMut.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeMut.hxx -------------------------------------------------------------------------------- /src/compiler/TypePoly.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypePoly.cxx -------------------------------------------------------------------------------- /src/compiler/TypeScheme.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeScheme.cxx -------------------------------------------------------------------------------- /src/compiler/TypeScheme.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeScheme.hxx -------------------------------------------------------------------------------- /src/compiler/TypeValRes.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/TypeValRes.cxx -------------------------------------------------------------------------------- /src/compiler/Typeclass.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Typeclass.cxx -------------------------------------------------------------------------------- /src/compiler/Typeclass.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Typeclass.hxx -------------------------------------------------------------------------------- /src/compiler/Unify.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Unify.cxx -------------------------------------------------------------------------------- /src/compiler/Unify.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Unify.hxx -------------------------------------------------------------------------------- /src/compiler/UocInfo.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/UocInfo.cxx -------------------------------------------------------------------------------- /src/compiler/UocInfo.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/UocInfo.hxx -------------------------------------------------------------------------------- /src/compiler/Version.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/Version.hxx -------------------------------------------------------------------------------- /src/compiler/WorkList.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/WorkList.hxx -------------------------------------------------------------------------------- /src/compiler/XML-pp.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/XML-pp.cxx -------------------------------------------------------------------------------- /src/compiler/backend.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/backend.cxx -------------------------------------------------------------------------------- /src/compiler/backend.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/backend.hxx -------------------------------------------------------------------------------- /src/compiler/bitcc.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/bitcc.cxx -------------------------------------------------------------------------------- /src/compiler/bito.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/bito.cxx -------------------------------------------------------------------------------- /src/compiler/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/config.h.in -------------------------------------------------------------------------------- /src/compiler/debug.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/debug.hxx -------------------------------------------------------------------------------- /src/compiler/doxygen.html.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/doxygen.html.cfg -------------------------------------------------------------------------------- /src/compiler/gen-c.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/gen-c.cxx -------------------------------------------------------------------------------- /src/compiler/inter-pass.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/inter-pass.cxx -------------------------------------------------------------------------------- /src/compiler/inter-pass.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/inter-pass.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/BigNum.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/BigNum.cxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/BigNum.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/BigNum.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/EnumSet.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/EnumSet.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/INOstream.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/INOstream.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/LToken.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/LToken.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/LexLoc.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/LexLoc.cxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/LexLoc.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/LexLoc.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/UExcept.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/UExcept.cxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/UExcept.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/UExcept.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/format.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/format.cxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/format.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/format.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/utf8.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/utf8.cxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/utf8.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/utf8.hxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/util.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/util.cxx -------------------------------------------------------------------------------- /src/compiler/libsherpa/util.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/libsherpa/util.hxx -------------------------------------------------------------------------------- /src/compiler/machine-dep.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/machine-dep.hxx -------------------------------------------------------------------------------- /src/compiler/onepass.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/onepass.def -------------------------------------------------------------------------------- /src/compiler/pass.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/pass.def -------------------------------------------------------------------------------- /src/compiler/shared_ptr.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/shared_ptr.cxx -------------------------------------------------------------------------------- /src/compiler/shared_ptr.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/shared_ptr.hxx -------------------------------------------------------------------------------- /src/compiler/showrules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/showrules.pl -------------------------------------------------------------------------------- /src/compiler/stale/AlphaRename.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/AlphaRename.cxx -------------------------------------------------------------------------------- /src/compiler/stale/BitcLexer.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/BitcLexer.hxx -------------------------------------------------------------------------------- /src/compiler/stale/BitcLexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/BitcLexer.l -------------------------------------------------------------------------------- /src/compiler/stale/Clconv.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/Clconv.cxx -------------------------------------------------------------------------------- /src/compiler/stale/EqUnify.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/EqUnify.cxx -------------------------------------------------------------------------------- /src/compiler/stale/Fixinit.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/Fixinit.cxx -------------------------------------------------------------------------------- /src/compiler/stale/Gather.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/Gather.cxx -------------------------------------------------------------------------------- /src/compiler/stale/Hoist.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/Hoist.cxx -------------------------------------------------------------------------------- /src/compiler/stale/Loop.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/Loop.cxx -------------------------------------------------------------------------------- /src/compiler/stale/NoClconv.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/NoClconv.hxx -------------------------------------------------------------------------------- /src/compiler/stale/Polyinst.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/Polyinst.cxx -------------------------------------------------------------------------------- /src/compiler/stale/ReprSimp.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/ReprSimp.cxx -------------------------------------------------------------------------------- /src/compiler/stale/TypeChoice.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/TypeChoice.cxx -------------------------------------------------------------------------------- /src/compiler/stale/TypeEqInfer.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/TypeEqInfer.cxx -------------------------------------------------------------------------------- /src/compiler/stale/TypeEqInfer.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/TypeEqInfer.hxx -------------------------------------------------------------------------------- /src/compiler/stale/TypeInferCommon.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/TypeInferCommon.cxx -------------------------------------------------------------------------------- /src/compiler/stale/TypeInferCommon.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/TypeInferCommon.hxx -------------------------------------------------------------------------------- /src/compiler/stale/c-gen.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/c-gen.cxx -------------------------------------------------------------------------------- /src/compiler/stale/history.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/history.cxx -------------------------------------------------------------------------------- /src/compiler/stale/refize.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/stale/refize.cxx -------------------------------------------------------------------------------- /src/compiler/types.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/types.def -------------------------------------------------------------------------------- /src/compiler/ucs.hxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/compiler/ucs.hxx -------------------------------------------------------------------------------- /src/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/config.guess -------------------------------------------------------------------------------- /src/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/config.h.in -------------------------------------------------------------------------------- /src/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/config.sub -------------------------------------------------------------------------------- /src/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/configure -------------------------------------------------------------------------------- /src/configure.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/configure.in -------------------------------------------------------------------------------- /src/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/Makefile -------------------------------------------------------------------------------- /src/doc/bitc.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/bitc.xhtml -------------------------------------------------------------------------------- /src/doc/browse/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/browse/Makefile -------------------------------------------------------------------------------- /src/doc/browse/index.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/browse/index.xhtml -------------------------------------------------------------------------------- /src/doc/docs.ohtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs.ohtml -------------------------------------------------------------------------------- /src/doc/docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/Makefile -------------------------------------------------------------------------------- /src/doc/docs/bitc/Internals.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/Internals.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/Makefile -------------------------------------------------------------------------------- /src/doc/docs/bitc/bitc-origins.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/bitc-origins.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/changes.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/changes.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/closures.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/closures.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/layout.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/layout.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/polyinst.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/polyinst.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/relnotes-0.10.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/relnotes-0.10.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/relnotes-0.9.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/relnotes-0.9.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/spec-0.10.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/spec-0.10.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/spec.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/spec.xml -------------------------------------------------------------------------------- /src/doc/docs/bitc/unicode.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/bitc/unicode.xml -------------------------------------------------------------------------------- /src/doc/docs/index.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/index.xml -------------------------------------------------------------------------------- /src/doc/docs/latex_classes/acm_proc_article-sp.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/latex_classes/acm_proc_article-sp.cls -------------------------------------------------------------------------------- /src/doc/docs/latex_classes/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/latex_classes/llncs.cls -------------------------------------------------------------------------------- /src/doc/docs/latex_classes/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/latex_classes/sigplanconf.cls -------------------------------------------------------------------------------- /src/doc/docs/old/e-formal.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/e-formal.txml -------------------------------------------------------------------------------- /src/doc/docs/old/eq-helper.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/eq-helper.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/eq-infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/eq-infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/eq-unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/eq-unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/hm_infer_proof.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/hm_infer_proof.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/cdecl.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/cdecl.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/decl.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/decl.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/eq-helper.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/eq-helper.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/eq-infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/eq-infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/eq-unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/eq-unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/equational.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/equational.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/lang.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/lang.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/locsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/locsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/semantics.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/semantics.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/subtype.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/subtype.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/e-formal/type_system.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/e-formal/type_system.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/sys-infer/decl.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/sys-infer/decl.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/sys-infer/infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/sys-infer/infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/sys-infer/opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/sys-infer/opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/sys-infer/solve.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/sys-infer/solve.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/include/sys-infer/unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/include/sys-infer/unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/old_sys-infer.decl.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/old_sys-infer.decl.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/old_sys-infer.infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/old_sys-infer.infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/old_sys-infer.opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/old_sys-infer.opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/old_sys-infer.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/old_sys-infer.txml -------------------------------------------------------------------------------- /src/doc/docs/old/old_sys-infer.unfsol.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/old_sys-infer.unfsol.xmli -------------------------------------------------------------------------------- /src/doc/docs/old/sys-infer.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/old/sys-infer.txml -------------------------------------------------------------------------------- /src/doc/docs/osverify-2004/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/osverify-2004/Makefile -------------------------------------------------------------------------------- /src/doc/docs/osverify-2004/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/osverify-2004/llncs.cls -------------------------------------------------------------------------------- /src/doc/docs/osverify-2004/osverify-2004.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/osverify-2004/osverify-2004.xml -------------------------------------------------------------------------------- /src/doc/docs/papers/APLAS2008.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/APLAS2008.txml -------------------------------------------------------------------------------- /src/doc/docs/papers/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/Makefile -------------------------------------------------------------------------------- /src/doc/docs/papers/PLOS2006-shap.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/PLOS2006-shap.xml -------------------------------------------------------------------------------- /src/doc/docs/papers/PLOS2006.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/PLOS2006.xml -------------------------------------------------------------------------------- /src/doc/docs/papers/complete.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/complete.txml -------------------------------------------------------------------------------- /src/doc/docs/papers/heuristic.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/heuristic.txml -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/abstract.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/abstract.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/bibliography.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/bibliography.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/conclusion.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/conclusion.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/formal.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/formal.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/grammar.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/grammar.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/introduction.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/introduction.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/lang-comp.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/lang-comp.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/lang.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/lang.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/operators.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/operators.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/overview.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/overview.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/related_work.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/related_work.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/type.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/type.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/APLAS2008/unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/APLAS2008/unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/bibliography.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/bibliography.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/declarative.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/declarative.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/equational.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/equational.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/formal.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/formal.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/grammar.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/grammar.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/lang.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/lang.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/static_sem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/static_sem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/complete/subst.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/complete/subst.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/decl.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/decl.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/heuristic.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/heuristic.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/intermediate.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/intermediate.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/locsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/locsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/semantics.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/semantics.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/solve.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/solve.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/subtype.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/subtype.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/type_system.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/type_system.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/heuristic/unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/heuristic/unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/decl.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/decl.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/eq-infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/eq-infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/eq-solve.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/eq-solve.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/eq-unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/eq-unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/gen.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/gen.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/hm-infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/hm-infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/hm-solve.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/hm-solve.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/hm-unify.aux.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/hm-unify.aux.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/hm-unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/hm-unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/locsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/locsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/mutinfer2007/subtype.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/mutinfer2007/subtype.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/new-formal/infer.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/new-formal/infer.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/new-formal/operators.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/new-formal/operators.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/new-formal/opsem.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/new-formal/opsem.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/new-formal/subtype.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/new-formal/subtype.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/new-formal/type.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/new-formal/type.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/include/new-formal/unify.xmli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/include/new-formal/unify.xmli -------------------------------------------------------------------------------- /src/doc/docs/papers/mutinfer2006.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/mutinfer2006.txml -------------------------------------------------------------------------------- /src/doc/docs/papers/mutinfer2007.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/mutinfer2007.txml -------------------------------------------------------------------------------- /src/doc/docs/papers/new-formal.txml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/papers/new-formal.txml -------------------------------------------------------------------------------- /src/doc/docs/txml_proc/bitc-types.dtd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/txml_proc/bitc-types.dtd -------------------------------------------------------------------------------- /src/doc/docs/txml_proc/btypes-osdoc.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/txml_proc/btypes-osdoc.xsl -------------------------------------------------------------------------------- /src/doc/docs/txml_proc/fixup.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/txml_proc/fixup.pl -------------------------------------------------------------------------------- /src/doc/docs/unpublished/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/unpublished/Makefile -------------------------------------------------------------------------------- /src/doc/docs/unpublished/challenges.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/docs/unpublished/challenges.xml -------------------------------------------------------------------------------- /src/doc/download/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/download/Makefile -------------------------------------------------------------------------------- /src/doc/download/index.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/download/index.xhtml -------------------------------------------------------------------------------- /src/doc/history.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/history.xhtml -------------------------------------------------------------------------------- /src/doc/img/doors/bg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/img/doors/bg.gif -------------------------------------------------------------------------------- /src/doc/img/doors/left_both.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/img/doors/left_both.gif -------------------------------------------------------------------------------- /src/doc/img/doors/right_both.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/img/doors/right_both.gif -------------------------------------------------------------------------------- /src/doc/img/shap.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/img/shap.jpg -------------------------------------------------------------------------------- /src/doc/navstyles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/navstyles.css -------------------------------------------------------------------------------- /src/doc/people.ohtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/people.ohtml -------------------------------------------------------------------------------- /src/doc/projects/JointAssign.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/projects/JointAssign.xhtml -------------------------------------------------------------------------------- /src/doc/projects/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/projects/Makefile -------------------------------------------------------------------------------- /src/doc/projects/index.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/projects/index.xhtml -------------------------------------------------------------------------------- /src/doc/sidenav.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/sidenav.html -------------------------------------------------------------------------------- /src/doc/sitefooter.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/sitefooter.html -------------------------------------------------------------------------------- /src/doc/siteheader.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/siteheader.html -------------------------------------------------------------------------------- /src/doc/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/styles.css -------------------------------------------------------------------------------- /src/doc/svg-logo-inkscape.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/svg-logo-inkscape.svg -------------------------------------------------------------------------------- /src/doc/svg-logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/svg-logo.svg -------------------------------------------------------------------------------- /src/doc/topnav.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav.html -------------------------------------------------------------------------------- /src/doc/topnav/HOWTO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/HOWTO -------------------------------------------------------------------------------- /src/doc/topnav/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/Makefile -------------------------------------------------------------------------------- /src/doc/topnav/browse.bg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/browse.bg.png -------------------------------------------------------------------------------- /src/doc/topnav/browse.fg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/browse.fg.png -------------------------------------------------------------------------------- /src/doc/topnav/docs.bg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/docs.bg.png -------------------------------------------------------------------------------- /src/doc/topnav/docs.fg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/docs.fg.png -------------------------------------------------------------------------------- /src/doc/topnav/docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/docs.html -------------------------------------------------------------------------------- /src/doc/topnav/download.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/download.html -------------------------------------------------------------------------------- /src/doc/topnav/doxygen.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/doxygen.html -------------------------------------------------------------------------------- /src/doc/topnav/get_it.bg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/get_it.bg.png -------------------------------------------------------------------------------- /src/doc/topnav/get_it.fg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/get_it.fg.png -------------------------------------------------------------------------------- /src/doc/topnav/home.bg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/home.bg.png -------------------------------------------------------------------------------- /src/doc/topnav/home.fg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/home.fg.png -------------------------------------------------------------------------------- /src/doc/topnav/home.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/home.html -------------------------------------------------------------------------------- /src/doc/topnav/makepng.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/makepng.sh -------------------------------------------------------------------------------- /src/doc/topnav/projects.bg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/projects.bg.png -------------------------------------------------------------------------------- /src/doc/topnav/projects.fg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/projects.fg.png -------------------------------------------------------------------------------- /src/doc/topnav/projects.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/doc/topnav/projects.html -------------------------------------------------------------------------------- /src/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/install-sh -------------------------------------------------------------------------------- /src/libbitc/MainPage.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/MainPage.doxy -------------------------------------------------------------------------------- /src/libbitc/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/Makefile.in -------------------------------------------------------------------------------- /src/libbitc/arch/i386/make_procedure_object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/arch/i386/make_procedure_object.c -------------------------------------------------------------------------------- /src/libbitc/arch/powerpc/make_procedure_object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/arch/powerpc/make_procedure_object.c -------------------------------------------------------------------------------- /src/libbitc/arch/sparc/make_procedure_object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/arch/sparc/make_procedure_object.c -------------------------------------------------------------------------------- /src/libbitc/arch/sparc64/make_procedure_object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/arch/sparc64/make_procedure_object.c -------------------------------------------------------------------------------- /src/libbitc/arch/x86_64/make_procedure_object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/arch/x86_64/make_procedure_object.c -------------------------------------------------------------------------------- /src/libbitc/bitc-runtime.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc-runtime.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc-runtime.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc-runtime.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/int.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/int.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/int.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/int.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/list.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/list.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/list.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/list.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/main.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/main.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/main.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/main.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/math.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/math.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/math.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/math.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/prelude.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/prelude.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/prelude.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/prelude.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/runtime.h -------------------------------------------------------------------------------- /src/libbitc/bitc/sets/bit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/sets/bit.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/stdio.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/stdio.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/stdio.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/stdio.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/stdlib.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/stdlib.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/stdlib.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/stdlib.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/string.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/string.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/string.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/string.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-i386.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-i386.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-i386.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-i386.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-sparc.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-sparc.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-sparc.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-sparc.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-sparc64.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-sparc64.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-sparc64.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-sparc64.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-x86_64.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-x86_64.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/target/arch-x86_64.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/target/arch-x86_64.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/bitc/vector.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/vector.bitc -------------------------------------------------------------------------------- /src/libbitc/bitc/vector.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/bitc/vector.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/crypt/sha1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/crypt/sha1.bitc -------------------------------------------------------------------------------- /src/libbitc/crypt/sha1.bitc.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/crypt/sha1.bitc.sexpr -------------------------------------------------------------------------------- /src/libbitc/crypt/sha1.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/crypt/sha1.bits -------------------------------------------------------------------------------- /src/libbitc/crypt/sha1.bits.sexpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/crypt/sha1.bits.sexpr -------------------------------------------------------------------------------- /src/libbitc/doxygen.html.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/doxygen.html.cfg -------------------------------------------------------------------------------- /src/libbitc/helper/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/helper/README -------------------------------------------------------------------------------- /src/libbitc/helper/gen.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/helper/gen.cxx -------------------------------------------------------------------------------- /src/libbitc/helper/genops.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/helper/genops.sh -------------------------------------------------------------------------------- /src/libbitc/nogc-allocator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/nogc-allocator.c -------------------------------------------------------------------------------- /src/libbitc/stdio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/stdio.c -------------------------------------------------------------------------------- /src/libbitc/stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/stdlib.c -------------------------------------------------------------------------------- /src/libbitc/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/libbitc/string.c -------------------------------------------------------------------------------- /src/man/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/man/Makefile.in -------------------------------------------------------------------------------- /src/man/bitcc.1.man: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/man/bitcc.1.man -------------------------------------------------------------------------------- /src/mkinstalldirs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/mkinstalldirs -------------------------------------------------------------------------------- /src/plugins/emacs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/emacs/Makefile -------------------------------------------------------------------------------- /src/plugins/emacs/bitc-mode/bitc-defs.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/emacs/bitc-mode/bitc-defs.el -------------------------------------------------------------------------------- /src/plugins/emacs/bitc-mode/bitc-font-lock.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/emacs/bitc-mode/bitc-font-lock.el -------------------------------------------------------------------------------- /src/plugins/emacs/bitc-mode/bitc-imenu.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/emacs/bitc-mode/bitc-imenu.el -------------------------------------------------------------------------------- /src/plugins/emacs/bitc-mode/bitc-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/emacs/bitc-mode/bitc-mode.el -------------------------------------------------------------------------------- /src/plugins/emacs/bitc-mode/bitc-parse.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/emacs/bitc-mode/bitc-parse.el -------------------------------------------------------------------------------- /src/plugins/vim/filetype.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/vim/filetype.vim -------------------------------------------------------------------------------- /src/plugins/vim/ftplugin/bitc.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/vim/ftplugin/bitc.vim -------------------------------------------------------------------------------- /src/plugins/vim/ftplugin/bits.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/vim/ftplugin/bits.vim -------------------------------------------------------------------------------- /src/plugins/vim/syntax/bitc.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/plugins/vim/syntax/bitc.vim -------------------------------------------------------------------------------- /src/tests/Coyotos/obstore/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/Coyotos/obstore/Makefile -------------------------------------------------------------------------------- /src/tests/Coyotos/obstore/cap.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/Coyotos/obstore/cap.bitc -------------------------------------------------------------------------------- /src/tests/Coyotos/obstore/capability.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/Coyotos/obstore/capability.bitc -------------------------------------------------------------------------------- /src/tests/IA32/GDT.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/IA32/GDT.bitc -------------------------------------------------------------------------------- /src/tests/IA32/GDT.bitc.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/IA32/GDT.bitc.old -------------------------------------------------------------------------------- /src/tests/IA32/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/IA32/Makefile -------------------------------------------------------------------------------- /src/tests/IA32/jmp.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/IA32/jmp.bitc -------------------------------------------------------------------------------- /src/tests/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/Makefile.in -------------------------------------------------------------------------------- /src/tests/bugs/Let_test2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/bugs/Let_test2.bitc -------------------------------------------------------------------------------- /src/tests/bugs/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/bugs/Makefile.in -------------------------------------------------------------------------------- /src/tests/bugs/expect.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/bugs/expect.mk -------------------------------------------------------------------------------- /src/tests/bugs/r-and-t-1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/bugs/r-and-t-1.bitc -------------------------------------------------------------------------------- /src/tests/bugs/r-and-t-2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/bugs/r-and-t-2.bitc -------------------------------------------------------------------------------- /src/tests/compileit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/compileit.sh -------------------------------------------------------------------------------- /src/tests/convenience/lambda-args.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/convenience/lambda-args.bitc -------------------------------------------------------------------------------- /src/tests/defloop/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/defloop/Makefile -------------------------------------------------------------------------------- /src/tests/defloop/ifa.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/defloop/ifa.bitc -------------------------------------------------------------------------------- /src/tests/defloop/ifb.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/defloop/ifb.bitc -------------------------------------------------------------------------------- /src/tests/defloop/srca.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/defloop/srca.bitc -------------------------------------------------------------------------------- /src/tests/defloop/srcb.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/defloop/srcb.bitc -------------------------------------------------------------------------------- /src/tests/error/disjoint.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/error/disjoint.bitc -------------------------------------------------------------------------------- /src/tests/error/noinst.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/error/noinst.bitc -------------------------------------------------------------------------------- /src/tests/error/poly1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/error/poly1.bitc -------------------------------------------------------------------------------- /src/tests/error/unify-byref.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/error/unify-byref.bitc -------------------------------------------------------------------------------- /src/tests/experimental/inner_ref.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/experimental/inner_ref.bitc -------------------------------------------------------------------------------- /src/tests/general/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/Makefile -------------------------------------------------------------------------------- /src/tests/general/acyclic.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/acyclic.bitc -------------------------------------------------------------------------------- /src/tests/general/ambiguous.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/ambiguous.bitc -------------------------------------------------------------------------------- /src/tests/general/arith.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/arith.bitc -------------------------------------------------------------------------------- /src/tests/general/atrans.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/atrans.bitc -------------------------------------------------------------------------------- /src/tests/general/badloop.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/badloop.bitc -------------------------------------------------------------------------------- /src/tests/general/basic.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/basic.bitc -------------------------------------------------------------------------------- /src/tests/general/cgen.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/cgen.bitc -------------------------------------------------------------------------------- /src/tests/general/clconv.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/clconv.bitc -------------------------------------------------------------------------------- /src/tests/general/declbug.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/declbug.bitc -------------------------------------------------------------------------------- /src/tests/general/dummyvar.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/dummyvar.bitc -------------------------------------------------------------------------------- /src/tests/general/eq.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/eq.bitc -------------------------------------------------------------------------------- /src/tests/general/examples.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/examples.bitc -------------------------------------------------------------------------------- /src/tests/general/fact.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/fact.bitc -------------------------------------------------------------------------------- /src/tests/general/fixinit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/fixinit.bitc -------------------------------------------------------------------------------- /src/tests/general/fnxn.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/fnxn.bitc -------------------------------------------------------------------------------- /src/tests/general/gen.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/gen.bitc -------------------------------------------------------------------------------- /src/tests/general/genbug.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/genbug.bitc -------------------------------------------------------------------------------- /src/tests/general/hoist.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/hoist.bitc -------------------------------------------------------------------------------- /src/tests/general/id.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/id.bitc -------------------------------------------------------------------------------- /src/tests/general/iface.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/iface.bitc -------------------------------------------------------------------------------- /src/tests/general/iface02.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/iface02.bitc -------------------------------------------------------------------------------- /src/tests/general/iface1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/iface1.bitc -------------------------------------------------------------------------------- /src/tests/general/iface2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/iface2.bitc -------------------------------------------------------------------------------- /src/tests/general/iftest.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/iftest.bitc -------------------------------------------------------------------------------- /src/tests/general/import.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/import.bitc -------------------------------------------------------------------------------- /src/tests/general/incomplete.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/incomplete.bitc -------------------------------------------------------------------------------- /src/tests/general/io.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/io.bitc -------------------------------------------------------------------------------- /src/tests/general/link.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/link.bitc -------------------------------------------------------------------------------- /src/tests/general/listif.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/listif.bitc -------------------------------------------------------------------------------- /src/tests/general/loop.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/loop.bitc -------------------------------------------------------------------------------- /src/tests/general/mod1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/mod1.bitc -------------------------------------------------------------------------------- /src/tests/general/mod2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/mod2.bitc -------------------------------------------------------------------------------- /src/tests/general/mut.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/mut.bitc -------------------------------------------------------------------------------- /src/tests/general/mypair.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/mypair.bitc -------------------------------------------------------------------------------- /src/tests/general/nestedlambda.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/nestedlambda.bitc -------------------------------------------------------------------------------- /src/tests/general/oddeven.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/oddeven.bitc -------------------------------------------------------------------------------- /src/tests/general/pairtest.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/pairtest.bitc -------------------------------------------------------------------------------- /src/tests/general/patbind.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/patbind.bitc -------------------------------------------------------------------------------- /src/tests/general/rectyp.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/rectyp.bitc -------------------------------------------------------------------------------- /src/tests/general/refize.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/refize.bitc -------------------------------------------------------------------------------- /src/tests/general/seetypes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/seetypes.sh -------------------------------------------------------------------------------- /src/tests/general/sp-bug.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/sp-bug.bitc -------------------------------------------------------------------------------- /src/tests/general/sp.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/sp.bitc -------------------------------------------------------------------------------- /src/tests/general/structures.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/structures.bitc -------------------------------------------------------------------------------- /src/tests/general/test1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/test1.bitc -------------------------------------------------------------------------------- /src/tests/general/test2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/test2.bitc -------------------------------------------------------------------------------- /src/tests/general/test3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/test3.bitc -------------------------------------------------------------------------------- /src/tests/general/testing.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/testing.bitc -------------------------------------------------------------------------------- /src/tests/general/toc.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/toc.bitc -------------------------------------------------------------------------------- /src/tests/general/unions.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/unions.bitc -------------------------------------------------------------------------------- /src/tests/general/unit-fn.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/unit-fn.bitc -------------------------------------------------------------------------------- /src/tests/general/unittest.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/unittest.bitc -------------------------------------------------------------------------------- /src/tests/general/val-res.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/val-res.bitc -------------------------------------------------------------------------------- /src/tests/general/varbug.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/varbug.bitc -------------------------------------------------------------------------------- /src/tests/general/vector.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/general/vector.bitc -------------------------------------------------------------------------------- /src/tests/grammars/mixfix.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/grammars/mixfix.output -------------------------------------------------------------------------------- /src/tests/grammars/mixfix.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/grammars/mixfix.y -------------------------------------------------------------------------------- /src/tests/issues/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/issues/Makefile -------------------------------------------------------------------------------- /src/tests/issues/badswitch.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/issues/badswitch.bitc -------------------------------------------------------------------------------- /src/tests/issues/marison.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/issues/marison.bitc -------------------------------------------------------------------------------- /src/tests/issues/mut-polyinst.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/issues/mut-polyinst.bitc -------------------------------------------------------------------------------- /src/tests/issues/type-poly.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/issues/type-poly.bitc -------------------------------------------------------------------------------- /src/tests/issues/unrefbug.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/issues/unrefbug.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/BitField.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/BitField.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/Makefile.in -------------------------------------------------------------------------------- /src/tests/n-unit/aNil.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/aNil.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/adecl.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/adecl.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/alias.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/alias.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/arith.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/arith.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/arr-list.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/arr-list.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/array-ref.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/array-ref.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/basic.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/basic.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/bitsizeof.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/bitsizeof.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/bitwise.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/bitwise.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/block.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/block.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/boolbit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/boolbit.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/boolnot.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/boolnot.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/builtin.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/builtin.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/byref.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/byref.bitc -------------------------------------------------------------------------------- /src/tests/n-unit/myID.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/n-unit/myID.bitc -------------------------------------------------------------------------------- /src/tests/parse/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/parse/Makefile.in -------------------------------------------------------------------------------- /src/tests/parse/expect.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/parse/expect.mk -------------------------------------------------------------------------------- /src/tests/parse/missing-then.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/parse/missing-then.bits -------------------------------------------------------------------------------- /src/tests/pretty/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/Makefile.in -------------------------------------------------------------------------------- /src/tests/pretty/alltypes.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/alltypes.bits -------------------------------------------------------------------------------- /src/tests/pretty/alltypes.compile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/alltypes.compile -------------------------------------------------------------------------------- /src/tests/pretty/alltypes.link: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/alltypes.link -------------------------------------------------------------------------------- /src/tests/pretty/driver.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/driver.bitc -------------------------------------------------------------------------------- /src/tests/pretty/excpt.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/excpt.bits -------------------------------------------------------------------------------- /src/tests/pretty/expect.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/expect.mk -------------------------------------------------------------------------------- /src/tests/pretty/fn.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/fn.bits -------------------------------------------------------------------------------- /src/tests/pretty/imenu.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/imenu.bits -------------------------------------------------------------------------------- /src/tests/pretty/importlist.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/importlist.bits -------------------------------------------------------------------------------- /src/tests/pretty/instance.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/instance.bits -------------------------------------------------------------------------------- /src/tests/pretty/main.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/main.bits -------------------------------------------------------------------------------- /src/tests/pretty/mixedtypes.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/mixedtypes.bits -------------------------------------------------------------------------------- /src/tests/pretty/repr.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/repr.bits -------------------------------------------------------------------------------- /src/tests/pretty/struct.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/struct.bits -------------------------------------------------------------------------------- /src/tests/pretty/trait.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/trait.bits -------------------------------------------------------------------------------- /src/tests/pretty/union.bits: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/pretty/union.bits -------------------------------------------------------------------------------- /src/tests/reachbug/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/reachbug/Makefile -------------------------------------------------------------------------------- /src/tests/reachbug/ifa.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/reachbug/ifa.bitc -------------------------------------------------------------------------------- /src/tests/reachbug/ifb.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/reachbug/ifb.bitc -------------------------------------------------------------------------------- /src/tests/reachbug/srca.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/reachbug/srca.bitc -------------------------------------------------------------------------------- /src/tests/reachbug/srcb.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/reachbug/srcb.bitc -------------------------------------------------------------------------------- /src/tests/stale/Loc1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/Loc1.bitc -------------------------------------------------------------------------------- /src/tests/stale/Odd_Even.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/Odd_Even.bitc -------------------------------------------------------------------------------- /src/tests/stale/arith.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/arith.bitc -------------------------------------------------------------------------------- /src/tests/stale/defpair.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/defpair.bitc -------------------------------------------------------------------------------- /src/tests/stale/indexible-length-field.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/indexible-length-field.bitc -------------------------------------------------------------------------------- /src/tests/stale/mut1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/mut1.bitc -------------------------------------------------------------------------------- /src/tests/stale/pairs.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/stale/pairs.bitc -------------------------------------------------------------------------------- /src/tests/testit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/testit.sh -------------------------------------------------------------------------------- /src/tests/unit/AppLoc.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/AppLoc.bitc -------------------------------------------------------------------------------- /src/tests/unit/ArithInst.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/ArithInst.bitc -------------------------------------------------------------------------------- /src/tests/unit/Array.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Array.bitc -------------------------------------------------------------------------------- /src/tests/unit/BitField.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/BitField.bitc -------------------------------------------------------------------------------- /src/tests/unit/CMangle.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/CMangle.bitc -------------------------------------------------------------------------------- /src/tests/unit/Cap-plus.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Cap-plus.bitc -------------------------------------------------------------------------------- /src/tests/unit/Catch_Index_Error.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Catch_Index_Error.bitc -------------------------------------------------------------------------------- /src/tests/unit/Catch_in_a_Catch.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Catch_in_a_Catch.bitc -------------------------------------------------------------------------------- /src/tests/unit/DefRepr.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/DefRepr.bitc -------------------------------------------------------------------------------- /src/tests/unit/DefRepr2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/DefRepr2.bitc -------------------------------------------------------------------------------- /src/tests/unit/DefRepr3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/DefRepr3.bitc -------------------------------------------------------------------------------- /src/tests/unit/DefReprCase.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/DefReprCase.bitc -------------------------------------------------------------------------------- /src/tests/unit/Dup.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Dup.bitc -------------------------------------------------------------------------------- /src/tests/unit/Echo_Args.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Echo_Args.bitc -------------------------------------------------------------------------------- /src/tests/unit/Echo_Args.stdout: -------------------------------------------------------------------------------- 1 | ./BUILD/Echo_Args 2 | -------------------------------------------------------------------------------- /src/tests/unit/Exception.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Exception.bitc -------------------------------------------------------------------------------- /src/tests/unit/Fact-Loop.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Fact-Loop.bitc -------------------------------------------------------------------------------- /src/tests/unit/Fact-Mut.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Fact-Mut.bitc -------------------------------------------------------------------------------- /src/tests/unit/Fact-Rec.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Fact-Rec.bitc -------------------------------------------------------------------------------- /src/tests/unit/Flat-Union.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Flat-Union.bitc -------------------------------------------------------------------------------- /src/tests/unit/ID.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/ID.bitc -------------------------------------------------------------------------------- /src/tests/unit/InvolvedException.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/InvolvedException.bitc -------------------------------------------------------------------------------- /src/tests/unit/Let_test.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Let_test.bitc -------------------------------------------------------------------------------- /src/tests/unit/Loc2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Loc2.bitc -------------------------------------------------------------------------------- /src/tests/unit/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Makefile.in -------------------------------------------------------------------------------- /src/tests/unit/Odd_Even_proclaim.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Odd_Even_proclaim.bitc -------------------------------------------------------------------------------- /src/tests/unit/Ops.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Ops.bitc -------------------------------------------------------------------------------- /src/tests/unit/Polyinst-alpha.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Polyinst-alpha.bitc -------------------------------------------------------------------------------- /src/tests/unit/Polyinst.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Polyinst.bitc -------------------------------------------------------------------------------- /src/tests/unit/SmallUnion.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/SmallUnion.bitc -------------------------------------------------------------------------------- /src/tests/unit/Struct-Arr.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Struct-Arr.bitc -------------------------------------------------------------------------------- /src/tests/unit/Struct-Vec.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Struct-Vec.bitc -------------------------------------------------------------------------------- /src/tests/unit/TagType.bitc.fixme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/TagType.bitc.fixme -------------------------------------------------------------------------------- /src/tests/unit/Tail.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Tail.bitc -------------------------------------------------------------------------------- /src/tests/unit/ThrowLeg.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/ThrowLeg.bitc -------------------------------------------------------------------------------- /src/tests/unit/UncaughtException.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/UncaughtException.bitc -------------------------------------------------------------------------------- /src/tests/unit/UncaughtException.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/UncaughtException.stdout -------------------------------------------------------------------------------- /src/tests/unit/VecBoundsError.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/VecBoundsError.bitc -------------------------------------------------------------------------------- /src/tests/unit/VecBoundsError.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/VecBoundsError.stdout -------------------------------------------------------------------------------- /src/tests/unit/Vector.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/Vector.bitc -------------------------------------------------------------------------------- /src/tests/unit/aNil.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/aNil.bitc -------------------------------------------------------------------------------- /src/tests/unit/adecl.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/adecl.bitc -------------------------------------------------------------------------------- /src/tests/unit/alias.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/alias.bitc -------------------------------------------------------------------------------- /src/tests/unit/arr-list.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/arr-list.bitc -------------------------------------------------------------------------------- /src/tests/unit/array-ref.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/array-ref.bitc -------------------------------------------------------------------------------- /src/tests/unit/badsyntax.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/badsyntax.bitc -------------------------------------------------------------------------------- /src/tests/unit/badsyntax.errout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/badsyntax.errout -------------------------------------------------------------------------------- /src/tests/unit/basic.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/basic.bitc -------------------------------------------------------------------------------- /src/tests/unit/bindmethod.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/bindmethod.bitc -------------------------------------------------------------------------------- /src/tests/unit/bitset.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/bitset.bitc -------------------------------------------------------------------------------- /src/tests/unit/bitset.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/bitset.stdout -------------------------------------------------------------------------------- /src/tests/unit/bitsizeof.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/bitsizeof.bitc -------------------------------------------------------------------------------- /src/tests/unit/bitwise.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/bitwise.bitc -------------------------------------------------------------------------------- /src/tests/unit/block.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/block.bitc -------------------------------------------------------------------------------- /src/tests/unit/boolbit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/boolbit.bitc -------------------------------------------------------------------------------- /src/tests/unit/boolnot.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/boolnot.bitc -------------------------------------------------------------------------------- /src/tests/unit/builtin.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/builtin.bitc -------------------------------------------------------------------------------- /src/tests/unit/byref.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/byref.bitc -------------------------------------------------------------------------------- /src/tests/unit/captured-mut.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/captured-mut.bitc -------------------------------------------------------------------------------- /src/tests/unit/catchall.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/catchall.bitc -------------------------------------------------------------------------------- /src/tests/unit/chars.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/chars.bitc -------------------------------------------------------------------------------- /src/tests/unit/classunf.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/classunf.bitc -------------------------------------------------------------------------------- /src/tests/unit/clconv.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/clconv.bitc -------------------------------------------------------------------------------- /src/tests/unit/clconv1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/clconv1.bitc -------------------------------------------------------------------------------- /src/tests/unit/clconv2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/clconv2.bitc -------------------------------------------------------------------------------- /src/tests/unit/closure.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/closure.bitc -------------------------------------------------------------------------------- /src/tests/unit/closurebug.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/closurebug.bitc -------------------------------------------------------------------------------- /src/tests/unit/const1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/const1.bitc -------------------------------------------------------------------------------- /src/tests/unit/const2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/const2.bitc -------------------------------------------------------------------------------- /src/tests/unit/const3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/const3.bitc -------------------------------------------------------------------------------- /src/tests/unit/copy-compat.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/copy-compat.bitc -------------------------------------------------------------------------------- /src/tests/unit/copy-compat1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/copy-compat1.bitc -------------------------------------------------------------------------------- /src/tests/unit/copy-compat2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/copy-compat2.bitc -------------------------------------------------------------------------------- /src/tests/unit/ctr-test.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/ctr-test.bitc -------------------------------------------------------------------------------- /src/tests/unit/cyclic.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/cyclic.bitc -------------------------------------------------------------------------------- /src/tests/unit/cyclic.errout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/cyclic.errout -------------------------------------------------------------------------------- /src/tests/unit/disjoint.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/disjoint.bitc -------------------------------------------------------------------------------- /src/tests/unit/dotest.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/dotest.bitc -------------------------------------------------------------------------------- /src/tests/unit/echo-char.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/echo-char.bitc -------------------------------------------------------------------------------- /src/tests/unit/echo-char.stdin: -------------------------------------------------------------------------------- 1 | a -------------------------------------------------------------------------------- /src/tests/unit/echo-char.stdout: -------------------------------------------------------------------------------- 1 | a 2 | -------------------------------------------------------------------------------- /src/tests/unit/eq.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/eq.bitc -------------------------------------------------------------------------------- /src/tests/unit/eqPair.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/eqPair.bitc -------------------------------------------------------------------------------- /src/tests/unit/existential.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/existential.bitc -------------------------------------------------------------------------------- /src/tests/unit/expect.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/expect.mk -------------------------------------------------------------------------------- /src/tests/unit/extend.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/extend.bitc -------------------------------------------------------------------------------- /src/tests/unit/field-coerce.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/field-coerce.bitc -------------------------------------------------------------------------------- /src/tests/unit/field-infer.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/field-infer.bitc -------------------------------------------------------------------------------- /src/tests/unit/field-method-infer.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/field-method-infer.bitc -------------------------------------------------------------------------------- /src/tests/unit/file.input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/file.input -------------------------------------------------------------------------------- /src/tests/unit/fill.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/fill.bitc -------------------------------------------------------------------------------- /src/tests/unit/forall.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/forall.bitc -------------------------------------------------------------------------------- /src/tests/unit/forall2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/forall2.bitc -------------------------------------------------------------------------------- /src/tests/unit/from-all.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/from-all.bitc -------------------------------------------------------------------------------- /src/tests/unit/from.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/from.bitc -------------------------------------------------------------------------------- /src/tests/unit/hello.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/hello.bitc -------------------------------------------------------------------------------- /src/tests/unit/hello.stdout: -------------------------------------------------------------------------------- 1 | Hello, world! 2 | -------------------------------------------------------------------------------- /src/tests/unit/import_path.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/import_path.bitc -------------------------------------------------------------------------------- /src/tests/unit/import_path.errout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/import_path.errout -------------------------------------------------------------------------------- /src/tests/unit/inf.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/inf.bitc -------------------------------------------------------------------------------- /src/tests/unit/initArray.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/initArray.bitc -------------------------------------------------------------------------------- /src/tests/unit/innerdef.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/innerdef.bitc -------------------------------------------------------------------------------- /src/tests/unit/inst-test1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/inst-test1.bitc -------------------------------------------------------------------------------- /src/tests/unit/inst-test2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/inst-test2.bitc -------------------------------------------------------------------------------- /src/tests/unit/inst-test3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/inst-test3.bitc -------------------------------------------------------------------------------- /src/tests/unit/intout.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/intout.bitc -------------------------------------------------------------------------------- /src/tests/unit/intout.stdout: -------------------------------------------------------------------------------- 1 | 10 2 | faceabcd 3 | 303240 4 | 0 5 | -12345 6 | -------------------------------------------------------------------------------- /src/tests/unit/io-time.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/io-time.bitc -------------------------------------------------------------------------------- /src/tests/unit/io-time.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/io-time.stdout -------------------------------------------------------------------------------- /src/tests/unit/layout-autoclose.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/layout-autoclose.bitc -------------------------------------------------------------------------------- /src/tests/unit/layout-top-explicit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/layout-top-explicit.bitc -------------------------------------------------------------------------------- /src/tests/unit/layout-top-implicit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/layout-top-implicit.bitc -------------------------------------------------------------------------------- /src/tests/unit/let-polyinst.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/let-polyinst.bitc -------------------------------------------------------------------------------- /src/tests/unit/letrecdef.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/letrecdef.bitc -------------------------------------------------------------------------------- /src/tests/unit/libbitc-bita.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/libbitc-bita.bitc -------------------------------------------------------------------------------- /src/tests/unit/list-nullable.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/list-nullable.bitc -------------------------------------------------------------------------------- /src/tests/unit/listvec.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/listvec.bitc -------------------------------------------------------------------------------- /src/tests/unit/listvec2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/listvec2.bitc -------------------------------------------------------------------------------- /src/tests/unit/lit.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/lit.bitc -------------------------------------------------------------------------------- /src/tests/unit/main-simple.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/main-simple.bitc -------------------------------------------------------------------------------- /src/tests/unit/make-mut-vec.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/make-mut-vec.bitc -------------------------------------------------------------------------------- /src/tests/unit/mixfix.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mixfix.bitc -------------------------------------------------------------------------------- /src/tests/unit/mkvecL-mut.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mkvecL-mut.bitc -------------------------------------------------------------------------------- /src/tests/unit/mkvecL.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mkvecL.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut-array.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut-array.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut-cc-1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut-cc-1.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut-cc-2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut-cc-2.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut-cc-3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut-cc-3.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut-struct.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut-struct.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut-vec.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut-vec.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut10.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut10.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut2.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut3.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut4.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut4.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut5.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut5.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut6.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut6.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut7.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut7.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut8.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut8.bitc -------------------------------------------------------------------------------- /src/tests/unit/mut9.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/mut9.bitc -------------------------------------------------------------------------------- /src/tests/unit/myID.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/myID.bitc -------------------------------------------------------------------------------- /src/tests/unit/newConstr1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newConstr1.bitc -------------------------------------------------------------------------------- /src/tests/unit/newConstr2.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newConstr2.bitc -------------------------------------------------------------------------------- /src/tests/unit/newConstr3.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newConstr3.bitc -------------------------------------------------------------------------------- /src/tests/unit/newDef.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newDef.bitc -------------------------------------------------------------------------------- /src/tests/unit/newException.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newException.bitc -------------------------------------------------------------------------------- /src/tests/unit/newException.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newException.stdout -------------------------------------------------------------------------------- /src/tests/unit/newinf.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newinf.bitc -------------------------------------------------------------------------------- /src/tests/unit/newmain.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/newmain.bitc -------------------------------------------------------------------------------- /src/tests/unit/not.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/not.bitc -------------------------------------------------------------------------------- /src/tests/unit/nullable-cardelli.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/nullable-cardelli.bitc -------------------------------------------------------------------------------- /src/tests/unit/nullable.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/nullable.bitc -------------------------------------------------------------------------------- /src/tests/unit/nunion-case.bitc.fixme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/nunion-case.bitc.fixme -------------------------------------------------------------------------------- /src/tests/unit/odd_even_letrec.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/odd_even_letrec.bitc -------------------------------------------------------------------------------- /src/tests/unit/phantom.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/phantom.bitc -------------------------------------------------------------------------------- /src/tests/unit/proclaim.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/proclaim.bitc -------------------------------------------------------------------------------- /src/tests/unit/ref-types.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/ref-types.bitc -------------------------------------------------------------------------------- /src/tests/unit/ret-fun.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/ret-fun.bitc -------------------------------------------------------------------------------- /src/tests/unit/seetypes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/seetypes.sh -------------------------------------------------------------------------------- /src/tests/unit/sha1-file.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/sha1-file.bitc -------------------------------------------------------------------------------- /src/tests/unit/sha1-file.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/sha1-file.stdout -------------------------------------------------------------------------------- /src/tests/unit/sha1-test.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/sha1-test.bitc -------------------------------------------------------------------------------- /src/tests/unit/sha1-test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/sha1-test.stdout -------------------------------------------------------------------------------- /src/tests/unit/sizeof.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/sizeof.bitc -------------------------------------------------------------------------------- /src/tests/unit/string-lex.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/string-lex.bitc -------------------------------------------------------------------------------- /src/tests/unit/string-lex.errout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/string-lex.errout -------------------------------------------------------------------------------- /src/tests/unit/structmethod.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/structmethod.bitc -------------------------------------------------------------------------------- /src/tests/unit/suspend.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/suspend.bitc -------------------------------------------------------------------------------- /src/tests/unit/switch-multiple.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/switch-multiple.bitc -------------------------------------------------------------------------------- /src/tests/unit/switch-unify.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/switch-unify.bitc -------------------------------------------------------------------------------- /src/tests/unit/switch.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/switch.bitc -------------------------------------------------------------------------------- /src/tests/unit/test_import/bad_interface.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/test_import/bad_interface.bitc -------------------------------------------------------------------------------- /src/tests/unit/toomanyargs.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/toomanyargs.bitc -------------------------------------------------------------------------------- /src/tests/unit/top-level-mut.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/top-level-mut.bitc -------------------------------------------------------------------------------- /src/tests/unit/tvar-scope.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/tvar-scope.bitc -------------------------------------------------------------------------------- /src/tests/unit/tvar-use1.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/tvar-use1.bitc -------------------------------------------------------------------------------- /src/tests/unit/twomodule.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/twomodule.bitc -------------------------------------------------------------------------------- /src/tests/unit/twomodule.stdout: -------------------------------------------------------------------------------- 1 | a 2 | -------------------------------------------------------------------------------- /src/tests/unit/unresolved.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/unresolved.bitc -------------------------------------------------------------------------------- /src/tests/unit/usesel-unbound.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/usesel-unbound.bitc -------------------------------------------------------------------------------- /src/tests/unit/usesel-unbound.errout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/usesel-unbound.errout -------------------------------------------------------------------------------- /src/tests/unit/utf8echo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/utf8echo -------------------------------------------------------------------------------- /src/tests/unit/vec-badly-typed.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/vec-badly-typed.bitc -------------------------------------------------------------------------------- /src/tests/unit/vec-badly-typed.errout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/vec-badly-typed.errout -------------------------------------------------------------------------------- /src/tests/unit/vec-infer.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/vec-infer.bitc -------------------------------------------------------------------------------- /src/tests/unit/wchar.bitc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/repos-bitc/bitc/HEAD/src/tests/unit/wchar.bitc -------------------------------------------------------------------------------- /src/tests/unit/wchar.stdout: -------------------------------------------------------------------------------- 1 | a 2 | --------------------------------------------------------------------------------