alarsyo/ltl2ba-nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Commit graph

  • 1f8d16da97 nix: add basic nix packaging master Antoine Martin 2022-02-11 13:08:15 +01:00
  • ea33bb2091 Updated the README Tom van Dijk 2020-10-25 12:19:48 +01:00
  • 26550da28e Added a CMake build file Tom van Dijk 2020-10-25 12:12:34 +01:00
  • f2426dfdeb Make some variables static to avoid link errors. Tom van Dijk 2020-10-25 12:07:44 +01:00
  • d71bf20df3 Add missing includes for config.h. Jeroen Meijer 2018-08-09 10:46:27 +02:00
  • be7fc9aab2 Ignore some files Jeroen Meijer 2018-07-05 16:33:38 +02:00
  • 321697460a Move non portable includes from public to private header. Jeroen Meijer 2018-06-29 15:04:28 +02:00
  • cf7dacebb2 Gnulib: use conditional dependencies. Jeroen Meijer 2018-06-28 15:32:48 +02:00
  • 58fa890d78 Fix autoconf warning. Jeroen Meijer 2018-06-28 13:58:18 +02:00
  • 9d0f55ed02 Ignore compiled files from gnulib. Jeroen Meijer 2018-06-28 13:55:56 +02:00
  • c17d2bbc13 Make LTL2BA compile on Windows. Jeroen Meijer 2018-06-28 13:51:55 +02:00
  • 92bed4de11 Fixed warnings in Cygwin Alfons Laarman 2012-08-12 17:23:37 +02:00
  • 7ba2035379 Fix warning Alfons Laarman 2012-08-09 15:06:00 +02:00
  • 091e219aed Make "accept" static to avoid clashes with accept(2) syscall Michael Weber 2011-02-04 15:02:50 +01:00
  • 76c92577f7 Export more details of automaton data structures Michael Weber 2010-11-29 15:35:19 +01:00
  • 57b713c3d8 Added ability to print dot output Michael Weber 2010-11-29 15:34:21 +01:00
  • 2e9e1a61dd Make tl_yylex hookable (default is tl_lex) Michael Weber 2010-11-29 10:35:43 +01:00
  • f277db6c7e Simplify file copying Michael Weber 2010-11-28 22:10:47 +01:00
  • 42f2334450 Fixed all warnings Michael Weber 2010-11-29 14:18:10 +01:00
  • f0503c0a86 Make internally used functions static Michael Weber 2010-11-29 16:56:48 +01:00
  • f796e5ca6f Make libltl2ba.la self-contained Michael Weber 2010-11-28 21:46:18 +01:00
  • d8a101f54e autoconfiscated Michael Weber 2010-11-26 11:29:55 +01:00
  • be18a22bce Import ltl2ba-1.1 Michael Weber 2010-11-03 23:53:14 +01:00