Commits · 6184d7b74991bb33535ddbe600fa13be288b20ab · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Feb 15, 2014
- Fix typo in Makefiles · 4a756eb0
  Tomáš Pecka authored 11 years ago
  
  4a756eb0
Feb 05, 2014
- move ldflags to end of linker command in makefiles · 30b418a1
  Jan Vesely authored 11 years ago
  
  I do this change because of this issue: http://stackoverflow.com/a/12748882/2654282
  30b418a1
Feb 03, 2014
- Sync with master · 18d2886d
  Tomáš Pecka authored 11 years ago
  
  18d2886d
Jan 29, 2014
- generalizations of switching programs · 36f35685
  Jan Trávníček authored 11 years ago
  
  36f35685
- simplifications · bc79f4c9
  Jan Trávníček authored 11 years ago
  
  bc79f4c9
Jan 28, 2014
- move adiffs · c0f358c2
  Jan Trávníček authored 11 years ago
  
  c0f358c2
- rework makefiles for adiff · e8ad0763
  Jan Trávníček authored 11 years ago
  
  e8ad0763
- search for binary in pwd · 9511f9f2
  Jan Trávníček authored 11 years ago
  
  9511f9f2
Dec 16, 2013
- diff for grammar and switcher · c6ef7d53
  Jan Trávníček authored 11 years ago
  
  c6ef7d53
Dec 08, 2013
- feature: adiff for automata · 6a27c7cf
  Honza authored 11 years ago
  
  6a27c7cf

Admin message