Troupe

Troupe copied to clipboard

aslanix

- Remove remainders from an earlier refactoring (the local variable `_isDataBoundByPC` is not used) - The check for this variable in UserRuntimeZero was thus always false - The variable was...

felixwiemuth

The TroupeCheck library file, as well as all test files made during development, not all beautiful. Also includes an update to the lists library file, so that it exports the...

LukasNysted

We would like to extend the Troupe test suite (and potentially the standard library) with a set of classical data structures. This will be helpful for performance benchmarks. One source...

aslanix

The save function does not check the file name argument level, which allows for declassifying arbitrary strings regardless of trust level by brute forcing each letter. ```trp import string import...

BaltzarL

Adv function is useful for explaining the information flows, but it may be unnecessary when the code runs in the network mode. So, perhaps it may be disabled by default.

aslanix

Remotely spawning a process on an untrusted node when in a sensitive context causes a javascript runtime error. ## Small example Code for `node1`: ```sml let fun foo () =...

mkarup

' (single quote) in function name causes javascript runtime error with node.js

1

It seems like `'` (single quote) is valid syntax in variable and function names, in so far as it is accepted by the compiler, but including a `'` in a...

mkarup

Division by zero results in 'Infinity' or 'NaN' value

1

I'm not sure whether this is the intended semantics (side effect of using javascript?), but dividing a non-zero number by zero results in (+/-) `Infinity` ```sml 1/0 ``` gives ```...

mkarup