| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | update version number before i forget | Mattias Andrée | 2016-01-01 | 1 | -1/+1 |
| * | massive simpliciation and small bug fixes (not tested yet) | Mattias Andrée | 2016-01-01 | 1 | -9/+8 |
| * | remove satd-rm and satd-r and let satrm and satr do everything (not done yet) | Mattias Andrée | 2016-01-01 | 1 | -5/+3 |
| * | satq does not interface with satd + fix regression bugs | Mattias Andrée | 2016-01-01 | 1 | -4/+3 |
| * | fix some errors | Mattias Andrée | 2015-12-31 | 1 | -1/+11 |
| * | fix bugs and improve debugging | Mattias Andrée | 2015-12-31 | 1 | -0/+4 |
| * | add missing file to makefile | Mattias Andrée | 2015-12-30 | 1 | -1/+1 |
| * | whitespace + new chapters to write | Mattias Andrée | 2015-12-30 | 1 | -2/+2 |
| * | beginning of texinfo manual | Mattias Andrée | 2015-12-30 | 1 | -9/+9 |
| * | man pages | Mattias Andrée | 2015-12-30 | 1 | -1/+1 |
| * | update makefile | Mattias Andrée | 2015-12-30 | 1 | -2/+2 |
| * | implement satd-timer | Mattias Andrée | 2015-12-29 | 1 | -1/+2 |
| * | add build system + add news file + update deps | Mattias Andrée | 2015-12-29 | 1 | -0/+103 |
