Eric Ramat
|
55881a518e
Update tool versions in README file
|
vor 5 Jahren |
Eric Ramat
|
76caeac1d1
Clean and optimize code
|
vor 5 Jahren |
Eric Ramat
|
31316d9b50
Change project name
|
vor 7 Jahren |
Eric Ramat
|
5cd79e6955
Change copyright dates
|
vor 10 Jahren |
Eric Ramat
|
40a4ab28d9
Complete AUTHORS, README and COPYING files
|
vor 11 Jahren |
Eric Ramat
|
65ff8d5aff
DEVS implementation: initial commit
|
vor 11 Jahren |