Skip to content

fix(toolchain): resolve Windows UTF-8 encoding issues and add nova.bat - #58

Merged
Hesara2003 merged 2 commits into
ieeecsopen:mainfrom
PesaraLimal:yethmi
Sep 16, 2026
Merged

Hesara2003 merged 2 commits into
ieeecsopen:mainfrom
PesaraLimal:yethmi

Conversation

@PesaraLimal

@PesaraLimal PesaraLimal commented Sep 16, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Fixes #

Changes Made

Checklist

  • Code adheres to the NOVA Language Constitution
  • New unit and integration tests added in tests/
  • All 45 conformance tests pass (./tools/check-all.sh)
  • All documentation links resolve (python3 tools/check-links.py)
  • Code formatted with nova fmt and passes nova lint

Summary by CodeRabbit

  • New Features
    • Added a Windows launcher for running Nova with command-line arguments.
  • Bug Fixes
    • Improved command-line output compatibility in environments with limited or non-UTF-8 console support.
    • Link checking now consistently handles Markdown files using UTF-8 encoding across platforms.
    • Verification output is more resilient when displaying non-ASCII characters.

@coderabbitai

coderabbitai Bot commented Sep 16, 2026

Copy link
Copy Markdown

Review Change StackReview Change Stack

Note

Currently processing new changes in this PR. This may take a few minutes, please wait...

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: 100b69ea-cadd-4534-915c-905bb26afc63

📥 Commits

Reviewing files that changed from the base of the PR and between eb99e3d and e082fcc.

📒 Files selected for processing (4)
  • compiler/nova_compiler/cli.py
  • nova.bat
  • tools/check-links.py
  • verifier/refspec/__main__.py
 ________________________________________________________________________________________________________________________________
< Design using services. Design in terms of services-independent, concurrent objects behind well-defined, consistent interfaces. >
 --------------------------------------------------------------------------------------------------------------------------------
  \
   \   \
        \ /\
        ( )
      .( o ).
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@Hesara2003
Hesara2003 merged commit 832b9a3 into ieeecsopen:main Sep 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants