aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'dev-initial' of https://github.com/ymherklotz/coqup into dev-in...dev-initialNadesh Ramanathan2020-06-271-3/+3
|\
| * Put all declarations aboveYann Herklotz2020-06-261-3/+3
* | tweaks to gsm to make it more synthesisableNadesh Ramanathan2020-06-271-0/+558
|/
* Change the order of initialisationYann Herklotz2020-06-261-2/+3
* Fix bug in HTLgen.v removing too many statesYann Herklotz2020-06-261-5/+8
* Merge branch 'dev-nadesh' into dev-initialYann Herklotz2020-06-2620-936/+3683
|\
| * Add optimisationsYann Herklotz2020-06-251-0/+16
| * Add quartus tcl fileYann Herklotz2020-06-251-0/+28
| * aes working!Nadesh Ramanathan2020-06-241-11/+738
| * Revert back to original gsm_normNadesh Ramanathan2020-06-241-18/+0
| * Add instructions for Cmaskzero and CmasknotzeroYann Herklotz2020-06-241-2/+2
| * pushing gsm changesNadesh Ramanathan2020-06-241-52/+489
| * shift rightNadesh Ramanathan2020-06-241-0/+11
| * adpcm tweaks - passed gccNadesh Ramanathan2020-06-221-638/+613
| * mips working well!Nadesh Ramanathan2020-06-221-238/+238
| * Merge branch 'master' into dev-nadeshYann Herklotz2020-06-223-9/+58
| |\
| | * Admit everything temporarilyYann Herklotz2020-06-223-9/+58
| * | Merge branch 'master' into dev-nadeshYann Herklotz2020-06-223-14/+32
| |\|
| | * Only print out main as everything is inlinedYann Herklotz2020-06-221-8/+10
| | * Add print for debug always block in moduleYann Herklotz2020-06-223-7/+23
| * | Add fixed benchmarksYann Herklotz2020-06-213-50/+125
| * | sha running in coqup - must delete functions manuallyNadesh Ramanathan2020-06-201-0/+1357
| * | Some fixes, but still buggy probablyYann Herklotz2020-06-201-2/+2
| * | Merge branch 'master' into dev-nadeshYann Herklotz2020-06-201-4/+4
| |\ \
| * \ \ Merge branch 'master' into dev-nadeshYann Herklotz2020-06-1977-25/+15517
| |\ \ \
| * \ \ \ Merge branch 'master' into dev-nadeshYann Herklotz2020-06-143-12/+14
| |\ \ \ \
| * | | | | address maskingNadesh Ramanathan2020-06-131-0/+6
| * | | | | added returnNadesh Ramanathan2020-06-131-1/+1
| * | | | | out of bounds - x[2] is y[0]Nadesh Ramanathan2020-06-131-0/+9
| * | | | | summing on volatile variableNadesh Ramanathan2020-06-131-0/+7
| * | | | | test on indirect addressingNadesh Ramanathan2020-06-131-0/+13
| * | | | | simplerNadesh Ramanathan2020-06-131-2/+2
| * | | | | Better mm checkNadesh Ramanathan2020-06-131-0/+23
| * | | | | Writing to an arrayNadesh Ramanathan2020-06-131-0/+12
* | | | | | Finish generating initial blocksYann Herklotz2020-06-223-5/+6
* | | | | | Compile with value analysisYann Herklotz2020-06-227-55/+127
| |_|_|_|/ |/| | | |
* | | | | Some fixes, but still buggy probablyYann Herklotz2020-06-201-2/+2
| |_|_|/ |/| | |
* | | | Add bugs to support more operationsYann Herklotz2020-06-201-4/+4
| |_|/ |/| |
* | | Add CHstoneYann Herklotz2020-06-1972-1/+15485
* | | Merge branch 'develop'Yann Herklotz2020-06-145-24/+32
|\ \ \ | |_|/ |/| |
| * | Fix coqprojectYann Herklotz2020-06-141-1/+1
| * | Add more unproven instructions, Admitted equiv to specYann Herklotz2020-06-144-23/+31
|/ /
* / Update matrix and use 32 bitYann Herklotz2020-06-123-12/+14
|/
* Add matrix testYann Herklotz2020-06-121-0/+21
* Merge pull request #7 from p0llard/hotfixYann Herklotz2020-06-121-4/+6
|\
| * Fix addressing bug.James Pollard2020-06-121-4/+6
|/
* Add declaration of loadsYann Herklotz2020-06-122-4/+6
* Merge branch 'master' of github.com:ymherklotz/CoqUpYann Herklotz2020-06-1215-0/+19189
|\
| * Merge pull request #6 from ymherklotz/branch_jcYann Herklotz2020-06-1215-0/+19189
| |\
| | * fixed my grammarJianyi Cheng2020-06-121-2/+2
generated by cgit (git 2.34.1) at 2024-05-22 03:26:05 +0000