Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 4406 | Kartik Agaram | 2018-07-25 | 1 | -2/+6 |
| | | | | Fix CI. | ||||
* | 4405 | Kartik Agaram | 2018-07-25 | 1 | -10/+17 |
| | |||||
* | 4404 - clean up generated code for scenarios | Kartik Agaram | 2018-07-25 | 1 | -12/+21 |
| | | | | Thanks Max Bernstein for the feedback. | ||||
* | 4000 | Kartik K. Agaram | 2017-09-15 | 1 | -0/+1 |
| | |||||
* | 3839 | Kartik K. Agaram | 2017-04-20 | 1 | -3/+6 |
| | | | | | | Fix CI. In the process I also fixed a bug in the tangle/ utility. | ||||
* | 3550 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| | |||||
* | 3363 - bugfix in tangle | Kartik K. Agaram | 2016-09-15 | 1 | -1/+1 |
| | |||||
* | 3361 | Kartik K. Agaram | 2016-09-15 | 1 | -7/+7 |
| | |||||
* | 3218 | Kartik K. Agaram | 2016-08-17 | 1 | -0/+2 |
| | | | | | | Fix CI. Scenario size_of_shape_shifting_exclusive_container was triggering undefined behavior in tangle/ and causing things to break in some compilers but not others. | ||||
* | 3101 - purge .traces/ dir from repo history | Kartik K. Agaram | 2016-07-05 | 1 | -1/+0 |
| | | | | | | | | | | | | | | | | | | | | | I'd been toying with this idea for some time now given how large the repo had been growing. The final straw was noticing that people cloning the repo were having to wait *5 minutes*! That's not good, particularly for a project with 'tiny' in its description. After purging .traces/ clone time drops to 7 seconds in my tests. Major issue: some commits refer to .traces/ but don't really change anything there. That could get confusing :/ Minor issues: a) I've linked inside commits on GitHub like a half-dozen times online or over email. Those links are now liable to eventually break. (I seem to recall GitHub keeps them around as long as they get used at least once every 60 days, or something like that.) b) Numbering of commits is messed up because some commits only had changes to the .traces/ sub-directory. | ||||
* | 3063 | Kartik K. Agaram | 2016-06-19 | 1 | -3/+3 |
| | |||||
* | 2760 | Kartik K. Agaram | 2016-03-11 | 1 | -0/+462 |