| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove the table of contentsHEADmain | Yann Herklotz | 2022-03-05 | 2 | -9/+1 |
| | | |||||
| * | Add to the README | Yann Herklotz | 2022-03-05 | 2 | -1/+46 |
| | | |||||
| * | Update license with quick description | Yann Herklotz | 2022-03-04 | 2 | -2/+4 |
| | | |||||
| * | Add license to source files | Yann Herklotz | 2022-03-04 | 3 | -0/+706 |
| | | |||||
| * | Remove BitEQ.vo | Yann Herklotz | 2022-03-04 | 1 | -0/+0 |
| | | |||||
| * | Clean up the proof further | Yann Herklotz | 2022-03-04 | 1 | -5/+2 |
| | | |||||
| * | Remove bbv dependency | Yann Herklotz | 2022-03-04 | 2 | -32/+1 |
| | | |||||
| * | Prove simple bounded add associativity | Yann Herklotz | 2022-03-04 | 5 | -10/+88 |
| | | |||||
| * | Update .gitignore | Yann Herklotz | 2022-03-03 | 1 | -0/+3 |
| | | |||||
| * | Add cast operation | Yann Herklotz | 2022-03-03 | 1 | -0/+11 |
| | | |||||
| * | Add john's solution | Yann Herklotz | 2022-03-03 | 1 | -0/+119 |
| | | |||||
| * | Add .direnv/ to .gitignore | Yann Herklotz | 2022-03-03 | 1 | -0/+2 |
| | | |||||
| * | Add .envrc file for nix | Yann Herklotz | 2022-03-03 | 1 | -0/+1 |
| | | |||||
| * | Remove built files | Yann Herklotz | 2022-03-03 | 3 | -0/+4 |
| | | |||||
| * | Ignore generated Makefiles | Yann Herklotz | 2022-03-03 | 1 | -0/+1 |
| | | |||||
| * | Add .gitignore | Yann Herklotz | 2022-03-03 | 1 | -0/+1 |
| | | |||||
| * | Add initial development files | Yann Herklotz | 2022-03-03 | 9 | -0/+75 |
| | | |||||
| * | Add README and markdown README | Yann Herklotz | 2022-03-03 | 2 | -1/+3 |
| | | |||||
| * | Rename the paper | Yann Herklotz | 2022-03-03 | 1 | -0/+0 |
| | | |||||
| * | Add README | Yann Herklotz | 2022-03-03 | 3 | -0/+673 |
 |
index : biteq | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |