Commit graph

Select branches

Hide pull requests

master

Mono Color

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