about summary refs log tree commit diff stats
path: root/tangle/003tangle.cc
Commit message (Collapse)AuthorAgeFilesLines
* 4406Kartik Agaram2018-07-251-2/+6
| | | | Fix CI.
* 4405Kartik Agaram2018-07-251-10/+17
|
* 4404 - clean up generated code for scenariosKartik Agaram2018-07-251-12/+21
| | | | Thanks Max Bernstein for the feedback.
* 4000Kartik K. Agaram2017-09-151-0/+1
|
* 3839Kartik K. Agaram2017-04-201-3/+6
| | | | | | Fix CI. In the process I also fixed a bug in the tangle/ utility.
* 3550Kartik K. Agaram2016-10-221-1/+1
|
* 3363 - bugfix in tangleKartik K. Agaram2016-09-151-1/+1
|
* 3361Kartik K. Agaram2016-09-151-7/+7
|
* 3218Kartik K. Agaram2016-08-171-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 historyKartik K. Agaram2016-07-051-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.
* 3063Kartik K. Agaram2016-06-191-3/+3
|
* 2760Kartik K. Agaram2016-03-111-0/+462