Joseph Kiniry

unable to start PVS 7.1.x on OSX

3

Hey Sam, I wanted to migrate to PVS 7 today, but the pre-built sbcl binary fails with the following messages in `*pvs*`, so the front-end comes crashing down. ``` Starting...

I applied Apple's security update last night and now even PVS 6 will not run successfully. In particular, performing a `change-context` results in the following `*Error Output*`: ``` Error: `'...

device-tree-compiler not found

1

A clean clone of `riscv-tools`followed by the use of the `build-r32ima.sh` script results in a failure of the form: `device-tree-compiler not found` while attempting to build `riscv-fesvr`.

finish top-level README.md

3

Ensure top-level documentation (README.md) summarizes project and all relevant subcomponents and their documentation.

Load tests

3

Closes #350 , #351.

update example Apache configuration for SOS breadcrumb

1

Update the Apache configuration so that `/sos/county` serves `index.html`.

ensure that the precise format of our logs matches the CDOS specification

1

Here is the relevant fragment of the RFP's requirements: > At a minimum the following entries for all system components must be logged. > - User ID > - Type...

First example auto-generated JSON schemas.

8

The web server https://jsonschema.net/#/editor was used to process captured JSON samples from Neal's smoketest work.

We need to fully document the `default.properties` file.

This PR simply includes a few new lines to show how to point to a different (possibly proprietary) implementation of our 2FA API.