aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Finished all the proofsv1.0.0Yann Herklotz2020-08-133-39/+46
* Add statistics to be trackedYann Herklotz2020-08-131-3/+20
* Merge branch 'develop'Yann Herklotz2020-08-121-57/+221
|\
| * Remove unnecessary commented proofYann Herklotz2020-08-121-23/+0
| * Finish proof of conditionalsYann Herklotz2020-08-121-4/+11
| * Nearly finished all proofsYann Herklotz2020-08-121-48/+228
* | Add documentation badge to READMEYann Herklotz2020-08-114-4/+4
|/
* Add benchmark changesYann Herklotz2020-08-119-1929/+3466
* Add content to documentationYann Herklotz2020-08-111-0/+79
* Fix admitted icon in READMEYann Herklotz2020-08-111-14/+4
* Fix yaml and generationYann Herklotz2020-08-112-4/+6
* Merge remote-tracking branch 'origin/master'Yann Herklotz2020-08-112-67/+69
|\
| * Remove alignment constraint during translation.James Pollard2020-08-112-67/+69
* | Update website buildYann Herklotz2020-08-116-3/+1086
|/
* Update the link to the badgeYann Herklotz2020-08-101-1/+1
* Correctly pick colour for the badgeYann Herklotz2020-08-101-2/+10
* Add badge for admitted proofsYann Herklotz2020-08-101-0/+1
* Add gh-pagesYann Herklotz2020-08-102-3/+7
* Remove the nameYann Herklotz2020-08-101-1/+0
* Add badge for admitted proofsYann Herklotz2020-08-103-0/+69
* Remove last admits from istoreYann Herklotz2020-08-041-2/+3
* Finish istore and iload without any admitsYann Herklotz2020-08-042-119/+115
* No admitted in iload proofYann Herklotz2020-08-041-38/+72
* Merge remote-tracking branch 'james/develop' into developYann Herklotz2020-08-041-5/+6
|\
| * Fix broken proof.James Pollard2020-08-041-5/+6
* | Add expr_ok proofYann Herklotz2020-08-041-11/+25
|/
* Fix first part of istoreYann Herklotz2020-08-041-40/+43
* Fix iload proofYann Herklotz2020-08-042-43/+52
* Add proof of divisibilityYann Herklotz2020-08-041-21/+14
* Add feature list to READMEYann Herklotz2020-07-241-0/+9
* Add more descriptions to READMEYann Herklotz2020-07-241-3/+3
* Remove check mpassYann Herklotz2020-07-241-2/+0
* More renames to get it to compileYann Herklotz2020-07-246-6/+9
* Add dhrystone to benchmarksYann Herklotz2020-07-205-0/+1
* Add .gitattributesYann Herklotz2020-07-201-0/+3
* Change position of badgeYann Herklotz2020-07-171-1/+3
* Rename to VericertlibYann Herklotz2020-07-171-0/+0
* Remove travis CIYann Herklotz2020-07-172-5/+1
* Recursive cloningYann Herklotz2020-07-171-1/+2
* Create main.ymlYann Herklotz2020-07-171-0/+30
* Merge branch 'dev-nadesh-proven'Yann Herklotz2020-07-170-0/+0
|\
| * Merge branch 'develop' into dev-nadesh-provenYann Herklotz2020-07-074-8/+8
| |\
| * \ Merge branch 'dev-nadesh-proven' of https://github.com/ymherklotz/coqup into ...Nadesh Ramanathan2020-07-0720-2211/+3552
| |\ \
| | * \ Merge branch 'dev-nadesh' into dev-nadesh-provenJames Pollard2020-07-0720-2211/+3552
| | |\ \
| | | * \ Merge remote-tracking branch 'upstream/develop' into dev-nadeshJames Pollard2020-07-073-13/+57
| | | |\ \
| | | * | | Get Coqup compiling again on dev-nadesh.James Pollard2020-07-073-1937/+1938
| | | * | | Merge branch 'byte-addressing' into dev-nadeshJames Pollard2020-07-0725-2213/+3436
| | | |\ \ \
| | | | * \ \ Merge branch 'develop' of github.com:ymherklotz/coqup into byte-addressingJames Pollard2020-07-075-124/+293
| | | | |\ \ \
| | | | * | | | Concatenation style loads.James Pollard2020-07-063-49/+54
| | | | * | | | Reduce number of array addressing modes.James Pollard2020-07-062-6/+27
generated by cgit (git 2.34.1) at 2024-05-14 20:43:46 +0000