Lukas Gerlach

add method to imperative handle that exports iframe html element

3

closes #42 I think it is important to have the option to access the iframe element directly because this adds a lot more flexibility to the component. This is just...

This is the major set of features that is currently missing for completely implementing DOOP program analysis in Nemo (See #111 for more details). This includes: - [x] #327 -...

We technically have benchmarks right now but those are not meaningful. We should write benchmarks that reflect common use cases to be able to use them as regression tests before...

Since #297 landed, the logical crate now exposes iterators of logical values of columns and not only serialized values. The bare minimum of necessary adjustments for the wasm bindings have...

Rule Set Classification

1

This PR will add membership checks for various syntactic (and some semantic) classes of rule sets. The implementation is done by @xR0xEr. (This will still take some time and I...

For a student project, we need a feature to be able to filter derived facts according to some (quite involved) function. It would be nice, if we could just pass...

Support Safe Rules without Positive Body Atoms

1

One could write rules like the following (which might be useful when auto-generating rules): ``` A(1) :- 1 = 1. ``` Nemo however does not allow this since the body...