haskell/hoopl issues and pull requests

#58 - Inconsistency between paper and library

Issue - State: open - Opened by flip111 about 2 months ago

#57 - Minor fixes to work with ghc-9.0.2

Pull Request - State: closed - Opened by bens 10 months ago

#56 - fix name

Pull Request - State: closed - Opened by ghost about 2 years ago

#55 - fix typo

Pull Request - State: closed - Opened by ghost about 2 years ago

#54 - Changes for GHC 8.10 and 9.0

Pull Request - State: open - Opened by tgiannak over 2 years ago

#53 - Hoopl collection classes could use enummapset?

Issue - State: open - Opened by hth313 over 3 years ago - 6 comments

#52 - Traversals, clean up

Pull Request - State: open - Opened by strake over 4 years ago - 2 comments

#51 - Update versions ghc 8.6

Pull Request - State: closed - Opened by gwils over 5 years ago

#50 - test build failure

Issue - State: closed - Opened by mihaimaruseac almost 6 years ago - 2 comments

#49 - Upgrade testing infrastructure to haskell-ci

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago

#48 - Upgrade testing infrastructure to haskell-ci

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago - 1 comment

#47 - hoopl-3.10.2.2 test suite does not compile

Issue - State: closed - Opened by peti almost 6 years ago

#46 - Also revise test deps to allow base 4.11

Issue - State: closed - Opened by DanBurton about 6 years ago

#45 - Update version for compatibility with base-4.11.

Pull Request - State: closed - Opened by brk about 6 years ago - 3 comments

#44 - Conditional jumps with fall-through not always ordered properly by postorder_dfs

Issue - State: closed - Opened by hth313 over 6 years ago - 4 comments

#43 - Upload tag v3.10.2.2 to Hackage

Issue - State: closed - Opened by tmcdonell over 6 years ago - 3 comments

#42 - Passes using multiple types of facts (aka snooping)

Issue - State: open - Opened by spacekitteh about 7 years ago - 1 comment

#41 - More advanced lattices for more precise analysis

Issue - State: open - Opened by spacekitteh about 7 years ago - 1 comment

#40 - Interleaving multiple transfer functions using the same type of fact?

Issue - State: open - Opened by spacekitteh about 7 years ago - 1 comment

#39 - Interleaving of multiple passes

Issue - State: open - Opened by spacekitteh about 7 years ago - 1 comment

#38 - Stylistic "improvements"

Pull Request - State: closed - Opened by ggreif about 7 years ago

#37 - Use non-deprecated Map and Set folds

Pull Request - State: closed - Opened by treeowl over 7 years ago - 1 comment

#36 - Fix deprecation warnings from containers

Pull Request - State: closed - Opened by erikd over 7 years ago - 4 comments

#35 - Fix dominator join function.

Pull Request - State: closed - Opened by brk over 7 years ago - 14 comments

#34 - Bump upper bound on base

Pull Request - State: closed - Opened by bgamari over 7 years ago

#33 - Remove crufty testcoverage flag for --enable-coverage.

Pull Request - State: closed - Opened by ezyang almost 8 years ago - 1 comment

#32 - Runtime error caused by fromJust in module Dataflow

Issue - State: open - Opened by anakreontas almost 8 years ago - 2 comments

#31 - Add Functor, Foldable, Traversable instances for maps

Pull Request - State: closed - Opened by bgamari about 8 years ago - 3 comments

#30 - Update README with the style guide information

Pull Request - State: closed - Opened by michalt over 8 years ago - 3 comments

#29 - Remove Checkpoint module

Pull Request - State: open - Opened by michalt over 8 years ago - 17 comments

#28 - Changing JoinFun

Pull Request - State: closed - Opened by AlexanderPankiv over 8 years ago - 25 comments

#27 - Update website in cabal file

Issue - State: closed - Opened by jstolarek over 8 years ago - 3 comments

#26 - Who are maintainers of Hoopl?

Issue - State: closed - Opened by jstolarek over 8 years ago - 13 comments

#25 - Migrate tests from test-framework to tasty

Issue - State: closed - Opened by jstolarek over 8 years ago - 4 comments
Labels: enhancement

#24 - Decide on coding style

Issue - State: closed - Opened by michalt over 8 years ago - 23 comments

#23 - Remove paper/ and its markers within the code

Pull Request - State: closed - Opened by michalt over 8 years ago - 2 comments

#22 - Cleaned useless comments and removed unused modules (ticket #6)

Pull Request - State: closed - Opened by AlexanderPankiv over 8 years ago - 13 comments

#21 - document the changes for 3.10.2.1, and bump up the version #

Pull Request - State: closed - Opened by mlite over 8 years ago - 5 comments

#20 - Prefix unused type variables with an underscore.

Pull Request - State: closed - Opened by michalsosn over 8 years ago - 1 comment

#19 - Guard redundant equations

Pull Request - State: closed - Opened by bgamari over 8 years ago - 1 comment

#18 - Get rid of `#if CABAL` conditionals again

Pull Request - State: closed - Opened by hvr over 8 years ago - 1 comment

#17 - Rewrite Applicative/Monad instances into normal-form

Pull Request - State: closed - Opened by hvr over 8 years ago - 1 comment

#16 - update changelog and dump up the version number

Pull Request - State: closed - Opened by mlite almost 9 years ago - 1 comment

#15 - 1. update changelog.md

Pull Request - State: closed - Opened by mlite almost 9 years ago

#14 - Please update cabal file on hackage to point to this issue tracker

Issue - State: closed - Opened by thomie almost 9 years ago - 3 comments

#13 - Export 'Showing' from Hoopl.Show

Pull Request - State: closed - Opened by thomie almost 9 years ago

#12 - test/Simplify: don't crash on divide by zero

Pull Request - State: closed - Opened by michalt almost 9 years ago

#11 - Fix dead code elimination used in tests

Pull Request - State: closed - Opened by michalt almost 9 years ago

#10 - Fix parsing of stores and loads in tests

Pull Request - State: closed - Opened by michalt almost 9 years ago - 1 comment

#9 - Warnings and whitespace in testing/

Pull Request - State: closed - Opened by michalt almost 9 years ago

#8 - Migrate testing/Main.hs to Tasty testing framework

Pull Request - State: closed - Opened by michalt almost 9 years ago - 10 comments

#7 - Remove prototypes/ and private/

Pull Request - State: closed - Opened by michalt almost 9 years ago - 4 comments

#6 - Clean up the repository

Issue - State: closed - Opened by jstolarek about 9 years ago - 5 comments

#5 - Hoopl not mentioned on "Library submission" page

Issue - State: closed - Opened by jstolarek about 9 years ago - 3 comments

#4 - Fix two errors in expected files and add an option to conditionally enable the test coverage report.

Pull Request - State: closed - Opened by mlite about 9 years ago

#3 - Enable testing in the Travis CI

Pull Request - State: closed - Opened by mlite about 9 years ago - 2 comments

#2 - Make tests runnable in cabal and bump up the minor version.

Pull Request - State: closed - Opened by mlite about 9 years ago

#1 - Stateful transformation causes non-termination in Hoopl analysis.

Issue - State: open - Opened by mlite about 9 years ago

GitHub / haskell/hoopl issues and pull requests