Sebastian Zivota

Project 2: Tests cli_get_non_existent_key and cli_rm_stored disagree with specification

3

## Bug Report Please answer these questions before submitting your issue. Thanks! ### 1. What did you do? Implemented `kvs` according to the spec and ran the tests. ### 2....

### Environment How do you use Sentry? Sentry 4 Sentry Which SDK and version? `sentry-rust 0.24.2` ### Steps to Reproduce With `sentry-tracing` enabled, call `tracing::error!` ### Expected Result The error...

I implemented a small strawman proposal for making calculi modular. It works pretty nicely with current dotty (the experimental compiler that will eventually become Scala 3). ```scala import Calculi._ trait...

Get rid of `Seq`

2

So it turns out that I made a mistake when I based sequents on `Seq` in the interest of being general. I have since learned the rule of thumb that...

[Tut](https://github.com/tpolecat/tut) is a documentation tool that lets you write documentation/examples that are automatically typechecked and run. Maybe we can use it for the user manual? Just an idea.

Z3: Can't read multiline output

4

Using the `ask` function on `Z3Session`, we can pass commands such as `check-sat` and `get-model` to the z3 solver. The problem is that we can't read back the result of...

You can observe this in `prooftool(tip.isaplanner.isaplanner15.proof)`, for instance. The way line length calculation and "Hide structural rules" are implemented right now, this problem is pretty much inevitable. I'm guessing that...

Consider a rule `r` followed by a contraction: ``` A, A :- B ------------r A, A :- B' ------------c:l A :- B' ``` If you now activate both "Hide structural...

Prooftool: Display predicates as sets

1

On a whim, I added the following line to `LatexExporter.expr` (before the `Apps` case): ``` scala case App(hd, arg) if (hd.exptype match {case ->(Ti, To) => true; case _ =>...

Unless I'm missing something, the file `share/kak/connect` referenced in the line https://github.com/alexherbo2/connect.kak/blob/0858c0e50c6ca6d214fb088f052385a242548e83/Makefile#L6 doesn't exist.