| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Remove the table of contents | Yann Herklotz | 2 years | |
| Age | Commit message | Author | Files | Lines |
| 2022-03-05 | Remove the table of contentsHEADmain | Yann Herklotz | 2 | -9/+1 |
| 2022-03-05 | Add to the README | Yann Herklotz | 2 | -1/+46 |
| 2022-03-04 | Update license with quick description | Yann Herklotz | 2 | -2/+4 |
| 2022-03-04 | Add license to source files | Yann Herklotz | 3 | -0/+706 |
| 2022-03-04 | Remove BitEQ.vo | Yann Herklotz | 1 | -0/+0 |
| 2022-03-04 | Clean up the proof further | Yann Herklotz | 1 | -5/+2 |
| 2022-03-04 | Remove bbv dependency | Yann Herklotz | 2 | -32/+1 |
| 2022-03-04 | Prove simple bounded add associativity | Yann Herklotz | 5 | -10/+88 |
| 2022-03-03 | Update .gitignore | Yann Herklotz | 1 | -0/+3 |
| 2022-03-03 | Add cast operation | Yann Herklotz | 1 | -0/+11 |
| [...] | ||||
| Clone | ||||
| https://git.ymhg.org/private/biteq | ||||
| ssh://git@git.ymhg.org:private/biteq | ||||
 |
index : biteq | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |