Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove old diff handler; old static directory (at last!) | Matt Godbolt | 2017-02-06 |
| | |||
* | s/gcc-explorer/compiler-explorer/g | Matt Godbolt | 2017-01-02 |
| | |||
* | Refactor individual compilation types into their own files | Matt Godbolt | 2016-12-19 |
| | |||
* | Use winston for logging | Matt Godbolt | 2016-10-27 |
| | |||
* | Lint fixes | Matt Godbolt | 2016-10-12 |
| | |||
* | Fix up an async thing. | Matt Godbolt | 2016-08-06 |
| | |||
* | Better errors if diff fails | Matt Godbolt | 2016-08-06 |
| | |||
* | Make diff asynchronous | Matt Godbolt | 2016-08-05 |
| | |||
* | Formatting and lint fixes | Matt Godbolt | 2016-08-05 |
| | |||
* | Added wdiff configuration options. | Gabriel Devillers | 2016-08-05 |
| | | | | | | | | | Configuration is read from gccexplorer config file. Default values are: /tmp for temporary directory /usr/bin/wdiff for the wdiff executable Also: Cleaned lib/diff.js. | ||
* | Minor cleanings. | Gabriel Devillers | 2016-08-05 |
| | | | | | Cleans app.js output from previous debug outputs. Renamed debug functions concerning window.localStorage settings. | ||
* | Move computation of diff *color zones* server side. | Gabriel Devillers | 2016-08-05 |
| | | | | | | | | | (The diff was already done server side.) Sorry for the messy diff in this commit: I changed my mind on how I compute the zones to colorise. Possible improvement: use regex to take into account first occurence of '{++}' or '[--]', then remove the marks '{++}' or '[--]' then continue until no occurence is found. | ||
* | Ajax request to compute diff server side. | Gabriel Devillers | 2016-08-05 |
WIP. |