Translators from SMV to MoXI to BTOR2 and their witnesses.
active 2024-05-16 → 2025-02-11 (UTC)
Complete coverage26,630 / 26,630 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-28 (UTC)
Events
95
Pushes
34
Pull requests
10
Issues
23
Stars
3
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 272 days from 2024-05-16 to 2025-02-11. Pushes: 34 total, peak 7 in a day. Pull requests: 10 total, peak 2 in a day. Issues: 23 total, peak 6 in a day. Comments: 6 total, peak 2 in a day. Stars: 3 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| cgjohannsen | 66 | 34 | 10 | 6 |
| Po-Chun-Chien | 5 | 0 | 0 | 0 |
| BLuedtke | 1 | 0 | 0 | 0 |
| nianzelee | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#29Po-Chun-Chien2024-10-09 16:27Exceeding Python recursion limit during JSON validation
- Issue#28BLuedtke2024-09-17 16:18Result of model checking with moxi does not match nuXmv
- Issue#27cgjohannsen2024-07-26 13:55Fully implement SMV module forward declarations
- Issue#26cgjohannsen2024-07-26 11:55Support Reals
- Pull request#25cgjohannsen2024-07-25 14:07
- Pull request#25cgjohannsen2024-07-25 14:07
- Issue comment#23cgjohannsen2024-07-24 11:58Add option to manually set logic in SMV to MoXI translation
- Pull request#24cgjohannsen2024-07-24 11:32
- Pull request#24cgjohannsen2024-07-24 11:32
- Issue#23cgjohannsen2024-07-24 11:32Add option to manually set logic in SMV to MoXI translation
- Issue#22cgjohannsen2024-07-23 18:28Fix full witness generation for AVR+Pono
- Issue#21cgjohannsen2024-07-23 15:15Implement IC3 option for model checkers
- Issue#20cgjohannsen2024-07-23 14:32Implement datatypes in sort checker
- Issue#19cgjohannsen2024-07-23 14:31Implement assert in MoXI sort checker
- Issue comment#12cgjohannsen2024-07-19 08:06parse_smv.py failed due to unexpected token '_colon_'
- Issue#12cgjohannsen2024-07-19 08:06parse_smv.py failed due to unexpected token '_colon_'
- Pull request#18cgjohannsen2024-07-19 07:54
- Pull request#18cgjohannsen2024-07-19 07:52
- Issue#16cgjohannsen2024-07-18 14:10Add support for qualified identifiers in JSON schema
- Issue#15cgjohannsen2024-07-18 14:10translate.py removes files without user's consent
- Issue#14cgjohannsen2024-07-18 14:09Array constant's shape information missing in MoXI-JSON
- Issue#13cgjohannsen2024-07-18 14:09MoXI-Json sort check failed due to mismatching function signature
- Issue#11cgjohannsen2024-07-18 14:09Support let bindings in JSON schema and translation
- Issue#10cgjohannsen2024-07-18 14:09Translation to MoXI in JSON format fails for several SMV models
- Pull request#17cgjohannsen2024-07-18 14:09
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.