GaloisInc/semmc issues and pull requests

#80 - Support building with GHC 9.6

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

#79 - Support building with GHC 9.4

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

#78 - Bump `what4` submodule to version 1.4

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

#77 - Allow building with `hashable-1.4.*`

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

#76 - Adapt to GaloisInc/crucible#998

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

#75 - Allow building with GHC 9.2

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

#74 - `test:semmc-ppc-tests` performance regression with recent `z3`s

Issue - State: open - Opened by RyanGlScott over 2 years ago

#73 - Change `Evaluator` to a newtype

Issue - State: open - Opened by robdockins almost 3 years ago - 1 comment

#72 - Separate backend

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

#71 - Support building with GHC 9.0

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

#70 - `concreteToGroundVal` doesn't handle `ConcreteFloat`s

Issue - State: open - Opened by RyanGlScott almost 3 years ago

#69 - Update crucible submodule, adapt to GaloisInc/crucible#906

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

#68 - Submodule updates

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

#67 - Add `semstore.log` to `.gitignore`

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

#66 - Adapt to GaloisInc/crucible#794

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

#65 - Submodule updates

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

#64 - Update for what4 changes

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

#63 - Bump megaparsec upper bound.

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

#62 - Warning cleanup pass

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

#61 - Fix compilation of the semmc tests

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

#60 - Warning cleanup

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

#59 - Update submodules

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

#58 - Remove semmc-arm

Issue - State: open - Opened by travitch about 4 years ago

#57 - Enable semmc tests

Pull Request - State: closed - Opened by lisanna-dettwyler about 4 years ago - 6 comments

#56 - Init CI for 8.6.5, 8.8.4, 8.10.2

Pull Request - State: closed - Opened by lisanna-dettwyler about 4 years ago - 8 comments

#55 - Track Crucible updates

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

#54 - [semmc-synthesis] update for badBehaviorMap implicit parameter.

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

#53 - [semmc-learning] update for added online backend ProblemFeatures arg.

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

#52 - Update semmc-aarch32 for updated ASL translator

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

#51 - Updates for app-refactor changes in what4.

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

#50 - Update semmc-arm and semmc tests to use bv-sized

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

#49 - update what4 and other submodules

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

#48 - GHC 8.10 updates

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

#47 - Relax the megaparsec version bounds

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

#46 - Fixups for name mangling in ARM

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

#45 - Enable release 2.1.0 of parameterized-utils.

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

#44 - semmc-fuzzer depends on the unix package

Issue - State: open - Opened by travitch over 4 years ago

#43 - Submodules updates.

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

#42 - Tr/asl master merge

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

#41 - Tr/asl master merge

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

#40 - Updates for new crucible LLVM annotation map.

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

#39 - bug: fix SemMC.DSL bool serialization and related artifacts

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

#38 - bug: fix semmc-ppc-tests, expose semmc-synthesis testing module

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

#37 - bug: tweak MonadUnliftIO usage to match new lib API

Pull Request - State: closed - Opened by pnwamk over 4 years ago - 1 comment

#36 - use what4-serialize for s-expression print- and parsing

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

#35 - Update/ghc 8.8

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

#34 - Refactor the synthesis packages

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

#33 - Refactor the synthesis packages

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

#32 - Synthesis split

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

#31 - What4 is now a separate repository from crucible.

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

#30 - Remove some expression forms from test generation

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

#29 - bump submodules and fix associated errors

Pull Request - State: closed - Opened by pnwamk almost 5 years ago - 1 comment

#28 - add travis-ci

Pull Request - State: closed - Opened by pnwamk almost 5 years ago

#27 - explicit-float-modes

Pull Request - State: closed - Opened by pnwamk about 5 years ago - 1 comment

#26 - Timing analysis integration

Issue - State: closed - Opened by lcasburn about 5 years ago
Labels: enhancement

#25 - Embedded brittleness (indirect jumps)

Issue - State: closed - Opened by lcasburn about 5 years ago
Labels: enhancement

#24 - semmc formula equivalence needs timeouts

Issue - State: open - Opened by kquick over 5 years ago

#23 - Update semmc for crucible SemiRing expressions

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

#22 - Formula store test updates

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

#21 - Formula store and load tests

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

#20 - BUG: the concat builtin doesn't treat zero length BVs correctly

Issue - State: open - Opened by ntc2 over 5 years ago

#19 - Split synthesis from core

Issue - State: closed - Opened by travitch over 5 years ago

#18 - This fixes build warnings in semmc.

Pull Request - State: closed - Opened by joehendrix over 5 years ago - 1 comment

#17 - Update synthesis algorithm with instructions that touch memory.

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

#16 - WIP - Updated LI semantics and reran genbase

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

#15 - `stdu` stores the updated value rather than the old one

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

#14 - Logging infrastructure in 'SemMC.Formula.Load' blocked on MVar operation

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

#13 - Add interpreted floating point semantics

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago

#12 - Update semmc to use the latest crucible

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago - 1 comment

#11 - Update semmc and semmc-ppc to use the latest What4.ExprBuilder.

Pull Request - State: closed - Opened by andreistefanescu over 6 years ago

#10 - Fix synthesis template instantiation

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

#9 - Stubs

Pull Request - State: closed - Opened by lukemaurer over 6 years ago

#8 - bvsub simplification

Issue - State: open - Opened by dmwit over 6 years ago

#7 - Initial commit of ppc-updates -WIP don't merge

Pull Request - State: closed - Opened by dmjio almost 7 years ago

#6 - Synth demo clean

Pull Request - State: closed - Opened by dmjio almost 7 years ago - 2 comments

#5 - Cleanly exit logger

Pull Request - State: closed - Opened by dmjio almost 7 years ago

#4 - Additional Instructions - WIP

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

#3 - Add batch testing capability to semmc-arm and semmc-x86_64

Issue - State: closed - Opened by lcasburn about 7 years ago

#2 - Move the semmc package into its own subdirectory

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

#1 - Formula parsing

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

GitHub / GaloisInc/semmc issues and pull requests