UPDATE generated

.github/workflows/main.yml

@@ -28,7 +28,7 @@ jobs:
       - name: Set node version
         uses: actions/setup-node@v4
         with:
-          node-version: "14.x"
+          node-version-file: ".nvmrc"
 
       # install npm deps
       - name: install all packages
@@ -38,7 +38,6 @@ jobs:
         working-directory: ./javascript
         run: |
           npm install
-          npm run lint
           npm run build
 
       - name: javascript tests
@@ -59,3 +58,5 @@ jobs:
         with:
           working-directory: ./examples/browser
           run: npm run test
+
+      - run: npm run lint

.nvmrc

@@ -0,0 +1 @@
+20.9.0

javascript/src/bdd/bdd.generated.ts

@@ -7,7 +7,7 @@ import {
 import type { StateResolveFunctionInput } from '../types/index.js';
 import { stateResolveFunctionByIndex } from '../states/index.js';
 
-export const minimalBddString = '14a1b,c2d+e5f0g/h.i4j*k-l)m(n6obh9pde9qnh9rac9sdm9tae9uan9vbf9wbe9xbn9ydg9zdk9{nc9|mf9}dn9~ne9nf9¡ng9¢nm9£nk9¤mh9¥mi9¦mj9§mk9¨ml9©mn9ªmd8«¥}8¬¦z8­©s8®©n8¯©}8°mn8±©¢8²©m8³pz7´«¬7µ}z7¶|m7·®m7¸¯°7¹~n7º¥¦7»©m7¼wo6½¹~6¾nq6¿´­6Àtu6Áwx6¶¤6÷©6ĸ±6Źn6Æ°±6Ǻ¨6È»¤6ɺ©6Ê»©6Ëm§6Ìm©6Í¥¦5Ωm5ÏÂÃ5Ðmª4Ñm°4Òͨ4ÓΤ4ÔÍ­4ÕÉ¿4Öα4×ÏÄ4Øm§4Ùm±4ÚÌÆ4Ûma3Ümn3ÝÐa3ÞÑn3ßÒr3àÇt3áÓ{3âȽ3ãÔr3äÕÀ3åÖ{3æ×Å3çßà2èv¼2éy³2êáâ2ë¾2졹2íãä2îvÁ2ïyµ2ðz}2ñåæ2òn2ó¡n2ôØË2õÙÚ2ö£n2÷Ûb1øÜn1ùÝb1úÞn1ûçè1üéz1ýêë1þíî1ÿïð1Āñò1ā÷d0Ăøn0ăùd0Ąún0ąmn0ĆÑn0ćûü0Ĉýì0ĉþÿ0ĊĀó0ċôö0Čõö0čāĂ/ĎăĄ/ďćĈ/ĐĉĊ/đÇÈ/ĒÉÊ/ēām.Ĕăm.ĕčm.ĖĎm.ėąm.ĘĆm.ęć¨.Ěĉ².ěď¨.ĜĐ².ĝċ¨.ĞČ².ğǨ.ĠÉ©.ġđ¨.ĢĒ©.ģ˨.ĤÌ©.ĥēĔ-ĦĕĖ-ħėĘ-ĨęĚ-ĩěĜ-ĪĝĞ-īğĠ-ĬġĢ-ĭģĤ-ĮĦħ,įĩĪ,İĬĭ,ıĥĮ+IJĨį+ijīİ+ĴıIJ)Ĵij(';
+export const minimalBddString = '14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9¡nm9¢nk9£mh9¤mi9¥mj9¦mk9§ml9¨mn9©mc8ª¤{8«¥z8¬¨s8­¨n8®mn8¯¨¡8°¨m8±pz7²ª«7³{z7´­®7µ}n7¶¤¥7·¨m7¸wo6¹µ}6ºnq6»²¬6¼tu6½wx6¾´¯6¿µn6À®¯6Á¶§6·£6ö¨6Ä·¨6Åm¦6Æm¨6Ǥ¥5Ȩm5Ém©4Êm®4Ëǧ4ÌÈ£4ÍǬ4Îû4Ïȯ4Ðľ4Ñm¦4Òm¯4ÓÆÀ4Ôma3Õmn3ÖÉa3×Ên3ØËr3ÙÁt3ÚÌ|3Û¹3ÜÍr3Ýμ3ÞÏ|3ßп3àØÙ2áv¸2ây±2ãÚÛ2ä~º2åµ2æÜÝ2çv½2èy³2éz{2êÞß2ë~n2ìn2íÑÅ2îÒÓ2ï¢n2ðÔb1ñÕn1òÖb1ó×n1ôàá1õâz1öãä1÷æç1øèé1ùêë1úðc0ûñn0üòc0ýón0þmn0ÿÊn0Āôõ0āöå0Ă÷ø0ăùì0Ąíï0ąîï0Ćúû/ćüý/ĈĀā/ĉĂă/ĊÁÂ/ċÃÄ/Čúm.čüm.ĎĆm.ďćm.Đþm.đÿm.ĒĀ§.ēĂ°.ĔĈ§.ĕĉ°.ĖĄ§.ėą°.ĘÁ§.ęè.ĚĊ§.ěċ¨.Ĝŧ.ĝƨ.ĞČč-ğĎď-ĠĐđ-ġĒē-ĢĔĕ-ģĖė-ĤĘę-ĥĚě-ĦĜĝ-ħğĠ,ĨĢģ,ĩĥĦ,ĪĞħ+īġĨ+ĬĤĩ+ĭĪī)ĭĬ(';
 
 let simpleBdd: SimpleBdd | undefined;
 export function getSimpleBdd() {

javascript/src/truth-table-generator/output/truth-table.json

@@ -351,13 +351,14 @@
   "010101010001000010": 14,
   "010101010001000011": 10,
   "010101010010000000": 0,
-  "010101010010000001": 8,
+  "010101010010000001": 14,
   "010101010010000100": 0,
   "010101010010000101": 0,
   "010101010010001000": 0,
-  "010101010010001001": 6,
+  "010101010010001001": 14,
   "010101010010010000": 0,
   "010101010010010001": 14,
+  "010101010010010010": 0,
   "010101010010010011": 14,
   "010101010010010100": 0,
   "010101010010010101": 0,
@@ -369,7 +370,7 @@
   "010101010010011011": 14,
   "010101010010100000": 0,
   "010101010010100001": 14,
-  "010101010010100010": 3,
+  "010101010010100010": 14,
   "010101010010100011": 14,
   "010101010010100100": 0,
   "010101010010100101": 0,