Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / pfeodrippe/recife issues and pull requests
#24 - Alloy
Pull Request -
State: closed - Opened by pfeodrippe over 1 year ago
#23 - Logic and provenance
Pull Request -
State: closed - Opened by pfeodrippe over 1 year ago
#22 - add webdriver example
Pull Request -
State: closed - Opened by pfeodrippe almost 2 years ago
#21 - add temporal article
Pull Request -
State: closed - Opened by pfeodrippe almost 2 years ago
#20 - Add quick start
Pull Request -
State: closed - Opened by pfeodrippe almost 2 years ago
#19 - Slow start
Pull Request -
State: closed - Opened by pfeodrippe almost 2 years ago
#17 - Add slow start doc
Pull Request -
State: closed - Opened by pfeodrippe almost 2 years ago
#16 - Provenance
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#15 - Add defchecker, provenance example and check which temporal properties are violated
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#14 - Fix docs responsiveness
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#13 - Add docs + fix perf regression + add helper functions
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#12 - Add readers writers
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#11 - Add EWD998 example
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#10 - Add knuth yao die
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#9 - Add TLC simulation support and improve perf a little bit more
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#8 - Try to improve perfomance
Pull Request -
State: closed - Opened by pfeodrippe about 2 years ago
#7 - Add recife helpers
Pull Request -
State: closed - Opened by pfeodrippe over 2 years ago
Labels: enhancement
#6 - London Clojurians Pre Talk Questions
Issue -
State: closed - Opened by pfeodrippe over 3 years ago
#5 - Adds analyzer - Recife v0.4.0
Pull Request -
State: closed - Opened by pfeodrippe over 3 years ago
#4 - Interaction with Implementation
Issue -
State: closed - Opened by pfeodrippe over 3 years ago
- 7 comments
#3 - Use TLC for Recife instead of Alloy
Pull Request -
State: closed - Opened by pfeodrippe over 3 years ago
#2 - Use alloy 6 (electrum) for Recife
Pull Request -
State: closed - Opened by pfeodrippe almost 4 years ago
#1 - Update to Alloy 6 (with Electrum) and add some temporal operators
Pull Request -
State: closed - Opened by pfeodrippe almost 4 years ago