opencrbasic 1.1.0__tar.gz → 1.2.0__tar.gz

{opencrbasic-1.1.0 → opencrbasic-1.2.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: opencrbasic
-Version: 1.1.0
+Version: 1.2.0
 Summary: Open-source re-implementation of the Campbell Scientific CRBasic pre-compilers (CR6, CR1000X, CR300, CR350)
 Project-URL: Repository, https://github.com/UtrechtUniversity/open-crbasic
 Author: Utrecht University
@@ -38,8 +38,8 @@ Status, measured against the real compilers: `PROGRESS.md`. Design and the v1.0
 ## Scope
 
 - **Gated profiles: CR6 and CR1000X.** On these, v1.0 gates the reference verdict in the relevant
-  area (the FirnMelt/GEUS instruction set and language constructs), the execution mode, and the
-  first error for realistic mistakes on relevant rules, measured on the FirnMelt programs, the 507
+  area (the station/GEUS instruction set and language constructs), the execution mode, and the
+  first error for realistic mistakes on relevant rules, measured on the station programs, the 507
   CRBasic help examples, the 66 GEUS programs, the saved fuzz replay and fresh `--relevant` fuzz
   seeds. The help examples and GEUS programs are not redistributed here; see
   [tests/corpus/README.md](tests/corpus/README.md) for running against local copies. One relevant-area false accept is known: a `Sub` name that is also another routine's
@@ -159,8 +159,7 @@ result.tables  # list of tdf.TdfTable (Status, DataTables, DataTableInfo, ConstT
 `parser.parse_file()` gives the syntax tree (`syntax.py`) for other tools.
 
 [openloggernet](https://github.com/UtrechtUniversity/open-loggernet) uses opencrbasic when
-`CR6COMP=opencrbasic` is set, and the FirnMelt station repository compiles every program with it in
-CI.
+`CR6COMP=opencrbasic` is set.
 
 ## Editor support
 

{opencrbasic-1.1.0 → opencrbasic-1.2.0}/README.md

@@ -21,8 +21,8 @@ Status, measured against the real compilers: `PROGRESS.md`. Design and the v1.0
 ## Scope
 
 - **Gated profiles: CR6 and CR1000X.** On these, v1.0 gates the reference verdict in the relevant
-  area (the FirnMelt/GEUS instruction set and language constructs), the execution mode, and the
-  first error for realistic mistakes on relevant rules, measured on the FirnMelt programs, the 507
+  area (the station/GEUS instruction set and language constructs), the execution mode, and the
+  first error for realistic mistakes on relevant rules, measured on the station programs, the 507
   CRBasic help examples, the 66 GEUS programs, the saved fuzz replay and fresh `--relevant` fuzz
   seeds. The help examples and GEUS programs are not redistributed here; see
   [tests/corpus/README.md](tests/corpus/README.md) for running against local copies. One relevant-area false accept is known: a `Sub` name that is also another routine's
@@ -142,8 +142,7 @@ result.tables  # list of tdf.TdfTable (Status, DataTables, DataTableInfo, ConstT
 `parser.parse_file()` gives the syntax tree (`syntax.py`) for other tools.
 
 [openloggernet](https://github.com/UtrechtUniversity/open-loggernet) uses opencrbasic when
-`CR6COMP=opencrbasic` is set, and the FirnMelt station repository compiles every program with it in
-CI.
+`CR6COMP=opencrbasic` is set.
 
 ## Editor support
 

{opencrbasic-1.1.0 → opencrbasic-1.2.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "opencrbasic"
-version = "1.1.0"
+version = "1.2.0"
 description = "Open-source re-implementation of the Campbell Scientific CRBasic pre-compilers (CR6, CR1000X, CR300, CR350)"
 readme = "README.md"
 license = "MIT"
@@ -31,7 +31,8 @@ crbc-lsp = "opencrbasic.lsp.server:main"
 # `uv sync` installs `dev` by default: the test runner and the reverse-engineering tools
 # (`tools/extract_tables.py`, `tools/message_catalog.py` read the exe with pefile), and pygls
 # so the suite can test the language server; pytest-xdist for parallel test runs (`-n`); pyrefly
-# checks the repository (`[tool.pyrefly]`); pre-commit runs ruff and pyrefly before each commit.
+# checks the repository (`[tool.pyrefly]`); pre-commit runs ruff and pyrefly before each commit;
+# openloggernet drives a logger for `tools/logger_oracle.py`.
 dev = [
     "pytest>=8",
     "pefile>=2024.8.26",
@@ -39,6 +40,7 @@ dev = [
     "pytest-xdist>=3.6",
     "pyrefly==1.3.1",
     "pre-commit>=4",
+    "openloggernet>=0.3.0",
 ]
 
 [build-system]

{opencrbasic-1.1.0 → opencrbasic-1.2.0}/src/opencrbasic/__init__.py

@@ -1,3 +1,3 @@
 """Open-source CRBasic (CR6) pre-compiler."""
 
-__version__ = "1.1.0"
+__version__ = "1.2.0"

{opencrbasic-1.1.0 → opencrbasic-1.2.0}/src/opencrbasic/analysis.py

@@ -14,7 +14,7 @@ from .compiler import compile_file
 from .sources import DiskSource, LimitedSource, OverlaySource, RecordingSource, SourceProvider
 
 API_VERSION = 2  # 2: findings, notices, config_error, AnalysisRequest.checks (M6)
-DOCS = "https://github.com/UtrechtUniversity/firnmelt-datalogger/blob/main/opencrbasic/"
+DOCS = "https://github.com/UtrechtUniversity/open-crbasic/blob/main/"
 
 
 def _no_overlays() -> Mapping[Path, bytes]:

{opencrbasic-1.1.0 → opencrbasic-1.2.0}/src/opencrbasic/checker/__init__.py

@@ -111,6 +111,7 @@ from . import (
     storage,
     structs,
     structure,
+    terminals,
     var_types,
     warnings,
 )
@@ -265,6 +266,7 @@ def _check(program: S.Program, profile: Profile, diags: Diagnostics, result) ->
             del diags.items[program.hash_cut :]  # parser findings of later lines
     program = structure.open_program_at_slowsequence(program, profile)
     env = consteval.Env(profile, dict(program.consts))
+    expressions.set_arity_context(program, profile)
 
     _run_pass(structure.check_pass1, program, profile, diags, env)
     # Also pass 1 (unconditional -- oracle-confirmed, `docs/loggers.md`): a `Const`'s own value
@@ -411,6 +413,7 @@ def _check(program: S.Program, profile: Profile, diags: Diagnostics, result) ->
         # "stop entirely at the first placement error" behaviour.
         pass2_start = len(diags.items)
         _run_pass(instr_rules.check_spi_open_order, _with_inline(program), profile, leading)
+        _run_pass(terminals.check_i2c_open_order, _with_inline(program), profile, ranges, env)
         # Block-closer messages come before a same-line placement error (`EndIf illegally
         # occurs before BeginProg.` follows `END IF without IF...`).
         # CR300/CR350: collected aside in `leading` (printed first on their line, but they do not
@@ -743,6 +746,7 @@ def _check(program: S.Program, profile: Profile, diags: Diagnostics, result) ->
         # instructions placed outside `DataTable...EndTable`, and an orphan `EndTable`.
         table_stop = _run_pass_capture(instr_data.check_table_structure, _with_inline(program), profile, diags)
         _run_pass(instr_data.check_fieldnames, program, profile, diags, env)
+        _run_pass(instr_data.check_fieldclassify, program, profile, diags, env)
         apply_diags = Diagnostics()
         _run_pass(structure.check_apply_restart_sequence, program, profile, apply_diags)
         for extra in apply_diags.items:  # in source order among the tier-C findings
@@ -953,10 +957,9 @@ def _check(program: S.Program, profile: Profile, diags: Diagnostics, result) ->
 
     if not diags.errors:
         # `When Main Sequence Scan %d is running, background calibration will be disabled.`:
-        # round 6, moved here from the unconditional `warnings.check_early` call above -- oracle-
-        # confirmed *not* ungated the way `_check_reachability`/`_check_fnotch` are, unlike this
-        # module's own docstring previously claimed for all of `check_early` (`checker/warnings.py`'s
-        # `check_background_calibration` docstring has the oracle evidence). Independent of
+        # oracle-confirmed *not* ungated the way `_check_reachability`/`_check_fnotch` are
+        # (`checker/warnings.py`'s `check_background_calibration` docstring has the oracle evidence).
+        # Independent of
         # `tables_hook`'s own availability, so called ahead of that guard rather than inside it.
         _run_pass(warnings.check_background_calibration, program, profile, diags, env)
         _run_pass(warnings.check_slow_scan_skips, program, profile, diags, env)