Ecosyste.ms: Issues

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

GitHub / WatForm/aldb issues and pull requests

#65 - util path

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

#64 - primed variables

Issue - State: open - Opened by nancyday over 3 years ago

#63 - extensions of Snapshot signature

Issue - State: open - Opened by nancyday over 3 years ago

#62 - Change name of "path" variable

Issue - State: open - Opened by nancyday over 3 years ago

#61 - Update README.md

Pull Request - State: closed - Opened by nancyday over 3 years ago - 2 comments

#60 - Update README.md with pointer for how to build ALDB

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

#59 - Bump version to 0.3.0

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

#58 - Bump version to 0.3.0 for latest release

Issue - State: closed - Opened by liangdrew about 4 years ago

#57 - Support using existing aliases to define new aliases

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

#56 - Allow users to define new aliases using existing aliases

Issue - State: closed - Opened by liangdrew over 4 years ago

#55 - Simplify parsing of trace to A4Solution

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

#53 - Support tab completion of set command options and values

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

#52 - Support tab completion of set command options and values

Issue - State: closed - Opened by liangdrew over 4 years ago

#51 - Report specific model error on load failure

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

#50 - Report specific error message on failed load

Issue - State: closed - Opened by liangdrew over 4 years ago

#49 - Fail load when no instance found

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

#48 - Fail load when no instance found

Issue - State: closed - Opened by liangdrew over 4 years ago

#47 - Add differential output option

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

#46 - Change setconf to set command

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

#45 - Change setconf to set command

Issue - State: closed - Opened by liangdrew over 4 years ago

#44 - Update version string and README for v0.2.0 release

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

#43 - Update version string and README for v0.2.0 release

Issue - State: closed - Opened by liangdrew over 4 years ago

#42 - Fix embedded conf assignment when loading trace or model

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

#41 - Cannot load FGS trace after loading musical chairs model

Issue - State: closed - Opened by liangdrew over 4 years ago

#40 - Display differential state output when stepping

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

#39 - Allow toggling differential output mode

Issue - State: closed - Opened by liangdrew over 4 years ago

#38 - Move special constraints from run command to facts

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

#34 - Do not create concrete sigs for bitwidth-scoped signatures

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

#33 - Do not create concrete sigs for bitwidth-scoped signatures

Issue - State: closed - Opened by pxlcoder over 4 years ago

#32 - Support alternate initial states with reverse-step

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

#31 - Support alternate initial states with reverse-step

Issue - State: closed - Opened by liangdrew over 4 years ago

#30 - Update history output formatting

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

#29 - Update history command formatting

Issue - State: closed - Opened by LaRenegaws over 4 years ago

#28 - Support specification of Int scope in additionalSigScopes

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

#27 - Support specification of Int scope in additionalSigScopes

Issue - State: closed - Opened by pxlcoder over 4 years ago

#26 - Update alias terminology

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

#25 - Update alias terminology

Issue - State: closed - Opened by liangdrew over 4 years ago

#24 - Support alt immediately after load

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

#23 - Support alt immediately after load

Issue - State: closed - Opened by liangdrew over 4 years ago

#22 - Implement init command

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

#21 - Implement init command

Issue - State: closed - Opened by liangdrew over 4 years ago

#20 - Prevent stepping past end of trace

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

#19 - Prevent stepping past end of trace

Issue - State: closed - Opened by liangdrew over 4 years ago

#18 - Add ability to constrain steps

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

#17 - Add ability to constrain steps

Issue - State: closed - Opened by pxlcoder over 4 years ago

#16 - Fix trace-after-load bug

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

#15 - Fix trace-after-load bug

Issue - State: closed - Opened by liangdrew over 4 years ago

#14 - Simplify creation of temp model file

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

#13 - Simplify creation of temp model file

Issue - State: closed - Opened by liangdrew over 4 years ago

#12 - Simplify StateNode equality check

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

#11 - Simplify StateNode equality check

Issue - State: closed - Opened by liangdrew over 4 years ago

#10 - Include ID in StateNode string conversion

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

#9 - Include ID in StateNode string conversion

Issue - State: closed - Opened by liangdrew over 4 years ago

#8 - Check if entered constraints are aliases

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

#7 - Check if entered constraints are aliases

Issue - State: closed - Opened by liangdrew over 4 years ago

#6 - Store StateNode fields in sorted order

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

#5 - Show fields in alphabetical order

Issue - State: closed - Opened by LaRenegaws over 4 years ago

#4 - Always print fields in set notation

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

#3 - Output elements in set format

Issue - State: closed - Opened by LaRenegaws over 4 years ago

#2 - Add alias command

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

#1 - Implement alias command

Issue - State: closed - Opened by liangdrew over 4 years ago