Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also compare across forks.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also compare across forks.
...
This comparison is big! We’re only showing the most recent 250 commits
Commits on Sep 02, 2013
@atzedijkstra atzedijkstra refactor of part of codegen const admin b030710
@atzedijkstra atzedijkstra work on cmm route codegen 6f3f07b
Commits on Sep 04, 2013
@atzedijkstra atzedijkstra factor out of type/constr info as to make it available throughout cod…
…egen stages, this commit just before modifying GrTag_Con structure
51bce8a
@atzedijkstra atzedijkstra mods to GrTag_Con, but crashes, commit for storing changes and then c…
…omparing
6bd4eb8
@atzedijkstra atzedijkstra GrTag_Con refactor done f4b2965
Commits on Sep 11, 2013
@atzedijkstra atzedijkstra work on simplification of (un)boxing and ffi 8ddafeb
Commits on Sep 12, 2013
@atzedijkstra atzedijkstra cmm now option to js backend b00b5c7
Commits on Sep 13, 2013
@atzedijkstra atzedijkstra small changes; HsName_UID alternative to not forget that a name came …
…from an UID
57be930
Commits on Sep 15, 2013
@atzedijkstra atzedijkstra cleanup/refactor of CVarInfo 288e461
Commits on Sep 19, 2013
@atzedijkstra atzedijkstra work on CVarInfo use in Cmm gen ac93a41
Commits on Oct 01, 2013
@atzedijkstra atzedijkstra cmm case expr 2ab658f
Commits on Oct 03, 2013
@atzedijkstra atzedijkstra refactoring of output generation, initial framework for javascript AS…
…T transformations
3f19aaf
Commits on Oct 04, 2013
@atzedijkstra atzedijkstra js elimination of redundant vars (makes resulting code readable/debug…
…gable)
2a6518e
@atzedijkstra atzedijkstra and a fix to keep the old js backend working a3ae033
Commits on Nov 22, 2013
@trofi trofi src/ehc: port to hashable-1.2
'combine' is gone away, but hashWithSalt is a drop-in replacement.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
62cfab3
Commits on Nov 25, 2013
@atzedijkstra atzedijkstra local changes cbaed2d
@atzedijkstra atzedijkstra merge of fixes for hashable-1.2 9bc67ab
Commits on Dec 11, 2013
@atzedijkstra atzedijkstra uncommitted work f6fe745
Commits on Feb 04, 2014
@sstewartgallus sstewartgallus Ignore autoconf files 9a84721
@sstewartgallus sstewartgallus Remove bashism
The == operator is not portable. One should = instead.
3482118
@atzedijkstra atzedijkstra outstanding changes 2a5a7d3
@atzedijkstra atzedijkstra Merge branch 'master' of github.com:UU-ComputerScience/uhc 552369d
@atzedijkstra atzedijkstra Merge branch 'fixupnits' of https://github.com/sstewartgallus/uhc e085374
@atzedijkstra atzedijkstra issue resolution #13 & #15 merged 245dd38
@atzedijkstra atzedijkstra fixed issue #11 84e6797
Commits on Feb 17, 2014
@atzedijkstra atzedijkstra rather crude fix for being able to build in different dir than where …
…./configure resides: copy all required stuff; depends on autoconf having correct value
5325091
@atzedijkstra atzedijkstra rather crude fix for being able to build in different dir than where …
…./configure resides: copy all required stuff; depends on autoconf having correct value
bb42132
@atzedijkstra atzedijkstra fixes for OSX Mavericks b30abe9
Commits on Feb 27, 2014
@atzedijkstra atzedijkstra fix for issue #18, faulty defaulting inside instance decl aade7de
Commits on Mar 04, 2014
@atzedijkstra atzedijkstra Merge branch 'master' into cmm 7122957
@atzedijkstra atzedijkstra merge of master into cmm 12f9183
Commits on Mar 27, 2014
@atzedijkstra atzedijkstra added configure --with-aspects for building stripped compiler version…
…s, cleaned up codebase to at least build a base version for variant 99
41f70d6
Commits on Mar 31, 2014
@atzedijkstra atzedijkstra builds for aspect/variant '99 base hmtyinfer noHmTyRuler'; shuffle no…
…w must be >=0.1.1.0
efe7f22
@atzedijkstra atzedijkstra (re)fixes for plain uhc 70170c4
@atzedijkstra atzedijkstra version bump to 1.1.6 c77c9c9
Commits on Apr 01, 2014
@atzedijkstra atzedijkstra builds for aspects base hmtyast b696237
Commits on Apr 02, 2014
@atzedijkstra atzedijkstra forgotten file 746339a
@atzedijkstra atzedijkstra incomplete merge (still errors, missing files etc) 540b809
@atzedijkstra atzedijkstra Merge branch 'cmm' of github.com:UU-ComputerScience/uhc into cmm 267fbba
@atzedijkstra atzedijkstra merge of master, for ./configure --enable-cmm 562635a
@atzedijkstra atzedijkstra check of build for various aspects 402e372
@atzedijkstra atzedijkstra finer grained version nr (4 digits) 6bdcd3b
@atzedijkstra atzedijkstra propagation of version info 417e7b3
Commits on Apr 07, 2014
@atzedijkstra atzedijkstra ongoing work on codegen 97c378c
Commits on Apr 09, 2014
@atzedijkstra atzedijkstra work on cmm (ident adm cleanup), refactor of transformation monad (ge…
…tting rid of old copy/paste)
d527ee3
@atzedijkstra atzedijkstra empty placeholder framework for cmm transformations 2d11eb6
Commits on Apr 10, 2014
@atzedijkstra atzedijkstra work on cmm checking c1c96ef
Commits on Apr 11, 2014
@atzedijkstra atzedijkstra cleanup: HsName no longer exports constructors (still needs fix for H…
…sName_Nr in non-maintained code); hiding of unused code for GrinCode
070ea6f
@atzedijkstra atzedijkstra cleanup: HsName no longer exports constructors (still needs fix for H…
…sName_Nr in non-maintained code); hiding of unused code for GrinCode
cdf3c3d
@atzedijkstra atzedijkstra to fix wrong commit 777dbf6
@atzedijkstra atzedijkstra work on cmm checks 916937e
Commits on Apr 15, 2014
@atzedijkstra atzedijkstra infrastructure for cmm: name admin, a simplifcation transformation. I…
…nternal: less dependencies on md5 signature of code (less recompilation)
20f36b1
@atzedijkstra atzedijkstra cmm check for not introduced names 3698986
Commits on Jun 04, 2014
@atzedijkstra atzedijkstra core extension .bcr split for binary and .tcr for textual core repres…
…entations
f54ca27
@atzedijkstra atzedijkstra version bump to 1.1.7, core option to dump core, optimization option …
…to specify scope (whole prog, etc)
85bafb2
@atzedijkstra atzedijkstra unfinished work on core dump, getting parser/printer back in working …
…order
aa2d35c
Commits on Jun 06, 2014
@atzedijkstra atzedijkstra work on Core dump/read (as a module), Core parser under bitrot reversal 537b5fc
@atzedijkstra atzedijkstra further work on Core dump/read (end of day commit) ed526fc
Commits on Jun 11, 2014
@atzedijkstra atzedijkstra pretty print & parse of core in combi work, not yet semantics preserv…
…ing, not yet properly fitting in codegen further down the pipeline
427ec74
Commits on Jun 12, 2014
@atzedijkstra atzedijkstra core parse/unparse ok 6d4aaa0
@atzedijkstra atzedijkstra Core compilation ok uptil linking problems 99b5e3f
Commits on Jun 13, 2014
@atzedijkstra atzedijkstra core unparse/parse produces executable but crashes (data constructor …
…info not yet properly propagated)
c4ab6ea
@atzedijkstra atzedijkstra polishing parsing, but remains quite time consuming on larger files..…
…. approx 3K lines p sec, but files are rather large...
32f01ea
Commits on Jun 16, 2014
@atzedijkstra atzedijkstra inlining of datatype info into Core, later maybe also import/export dbb00ca
Commits on Jun 17, 2014
@atzedijkstra atzedijkstra use of datatype info, inlined in Core AST, removal of CTagsMp previou…
…sly used for similar purpose. Generated code still crashes though...
d9542d3
Commits on Jun 18, 2014
@atzedijkstra atzedijkstra Core dump (with -Operwholecore --coreopt=dump) and subsequent compile…
… results in runnable program, tested only on a helloworld program
4d73457
Commits on Jun 20, 2014
@jbransen jbransen Remove unnecessary functional dependencies making it very hard to giv…
…e a valid instance (and this fixes compilation in GHC >= 7.7)
4c31ade
@jbransen jbransen Remove -fglasgow-exts and add used extensions explicitly to fix compi…
…lation for GHC 7.8
c3c4037
Commits on Jun 23, 2014
@atzedijkstra atzedijkstra .o files are passed through unmodified for C targeting backend(s) a274b96
Commits on Jun 24, 2014
@atzedijkstra atzedijkstra ./configure checks for which version of fgl is available, extending w…
…ith graphviz if >=5.5 (not tested because platform not available)
78fbfda
Commits on Jul 14, 2014
@atzedijkstra atzedijkstra configures mentioned in README work (again) 90f2ab6
@atzedijkstra atzedijkstra -O0 works (again) cce0173
Commits on Aug 28, 2014
@atzedijkstra atzedijkstra Fix of parse of empty record in data def 1380ce0
@atzedijkstra atzedijkstra --odir works also for linked/executables 2c662ba
Commits on Aug 29, 2014
@atzedijkstra atzedijkstra combis of main in module with --compile-only now work properly, also …
…when recompiling etcetc
03d0b1c
@atzedijkstra atzedijkstra additional package building options --pkg-build-exposed and --pkg-bui…
…ld-depends for specifying package info, info file is now generated by uhc instead of makefile; --pkg-expose now also recurses over dependends
25628e7
@atzedijkstra atzedijkstra additional fix on previous commit be2d49c
Commits on Sep 02, 2014
@atzedijkstra atzedijkstra --odir + -tjs combi works; small fix of js backend (broken by previou…
…s commits)
d92ee34
Commits on Sep 03, 2014
@atzedijkstra atzedijkstra js backend & --output combi works ok, basically by using absolute pat…
…hs for included files in .html instead of relative paths, as required by --odir and/or --output option
a3b0547
@atzedijkstra atzedijkstra --pkg-XX options now are reshuffled to first to the hiding options, t…
…hen the exposing, thereby making the order as specified irrelevant
10bc0af
Commits on Sep 05, 2014
@atzedijkstra atzedijkstra --coreopt=dump-binary write core to a .bcr suffixed file, the compile…
…r write (required for reading in later) now is to a .cr file
d93a3d1
@atzedijkstra atzedijkstra fix of incorrect check of pkg already exposed 32626f4
Commits on Sep 06, 2014
@atzedijkstra atzedijkstra binary core (.bcr) can be dumped and compiled as a module (parallel t…
…o textual core (.tcr))
d66b2dc
@atzedijkstra atzedijkstra fixing (some) ghc 7.8.3 warnings/problems: library warnings, removal …
…of graphviz dependency via uhc-util (must be >= 0.1.3.7 now), Typeable cannot yet be fixed as use of Proxy is not available in 7.6.3
88c3f73
Commits on Sep 07, 2014
@atzedijkstra atzedijkstra work (unfinished) on Core import mechanism 5313cc9
Commits on Sep 09, 2014
@atzedijkstra atzedijkstra infrastructural changes in the compilerdriver to allow toplevel Core …
…to import modules
6bc71db
@atzedijkstra atzedijkstra partial fix for Core parser not to use AbstractCore (acore) wrappers …
…introduce erroneous type annotations
e6dce7f
@atzedijkstra atzedijkstra another fix for Core parser related to acore wrapping for case altern…
…ative patterns
1cc2cde
Commits on Sep 12, 2014
@atzedijkstra atzedijkstra Core toplevel (i.e. containing main) module can import other modules …
…and participate in compilation; no checks no guarantees :-)
fe319cb
@atzedijkstra atzedijkstra slightly cleaned up parsing/prettyprint (i.e. textual representation)…
… of Core
8d49bd0
Commits on Sep 17, 2014
@atzedijkstra atzedijkstra small refactorings; initial sketchy work in running Core fd2efcd
@atzedijkstra atzedijkstra some more small refactorings of standalone types to separate modules e8001b1
@atzedijkstra atzedijkstra some more small refactorings of standalone types to separate modules,…
… fix of a gen program
707de20
Commits on Sep 22, 2014
@atzedijkstra atzedijkstra more precise aspect labeling of source code to allow for compiler ver…
…sion without grin (or other machine dependent stuff)
985e6a4
@atzedijkstra atzedijkstra fixes for breaking regression tests 21d927a
Commits on Sep 23, 2014
@atzedijkstra atzedijkstra bit of framework for CoreRun, a specialized (more efficient) represen…
…tation for running Core
8d32d62
Commits on Sep 25, 2014
@atzedijkstra atzedijkstra work on CoreRun f13c158
@atzedijkstra atzedijkstra work on CoreRun: ironing out some obvious errors d2ea2ca
Commits on Sep 26, 2014
@atzedijkstra atzedijkstra CoreRun gen ok (on sight, untested) 866efa0
Commits on Sep 27, 2014
@atzedijkstra atzedijkstra move of Run stuff to CoreRun, factor out mod merge c5368f6
Commits on Sep 28, 2014
@atzedijkstra atzedijkstra refactor of core merge ffb990e
@atzedijkstra atzedijkstra bit of cleanup (textual only) 4b5847a
@atzedijkstra atzedijkstra CoreRun inverse name to ref mapping 14a56dc
Commits on Oct 03, 2014
@atzedijkstra atzedijkstra work on CoreRun f03bee0
@atzedijkstra atzedijkstra small fix in Core 9762338
Commits on Oct 07, 2014
@atzedijkstra atzedijkstra core running, variant 8 revived ab4f8ce
Commits on Oct 14, 2014
@atzedijkstra atzedijkstra corerun uptil FFI impl 6a172ef
Commits on Oct 16, 2014
@atzedijkstra atzedijkstra basic running of Core works, TBD: library usage of primitives & FFI 19ea349
Commits on Oct 18, 2014
@atzedijkstra atzedijkstra CoreRun works with a singly implemented IO primitive ba79afb
Commits on Oct 19, 2014
@atzedijkstra atzedijkstra CoreRun can use IO primitives, library limited to minimal subset allo…
…wing some basic (file) io, not yet all implemented as prims
250c812
Commits on Oct 20, 2014
@atzedijkstra atzedijkstra CoreRun GC mostly in place 614a6d3
Commits on Oct 21, 2014
@atzedijkstra atzedijkstra CoreRun: switch to explicit repr for tail recursion a95b568
Commits on Oct 31, 2014
@atzedijkstra atzedijkstra work on CoreRun using explicit stack, generalizing the implicit stack…
… runner, thus allowing GC to access the stack as root
7f1ae1d
@atzedijkstra atzedijkstra work on CoreRun explicit stack runner, just a commit before the weeke…
…nd...
26f73ad
Commits on Nov 03, 2014
@atzedijkstra atzedijkstra CoreRun expl stack debugging f27f6f2
Commits on Nov 04, 2014
@atzedijkstra atzedijkstra CoreRun expl stack work ac4d5d8
Commits on Nov 11, 2014
@atzedijkstra atzedijkstra GC with expl stack works 78b0214
@phile314 phile314 Fix haddock errors 65d3eef
Commits on Nov 12, 2014
@atzedijkstra atzedijkstra API module placeholders ba1b59a
@atzedijkstra atzedijkstra Merge pull request #29 from phile314/hdoc-fix
Fix haddock errors
8b52ddb
@atzedijkstra atzedijkstra CoreRun expl stack ok, but still a stackoverflow somewhere, patched i…
…t by arbitrary stack incr, for now. In prim handling?
5be0d0e
@phile314 phile314 Bump shuffle version 13cb596
Commits on Nov 13, 2014
@atzedijkstra atzedijkstra Merge pull request #30 from phile314/upstream
Bump shuffle version
8540e0b
@atzedijkstra atzedijkstra Merge branch 'master' of github.com:UU-ComputerScience/uhc 34d09cf
Commits on Nov 17, 2014
@atzedijkstra atzedijkstra hcar entry, work on uhc-light (uhc on hackage) 2ab007d
@atzedijkstra atzedijkstra Paths_uhc_light infrastructure for/from cabal c6c7eb8
@atzedijkstra atzedijkstra infrastructure for using cabal 0bf820c
Commits on Nov 18, 2014
@atzedijkstra atzedijkstra first working cabal distr generation for uhc-light 2837402
@atzedijkstra atzedijkstra upload try of uhc-light 1.1.7.0 to hackage, bump of version nr 1bd883f
@atzedijkstra atzedijkstra minor cleanup a6434c1
Commits on Nov 19, 2014
@phile314 phile314 Fix haddock errors 493d45b
@phile314 phile314 Add Basic Core API b03eed9
@phile314 phile314 Expand Core API b2cf2ff
@atzedijkstra atzedijkstra start with explicit changelog 6aeba5e
@atzedijkstra atzedijkstra Merge branch 'public-api' of https://github.com/phile314/uhc 0a24dea
@atzedijkstra atzedijkstra 1.1.7.1 da925c7
@atzedijkstra atzedijkstra bump version 05180a3
Commits on Nov 21, 2014
@atzedijkstra atzedijkstra small cleanup of API 1e6b212
@phile314 phile314 Second half of Core API (CTags, Parsers, Pretty Printers) 4c675d6
Commits on Nov 24, 2014
@atzedijkstra atzedijkstra Core AST extended with exports, no related functionality yet c76364f
Commits on Nov 26, 2014
@atzedijkstra atzedijkstra Core import/export info & compilation works, apart from some problem …
…with crsiExpNmOffMp for toplevel module
966bc2b
@atzedijkstra atzedijkstra Core import/export with mix of .hs and Core files seems to work (on s…
…imple example)
9e7712b
@atzedijkstra atzedijkstra 1.1.7.2 7074f6f
@atzedijkstra atzedijkstra bump version 2f2d76b
Commits on Nov 27, 2014
@atzedijkstra atzedijkstra working CoreRun engine, TBD: FFI 17bbdb4
@phile314 phile314 Refactor Core API (as discussed with Atze) 0de42fc
@atzedijkstra atzedijkstra Merge branch 'public-api' of https://github.com/phile314/uhc 5b0e0ab
@atzedijkstra atzedijkstra API update b86c28f
@atzedijkstra atzedijkstra version 1.1.7.3, bump to 1.1.7.4 6c6980b
Commits on Nov 30, 2014
@atzedijkstra atzedijkstra removal of explicit 'force use of own stack' construct (Exp_Ret) 3251585
@atzedijkstra atzedijkstra CoreRun tracing via cmdline opts, but only for uptil variant 99 b004683
Commits on Dec 01, 2014
@atzedijkstra atzedijkstra cleanup: src/ruler2 was already moved to separate github repo, remove…
…d here
304a6fc
@phile314 phile314 Work around issue #36, improve Core API documentation 51af8a7
@phile314 phile314 Remove hard-coded path... d6567f3
Commits on Dec 02, 2014
@atzedijkstra atzedijkstra Merge branch 'public-api' of https://github.com/phile314/uhc 3595fd6
@atzedijkstra atzedijkstra merge of API stuff 5ead6fb
Commits on Dec 03, 2014
@atzedijkstra atzedijkstra removal of src/ruler, has its own repo f2b3d73
@atzedijkstra atzedijkstra bump version to 1.1.7.5 d581397
Commits on Dec 04, 2014
@atzedijkstra atzedijkstra CoreRun: level diff based addressing 6f7d922
Commits on Dec 10, 2014
@atzedijkstra atzedijkstra low level initial calling of main no longer requires implicit (), thi…
…s is now hardcoded and visible in generated Core, API changes slightly therefore (not checked)
8eeaefd
@atzedijkstra atzedijkstra Core: standalone Tup(le) (representing unit ()) also is ANormalized i…
…n order to avoid allocations as part of App(lications)
95696e4
@atzedijkstra atzedijkstra CoreRun App args assumed to be in ANormal form, reflected in AST 2fc3ef5
@atzedijkstra atzedijkstra simplifications to CoreRun AST d567a2f
Commits on Dec 12, 2014
@atzedijkstra atzedijkstra CoreRun parser, separate 'uhcr' to run CoreRun .rcr files (intended a…
…s temporary solution to 'just' run)
8f029a6
@atzedijkstra atzedijkstra minor fixes, version bump to 1.1.8.0 dece008
Commits on Dec 13, 2014
@atzedijkstra atzedijkstra EHCRun as target in Makefiles as well, CoreRun API additions 5f512a1
@atzedijkstra atzedijkstra version bump to 1.1.8.1 f69adf3
Commits on Dec 16, 2014
@atzedijkstra atzedijkstra added tracing to ehcr a9eed1a
@atzedijkstra atzedijkstra EHCRun uses factored out Main utils 5e86f7c
Commits on Dec 17, 2014
@atzedijkstra atzedijkstra Core pretty printing and parsing for let bindings and case alts chang…
…ed to semicolon terminated (instead of curly braced semicolon separated), slightly improving readability
2723624
@atzedijkstra atzedijkstra minor fixes 1e005fd
@atzedijkstra atzedijkstra version bump to 1.1.8.2 3cf2e2b
@atzedijkstra atzedijkstra fixes for GHC 7.8.3, faster build for uhc-light 6c4a761
@phile314 phile314 Add char literal to Core API 911692e
Commits on Dec 18, 2014
@phile314 phile314 Remove case-default from Core API, document case behaviour (see issue #… 6113840
Commits on Dec 19, 2014
@atzedijkstra atzedijkstra fix for uhc-light buld to indeed do include specified modules 49aa204
@atzedijkstra atzedijkstra merge patches for public-api 76c627b
@atzedijkstra atzedijkstra version 1.1.8.2 266cbb1
@atzedijkstra atzedijkstra version bump to 1.1.8.3 4efd9d7
Commits on Dec 26, 2014
@atzedijkstra atzedijkstra bump to 1.1.8.4, small fixes to make CCO lab work e57ee3f
Commits on Jan 03, 2015
@Mistuke Mistuke MSYS2: Patches the build system to work on msys2 on windows as well, …
…this allows you to produce native windows binaries instead of POSIX ones using cygwin
0001bee
@Mistuke Mistuke MSYS2: changed the sed to only change the root, to prevent errors wit…
…h escaping
ea5db51
Commits on Jan 07, 2015
@atzedijkstra atzedijkstra Merge pull request #41 from Mistuke/fix-build-on-windows-using-msys2
Fix build on windows using msys2
e678107
@atzedijkstra atzedijkstra fixes parsing of FFI way when no codegen aspects are included. 2f918c2
Commits on Jan 20, 2015
@atzedijkstra atzedijkstra fix (temporary/hackish) for CoreRun module references during module c…
…onstruction
fe26215
@atzedijkstra atzedijkstra version bump (1.1.8.5) 3636e68
@atzedijkstra atzedijkstra better fix for CoreRun access of globals during global init ca091aa
Commits on Jan 21, 2015
@atzedijkstra atzedijkstra work on export for datatypes (not working) 9f08558
@atzedijkstra atzedijkstra work on Core export 5b99d74
Commits on Jan 23, 2015
@atzedijkstra atzedijkstra work on inclusion of data type info in CoreRun to enable FFI interfac…
…ing between data types of same structure in Haskell world (with a generic (un)marshalling mechanism in between)
ed2fafa
Commits on Jan 26, 2015
@atzedijkstra atzedijkstra basic generic marshalling for CoreRun FFI to Haskell in place 38b31d1
Commits on Jan 30, 2015
@atzedijkstra atzedijkstra CoreRun primitive infrastructure and generic marshalling ok, tested m…
…ore, added IO primitives
ffaa17d
@atzedijkstra atzedijkstra uhcr can run Core files, implicitly linking before compilation to Cor…
…eRun
c63beca
@atzedijkstra atzedijkstra 1.1.8.5, regress tested ea29544
@atzedijkstra atzedijkstra bump to 1.1.8.6 c9470bb
Commits on Feb 01, 2015
@atzedijkstra atzedijkstra fix for non hackage buildability of 1.1.8.5 68425c6
@atzedijkstra atzedijkstra version bump to 1.1.8.7 713bf82
@atzedijkstra atzedijkstra haddock fixes 3fb95a7
Commits on Feb 04, 2015
@atzedijkstra atzedijkstra infrastructure for running multiple CoreRun modules b836ca2
Commits on Feb 10, 2015
@atzedijkstra atzedijkstra CoreRun infrastructure for modules & separate compilation, in particu…
…lar for avoiding whole program linking, loading mechanism piggybacked on existing build framework
ea6b75a
Commits on Feb 11, 2015
@atzedijkstra atzedijkstra before switch to different CoreRun module addressing scheme, might br…
…eak stuff...
8ac11d7
@atzedijkstra atzedijkstra before switch to different CoreRun module addressing scheme, might br…
…eak stuff...
935ee93
@atzedijkstra atzedijkstra module stuff in use, but not working for separate modules a35507d
Commits on Feb 19, 2015
@atzedijkstra atzedijkstra working refactoring into transformer variants of monad driver a0c9378
@atzedijkstra atzedijkstra 1.1.8.7 0dec07e
@atzedijkstra atzedijkstra version bump to 1.1.8.8 91da468
Commits on Feb 20, 2015
@atzedijkstra atzedijkstra fix for Makefile error due to wrong copy/paste cdc7c69
Commits on Feb 24, 2015
@atzedijkstra atzedijkstra start with use of lenses, start with work on minimal function + memoi…
…zation infrastructure
072ea9a
Commits on Feb 25, 2015
@atzedijkstra atzedijkstra work on alternate compiler driver 32e0c3d
@atzedijkstra atzedijkstra setup for source handling abstraction d1994ac
Commits on Mar 01, 2015
@atzedijkstra atzedijkstra back to use of bitSize (to make uhc compile under GHC 7.6) 8d0e226
@atzedijkstra atzedijkstra Last changes before fixating/tagging v1.1.8.8 379493e
@atzedijkstra atzedijkstra Fixate/tag v1.1.8.9 4f60071
Commits on Mar 02, 2015
@phile314 phile314 Core input/output is turned on by default now 813253b
@phile314 phile314 Remove workaround for #36 . 5109de0
@atzedijkstra atzedijkstra now only compiles with GHC 7.8.x (bitSizeMaybe use, Typeable1 removed…
…), work on refactor of compiler driver code into AST handler abstraction
f795edd
@atzedijkstra atzedijkstra some code cleanup after previous commit 18de172
@phile314 phile314 Add note to README about gcc bug 7da3de8
@atzedijkstra atzedijkstra base >= 4.7 c278290
@atzedijkstra atzedijkstra parser parameterization with ast handler 6a6c34d
Commits on Mar 11, 2015
@atzedijkstra atzedijkstra refactor of toplevel parsing interface, got stuck in context resoluti…
…on problem in combi with gadt, overloading, dunno yet why...
ca74bf4
Commits on Mar 12, 2015
@atzedijkstra atzedijkstra parser invocation now unified into single API as part of ASTHandler fa8e63b
Commits on Mar 13, 2015
@atzedijkstra atzedijkstra work on ast handler, but gadt design is not gonna work as it seems... e850d84
Commits on Mar 27, 2015
@atzedijkstra atzedijkstra stable work-in-progress on refactor of compiler driver b09c90a
@atzedijkstra atzedijkstra Fixate/tag v1.1.8.10 449d957
@atzedijkstra atzedijkstra bumped version to 1.1.8.10 6be777c
@atzedijkstra atzedijkstra bumped version to 1.1.8.11 60d65e5
Commits on Apr 02, 2015
@atzedijkstra atzedijkstra uulib fixes for ghc 7.10, adapted dependencies 2157da9
Commits on Apr 07, 2015
@atzedijkstra atzedijkstra old subst experiment fix dc56b59
Commits on Apr 13, 2015
@phile314 phile314 Require specific versions of uulib/uhc-util, instead of just having a…
… lower bound.

This fixes #55 .
b230aa4
@phile314 phile314 Add travis CI build 69cedd1
Commits on Apr 16, 2015
@atzedijkstra atzedijkstra Merge pull request #50 from phile314/dev
Remove ANormal workaround, update doc
b76ab1f
@atzedijkstra atzedijkstra Merge pull request #56 from phile314/strict-deps
Require specific versions of uulib/uhc-util
3b77473
@atzedijkstra atzedijkstra Merge pull request #57 from phile314/travis-build
Add travis CI build
de0877a
@atzedijkstra atzedijkstra initial work for sandbox, but a .o file cannot be found during build... 6d100c1
@atzedijkstra atzedijkstra relaxed uulib version, its API does not really change... 641b85c
Commits on Apr 29, 2015
@phile314 phile314 Fix build on GHC 7.10. 897d60b
Commits on Apr 30, 2015
@atzedijkstra atzedijkstra Merge pull request #58 from phile314/master
Fix build on GHC 7.10.
1ab9430
@atzedijkstra atzedijkstra Merge branch 'master' of github.com:UU-ComputerScience/uhc 2a4dfc0
@atzedijkstra atzedijkstra pre-release prep a9878e4
@atzedijkstra atzedijkstra Fixate/tag v1.1.8.11 817035e
@atzedijkstra atzedijkstra Fixate/tag v1.1.8.12 3a425be
@atzedijkstra atzedijkstra bumped version to 1.1.9.0 94b9e41
@atzedijkstra atzedijkstra ghc 7.10 compat fixes for uhc-light 31a76a3
@atzedijkstra atzedijkstra Fixate/tag v1.1.9.0 0363bbc
@atzedijkstra atzedijkstra bumped version to 1.1.9.1 c4955d0
Commits on Jun 11, 2015
@atzedijkstra atzedijkstra less restrictive package constraint on uhc-util (lowerbound only), as…
… it breaks builds on nix in the presence of later versions
bf1b374
@atzedijkstra atzedijkstra uhc-util with upperbound to still be resilient against breaking api c…
…hanges
b80098e
Commits on Jul 20, 2015
@atzedijkstra atzedijkstra continuing with compiler driver refactoring 556f2a9
Commits on Jul 21, 2015
@atzedijkstra atzedijkstra continuing work on refactor of file input/output into more general fr…
…amework
037d484