Mike Gerwitz

Activist for User Freedom

Commit message (Collapse)AuthorAgeFilesLines
* .gitlab-ci.yml: Skip main build after stage buildMike Gerwitz2021-10-071-2/+4
| | | | | | | | | | | Two reasons for this: 1. It's unnecessary, since it's the same ref, so long as we actually build everything as part of the stage job; and 2. In our environment, the token used doesn't have access to pull from the registry. Fixing the latter item can be done at another time.
* .gitlab-ci.yml: Remove unnecessary SSH authMike Gerwitz2021-10-071-3/+1
| | | | We're using token-based auth now, using a project access token.
* .gitlab-ci.yml: Merge to main after successful stage pipelineMike Gerwitz2021-10-071-0/+16
* .gitlab-ci.yml (deploy): Deploy on main branchMike Gerwitz2021-08-131-1/+1
| | | | | | | | The switch to the `main` branch follows our conventions for other repositories as we switch to trunk-based development. Given that main will always be in a deployable state, there's no use in waiting for tags.
* design/tpl: The Tame Programming Language initial conceptMike Gerwitz2021-05-101-0/+13
| | | | | | | | | | | | | | | | There's a lot of change that's likely going to take place with this thing, but it's a start. The abstract summarizes the purpose of this---to formally define TAME in terms of algebra, first-order logic, and [ZFC] set theory. This came about while working on compiler changes and optimizations, since it's difficult to ensure correctness (and discover further optimizations) without being able to formally define the language. The focus at the moment is the classification system rewrite, which can be expressed in terms of first order logic and set theory. This commit contains essentially a POC with some carefully chosen mathematical foundations (abstractions of which are subject to change) and a basic representation of a subset of the classification system for scalars.
* Release notes and associated scriptsMike Gerwitz2020-04-291-0/+8
| | | | | | | | | This begins providing release notes for changes and provides scripts to facilitate this: - tools/mkrelease will update RELEASES.md and run some checks. - build-aux/release-check is intended for use in pipelines (e.g. see .gitlab-ci.yml) to verify that releases were done properly.
* Makefile.am (doc, html): New documentation targetMike Gerwitz2019-11-201-0/+1
* .gitlab-ci.yml (build): Use bootstrap scriptMike Gerwitz2019-11-181-4/+2
| | | | No use in maintaining this stuff in two places.
* tamer: Integrate into normal build processMike Gerwitz2019-11-181-12/+1
| | | | Rust is now expected to be installed in the base image.
* .gitlab-ci.yml (build): Clean up scriptMike Gerwitz2019-11-181-3/+0
| | | | This has since been moved into the Docker image.
* .gitlab-ci.yml (image): Make variable (BUILD_IMAGE)Mike Gerwitz2019-11-181-1/+1
| | | | | | We moved to an internal container registry so that we do not have to rely on DockerHub. Since TAME is a public project, this will allow our configuration internally to vary from a public configuration.
* tamer build as part of pipeline and bootstrapMike Gerwitz2019-11-181-7/+18
* Add GitLab pipeline configMike Gerwitz2018-09-121-0/+37
* .gitlab-ci.yml: Add file.