| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| aggressive | More testing | Marvin Borner | 16 months | |
| Age | Commit message | Author | ||
| 2023-11-15 | More testingHEADaggressive | Marvin Borner | ||
| 2023-10-23 | Testing bound state (won't work; backup) | Marvin Borner | ||
| 2023-10-22 | Experiments | Marvin Borner | ||
| 2023-10-21 | Fixed inc and added open | Marvin Borner | ||
| 2023-10-21 | Started basic beta shift | Marvin Borner | ||
| 2023-06-07 | Further fixes of substitution and use-after-free | Marvin Borner | ||
| 2023-06-07 | Parenting is still needed | Marvin Borner | ||
| 2023-06-07 | Removed parenting | Marvin Borner | ||
| 2023-06-06 | Fixed some dumb bugs | Marvin Borner | ||
| 2023-06-06 | Added testing directory | Marvin Borner | ||
| 2023-06-06 | Fixed some use-after-frees | Marvin Borner | ||
| 2023-06-01 | Some work on derefs | Marvin Borner | ||
| 2023-06-01 | More scheduling | Marvin Borner | ||
| 2023-06-01 | More parenting | Marvin Borner | ||
| 2023-05-31 | Added parent hashmaps | Marvin Borner | ||
| 2023-05-29 | checkpoint | Marvin Borner | ||
| 2023-05-29 | Forgot to add new terms to map | Marvin Borner | ||
| 2023-05-29 | Added note regarding branches | Marvin Borner | ||
| 2023-05-29 | Started reducer | Marvin Borner | ||
| 2023-05-29 | Switched to wider indices | Marvin Borner | ||
| 2023-05-27 | Moved term logic | Marvin Borner | ||
| 2023-05-27 | More scheduling and probabilisticity | Marvin Borner | ||
| 2023-05-27 | Basic schedule initialization | Marvin Borner | ||
| 2023-05-26 | Added libpqueue | Marvin Borner | ||
| 2023-05-26 | Added depth | Marvin Borner | ||
| 2023-05-26 | Abstract abstractification | Marvin Borner | ||
| 2023-05-26 | Becoming aggressive | Marvin Borner | ||
| 2023-05-06 | Start fresh | Marvin Borner | ||
| 2023-04-28 | Renamed reducer | Marvin Borner | ||
| 2023-02-26 | Note on garbage collection | Marvin Borner | ||
| [...] | ||||
| Clone | ||||
| https://git.marvinborner.de/marvinborner/calm | ||||