Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/asl-translator issues and pull requests

#54 - Fix IT instruction/conditional blocks

Pull Request - State: closed - Opened by danmatichuk about 1 year ago

#53 - Support building with `mtl-2.3.*` (GHC 9.6)

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#52 - Fix incorrect unsafeCoerce

Pull Request - State: closed - Opened by monoidal over 1 year ago - 1 comment

#51 - Support building with GHC 9.4

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#49 - `setSlice` ASL implementation is incorrect

Issue - State: open - Opened by danmatichuk over 1 year ago

#48 - Bump `what4` submodule to version 1.4

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#47 - fix 'setSlice' ASL override when setting high bits

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

#46 - Fix two minor bugs in `asl-translator-exec`

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

#45 - Fix warnings uncovered by `-Wall` on GHC 9.2

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#44 - fix slicing logic for symbolic slice lengths

Pull Request - State: closed - Opened by danmatichuk over 2 years ago

#41 - Update with changes from GaloisInc/crucible#945

Pull Request - State: closed - Opened by robdockins almost 3 years ago - 1 comment

#40 - Support building with GHC 9.0

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

#39 - Remove `output/` files from `extra-source-files`

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

#38 - `cabal sdist` fails

Issue - State: closed - Opened by RyanGlScott almost 3 years ago - 2 comments

#37 - Add instructions on how to build `asl-translator`

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago - 1 comment

#36 - Address various warnings

Pull Request - State: closed - Opened by kquick over 3 years ago

#35 - Add liftTyped instance method

Pull Request - State: closed - Opened by kquick over 3 years ago

#34 - Disable travis-ci

Issue - State: closed - Opened by travitch almost 4 years ago - 1 comment

#33 - Update to the FnBindings type changes

Pull Request - State: closed - Opened by travitch almost 4 years ago

#32 - [ci] Change how we install solvers

Pull Request - State: closed - Opened by travitch almost 4 years ago

#31 - Update to the latest what4 changes

Pull Request - State: closed - Opened by travitch almost 4 years ago

#30 - _R[15] access causes issues downstream

Issue - State: open - Opened by danmatichuk almost 4 years ago

#29 - Export an additional type context

Pull Request - State: closed - Opened by travitch almost 4 years ago

#28 - Switch from `ansi-wl-pprint` to `prettyprinter` package.

Pull Request - State: closed - Opened by brianhuffman almost 4 years ago - 5 comments

#27 - Tr/fpscr

Pull Request - State: closed - Opened by travitch about 4 years ago

#26 - Tr/ci update

Pull Request - State: closed - Opened by travitch about 4 years ago

#25 - Tr/submodule updates

Pull Request - State: closed - Opened by travitch about 4 years ago

#24 - Feature/normflat

Pull Request - State: closed - Opened by danmatichuk over 4 years ago

#23 - update what4, crucible, and what4-serialize to master

Pull Request - State: closed - Opened by benjaminselfridge over 4 years ago

#22 - Update type information for GHC 8.4 builds.

Pull Request - State: closed - Opened by kquick over 4 years ago

#21 - GitHub actions

Pull Request - State: closed - Opened by travitch over 4 years ago

#20 - Add uf_ and df_ prefixes where necessary

Pull Request - State: closed - Opened by travitch over 4 years ago

#19 - updated to bv-sized hackage

Pull Request - State: closed - Opened by benjaminselfridge over 4 years ago - 2 comments

#18 - Update the dismantle submodule

Pull Request - State: closed - Opened by travitch over 4 years ago

#16 - Avoid redundant extends/truncations during normalization

Issue - State: open - Opened by danmatichuk over 4 years ago
Labels: enhancement

#14 - Add flag to indicate instructions have unexpected bits

Issue - State: open - Opened by danmatichuk over 4 years ago
Labels: enhancement

#13 - Standardize the solver features and options

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: maintenance

#12 - Setup Travis CI

Issue - State: closed - Opened by danmatichuk almost 5 years ago
Labels: testing

#11 - Update logging infrastructure

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: maintenance

#10 - Standardize globals into a uniform struct

Issue - State: closed - Opened by danmatichuk almost 5 years ago
Labels: enhancement

#9 - Replacing unbounded integers with bitvectors

Issue - State: closed - Opened by danmatichuk almost 5 years ago
Labels: enhancement, question

#8 - Incomplete semantics for some ARM instructions causes translation failure

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: bug, question

#7 - Use new what4 printer/parser

Issue - State: closed - Opened by danmatichuk almost 5 years ago - 2 comments
Labels: enhancement, maintenance

#6 - Clarify the semantics of EndOfInstruction()

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: enhancement, question

#5 - Clean up dead/commented out code blocks

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: maintenance

#4 - Remove register analysis

Issue - State: closed - Opened by danmatichuk almost 5 years ago
Labels: enhancement

#3 - Use fresh uninterpreted functions for "undefined" values

Issue - State: closed - Opened by danmatichuk almost 5 years ago
Labels: bug

#2 - Refactor Language.ASL.Translation into multiple modules

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: enhancement, maintenance

#1 - Add haddocks for core translator code

Issue - State: open - Opened by danmatichuk almost 5 years ago
Labels: documentation