| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2010-07-07 | Try to include LinBox... (it doesn't compile).HEADmaster | Jean-Ernest Da Col | 9 | -18/+739 |
| 2010-06-10 | Merged echelon. | Jean-Ernest Da Col | 7 | -164/+679 |
| 2010-06-10 | Remove first row (the problem is necessarily bounded). | Jean-Ernest Da Col | 2 | -25/+33 |
| 2010-06-10 | Matrix echeloning look's to work. | Jean-Ernest Da Col | 9 | -283/+582 |
| 2010-06-07 | Add a function for reload the glpk problem. | Jean-Ernest Da Col | 3 | -47/+100 |
| 2010-06-04 | Begin to implement a row echelon form. | Jean-Ernest Da Col | 4 | -18/+209 |
| 2010-06-02 | Desperate attempt to correct singular matrix. Maybe it works but its too long. | Jean-Ernest Da Col | 3 | -9/+63 |
| 2010-06-01 | Small update. | Jean-Ernest Da Col | 2 | -138/+118 |
| 2010-05-31 | Add strict inequalities according to Besson. | Jean-Ernest Da Col | 3 | -91/+223 |
| 2010-05-26 | Begin to implement strict inequalities. | Jean-Ernest Da Col | 1 | -40/+72 |
| 2010-05-21 | Various changes. | Jean-Ernest Da Col | 1 | -107/+118 |
| 2010-05-20 | Now accepts negative atoms. | Jean-Ernest Da Col | 3 | -99/+110 |
| 2010-05-19 | Simplified glpk problem. | Jean-Ernest Da Col | 4 | -56/+96 |
| 2010-05-18 | Cleaning. | Jean-Ernest Da Col | 7 | -141/+135 |
| 2010-05-18 | Some changes. | Jean-Ernest Da Col | 7 | -106/+220 |
| 2010-05-11 | Correct some bugs. | Jean-Ernest Da Col | 7 | -53/+122 |
| 2010-05-11 | Add my installation script and the modified makefile. | Jean-Ernest Da Col | 6 | -39/+75 |
| 2010-05-10 | Begin the history management. | Jean-Ernest Da Col | 4 | -115/+69 |
| 2010-05-10 | Simplify the structure. | Jean-Ernest Da Col | 5 | -99/+49 |
| 2010-05-10 | Seems to work with small problem wich not use popback(). | Jean-Ernest Da Col | 3 | -32/+92 |
| 2010-05-06 | Change Row's struct (Real <--> Enode*). | Jean-Ernest Da Col | 6 | -57/+71 |
| 2010-05-05 | Inform: basic implementation (just read the atoms). | Jean-Ernest Da Col | 7 | -323/+260 |
| 2010-05-03 | Create Data and Row files. | Jean-Ernest Da Col | 6 | -32/+260 |
| 2010-04-30 | Begin to work on the new solver. | Jean-Ernest Da Col | 4 | -81/+290 |
| 2010-04-30 | Try to understand how it works. | Jean-Ernest Da Col | 7 | -2742/+9 |
| 2010-04-30 | New empty solver. | Jean-Ernest Da Col | 4 | -1/+201 |
| 2010-04-30 | Add .gitignore. | Jean-Ernest Da Col | 1 | -4/+7 |
| 2010-04-30 | Initial commit. | Jean-Ernest Da Col | 41 | -0/+14888 |
 |
index : jean/OpenSMT | |
| New solver using floating-point simplex. | julien.fontanet |
| summaryrefslogtreecommitdiffstats |