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
#54 - Loading a trace fails when the instance imports symlinked modules
Issue -
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
#37 - Do not specify any constraints within the generated Alloy run command
Issue -
State: closed - Opened by aman-dureja over 4 years ago
#36 - Replace "path_cX" terminology with "state_sX" in temp model file for constrained step
Pull Request -
State: closed - Opened by aman-dureja over 4 years ago
#35 - Rename "path_cX" predicates for constrained step to "state_sX"
Issue -
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