Merge requests · RT-PROOFS · GitLab

Superficial Results/Analysis Cleanup and Documentation Improvements

rt-proofs!77 · created Dec 19, 2019 by Björn Brandenburg Prosa v0.4
updated Dec 21, 2019
Move new Prosa from rt.restructuring to top level and rename the namespace from 'rt' to 'prosa'

rt-proofs!76 · created Dec 19, 2019 by Björn Brandenburg Prosa v0.4
updated Dec 19, 2019
add a function for computing a sequence's supremum

rt-proofs!75 · created Dec 18, 2019 by Björn Brandenburg
updated Dec 18, 2019
Model cleanup

rt-proofs!74 · created Dec 18, 2019 by Björn Brandenburg
- Merged
- 8
updated Dec 19, 2019
note that common priority policies are total

rt-proofs!73 · created Dec 16, 2019 by Björn Brandenburg
updated Dec 16, 2019
CI improvements & well-known definitions in model folder

rt-proofs!72 · created Dec 10, 2019 by Björn Brandenburg analysis-reorg
- Merged
updated Dec 10, 2019
Avoid spelling mistakes in comments

rt-proofs!71 · created Dec 04, 2019 by Björn Brandenburg analysis-reorg
updated Dec 10, 2019
Require removal and model cleanup, part 1

rt-proofs!70 · created Dec 04, 2019 by Björn Brandenburg
updated Dec 04, 2019
re-organize analysis module

rt-proofs!69 · created Nov 26, 2019 by Björn Brandenburg
- Merged
- 29
updated Dec 19, 2019
Reorganize and clean up restructuring.module

rt-proofs!68 · created Nov 22, 2019 by Björn Brandenburg require-removal
- Merged
- 4
updated Dec 04, 2019
Disambiguate From ... Require Import|Export ...

rt-proofs!67 · created Nov 19, 2019 by Björn Brandenburg Prosa v0.4
- Merged
- 2
updated Dec 03, 2019
use Gitlab DAG feature and re-organize CI order

rt-proofs!66 · created Nov 19, 2019 by Björn Brandenburg
- Merged
updated Nov 19, 2019
Improve documentation in restructuring/behavior

rt-proofs!65 · created Nov 18, 2019 by Björn Brandenburg
updated Nov 18, 2019
Next obligation support for coqdocjs

rt-proofs!64 · created Nov 13, 2019 by Ghost User
- Merged
- 2
updated Nov 18, 2019
clean up create_makefile.sh

rt-proofs!63 · created Nov 12, 2019 by Björn Brandenburg utility-cleanup
updated Nov 15, 2019
update mathcomp documentation URL

rt-proofs!62 · created Nov 11, 2019 by Björn Brandenburg
updated Nov 12, 2019
rt.util cleanup

rt-proofs!61 · created Nov 07, 2019 by Björn Brandenburg move-to-classic
- Merged
- 1
updated Nov 15, 2019
Move "classic" Prosa to rt.classic namespace and update documentation

rt-proofs!60 · created Nov 06, 2019 by Björn Brandenburg Prosa v0.4
- Merged
- 3
updated Nov 15, 2019
Add scripts for proof state recording and interspersing

rt-proofs!59 · created Oct 31, 2019 by Björn Brandenburg
- Merged
- 4
updated Nov 19, 2019
minor fix: remove erroneous coqdoc formatting syntax

rt-proofs!58 · created Oct 30, 2019 by Björn Brandenburg
- Merged
updated Nov 05, 2019

Prev
1
…
12
13
14
15
16
17
18
19
Next