Skip to content


Subversion checkout URL

You can clone with
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 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
@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))
@atzedijkstra atzedijkstra fixing (some) ghc 7.8.3 warnings/problems: library warnings, removal …
…of graphviz dependency via uhc-util (must be >= now), Typeable cannot yet be fixed as use of Proxy is not available in 7.6.3
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
@atzedijkstra atzedijkstra partial fix for Core parser not to use AbstractCore (acore) wrappers …
…introduce erroneous type annotations
@atzedijkstra atzedijkstra another fix for Core parser related to acore wrapping for case altern…
…ative patterns
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 :-)
@atzedijkstra atzedijkstra slightly cleaned up parsing/prettyprint (i.e. textual representation)…
… of Core
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
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)
@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
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
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
@atzedijkstra atzedijkstra work on CoreRun explicit stack runner, just a commit before the weeke…
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
@atzedijkstra atzedijkstra CoreRun expl stack ok, but still a stackoverflow somewhere, patched i…
…t by arbitrary stack incr, for now. In prim handling?
@phile314 phile314 Bump shuffle version 13cb596
Commits on Nov 13, 2014
@atzedijkstra atzedijkstra Merge pull request #30 from phile314/upstream
Bump shuffle version
@atzedijkstra atzedijkstra Merge branch 'master' of 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 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 0a24dea
@atzedijkstra atzedijkstra 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
@atzedijkstra atzedijkstra Core import/export with mix of .hs and Core files seems to work (on s…
…imple example)
@atzedijkstra atzedijkstra 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 5b0e0ab
@atzedijkstra atzedijkstra API update b86c28f
@atzedijkstra atzedijkstra version, bump to 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
@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 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 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)
@atzedijkstra atzedijkstra Core: standalone Tup(le) (representing unit ()) also is ANormalized i…
…n order to avoid allocations as part of App(lications)
@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)
@atzedijkstra atzedijkstra minor fixes, version bump to dece008
Commits on Dec 13, 2014
@atzedijkstra atzedijkstra EHCRun as target in Makefiles as well, CoreRun API additions 5f512a1
@atzedijkstra atzedijkstra version bump to 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
@atzedijkstra atzedijkstra minor fixes 1e005fd
@atzedijkstra atzedijkstra version bump to 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 266cbb1
@atzedijkstra atzedijkstra version bump to 4efd9d7
Commits on Dec 26, 2014
@atzedijkstra atzedijkstra bump to, 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
@Mistuke Mistuke MSYS2: changed the sed to only change the root, to prevent errors wit…
…h escaping
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
@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…
@atzedijkstra atzedijkstra version bump ( 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)
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
@atzedijkstra atzedijkstra uhcr can run Core files, implicitly linking before compilation to Cor…
@atzedijkstra atzedijkstra, regress tested ea29544
@atzedijkstra atzedijkstra bump to c9470bb
Commits on Feb 01, 2015
@atzedijkstra atzedijkstra fix for non hackage buildability of 68425c6
@atzedijkstra atzedijkstra version bump to 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
Commits on Feb 11, 2015
@atzedijkstra atzedijkstra before switch to different CoreRun module addressing scheme, might br…
…eak stuff...
@atzedijkstra atzedijkstra before switch to different CoreRun module addressing scheme, might br…
…eak stuff...
@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 0dec07e
@atzedijkstra atzedijkstra version bump to 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
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
@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...
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 6be777c
@atzedijkstra atzedijkstra bumped version to 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 .
@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
@atzedijkstra atzedijkstra Merge pull request #56 from phile314/strict-deps
Require specific versions of uulib/uhc-util
@atzedijkstra atzedijkstra Merge pull request #57 from phile314/travis-build
Add travis CI build
@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.
@atzedijkstra atzedijkstra Merge branch 'master' of 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 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 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
@atzedijkstra atzedijkstra uhc-util with upperbound to still be resilient against breaking api c…
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…
Commits on Jul 24, 2015
@atzedijkstra atzedijkstra refactor of build state into single shared module because of cyclic dpds f20ddc6
@atzedijkstra atzedijkstra stable state, end of day 2221afa
Commits on Jul 25, 2015
@atzedijkstra atzedijkstra tracing for build function f9e1e1e
Commits on Jul 26, 2015
@atzedijkstra atzedijkstra work on build infrastructure 76bf7a8
Commits on Jul 27, 2015
@atzedijkstra atzedijkstra propagation of prev file search info through new build framework 6779d88
Commits on Jul 29, 2015
@atzedijkstra atzedijkstra work on build system c6c0933
Commits on Jul 30, 2015
@atzedijkstra atzedijkstra work on build system: ast building 7f65420
Commits on Jul 31, 2015
@atzedijkstra atzedijkstra attempt to use gadt, existential used in result type of gadt, and pat…
…tern matching on it using scoped tyvar. Failed, should work...
Commits on Aug 04, 2015
@atzedijkstra atzedijkstra work on global state flow 8b55a20
Commits on Aug 05, 2015
@atzedijkstra atzedijkstra work on build functions cf03b86
Commits on Aug 06, 2015
@atzedijkstra atzedijkstra work on build, in particular attempting to make it work for running c…
…orerun. Fails because of side effectfulness and module renaming internally
Commits on Aug 07, 2015
@atzedijkstra atzedijkstra work on new build driver, partially used, unfinished, but stable so far 82149a5
Commits on Aug 18, 2015
@atzedijkstra atzedijkstra work on alternate build driver 147f26a
Commits on Aug 19, 2015
@atzedijkstra atzedijkstra work on build driver, framework for expressing choice (between older/…
…newer files)
Commits on Aug 27, 2015
@atzedijkstra atzedijkstra work on build plan reification, choice fixation based on timestamps f3b85ae
@atzedijkstra atzedijkstra simplified building for running only, almost getting to a working state e8ca0eb
Commits on Aug 28, 2015
@atzedijkstra atzedijkstra build choices further worked out, result cached, at point where actua…
…l CoreRun running can be invoked independent of how CoreRun got computed or read from file
@atzedijkstra atzedijkstra CoreRun running for whole program works, finally :-), with new build …
@atzedijkstra atzedijkstra fixes for regression compiling e06eb48
Commits on Aug 30, 2015
@atzedijkstra atzedijkstra cleanup 090443c
Commits on Sep 02, 2015
@atzedijkstra atzedijkstra CoreRun running ok, now in combi with initial infrastructure for impo…
…rts of modules
Commits on Sep 12, 2015
@atzedijkstra atzedijkstra intermediate stage, before some API surgery e7ed25c
@atzedijkstra atzedijkstra addition of global info passing through build calls 3a9b2a6
Commits on Sep 13, 2015
@atzedijkstra atzedijkstra refactor of tracing as to allow more fine-grained tracing for CoreRun…
… running
@atzedijkstra atzedijkstra finally multiple CoreRun modules running works a5715b7
@atzedijkstra atzedijkstra removal of some debugging/tracing stuff f650f8c
Commits on Sep 14, 2015
@atzedijkstra atzedijkstra fixes for variant 8, but regression tests now fail... b955bec
@atzedijkstra atzedijkstra fixes to compile variants without CoreRun; breaks regression test, th…
…is version does not work but still committed to be able to explore git repos to find where it breaks
Commits on Sep 15, 2015
@atzedijkstra atzedijkstra fixed previous commit to now regress test again; rather silly overrid…
…e of previous cached info about module being on toplevel...
@atzedijkstra atzedijkstra last fixes, this is a stable version c35e38f
Commits on Sep 16, 2015
@atzedijkstra atzedijkstra fixing debugging stuff for type checker, fix for type pretty print wh…
…ich did incorrectly print tyvars
Commits on Sep 17, 2015
@atzedijkstra atzedijkstra fix for local instances (already standing for some time) ca6443e
Commits on Sep 20, 2015
@atzedijkstra atzedijkstra class defs have their datatype counterpart internally represented as …
…to be able to manipulate values of these datatypes explicitly
Commits on Sep 21, 2015
@atzedijkstra atzedijkstra HS instance decls variation made the same 70f2c55
@atzedijkstra atzedijkstra extended traceon framework to HS analysis fec0277
@atzedijkstra atzedijkstra extended traceon framework to HS analysis a1748e9
Commits on Sep 22, 2015
@atzedijkstra atzedijkstra tracing also for EH; debugging name analysis; option for switching on…
… 'under development' stuff
@atzedijkstra atzedijkstra end of day, upto point of next bug (large binding group with data typ…
…e defs not properly placed in a previous binding group)
Commits on Sep 23, 2015
@atzedijkstra atzedijkstra stable point 21c8016
@atzedijkstra atzedijkstra added per datatype deriving of Generic 4339735
Commits on Sep 24, 2015
@atzedijkstra atzedijkstra stable, ok regress test, safety checkin before refactor of libraries 5e53045
@atzedijkstra atzedijkstra builtin and generic deriving now can co-exist, builtin taking priority 552c6b0
@atzedijkstra atzedijkstra builtin and generic deriving now can co-exist, builtin taking priorit…
…y, fixes for error messaging
@atzedijkstra atzedijkstra stable version of improved (finer grain) name analysis for combi of g…
…enerics and local instances; 2 regression test need further investigation, but newer impl is turned on by default
Commits on Sep 25, 2015
@atzedijkstra atzedijkstra fixes: variant 9 compiles and runs 54628c8
@atzedijkstra atzedijkstra impl params examples, fixing the simple problems 95f37d6
@atzedijkstra atzedijkstra paper & associated impl stuff done 7cfd32e
Commits on Sep 26, 2015
@atzedijkstra atzedijkstra some small corrections 4626d3b
Commits on Oct 06, 2015
@atzedijkstra atzedijkstra fixes for ghc 7.10; no more checking for being ok with ghc 7.8 and ea…
…rlier from here on
Commits on Oct 09, 2015
@atzedijkstra atzedijkstra fixes for uhc-light bce1216
@atzedijkstra atzedijkstra factor out of environment for codegen info, was too tightly coupled t…
…o Core->Grin transformation (broke when not available)
@atzedijkstra atzedijkstra fixes for variant 8 for codegen env; just before switching over fa16f90
Commits on Oct 12, 2015
@atzedijkstra atzedijkstra quick fix for #61, error message (with colon ':') in case of absence …
…of tool did cause make to trip
Commits on Oct 13, 2015
@atzedijkstra atzedijkstra refactorization of flow of datatype info (dataGam) and function info …
…(lamMp) into separate toplevel statestructure, independent of backend usage
@atzedijkstra atzedijkstra CoreRun backend running works now with/without Core whole program lin…
@atzedijkstra atzedijkstra Fixate/tag v1.1.9.1 ce93d01
@atzedijkstra atzedijkstra bumped version to b7db19b
Commits on Oct 14, 2015
@atzedijkstra atzedijkstra move of TreeTrie, RLList into uhc-util 1aeaa35
@atzedijkstra atzedijkstra factoring CHR stuff out into uhc-util 3fe4955
@atzedijkstra atzedijkstra CHR solver internally now uses State monad 4e8c611
Commits on Oct 16, 2015
@atzedijkstra atzedijkstra TTKeyable now uses TypeFamilies 10af9c7
@atzedijkstra atzedijkstra CHRMatchable now uses TypeFamilies 1fdbd29
@atzedijkstra atzedijkstra VarUpdatable now uses TypeFamilies ad4c6aa
Commits on Oct 17, 2015
@atzedijkstra atzedijkstra TTKey as type family, start with solver move to uhc-util 2abf246
Commits on Oct 19, 2015
@atzedijkstra atzedijkstra CHR solve factored out into uhc-util, but not yet used/tested 9d1553b
@atzedijkstra atzedijkstra CHR solver now in uhc-util and used 40faed9
@atzedijkstra atzedijkstra cleanup wrt nr of ty vars in various CHR types a7997f6
Commits on Oct 20, 2015
@atzedijkstra atzedijkstra uhc-util solver variant dealing with existentialized constraints, not…
… yet used by uhc
@atzedijkstra atzedijkstra uhc-util solver variant dealing with existentialized constraints, not…
… yet used by uhc
Commits on Oct 21, 2015
@atzedijkstra atzedijkstra replaced PrettyAST by PrettyTrace, which pretty prints AST included t…
…he tracing info switched on by --debug-traceon
Commits on Oct 22, 2015
@atzedijkstra atzedijkstra cleanup, refactor 57e73e3
@atzedijkstra atzedijkstra further CHR related cleanup f8fdd5a
@atzedijkstra atzedijkstra more CHR related cleanup, in types a4b70ea
@atzedijkstra atzedijkstra removal of Data instances, attempts to write Serialize instance for C…
Commits on Oct 24, 2015
@atzedijkstra atzedijkstra CHR repr based on existentially quantified constraints works with uhc…
Commits on Oct 27, 2015
@atzedijkstra atzedijkstra Fixate/tag v1.1.9.2 292d259
@atzedijkstra atzedijkstra bumped version to c2f88f1
@atzedijkstra atzedijkstra new version/release 7387608
@atzedijkstra atzedijkstra fixes for bare version (only 'base' aspects) d506d22
Commits on Nov 16, 2015
@atzedijkstra atzedijkstra Update README 165ca35