| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | | * | | | | | | | | | Merge branch 'dev-nadesh-proven' of github.com:ymherklotz/CoqUp into dev-nade... | Yann Herklotz | 2020-07-04 | 1 | -0/+108 | |
| | | |\ \ \ \ \ \ \ \ \ | ||||||
| | | * | | | | | | | | | | Remove mulhs and mulhu | Yann Herklotz | 2020-07-04 | 1 | -2/+2 | |
| | * | | | | | | | | | | | div bug | Nadesh Ramanathan | 2020-07-04 | 1 | -1/+2 | |
| | * | | | | | | | | | | | polybench stencils | Nadesh Ramanathan | 2020-07-04 | 6 | -0/+648 | |
| | | |/ / / / / / / / / | |/| | | | | | | | | | ||||||
| | * | | | | | | | | | | div bug | Nadesh Ramanathan | 2020-07-04 | 1 | -1/+2 | |
| | * | | | | | | | | | | polybench data mining | Nadesh Ramanathan | 2020-07-04 | 1 | -0/+107 | |
| | |/ / / / / / / / / | ||||||
| | * | | | | | | | | | modulus bug | Nadesh Ramanathan | 2020-07-04 | 1 | -3/+4 | |
| | * | | | | | | | | | polybench linear algebra tests | Nadesh Ramanathan | 2020-07-04 | 19 | -0/+2282 | |
| | * | | | | | | | | | Merge branch 'dev-nadesh-merge' into dev-nadeshdev-nadesh | Yann Herklotz | 2020-07-02 | 24 | -423/+3075 | |
| | |\ \ \ \ \ \ \ \ \ | | |/ / / / / / / / | |/| | | | | | | | | ||||||
| | * | | | | | | | | | gsm2 | Nadesh Ramanathan | 2020-06-27 | 1 | -0/+558 | |
| | * | | | | | | | | | mods | Nadesh Ramanathan | 2020-06-27 | 1 | -31/+73 | |
| | * | | | | | | | | | sha re-factoring | Nadesh Ramanathan | 2020-06-26 | 1 | -6/+1307 | |
| | * | | | | | | | | | working adpcm in coqup | Nadesh Ramanathan | 2020-06-26 | 1 | -43/+41 | |
| | * | | | | | | | | | Add optimisations | Yann Herklotz | 2020-06-25 | 1 | -0/+16 | |
| | * | | | | | | | | | Add quartus tcl file | Yann Herklotz | 2020-06-25 | 1 | -0/+28 | |
| | * | | | | | | | | | aes working! | Nadesh Ramanathan | 2020-06-24 | 1 | -11/+738 | |
| | * | | | | | | | | | Revert back to original gsm_norm | Nadesh Ramanathan | 2020-06-24 | 1 | -18/+0 | |
| | * | | | | | | | | | Add instructions for Cmaskzero and Cmasknotzero | Yann Herklotz | 2020-06-24 | 1 | -2/+2 | |
| | * | | | | | | | | | pushing gsm changes | Nadesh Ramanathan | 2020-06-24 | 1 | -52/+489 | |
| | * | | | | | | | | | shift right | Nadesh Ramanathan | 2020-06-24 | 1 | -0/+11 | |
| | * | | | | | | | | | adpcm tweaks - passed gcc | Nadesh Ramanathan | 2020-06-22 | 1 | -638/+613 | |
| | * | | | | | | | | | mips working well! | Nadesh Ramanathan | 2020-06-22 | 1 | -238/+238 | |
| | * | | | | | | | | | Merge branch 'master' into dev-nadesh | Yann Herklotz | 2020-06-22 | 3 | -9/+58 | |
| | |\ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dev-nadesh | Yann Herklotz | 2020-06-22 | 3 | -14/+32 | |
| | |\ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | Add fixed benchmarks | Yann Herklotz | 2020-06-21 | 3 | -50/+125 | |
| | * | | | | | | | | | | | sha running in coqup - must delete functions manually | Nadesh Ramanathan | 2020-06-20 | 1 | -0/+1357 | |
| | * | | | | | | | | | | | Some fixes, but still buggy probably | Yann Herklotz | 2020-06-20 | 1 | -2/+2 | |
| | * | | | | | | | | | | | Merge branch 'master' into dev-nadesh | Yann Herklotz | 2020-06-20 | 1 | -4/+4 | |
| | |\ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dev-nadesh | Yann Herklotz | 2020-06-19 | 77 | -25/+15517 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dev-nadesh | Yann Herklotz | 2020-06-14 | 3 | -12/+14 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | address masking | Nadesh Ramanathan | 2020-06-13 | 1 | -0/+6 | |
| | * | | | | | | | | | | | | | | added return | Nadesh Ramanathan | 2020-06-13 | 1 | -1/+1 | |
| | * | | | | | | | | | | | | | | out of bounds - x[2] is y[0] | Nadesh Ramanathan | 2020-06-13 | 1 | -0/+9 | |
| | * | | | | | | | | | | | | | | summing on volatile variable | Nadesh Ramanathan | 2020-06-13 | 1 | -0/+7 | |
| | * | | | | | | | | | | | | | | test on indirect addressing | Nadesh Ramanathan | 2020-06-13 | 1 | -0/+13 | |
| | * | | | | | | | | | | | | | | simpler | Nadesh Ramanathan | 2020-06-13 | 1 | -2/+2 | |
| | * | | | | | | | | | | | | | | Better mm check | Nadesh Ramanathan | 2020-06-13 | 1 | -0/+23 | |
| | * | | | | | | | | | | | | | | Writing to an array | Nadesh Ramanathan | 2020-06-13 | 1 | -0/+12 | |
| * | | | | | | | | | | | | | | | Change name to Vericert | Yann Herklotz | 2020-07-14 | 35 | -136/+135 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | Fixes to operators | Yann Herklotz | 2020-07-07 | 4 | -6/+12 | |
| * | | | | | | | | | | | | | | Finished transl_cond | Yann Herklotz | 2020-07-07 | 2 | -62/+45 | |
| | |_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | Only translate_cond left | Yann Herklotz | 2020-07-07 | 4 | -17/+252 | |
| | |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | No admitted in Deterministic proof | Yann Herklotz | 2020-07-07 | 3 | -14/+10 | |
| * | | | | | | | | | | | | A few operations left | Yann Herklotz | 2020-07-07 | 1 | -30/+88 | |
| * | | | | | | | | | | | | Proof of TransfHTLLink DONE | Yann Herklotz | 2020-07-07 | 1 | -1/+14 | |
| * | | | | | | | | | | | | Rename asm to verilog | Yann Herklotz | 2020-07-06 | 1 | -9/+10 | |
| * | | | | | | | | | | | | Add top level backward simulation | Yann Herklotz | 2020-07-06 | 3 | -95/+191 | |
| | |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | ||||||
| * | | | | | | | | | | | HTLgenproof compiles again | Yann Herklotz | 2020-07-06 | 4 | -22/+47 | |
| * | | | | | | | | | | | Fix Inop | Yann Herklotz | 2020-07-05 | 4 | -47/+58 | |
| | |_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | ||||||
| * | | | | | | | | | | Fix HTLgenspec | Yann Herklotz | 2020-07-05 | 1 | -3/+4 | |
 |
index : vericert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |