├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── .hgignore ├── CHANGELOG.md ├── LICENSE ├── Makefile ├── README ├── README.md ├── bin └── README ├── cabal.haskell-ci ├── doc ├── grammar.txt ├── svn.txt ├── talkFeb2011 │ ├── abstract.txt │ └── talkFeb11.tex └── thesis │ └── bachelorthesis.tex ├── examples └── ltal │ ├── 10000.elf │ ├── 12000.elf │ ├── 2000.elf │ ├── 3835.elf │ ├── 4000.elf │ ├── 5000.elf │ ├── 5200.elf │ ├── 5300.elf │ ├── 5400.elf │ ├── 5500.elf │ ├── 5828.elf │ ├── 5829.elf │ ├── 6000.elf │ ├── 8000.elf │ ├── Makefile │ ├── README │ └── w32_sig_semant.elf ├── helf.cabal ├── notes ├── Makefile ├── auto-lfmtp11.bib ├── lfmtp11.bib ├── lfmtp11.tex ├── macros.tex ├── mymacros.tex ├── nonauto-lfmtp11.bib ├── ordered.tex ├── reports_lfmtp.txt └── time.txt ├── src ├── Abstract.hs ├── ClosVal.hs ├── Closures.hs ├── Concrete.hs ├── Context.hs ├── DataStructure.hs ├── DatastrucImpl │ ├── DynArrayInstance.hs │ ├── List.hs │ ├── SimpleDynArray.hs │ ├── StrictDynArray.hs │ └── TestDynArray.hs ├── DynArray.hs ├── ErrorExpected.hs ├── ExplSubst.hs ├── Fresh.hs ├── HerBruijn.hs ├── HerBruijnVal.hs ├── HeredNormVal.hs ├── HeredNormal.hs ├── Lexer.x ├── ListEnv.hs ├── LocallyNamelessSyntax.hs ├── Main.hs ├── Makefile ├── MapEnv.hs ├── MonoVal.hs ├── Monolith.hs ├── NamedExplSubst.hs ├── ORef.hs ├── OperatorPrecedenceParser.hs ├── OrderedCom2.hs ├── OrderedComplex2.hs ├── OrderedSubst.hs ├── Parser.y ├── PrettyM.hs ├── README ├── ScopeMonad.hs ├── Scoping.hs ├── Signature.hs ├── Stream.hs ├── TGChecker.hs ├── TermGraph.hs ├── Test.hs ├── TheMonad.hs ├── TypeCheck.hs ├── Util.hs └── Value.hs ├── test ├── fail │ ├── Makefile │ ├── NotAFunctionType.elf │ ├── NotAFunctionType.err │ ├── TypeExpected.elf │ ├── TypeExpected.err │ ├── ltal2.elf │ ├── ltal2.err │ ├── ltal_sig.elf │ └── ltal_sig.err └── succeed │ ├── Makefile │ ├── comments.elf │ ├── equality.elf │ ├── eval.elf │ ├── fixdecl.elf │ ├── forall2_i.elf │ ├── ltal1.elf │ ├── simpleTypes.elf │ ├── word32.elf │ ├── word32_ltal_sig.elf │ ├── word32_mkhigh2.elf │ ├── y.elf │ └── z.elf └── tools ├── arithexpr.sh ├── numbers.sh └── word32header.sh /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/.gitignore -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- 1 | syntax: glob 2 | 3 | *.o 4 | *.hi 5 | *~ 6 | dist/* 7 | src/Parser.y-grm.txt 8 | bin/helf 9 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/README -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/README.md -------------------------------------------------------------------------------- /bin/README: -------------------------------------------------------------------------------- 1 | This is where the binaries go. 2 | -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /doc/grammar.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/doc/grammar.txt -------------------------------------------------------------------------------- /doc/svn.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/doc/svn.txt -------------------------------------------------------------------------------- /doc/talkFeb2011/abstract.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/doc/talkFeb2011/abstract.txt -------------------------------------------------------------------------------- /doc/talkFeb2011/talkFeb11.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/doc/talkFeb2011/talkFeb11.tex -------------------------------------------------------------------------------- /doc/thesis/bachelorthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/doc/thesis/bachelorthesis.tex -------------------------------------------------------------------------------- /examples/ltal/10000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/10000.elf -------------------------------------------------------------------------------- /examples/ltal/12000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/12000.elf -------------------------------------------------------------------------------- /examples/ltal/2000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/2000.elf -------------------------------------------------------------------------------- /examples/ltal/3835.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/3835.elf -------------------------------------------------------------------------------- /examples/ltal/4000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/4000.elf -------------------------------------------------------------------------------- /examples/ltal/5000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5000.elf -------------------------------------------------------------------------------- /examples/ltal/5200.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5200.elf -------------------------------------------------------------------------------- /examples/ltal/5300.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5300.elf -------------------------------------------------------------------------------- /examples/ltal/5400.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5400.elf -------------------------------------------------------------------------------- /examples/ltal/5500.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5500.elf -------------------------------------------------------------------------------- /examples/ltal/5828.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5828.elf -------------------------------------------------------------------------------- /examples/ltal/5829.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/5829.elf -------------------------------------------------------------------------------- /examples/ltal/6000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/6000.elf -------------------------------------------------------------------------------- /examples/ltal/8000.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/8000.elf -------------------------------------------------------------------------------- /examples/ltal/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/Makefile -------------------------------------------------------------------------------- /examples/ltal/README: -------------------------------------------------------------------------------- 1 | The "ltal" files are (C) Andrew Appel and team, used by permission. 2 | -------------------------------------------------------------------------------- /examples/ltal/w32_sig_semant.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/examples/ltal/w32_sig_semant.elf -------------------------------------------------------------------------------- /helf.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/helf.cabal -------------------------------------------------------------------------------- /notes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/Makefile -------------------------------------------------------------------------------- /notes/auto-lfmtp11.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/auto-lfmtp11.bib -------------------------------------------------------------------------------- /notes/lfmtp11.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/lfmtp11.bib -------------------------------------------------------------------------------- /notes/lfmtp11.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/lfmtp11.tex -------------------------------------------------------------------------------- /notes/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/macros.tex -------------------------------------------------------------------------------- /notes/mymacros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/mymacros.tex -------------------------------------------------------------------------------- /notes/nonauto-lfmtp11.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/nonauto-lfmtp11.bib -------------------------------------------------------------------------------- /notes/ordered.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/ordered.tex -------------------------------------------------------------------------------- /notes/reports_lfmtp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/reports_lfmtp.txt -------------------------------------------------------------------------------- /notes/time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/notes/time.txt -------------------------------------------------------------------------------- /src/Abstract.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Abstract.hs -------------------------------------------------------------------------------- /src/ClosVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/ClosVal.hs -------------------------------------------------------------------------------- /src/Closures.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Closures.hs -------------------------------------------------------------------------------- /src/Concrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Concrete.hs -------------------------------------------------------------------------------- /src/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Context.hs -------------------------------------------------------------------------------- /src/DataStructure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DataStructure.hs -------------------------------------------------------------------------------- /src/DatastrucImpl/DynArrayInstance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DatastrucImpl/DynArrayInstance.hs -------------------------------------------------------------------------------- /src/DatastrucImpl/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DatastrucImpl/List.hs -------------------------------------------------------------------------------- /src/DatastrucImpl/SimpleDynArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DatastrucImpl/SimpleDynArray.hs -------------------------------------------------------------------------------- /src/DatastrucImpl/StrictDynArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DatastrucImpl/StrictDynArray.hs -------------------------------------------------------------------------------- /src/DatastrucImpl/TestDynArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DatastrucImpl/TestDynArray.hs -------------------------------------------------------------------------------- /src/DynArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/DynArray.hs -------------------------------------------------------------------------------- /src/ErrorExpected.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/ErrorExpected.hs -------------------------------------------------------------------------------- /src/ExplSubst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/ExplSubst.hs -------------------------------------------------------------------------------- /src/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Fresh.hs -------------------------------------------------------------------------------- /src/HerBruijn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/HerBruijn.hs -------------------------------------------------------------------------------- /src/HerBruijnVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/HerBruijnVal.hs -------------------------------------------------------------------------------- /src/HeredNormVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/HeredNormVal.hs -------------------------------------------------------------------------------- /src/HeredNormal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/HeredNormal.hs -------------------------------------------------------------------------------- /src/Lexer.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Lexer.x -------------------------------------------------------------------------------- /src/ListEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/ListEnv.hs -------------------------------------------------------------------------------- /src/LocallyNamelessSyntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/LocallyNamelessSyntax.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Main.hs -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/MapEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/MapEnv.hs -------------------------------------------------------------------------------- /src/MonoVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/MonoVal.hs -------------------------------------------------------------------------------- /src/Monolith.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Monolith.hs -------------------------------------------------------------------------------- /src/NamedExplSubst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/NamedExplSubst.hs -------------------------------------------------------------------------------- /src/ORef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/ORef.hs -------------------------------------------------------------------------------- /src/OperatorPrecedenceParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/OperatorPrecedenceParser.hs -------------------------------------------------------------------------------- /src/OrderedCom2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/OrderedCom2.hs -------------------------------------------------------------------------------- /src/OrderedComplex2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/OrderedComplex2.hs -------------------------------------------------------------------------------- /src/OrderedSubst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/OrderedSubst.hs -------------------------------------------------------------------------------- /src/Parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Parser.y -------------------------------------------------------------------------------- /src/PrettyM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/PrettyM.hs -------------------------------------------------------------------------------- /src/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/README -------------------------------------------------------------------------------- /src/ScopeMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/ScopeMonad.hs -------------------------------------------------------------------------------- /src/Scoping.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Scoping.hs -------------------------------------------------------------------------------- /src/Signature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Signature.hs -------------------------------------------------------------------------------- /src/Stream.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Stream.hs -------------------------------------------------------------------------------- /src/TGChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/TGChecker.hs -------------------------------------------------------------------------------- /src/TermGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/TermGraph.hs -------------------------------------------------------------------------------- /src/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Test.hs -------------------------------------------------------------------------------- /src/TheMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/TheMonad.hs -------------------------------------------------------------------------------- /src/TypeCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/TypeCheck.hs -------------------------------------------------------------------------------- /src/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Util.hs -------------------------------------------------------------------------------- /src/Value.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/src/Value.hs -------------------------------------------------------------------------------- /test/fail/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/Makefile -------------------------------------------------------------------------------- /test/fail/NotAFunctionType.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/NotAFunctionType.elf -------------------------------------------------------------------------------- /test/fail/NotAFunctionType.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/NotAFunctionType.err -------------------------------------------------------------------------------- /test/fail/TypeExpected.elf: -------------------------------------------------------------------------------- 1 | %% 2010-12-20 2 | 3 | N : type. 4 | 0 : N. 5 | bla = [x:0] x. -------------------------------------------------------------------------------- /test/fail/TypeExpected.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/TypeExpected.err -------------------------------------------------------------------------------- /test/fail/ltal2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/ltal2.elf -------------------------------------------------------------------------------- /test/fail/ltal2.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/ltal2.err -------------------------------------------------------------------------------- /test/fail/ltal_sig.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/ltal_sig.elf -------------------------------------------------------------------------------- /test/fail/ltal_sig.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/fail/ltal_sig.err -------------------------------------------------------------------------------- /test/succeed/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/Makefile -------------------------------------------------------------------------------- /test/succeed/comments.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/comments.elf -------------------------------------------------------------------------------- /test/succeed/equality.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/equality.elf -------------------------------------------------------------------------------- /test/succeed/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/eval.elf -------------------------------------------------------------------------------- /test/succeed/fixdecl.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/fixdecl.elf -------------------------------------------------------------------------------- /test/succeed/forall2_i.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/forall2_i.elf -------------------------------------------------------------------------------- /test/succeed/ltal1.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/ltal1.elf -------------------------------------------------------------------------------- /test/succeed/simpleTypes.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/simpleTypes.elf -------------------------------------------------------------------------------- /test/succeed/word32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/word32.elf -------------------------------------------------------------------------------- /test/succeed/word32_ltal_sig.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/word32_ltal_sig.elf -------------------------------------------------------------------------------- /test/succeed/word32_mkhigh2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/word32_mkhigh2.elf -------------------------------------------------------------------------------- /test/succeed/y.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/y.elf -------------------------------------------------------------------------------- /test/succeed/z.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/test/succeed/z.elf -------------------------------------------------------------------------------- /tools/arithexpr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/tools/arithexpr.sh -------------------------------------------------------------------------------- /tools/numbers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/tools/numbers.sh -------------------------------------------------------------------------------- /tools/word32header.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andreasabel/helf/HEAD/tools/word32header.sh --------------------------------------------------------------------------------