Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |