coq-hetmet.git
2011-08-30 gentzenupdate baked in CoqPass.hs coq-extraction-baked-in
2011-08-30 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-08-30 Adam MegaczNaturalDeductionContext: more permutation proofs
2011-08-29 Adam MegaczGeneral: add ilist_ins
2011-08-29 Adam MegaczNaturalDeductionContext: add arrangePullback
2011-08-29 Adam MegaczHaskStrongTypes: add TBool and TInt for convenience
2011-07-04 Adam MegaczHaskTyCons: add Int and Bool
2011-07-04 Adam MegaczaddErrorMessage: put blank lines between messages
2011-06-24 Adam Megaczallow quantification over any tyvar in the environment...
2011-06-24 Adam MegaczHaskFlattener: use pga_kappa a bit more, but not everyw...
2011-06-24 Adam MegaczGeneral.v: add list_{ins,del,take,drop}
2011-06-22 Adam MegaczAdd "atomic" component during optimization
2011-06-21 Adam MegaczGArrowTikZ: add ability to omit rendering of assoc...
2011-06-21 Adam MegaczGArrowSkeleton: improve optimizations
2011-06-21 Adam Megaczupdate Demo.hs
2011-06-21 Adam Megaczadd crude support for flattening with LetRec and Case...
2011-06-20 Adam Megaczupdate for GHC.HetMet package renaming
2011-06-19 gentzenupdate baked in CoqPass.hs
2011-06-19 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-06-19 Adam Megaczremove magic flatten/unflatten identifiers
2011-06-19 Adam Megaczuse CoreM monad to acquire known-to-compiler identifiers
2011-06-15 Adam MegaczMakefile: use -f when doing git pull for baked-in branch
2011-06-15 Adam Megaczmove to new normalization-based optimizer, add GArrowSk...
2011-06-15 Adam Megaczpull baked-in branch automatically if correct coq versi...
2011-06-15 Adam Megaczclean up demo code
2011-06-14 Adam MegaczGArrowTikZ: support ga_loopl
2011-06-14 Adam MegaczGArrowTikZ: draw input wires before first box, output...
2011-06-14 Adam MegaczGArrowTikZ: render more of the structural stuff in...
2011-06-06 gentzenupdate baked in CoqPass.hs
2011-06-05 Adam Megaczmerge
2011-06-04 Adam MegaczUnify.hs: propagate errors through the unifier
2011-06-04 Adam MegaczGArrowPortShape: add Show instance, use new Unify.hs
2011-06-04 Adam Megaczfix bugs in Unify.hs, store unifiers in fully-resolved...
2011-06-02 Adam Megaczvery rudimentary support for feedback in GArrowTikZ
2011-06-02 Adam Megaczadd support for flattening recursive-let
2011-05-31 Adam Megaczfix bugs in BiGArrow
2011-05-31 Adam Megaczupdate for new GHC coercion representation
2011-05-31 Adam Megaczremove RLet and RWhere
2011-05-31 Adam Megaczlet RCut take a left environment as well
2011-05-31 Adam Megaczuse -fsimpleopt-before-flatten in sanity checks
2011-05-31 Adam Megaczremove RJoin rule
2011-05-31 Adam Megaczbetter error reporting in coreTypeToWeakType; dont...
2011-05-31 Adam MegaczMakefile: use a for-loop to compile sanity checks
2011-05-31 gentzenupdate baked in CoqPass.hs
2011-05-31 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-05-31 Adam Megaczfix bugs in BiGArrow
2011-05-31 Adam Megaczupdate for new GHC coercion representation
2011-05-31 Adam Megaczremove RLet and RWhere
2011-05-31 Adam Megaczlet RCut take a left environment as well
2011-05-31 Adam Megaczuse -fsimpleopt-before-flatten in sanity checks
2011-05-30 Adam Megaczremove RJoin rule
2011-05-30 Adam Megaczbetter error reporting in coreTypeToWeakType; dont...
2011-05-30 Adam MegaczMakefile: use a for-loop to compile sanity checks
2011-05-30 gentzenupdate baked in CoqPass.hs
2011-05-30 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-05-30 Adam Megaczadd "sanity" target to Makefile
2011-05-30 Adam Megaczadd -fflatten and -funsafe-skolemize flags
2011-05-29 Adam Megaczadd RCut, RLeft, RRight rules
2011-05-28 Adam Megaczrename constructors of Arrange to start with A instead...
2011-05-28 gentzenupdate baked in CoqPass.hs
2011-05-28 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-05-28 Adam Megaczmove more arrange routines into NaturalDeductionContext
2011-05-28 Adam Megaczmove Arrange into NaturalDeductionContext
2011-05-28 Adam Megaczmigrate HaskStrong away from using LeveledHaskType
2011-05-27 Adam MegaczHaskProof: make the succedent level part of the judgment
2011-05-27 Adam Megaczupdate Demo.hs
2011-05-27 Adam Megaczadd commented-out/incomplete implementation of simplify...
2011-05-27 Adam MegaczGeneral.v: add boolean and/or functions
2011-05-27 Adam Megaczrename variables to avoid Coq pickiness during extraction
2011-05-27 Adam Megaczpartial support for LetRec in flattener
2011-05-26 Adam Megaczfix types of GAS_loop{l,r}
2011-05-26 gentzenupdate baked in CoqPass.hs
2011-05-26 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-05-26 Adam Megaczadd new Where rule, eliminate unnecessary ga_swaps...
2011-05-26 Adam Megacznote to self in HaskWeak
2011-05-23 Adam MegaczNaturalDeduction: add nd_exch
2011-05-16 gentzenupdate baked in CoqPass.hs
2011-05-16 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-05-16 Adam MegaczHaskFlattener: support escapifying multi-leaf contexts
2011-05-16 Adam Megaczcomplete rewrite of GArrowTikZ, update examples
2011-05-16 Adam MegaczGArrowSkeleton: add some more optimization cases
2011-05-16 Adam MegaczGArrowPortShape: add detectShape
2011-05-16 Adam MegaczUnify.hs: commenting fix
2011-05-15 Adam Megaczadd begin/end{preview} to tex output
2011-05-15 Adam MegaczGArrowTikZ: improve pdf page cropping
2011-05-15 Adam Megaczupdate demo for new more-efficient encoding of functions
2011-05-15 Adam Megaczmore efficient encoding of function types
2011-05-15 Adam Megaczadd an identity production for Arrange
2011-05-15 Adam Megaczupdate demo
2011-05-15 Adam Megaczadd GArrowPortShape
2011-05-15 Adam Megaczadd GArrowSkeleton
2011-05-15 Adam Megaczfix bug in flattener, make extensionality axiom explicit
2011-05-15 gentzenupdate baked in CoqPass.hs
2011-05-15 Adam MegaczMerge branch 'coq-extraction-baked-in' of /afs/megacz...
2011-05-14 Adam Megaczupdate examples
2011-05-14 Adam Megaczintegrate skolemization pass with flattening
2011-05-14 Adam Megaczimprove detection of type function kinds, mainly their...
2011-05-14 Adam Megaczadd split_list to General.v
2011-05-14 Adam Megaczadd ToString instance for lists
2011-05-13 Adam Megaczfirst draft of skolemization pass
next