Lasso 8.6 feature ledger
Constants
Every recovered constant contract, generated from the semantic conformance manifest.
45 contracts45 implemented0 explicitly unavailable
| Language surface | State | Test level | Evidence |
|---|---|---|---|
[All] | Implemented | Recognition | explicit 8 6 reference |
[And] | Implemented | Recognition | explicit 8 6 reference |
[BW] | Implemented | Recognition | explicit 8 6 reference |
[CN] | Implemented | Recognition | explicit 8 6 reference |
[EQ] | Implemented | Recognition | explicit 8 6 reference |
[EW] | Implemented | Recognition | explicit 8 6 reference |
[File_OpenRead] | Implemented | Recognition | explicit 8 6 reference |
[File_OpenReadWrite] | Implemented | Recognition | explicit 8 6 reference |
[File_OpenWrite] | Implemented | Recognition | explicit 8 6 reference |
[File_OpenWriteAppend] | Implemented | Recognition | explicit 8 6 reference |
[File_OpenWriteTruncate] | Implemented | Recognition | explicit 8 6 reference |
[FT] | Implemented | Recognition | explicit 8 6 reference |
[Full] | Implemented | Recognition | explicit 8 6 reference |
[GT] | Implemented | Recognition | explicit 8 6 reference |
[GTE] | Implemented | Recognition | explicit 8 6 reference |
[Log_Destination_Console] | Implemented | Recognition | explicit 8 6 reference |
[Log_Destination_Database] | Implemented | Recognition | explicit 8 6 reference |
[Log_Destination_File] | Implemented | Recognition | explicit 8 6 reference |
[Log_Level_Critical] | Implemented | Recognition | explicit 8 6 reference |
[Log_Level_Deprecated] | Implemented | Recognition | explicit 8 6 reference |
[Log_Level_Detail] | Implemented | Recognition | explicit 8 6 reference |
[Log_Level_SQL] | Implemented | Recognition | explicit 8 6 reference |
[Log_Level_Warning] | Implemented | Recognition | explicit 8 6 reference |
[LT] | Implemented | Recognition | explicit 8 6 reference |
[LTE] | Implemented | Recognition | explicit 8 6 reference |
[Minimal] | Implemented | Recognition | explicit 8 6 reference |
[NEQ] | Implemented | Recognition | explicit 8 6 reference |
[Net_ConnectInProgress] | Implemented | Recognition | explicit 8 6 reference |
[Net_ConnectOK] | Implemented | Recognition | explicit 8 6 reference |
[Net_TypeSSL] | Implemented | Recognition | explicit 8 6 reference |
[Net_TypeSSLTCP] | Implemented | Recognition | explicit 8 6 reference |
[Net_TypeSSLUDP] | Implemented | Recognition | explicit 8 6 reference |
[Net_TypeTCP] | Implemented | Recognition | explicit 8 6 reference |
[Net_TypeUDP] | Implemented | Recognition | explicit 8 6 reference |
[Net_WaitRead] | Implemented | Recognition | explicit 8 6 reference |
[Net_WaitTimeOut] | Implemented | Recognition | explicit 8 6 reference |
[Net_WaitWrite] | Implemented | Recognition | explicit 8 6 reference |
[None] | Implemented | Recognition | explicit 8 6 reference |
[Not] | Implemented | Recognition | explicit 8 6 reference |
[NRX] | Implemented | Recognition | explicit 8 6 reference |
[Or] | Implemented | Recognition | explicit 8 6 reference |
[RX] | Implemented | Recognition | explicit 8 6 reference |
[Thread_Priority_Default] | Implemented | Recognition | explicit 8 6 reference |
[Thread_Priority_High] | Implemented | Recognition | explicit 8 6 reference |
[Thread_Priority_Low] | Implemented | Recognition | explicit 8 6 reference |