aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * 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
| | | | * | | | Check chunk size during translation.James Pollard2020-07-062-19/+33
| | | | * | | | Remove alignment requirement for lessdef.James Pollard2020-07-061-9/+3
| | | | * | | | Merge branch 'develop' of github.com:ymherklotz/coqup into byte-addressingJames Pollard2020-07-067-2201/+2238
| | | | |\ \ \ \
| | | | * | | | | Fix HTLgenspec.James Pollard2020-07-062-476/+467
| | | | * | | | | Implemented algorithm for new byte-addressed stack.James Pollard2020-07-0611-2682/+2730
| | | * | | | | | Merge branch 'develop' into dev-nadeshYann Herklotz2020-06-3010-39/+340
| | | |\ \ \ \ \ \
| | | * | | | | | | Remove checks for translate_eff_addressingYann Herklotz2020-06-293-17/+9
| | | * | | | | | | Merge branch 'develop' into dev-nadeshYann Herklotz2020-06-2913-245/+2677
| | | |\ \ \ \ \ \ \
| * | | | | | | | | | added counter in testbenchNadesh Ramanathan2020-07-071-1/+4
| * | | | | | | | | | remove const propNadesh Ramanathan2020-07-071-1/+1
| |/ / / / / / / / /
| * | | | | | | | | shift bugNadesh Ramanathan2020-07-041-3/+4
| * | | | | | | | | polybench medleyNadesh Ramanathan2020-07-042-0/+193
| * | | | | | | | | Merge branch 'dev-nadesh-proven' of https://github.com/ymherklotz/coqup into ...Nadesh Ramanathan2020-07-041-2/+2
| |\ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ Merge branch 'dev-nadesh-proven' of github.com:ymherklotz/CoqUp into dev-nade...Yann Herklotz2020-07-041-0/+108
| | |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | | Remove mulhs and mulhuYann Herklotz2020-07-041-2/+2
| * | | | | | | | | | | div bugNadesh Ramanathan2020-07-041-1/+2
| * | | | | | | | | | | polybench stencilsNadesh Ramanathan2020-07-046-0/+648
| | |/ / / / / / / / / | |/| | | | | | | | |
| * | | | | | | | | | div bugNadesh Ramanathan2020-07-041-1/+2
| * | | | | | | | | | polybench data miningNadesh Ramanathan2020-07-041-0/+107
| |/ / / / / / / / /
| * | | | | | | | | modulus bugNadesh Ramanathan2020-07-041-3/+4
| * | | | | | | | | polybench linear algebra testsNadesh Ramanathan2020-07-0419-0/+2282
| * | | | | | | | | Merge branch 'dev-nadesh-merge' into dev-nadeshYann Herklotz2020-07-0224-423/+3075
| |\ \ \ \ \ \ \ \ \ | | |/ / / / / / / / | |/| | | | | | | |
| * | | | | | | | | gsm2Nadesh Ramanathan2020-06-271-0/+558
| * | | | | | | | | modsNadesh Ramanathan2020-06-271-31/+73
generated by cgit (git 2.34.1) at 2024-05-28 18:37:01 +0000