Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Added JSON manifest with CI validation #61

Merged
merged 71 commits into from
Feb 15, 2023
Merged

Added JSON manifest with CI validation #61

merged 71 commits into from
Feb 15, 2023

Commits on Feb 15, 2023

  1. Added manifest.json 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    5ac6806 View commit details
    Browse the repository at this point in the history

  2. Defined JSON schema 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    82a2ae5 View commit details
    Browse the repository at this point in the history

  3. Added py script to validate json schema 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    f771915 View commit details
    Browse the repository at this point in the history

  4. Added py script to check manifest file existence 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    518db84 View commit details
    Browse the repository at this point in the history

  5. Added script to check feature flags with tree-sitter queries 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    bcbc966 View commit details
    Browse the repository at this point in the history

  6. Added a bunch of specs to manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    ec999d0 View commit details
    Browse the repository at this point in the history

  7. Added some more specs to the manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    ea22f65 View commit details
    Browse the repository at this point in the history

  8. Wrote script to generate manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    35dd45f View commit details
    Browse the repository at this point in the history

  9. Detect model features 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    07eba6d View commit details
    Browse the repository at this point in the history

  10. Filled out human-readable parts of manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    26a87d0 View commit details
    Browse the repository at this point in the history

  11. Test to ensure CI fails 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    1ca1811 View commit details
    Browse the repository at this point in the history

  12. Confirmed CI will correctly fail 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    62e02b3 View commit details
    Browse the repository at this point in the history

  13. Added community module import check 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    a66586e View commit details
    Browse the repository at this point in the history

  14. Added community module imports to manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    765d314 View commit details
    Browse the repository at this point in the history

  15. Wrote documentation for python scripts 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    398ed45 View commit details
    Browse the repository at this point in the history

  16. Parse all modules with SANY 

    Signed-off-by: Andrew Helwer <[email protected]>

Fixed parse error

Signed-off-by: Andrew Helwer <[email protected]>

Fixed sany parse error detection

Signed-off-by: Andrew Helwer <[email protected]>

Reverted SumSequence.tla to normal

Signed-off-by: Andrew Helwer <[email protected]>

Parse all modules with SANY

Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    d29e7fe View commit details
    Browse the repository at this point in the history

  17. Basic TLC script 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    8ca574a View commit details
    Browse the repository at this point in the history

  18. Added SDP spec 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    53db7d4 View commit details
    Browse the repository at this point in the history

  19. SumSequence now parses 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    505c7d7 View commit details
    Browse the repository at this point in the history

  20. Tweaked small model sizes 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    bab9bd3 View commit details
    Browse the repository at this point in the history

  21. Fixed import logic 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    87cc0f4 View commit details
    Browse the repository at this point in the history

  22. Added some more small models 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    614eaf8 View commit details
    Browse the repository at this point in the history

  23. Check TLC result against expected result 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    5f2d507 View commit details
    Browse the repository at this point in the history

  24. Categorized almost all models 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    2934f88 View commit details
    Browse the repository at this point in the history

  25. Updated model time estimates 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    e68eb35 View commit details
    Browse the repository at this point in the history

  26. Added simulation specs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    d59084c View commit details
    Browse the repository at this point in the history

  27. Removed TTrace specs from manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    28bb5de View commit details
    Browse the repository at this point in the history

  28. Skip TE spec generation for some models 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    31eea13 View commit details
    Browse the repository at this point in the history

  29. Added smoke testing for large models 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    adae050 View commit details
    Browse the repository at this point in the history

  30. Rebased, remove skip TE spec option 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    1524b0f View commit details
    Browse the repository at this point in the history

  31. Fixed smoke tests 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    7160df0 View commit details
    Browse the repository at this point in the history

  32. Removed superseded old CI workflow 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    b93595f View commit details
    Browse the repository at this point in the history

  33. Validate specs and models on all platforms 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    a034ba6 View commit details
    Browse the repository at this point in the history

  34. Clone repo in CI 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    f24c5c0 View commit details
    Browse the repository at this point in the history

  35. Add CI step to install Java 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    54be317 View commit details
    Browse the repository at this point in the history

  36. Use msys2 shell for windows 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    c5144bd View commit details
    Browse the repository at this point in the history

  37. Trying this again 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    b50e614 View commit details
    Browse the repository at this point in the history

  38. CI struggles 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    a89fdce View commit details
    Browse the repository at this point in the history

  39. Setup msys2 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    172a850 View commit details
    Browse the repository at this point in the history

  40. Don't use https for nightly.tlapl.us 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    24e328b View commit details
    Browse the repository at this point in the history

  41. Fix symbolic links in tar 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    3183117 View commit details
    Browse the repository at this point in the history

  42. Only use MSYS2 to install tools 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    06248ee View commit details
    Browse the repository at this point in the history

  43. Use -error-codes flag for SANY 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    085800c View commit details
    Browse the repository at this point in the history

  44. CI strugs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    3e5f74b View commit details
    Browse the repository at this point in the history

  45. Try to fix unicode load issue on windows 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    fc57fc2 View commit details
    Browse the repository at this point in the history

  46. Normalize paths 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    91fc039 View commit details
    Browse the repository at this point in the history

  47. Use Posix paths in generate script on Windows 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    cf2a8c7 View commit details
    Browse the repository at this point in the history

  48. Smoke-test generation script on windows 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    e2ae52e View commit details
    Browse the repository at this point in the history

  49. Separated model run mode from config 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    d1462ad View commit details
    Browse the repository at this point in the history

  50. Try to fix windows unicode issue 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    a067ee2 View commit details
    Browse the repository at this point in the history

  51. Reorganized CI 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    7ed6650 View commit details
    Browse the repository at this point in the history

  52. Updated README instructions 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    3dcd3c1 View commit details
    Browse the repository at this point in the history

  53. Expanded README 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    f5e7ec5 View commit details
    Browse the repository at this point in the history

  54. Final README changes 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    e0d6a9d View commit details
    Browse the repository at this point in the history

  55. Ignore deadlock in simulation script 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    1fced72 View commit details
    Browse the repository at this point in the history

  56. Also ignore deadlock here 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    784cbe2 View commit details
    Browse the repository at this point in the history

  57. Added note about .cfg names 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    4271a63 View commit details
    Browse the repository at this point in the history

  58. Models failing smoke testing #65 

    Addresses Github issue #65
#65

[Bug]

Signed-off-by: Andrew Helwer <[email protected]>
    @lemmy @ahelwer
    lemmy authored and ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    b286b65 View commit details
    Browse the repository at this point in the history

  59. Models failing smoke testing #65 

    Addresses part of Github issue #65
#65

Also see comment #65 (comment)

[Doc]

Signed-off-by: Andrew Helwer <[email protected]>
    @lemmy @ahelwer
    lemmy authored and ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    69372ba View commit details
    Browse the repository at this point in the history

  60. Blacklist tools/ folder created by .devcontainer.json. 

    Signed-off-by: Andrew Helwer <[email protected]>
    @lemmy @ahelwer
    lemmy authored and ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    201c7c6 View commit details
    Browse the repository at this point in the history

  61. Update smoke test after fixes 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    9f659aa View commit details
    Browse the repository at this point in the history

  62. Ran MCInnerSerial, ignore SimTokenRing 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    8955d41 View commit details
    Browse the repository at this point in the history

  63. Implement .ciignore 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    fb80777 View commit details
    Browse the repository at this point in the history

  64. fixed TLC configuration file for AsyncTerminationDetection and remove… 

    …d spurious configuration file for AsyncTerminationDetection_proof

Signed-off-by: Andrew Helwer <[email protected]>
    @muenchnerkindl @ahelwer
    muenchnerkindl authored and ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    a9a699d View commit details
    Browse the repository at this point in the history

  65. fixed two issues in specifications/SpecifyingSystems 

    Signed-off-by: merz <[email protected]>
Signed-off-by: Andrew Helwer <[email protected]>
    @muenchnerkindl @ahelwer
    muenchnerkindl authored and ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    38161a9 View commit details
    Browse the repository at this point in the history

  66. Add .ciignore 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    638dc01 View commit details
    Browse the repository at this point in the history

  67. Fixed .ciignore 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    056a066 View commit details
    Browse the repository at this point in the history

  68. Run model except on win 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    4eabb2e View commit details
    Browse the repository at this point in the history

  69. Merge branch 'master' into json

    @ahelwer
    ahelwer authored Feb 15, 2023
    Configuration menu
    Copy the full SHA
    b99f336 View commit details
    Browse the repository at this point in the history

  70. Update README instructions for .ciignore 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    791a245 View commit details
    Browse the repository at this point in the history

  71. Fixed bullets in readme 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    20d48dd View commit details
    Browse the repository at this point in the history