Ecosyste.ms: Issues

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

GitHub / GaloisInc/copilot-1 issues and pull requests

#13 - Add callstack support to copilot language data type constructors

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

#12 - Bluespec: Add test cases

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

#10 - Bluespec: Generate structs with prefixes instead of changing the case

Issue - State: closed - Opened by RyanGlScott almost 2 years ago - 1 comment

#9 - Track side conditions in `translateExpr`

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

#8 - Translate `signum` correctly

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

#7 - Use proper FP operations for floats during translation

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

#6 - Temporary fix for generated code function selection, `iFloatAbs`

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

#5 - Codegen fixes for structs

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

#4 - Avoid casting array elements of array initializers

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

#3 - Add What4 translations for `Ceiling`, `Floor`, and `Atan2`

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

#2 - Use special FP operations rather than roundtripping through reals

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

#1 - Use `SymInterpretedFloat`s in `XExpr`

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