├── .classpath ├── .github └── workflows │ └── Tests.yml ├── .gitignore ├── .gitmodules ├── .travis.yml ├── AUTHORS ├── CITATION ├── CODING-STANDARDS ├── COPYING ├── ChangeLog ├── Doxyfile ├── INSTALL ├── Makefile.am ├── NEWS ├── README.md ├── RELEASE-CHECKLIST ├── autotools ├── .gitignore └── config.rpath ├── changelog.md ├── configure.ac ├── contrib ├── bash-completion │ └── ltsmin ├── divine-2.4.patch ├── divine-cluster-0.8.3-ltsmin.patch └── install_opaal_osx.sh ├── doc ├── .gitignore ├── Makefile.am ├── asciidoc.conf ├── callouts.xsl ├── ce-mpi.txt ├── code │ ├── regroup.hs │ ├── saturation.txt │ ├── sym.txt │ ├── vector_doc.txt │ └── vector_set_tree.hs ├── dve2lts-dist.txt ├── dve2lts-mc.txt ├── dve2lts-seq.txt ├── dve2lts-sym.txt ├── dve2torx.txt ├── etf-convert.txt ├── etf.txt ├── etf2lts-dist.txt ├── etf2lts-mc.txt ├── etf2lts-seq.txt ├── etf2lts-sym.txt ├── etf2torx.txt ├── gcf.txt ├── inc │ ├── buchi.txt │ ├── buddy-options.txt │ ├── compression.txt │ ├── devel-options.txt │ ├── dve.txt │ ├── env-vars.txt │ ├── file-formats.txt │ ├── general-options.txt │ ├── hre-options.txt │ ├── hre-startup.txt │ ├── lace-options.txt │ ├── lddmc-options.txt │ ├── listdd-options.txt │ ├── listdd64-options.txt │ ├── lts-io-options.txt │ ├── ltsmin-printtrace-options.txt │ ├── mcrl-options.txt │ ├── mcrl2-options.txt │ ├── mpi-blurb.txt │ ├── mpi-example.txt │ ├── pbes-options.txt │ ├── pins-options.txt │ ├── pins2lts-dist-options.txt │ ├── pins2lts-dist.txt │ ├── pins2lts-mc-options.txt │ ├── pins2lts-mc-ta-options.txt │ ├── pins2lts-mc.txt │ ├── pins2lts-seq-options.txt │ ├── pins2lts-seq.txt │ ├── pins2lts-sym-options.txt │ ├── pins2lts-sym.txt │ ├── pins2torx.txt │ ├── plugin-options.txt │ ├── pnml-options.txt │ ├── pnml.txt │ ├── prob-options.txt │ ├── prob.txt │ ├── procs-option.txt │ ├── prom.txt │ ├── reachability-options.txt │ ├── regroup-options.txt │ ├── scoop-options.txt │ ├── spg-options.txt │ ├── spg-solve-options.txt │ ├── support.txt │ ├── sylvan-options.txt │ ├── threads-option.txt │ └── vset-options.txt ├── lpo2lts-dist.txt ├── lpo2lts-mc.txt ├── lpo2lts-seq.txt ├── lpo2lts-sym.txt ├── lpo2torx.txt ├── lps2lts-dist.txt ├── lps2lts-mc.txt ├── lps2lts-seq.txt ├── lps2lts-sym.txt ├── lps2torx.txt ├── ltsmin-compare.txt ├── ltsmin-convert.txt ├── ltsmin-ctl.txt ├── ltsmin-ltl.txt ├── ltsmin-mu.txt ├── ltsmin-mucalc.txt ├── ltsmin-pred.txt ├── ltsmin-printtrace.txt ├── ltsmin-reduce-dist.txt ├── ltsmin-reduce.txt ├── ltsmin-type-system.txt ├── ltsmin.txt ├── manpage-1.72.xsl ├── manpage-base.xsl ├── manpage-normal.xsl ├── mapa2lts-dist.txt ├── mapa2lts-sym.txt ├── opaal2lts-mc.txt ├── pbes2lts-dist.txt ├── pbes2lts-mc.txt ├── pbes2lts-seq.txt ├── pbes2lts-sym.txt ├── pins-open.txt ├── pins2lts-dist.txt ├── pins2lts-mc.txt ├── pins2lts-seq.txt ├── pins2lts-sym.txt ├── pins2torx.txt ├── pnml2lts-dist.txt ├── pnml2lts-mc.txt ├── pnml2lts-seq.txt ├── pnml2lts-sym.txt ├── prob2lts-dist.txt ├── prob2lts-mc.txt ├── prob2lts-seq.txt ├── prob2lts-sym.txt ├── prom2lts-dist.txt ├── prom2lts-mc.txt ├── prom2lts-seq.txt ├── prom2lts-sym.txt ├── prom2torx.txt ├── spgsolver.txt ├── spins.txt └── tex │ ├── .gitignore │ └── vector-fmt.tex ├── examples ├── .gitignore ├── Makefile.am ├── MutexSimple.mch ├── Philosophers-5.pnml ├── TimingWithoutTimeout9OnTheFlynessShallow.promela ├── abp.mcrl2 ├── anderson.1.prop4.dve ├── brp.mcrl ├── elevator.3-false.inv ├── elevator.3.dve ├── elevator.3.inv ├── elevator.3.ltl ├── fgs.promela ├── fischer4.xml ├── gear.1.dve ├── gear.1.etf ├── hef_wrong.mcrl ├── hef_wrong.tbf ├── i4 ├── ieee-11073.mcrl2 ├── iprotocol.2.dve ├── iprotocol.2.ltl ├── iprotocol.2.prop4.dve ├── nodeadlock.mu ├── onebit.mcrl2 ├── p117.pml ├── p312.pml ├── pbes_formula ├── peterson3.pml ├── salesman.mapa ├── zune.ltl └── zune.pml ├── lemon ├── .gitignore ├── Makefile.am ├── lemon.c └── lempar.c ├── lib ├── Makefile.am ├── _Noreturn.h ├── alloca.c ├── alloca.in.h ├── arg-nonnull.h ├── asnprintf.c ├── assure.h ├── basename-lgpl.c ├── c++defs.h ├── canonicalize-lgpl.c ├── cdefs.h ├── cloexec.c ├── cloexec.h ├── close.c ├── dirent.in.h ├── dirfd.c ├── dirname-lgpl.c ├── dirname.h ├── dosname.h ├── dup2.c ├── errno.in.h ├── fchdir.c ├── fcntl.c ├── fcntl.in.h ├── fd-hook.c ├── fd-hook.h ├── filename.h ├── filenamecat-lgpl.c ├── filenamecat.h ├── flexmember.h ├── float+.h ├── float.c ├── float.in.h ├── fnmatch.c ├── fnmatch.in.h ├── fnmatch_loop.c ├── fprintf.c ├── fpucw.h ├── frexp.c ├── frexpl.c ├── fseterr.c ├── fseterr.h ├── fstat.c ├── fsync.c ├── getcwd-lgpl.c ├── getdelim.c ├── getdtablesize.c ├── getline.c ├── gettimeofday.c ├── glthread │ ├── lock.c │ ├── lock.h │ └── threadlib.c ├── hard-locale.c ├── hard-locale.h ├── intprops.h ├── isnan.c ├── isnand-nolibm.h ├── isnand.c ├── isnanf-nolibm.h ├── isnanf.c ├── isnanl-nolibm.h ├── isnanl.c ├── itold.c ├── libc-config.h ├── limits.in.h ├── localcharset.c ├── localcharset.h ├── localtime-buffer.c ├── localtime-buffer.h ├── lseek.c ├── lstat.c ├── malloc.c ├── malloca.c ├── malloca.h ├── math.c ├── math.in.h ├── mbrtowc.c ├── mbsinit.c ├── mbsrtowcs-impl.h ├── mbsrtowcs-state.c ├── mbsrtowcs.c ├── memchr.c ├── memchr.valgrind ├── mkdtemp.c ├── msvc-inval.c ├── msvc-inval.h ├── msvc-nothrow.c ├── msvc-nothrow.h ├── open.c ├── pathmax.h ├── pread.c ├── printf-args.c ├── printf-args.h ├── printf-frexp.c ├── printf-frexp.h ├── printf-frexpl.c ├── printf-frexpl.h ├── printf-parse.c ├── printf-parse.h ├── progname.c ├── progname.h ├── pwrite.c ├── qsort.c ├── qsort_r.c ├── raise.c ├── random_r.c ├── read.c ├── readlink.c ├── realloc.c ├── sig-handler.c ├── sig-handler.h ├── sigaction.c ├── signal.in.h ├── signbitd.c ├── signbitf.c ├── signbitl.c ├── sigprocmask.c ├── size_max.h ├── stat-time.c ├── stat-time.h ├── stat-w32.c ├── stat-w32.h ├── stat.c ├── stdbool.in.h ├── stddef.in.h ├── stdint.in.h ├── stdio-impl.h ├── stdio.in.h ├── stdlib.in.h ├── strdup.c ├── streq.h ├── strerror-override.c ├── strerror-override.h ├── strerror_r.c ├── string.in.h ├── stripslash.c ├── strndup.c ├── strnlen.c ├── strnlen1.c ├── strnlen1.h ├── strsep.c ├── sys_stat.in.h ├── sys_time.in.h ├── sys_times.in.h ├── sys_types.in.h ├── sys_wait.in.h ├── tempname.c ├── tempname.h ├── time.in.h ├── times.c ├── unistd.c ├── unistd.in.h ├── vasnprintf.c ├── vasnprintf.h ├── verify.h ├── warn-on-use.h ├── wchar.in.h ├── wctype-h.c ├── wctype.in.h ├── write.c ├── xalloc-oversized.h ├── xsize.c └── xsize.h ├── ltsminreconf ├── m4 ├── .gitignore ├── 00gnulib.m4 ├── __inline.m4 ├── absolute-header.m4 ├── ac_prog_cc_for_build.m4 ├── acx_cache_line.m4 ├── acx_cadp.m4 ├── acx_ddd.m4 ├── acx_export_dynamic.m4 ├── acx_fink.m4 ├── acx_macports.m4 ├── acx_mcrl.m4 ├── acx_mcrl2.m4 ├── acx_pkgsrc.m4 ├── acx_pthread.m4 ├── acx_sdd.m4 ├── acx_spins.m4 ├── alloca.m4 ├── amdoxygen.m4 ├── asm-underscore.m4 ├── ax_boost_base.m4 ├── ax_cc_compile_cxx_link.m4 ├── ax_check_compile_flag.m4 ├── ax_check_func_include.m4 ├── ax_cxx_check_lib.m4 ├── ax_cxx_compile_stdcxx.m4 ├── ax_cxx_compile_stdcxx_11.m4 ├── ax_cxx_compile_stdcxx_17.m4 ├── ax_let.m4 ├── ax_mpi.m4 ├── ax_prog_bison.m4 ├── ax_prog_bison_version.m4 ├── ax_prog_doxygen.m4 ├── ax_prog_flex.m4 ├── ax_require_one_func.m4 ├── ax_try_cflags_ifelse.m4 ├── builtin-expect.m4 ├── canonicalize.m4 ├── check_jdk.m4 ├── check_zlib.m4 ├── close.m4 ├── codeset.m4 ├── dirent_h.m4 ├── dirfd.m4 ├── dirname.m4 ├── double-slash-root.m4 ├── dup2.m4 ├── eealloc.m4 ├── errno_h.m4 ├── exponentd.m4 ├── exponentf.m4 ├── exponentl.m4 ├── extensions.m4 ├── extern-inline.m4 ├── fchdir.m4 ├── fcntl-o.m4 ├── fcntl.m4 ├── fcntl_h.m4 ├── filenamecat.m4 ├── flexmember.m4 ├── float_h.m4 ├── fnmatch.m4 ├── fpieee.m4 ├── fprintf-posix.m4 ├── frexp.m4 ├── frexpl.m4 ├── fseterr.m4 ├── fstat.m4 ├── fsync.m4 ├── getcwd.m4 ├── getdelim.m4 ├── getdtablesize.m4 ├── getline.m4 ├── gettimeofday.m4 ├── gnulib-cache.m4 ├── gnulib-common.m4 ├── gnulib-comp.m4 ├── gnulib-tool.m4 ├── host-cpu-c-abi.m4 ├── include_next.m4 ├── intmax_t.m4 ├── inttypes_h.m4 ├── isnand.m4 ├── isnanf.m4 ├── isnanl.m4 ├── largefile.m4 ├── ldexpl.m4 ├── lib-ld.m4 ├── lib-link.m4 ├── lib-prefix.m4 ├── limits-h.m4 ├── localcharset.m4 ├── locale-fr.m4 ├── locale-ja.m4 ├── locale-zh.m4 ├── localtime-buffer.m4 ├── lock.m4 ├── longlong.m4 ├── lseek.m4 ├── lstat.m4 ├── ltargz.m4 ├── ltdl.m4 ├── m4-ax_compare_version.m4 ├── m4_ax_check_compile_flag.m4 ├── malloc.m4 ├── malloca.m4 ├── math_h.m4 ├── mbrtowc.m4 ├── mbsinit.m4 ├── mbsrtowcs.m4 ├── mbstate_t.m4 ├── memchr.m4 ├── mkdtemp.m4 ├── mmap-anon.m4 ├── mode_t.m4 ├── msvc-inval.m4 ├── msvc-nothrow.m4 ├── multiarch.m4 ├── nocrash.m4 ├── off_t.m4 ├── open-cloexec.m4 ├── open.m4 ├── pathmax.m4 ├── pread.m4 ├── printf-frexp.m4 ├── printf-frexpl.m4 ├── printf.m4 ├── pthread_rwlock_rdlock.m4 ├── pwrite.m4 ├── qsort_r.m4 ├── raise.m4 ├── random_r.m4 ├── read.m4 ├── readlink.m4 ├── realloc.m4 ├── sigaction.m4 ├── signal_h.m4 ├── signalblocking.m4 ├── signbit.m4 ├── size_max.m4 ├── ssize_t.m4 ├── stat-time.m4 ├── stat.m4 ├── stdbool.m4 ├── stddef_h.m4 ├── stdint.m4 ├── stdint_h.m4 ├── stdio_h.m4 ├── stdlib_h.m4 ├── strdup.m4 ├── strerror.m4 ├── strerror_r.m4 ├── string_h.m4 ├── strndup.m4 ├── strnlen.m4 ├── strsep.m4 ├── sys_socket_h.m4 ├── sys_stat_h.m4 ├── sys_time_h.m4 ├── sys_times_h.m4 ├── sys_types_h.m4 ├── sys_wait_h.m4 ├── tempname.m4 ├── threadlib.m4 ├── time_h.m4 ├── times.m4 ├── unistd_h.m4 ├── vasnprintf.m4 ├── viennacl.m4 ├── warn-on-use.m4 ├── wchar_h.m4 ├── wchar_t.m4 ├── wctype_h.m4 ├── wint_t.m4 ├── write.m4 └── xsize.m4 ├── resources ├── fmt.png └── ut.png ├── src ├── .gitignore ├── Makefile.am ├── andl-lib │ ├── .gitignore │ ├── Makefile.am │ ├── andl-lexer.l │ └── andl-parser.y ├── bignum │ ├── Makefile.am │ ├── bignum-gmp.c │ ├── bignum-ll.c │ ├── bignum-tommath.c │ └── bignum.h ├── ce │ ├── .gitignore │ ├── Ddlts.c │ ├── Ddlts.h │ ├── Dtaudlts.c │ ├── Dtaudlts.h │ ├── Makefile.am │ ├── README.historic │ ├── bufs.c │ ├── bufs.h │ ├── ce-mpi.c │ ├── groups.c │ ├── groups.h │ ├── paint.c │ ├── paint.h │ ├── sortcount.c │ └── sortcount.h ├── dm │ ├── Makefile.am │ ├── bitvector.c │ ├── bitvector.h │ ├── dm.c │ ├── dm.h │ ├── dm_boost.cpp │ ├── dm_boost.h │ ├── dm_viennacl.cpp │ ├── dm_viennacl.h │ └── sloan_ordering.hpp ├── etf-convert │ ├── Makefile.am │ └── etf-convert.c ├── gcf-tool │ ├── Makefile.am │ └── gcf-tool.c ├── hre-io │ ├── Makefile.am │ ├── arch_object.h │ ├── archive.h │ ├── client-server.h │ ├── fifo.h │ ├── gcf_common.h │ ├── hre_archive.c │ ├── hre_archive_dir.c │ ├── hre_client_server.c │ ├── hre_fifo.c │ ├── hre_gcf_common.c │ ├── hre_gcf_read.c │ ├── hre_gcf_write.c │ ├── hre_gzstream.c │ ├── hre_raf.c │ ├── hre_stream.c │ ├── hre_stream_buffer.c │ ├── hre_stream_diff32.c │ ├── hre_stream_fd.c │ ├── hre_stream_mem.c │ ├── hre_stream_rle32.c │ ├── hre_struct_io.c │ ├── hre_zip_io.c │ ├── raf.h │ ├── raf_object.h │ ├── stream.h │ ├── stream_object.h │ ├── struct_io.h │ ├── types.h │ └── user.h ├── hre-mpi │ ├── Makefile.am │ ├── hre_mpi.c │ ├── mpi_event_loop.c │ ├── mpi_event_loop.h │ └── user.h ├── hre │ ├── Makefile.am │ ├── context.h │ ├── dir_ops.h │ ├── feedback.h │ ├── hre.doc │ ├── hre_context.c │ ├── hre_dir_ops.c │ ├── hre_feedback.c │ ├── hre_main.c │ ├── hre_malloc.c │ ├── hre_messaging.c │ ├── hre_popt.c │ ├── hre_pthread.c │ ├── hre_queue.c │ ├── hre_reduce.c │ ├── hre_runtime.c │ ├── hre_table.c │ ├── hre_timer.c │ ├── hre_utils.c │ ├── internal.h │ ├── provider.h │ ├── queue.h │ ├── runtime.h │ ├── stringindex.c │ ├── stringindex.h │ ├── table.h │ ├── unix.h │ └── user.h ├── ldd2bdd │ ├── .gitignore │ ├── Makefile.am │ └── ldd2bdd.c ├── lts-io │ ├── Makefile.am │ ├── aut_io.c │ ├── bcg_io.c │ ├── file-base.c │ ├── filter_write.c │ ├── fsm_write.c │ ├── internal.h │ ├── lts-io.doc │ ├── lts-type-io.c │ ├── lts_file_misc.c │ ├── provider.h │ ├── user.h │ ├── vector_read.c │ └── vector_write.c ├── lts-lib │ ├── Makefile.am │ ├── bfs_reorder.c │ ├── determinize.c │ ├── dir-info.c │ ├── dir-info.h │ ├── find-states.c │ ├── lowmem.h │ ├── lowmem_b.c │ ├── lowmem_lump.c │ ├── lowmem_s.c │ ├── lts-imca-io.c │ ├── lts-io.c │ ├── lts-lib.doc │ ├── lts-pg-io.c │ ├── lts-pg-io.h │ ├── lts-quant-io.c │ ├── lts.c │ ├── lts.h │ ├── lts_access.c │ ├── lts_print.c │ ├── lts_uniq.c │ ├── set.c │ ├── set.h │ ├── setbased_weak.c │ ├── sigmin-lib.c │ └── silent_compress.c ├── ltsmin-compare │ ├── Makefile.am │ └── ltsmin-compare.c ├── ltsmin-convert │ ├── Makefile.am │ └── ltsmin-convert.c ├── ltsmin-lib │ ├── Makefile.am │ ├── etf-internal.h │ ├── etf-objects.c │ ├── etf-objects.h │ ├── etf-parser.c │ ├── etf-util.c │ ├── etf-util.h │ ├── ltl2ba-lex-helper.c │ ├── ltl2ba-lex-helper.h │ ├── ltl2ba-lex.c │ ├── ltl2ba-lex.h │ ├── ltl2spot.cpp │ ├── ltl2spot.h │ ├── lts-type.c │ ├── lts-type.h │ ├── ltsmin-buchi.h │ ├── ltsmin-grammar.lemon │ ├── ltsmin-lexer.l │ ├── ltsmin-parse-env.h │ ├── ltsmin-standard.h │ ├── ltsmin-syntax.c │ ├── ltsmin-syntax.h │ ├── ltsmin-tl.c │ ├── ltsmin-tl.h │ ├── ltsmin-type-system.c │ ├── ltsmin-type-system.h │ ├── mucalc-grammar.lemon │ ├── mucalc-lexer.l │ ├── mucalc-parse-env.h │ ├── mucalc-syntax.c │ └── mucalc-syntax.h ├── ltsmin-printtrace │ ├── Makefile.am │ └── lts-tracepp.c ├── ltsmin-reduce-dist │ ├── Makefile.am │ ├── ltsmin-reduce-dist.c │ ├── seg-lts.c │ ├── seg-lts.h │ ├── sig-array.c │ ├── sig-array.h │ ├── sigmin-array.c │ ├── sigmin-array.h │ ├── sigmin-set.c │ ├── sigmin-set.h │ ├── sigmin-sig.h │ └── sigmin-types.h ├── ltsmin-reduce │ ├── Makefile.am │ └── ltsmin-reduce.c ├── mc-lib │ ├── Makefile.am │ ├── atomics.h │ ├── bitvector-ll.c │ ├── bitvector-ll.h │ ├── cctables.c │ ├── cctables.h │ ├── clt_table.c │ ├── clt_table.h │ ├── dbs-ll.c │ ├── dbs-ll.h │ ├── dlopen_extra.c │ ├── dlopen_extra.h │ ├── hashtable.c │ ├── hashtable.h │ ├── lb.c │ ├── lb.h │ ├── lmap.c │ ├── lmap.h │ ├── renault-unionfind.c │ ├── renault-unionfind.h │ ├── set-ll.c │ ├── set-ll.h │ ├── statistics.c │ ├── statistics.h │ ├── stats.h │ ├── trace.c │ ├── trace.h │ ├── treedbs-ll.c │ ├── treedbs-ll.h │ ├── unionfind.c │ └── unionfind.h ├── pins-lib │ ├── Makefile.am │ ├── dlopen-api.h │ ├── modules │ │ ├── at-map.c │ │ ├── at-map.h │ │ ├── dlopen-pins.c │ │ ├── dlopen-pins.h │ │ ├── dve-pins.c │ │ ├── dve-pins.h │ │ ├── etf-pins.c │ │ ├── etf-pins.h │ │ ├── mapa-pins.c │ │ ├── mapa-pins.h │ │ ├── mcrl-pins.c │ │ ├── mcrl-pins.h │ │ ├── mcrl2-pins.cpp │ │ ├── mcrl2-pins.h │ │ ├── opaal-pins.c │ │ ├── opaal-pins.h │ │ ├── pbes-pins.cpp │ │ ├── pbes-pins.h │ │ ├── pnml-pins.c │ │ ├── pnml-pins.h │ │ ├── prob-pins.c │ │ ├── prob-pins.h │ │ ├── prom-pins.c │ │ └── prom-pins.h │ ├── pg-types.c │ ├── pg-types.h │ ├── pins-impl.h │ ├── pins-util.c │ ├── pins-util.h │ ├── pins.c │ ├── pins.h │ ├── pins2pins-cache.c │ ├── pins2pins-cache.h │ ├── pins2pins-check.c │ ├── pins2pins-check.h │ ├── pins2pins-fork.c │ ├── pins2pins-fork.h │ ├── pins2pins-group.c │ ├── pins2pins-group.h │ ├── pins2pins-guards.c │ ├── pins2pins-guards.h │ ├── pins2pins-ltl.c │ ├── pins2pins-ltl.h │ ├── pins2pins-mucalc.c │ ├── pins2pins-mucalc.h │ ├── por │ │ ├── Makefile.am │ │ ├── pins2pins-por-check.c │ │ ├── pins2pins-por-check.h │ │ ├── pins2pins-por.c │ │ ├── pins2pins-por.h │ │ ├── por-ample.c │ │ ├── por-ample.h │ │ ├── por-beam.c │ │ ├── por-beam.h │ │ ├── por-deletion.c │ │ ├── por-deletion.h │ │ ├── por-internal.h │ │ ├── por-leap.c │ │ ├── por-leap.h │ │ ├── por-lipton.c │ │ ├── por-lipton.h │ │ ├── por-tr.c │ │ └── por-tr.h │ ├── property-semantics.c │ └── property-semantics.h ├── pins-open │ ├── Makefile.am │ └── pins-open.c ├── pins2lts-dist │ ├── .gitignore │ ├── Makefile.am │ ├── gcc │ │ └── Makefile.am │ ├── include.am │ ├── mpicc │ │ └── Makefile.am │ └── pins2lts-dist.c ├── pins2lts-mc │ ├── .gitignore │ ├── Makefile.am │ ├── algorithm │ │ ├── Makefile.am │ │ ├── algorithm.c │ │ ├── algorithm.h │ │ ├── algorithm_object.h │ │ ├── cndfs.c │ │ ├── cndfs.h │ │ ├── dfs-fifo.c │ │ ├── dfs-fifo.h │ │ ├── lndfs.c │ │ ├── lndfs.h │ │ ├── ltl.c │ │ ├── ltl.h │ │ ├── ndfs.c │ │ ├── ndfs.h │ │ ├── owcty.c │ │ ├── owcty.h │ │ ├── reach.c │ │ ├── reach.h │ │ ├── renault-tarjan.c │ │ ├── renault-tarjan.h │ │ ├── tarjan-scc.c │ │ ├── tarjan-scc.h │ │ ├── timed-cndfs.c │ │ ├── timed-cndfs.h │ │ ├── timed.c │ │ ├── timed.h │ │ ├── ufscc.c │ │ ├── ufscc.h │ │ ├── util.c │ │ └── util.h │ ├── parallel │ │ ├── Makefile.am │ │ ├── color.c │ │ ├── color.h │ │ ├── counter.c │ │ ├── counter.h │ │ ├── global.c │ │ ├── global.h │ │ ├── options.c │ │ ├── options.h │ │ ├── permute.c │ │ ├── permute.h │ │ ├── run.c │ │ ├── run.h │ │ ├── state-info.c │ │ ├── state-info.h │ │ ├── state-store.c │ │ ├── state-store.h │ │ ├── stream-serializer.c │ │ ├── stream-serializer.h │ │ ├── worker.c │ │ └── worker.h │ └── pins2lts-mc.c ├── pins2lts-seq │ ├── .gitignore │ ├── Makefile.am │ └── pins2lts-seq.c ├── pins2lts-sym │ ├── .gitignore │ ├── Makefile.am │ ├── alg │ │ ├── auxiliary.c │ │ ├── auxiliary.h │ │ ├── bfs.c │ │ ├── bfs.h │ │ ├── chain.c │ │ ├── chain.h │ │ ├── mu.c │ │ ├── mu.h │ │ ├── pg.c │ │ ├── pg.h │ │ ├── reach.c │ │ ├── reach.h │ │ ├── sat.c │ │ └── sat.h │ ├── auxiliary │ │ ├── options.c │ │ ├── options.h │ │ ├── output.c │ │ ├── output.h │ │ ├── prop.c │ │ └── prop.h │ ├── maxsum │ │ ├── Makefile.am │ │ ├── maxsum.c │ │ └── maxsum.h │ └── pins2lts-sym.c ├── pinssim │ ├── Makefile.am │ ├── pinssim.c │ └── todo.txt ├── prob-lib │ ├── Makefile.am │ ├── ltsmin-protocol.txt │ ├── prob_client.c │ ├── prob_client.h │ ├── prob_helpers.c │ └── prob_helpers.h ├── scripts │ ├── Makefile.am │ ├── pins-open.in │ └── spins ├── spg-lib │ ├── Makefile.am │ ├── spg-attr.c │ ├── spg-attr.h │ ├── spg-options.c │ ├── spg-options.h │ ├── spg-solve.c │ ├── spg-solve.h │ ├── spg-strategy.c │ ├── spg-strategy.h │ ├── spg.c │ └── spg.h ├── spg │ ├── Makefile.am │ └── spgsolver.c ├── tests │ ├── Makefile.am │ ├── gcc │ │ └── Makefile.am │ ├── include.am │ ├── mpicc │ │ └── Makefile.am │ ├── test-bitset.c │ ├── test-dbs.c │ ├── test-dfs-stack.c │ ├── test-dm.c │ ├── test-hre.c │ ├── test-is-balloc.c │ ├── test-ltsmin-parse.c │ ├── test-mucalc-parser.c │ ├── test-regroup.c │ ├── test-simplemap.c │ ├── test-treedbs.c │ ├── test-vset.c │ └── wine-wrapper.sh.in ├── torx │ ├── .gitignore │ ├── Makefile.am │ └── spec2torx.c ├── util-lib │ ├── Makefile.am │ ├── MurmurHash3.c │ ├── MurmurHash3.h │ ├── balloc.c │ ├── balloc.h │ ├── bitmultiset.c │ ├── bitmultiset.h │ ├── bitset.c │ ├── bitset.h │ ├── chunk_support.c │ ├── chunk_support.h │ ├── chunk_table_factory.c │ ├── chunk_table_factory.h │ ├── dfs-stack.c │ ├── dfs-stack.h │ ├── dynamic-array.c │ ├── dynamic-array.h │ ├── fast_hash.c │ ├── fast_hash.h │ ├── fast_set.c │ ├── fast_set.h │ ├── is-balloc.c │ ├── is-balloc.h │ ├── rationals.c │ ├── rationals.h │ ├── simplemap.c │ ├── simplemap.h │ ├── string-map.c │ ├── string-map.h │ ├── tables.c │ ├── tables.h │ ├── treedbs.c │ ├── treedbs.h │ ├── util.c │ ├── util.h │ ├── zobrist.c │ └── zobrist.h └── vset-lib │ ├── Makefile.am │ ├── sdd_utils.c │ ├── sdd_utils.h │ ├── vdom_object.h │ ├── vector.c │ ├── vector.h │ ├── vector_set.c │ ├── vector_set.h │ ├── vset_atermdd.c │ ├── vset_buddy.c │ ├── vset_ddd.cpp │ ├── vset_lddmc.c │ ├── vset_listdd.c │ ├── vset_listdd64.c │ ├── vset_sdd.c │ ├── vset_sdd.h │ ├── vset_sdd_utils.c │ ├── vset_sdd_utils.h │ ├── vset_sylvan.c │ ├── vtree_utils.c │ └── vtree_utils.h ├── testsuite ├── .gitignore ├── Makefile.am ├── TODO ├── check-DFS-FIFO │ └── test1.exp ├── check-DVE │ └── test1.exp ├── check-ETF │ └── test1.exp ├── check-LPO │ └── test1.exp ├── check-LPS │ └── test1.exp ├── check-LTL │ └── test1.exp ├── check-LTS │ └── test1.exp ├── check-MAPA │ └── test1.exp ├── check-MU │ └── test1.exp ├── check-OPAAL │ └── test1.exp ├── check-PBES │ └── test1.exp ├── check-PNML │ └── test1.exp ├── check-POR │ └── test1.exp ├── check-ProB │ └── test1.exp ├── check-Promela │ └── test1.exp ├── check-SCC │ └── test1.exp ├── check-safety │ └── test1.exp ├── lib │ ├── backends.tcl │ ├── default.exp │ ├── include.tcl │ └── unix.exp ├── ltsmin.exp └── wine.exp.in ├── travis ├── before_install-linux.sh ├── before_install-osx.sh ├── build-release-linux.sh ├── build-release-osx.sh ├── build-release-windows.sh ├── build-source.sh ├── build-web.sh ├── check-build-cache.sh ├── configure-generic.sh ├── configure-linux.sh ├── configure-osx.sh ├── configure-windows.sh ├── include-fix │ └── boost │ │ └── graph │ │ └── sloan_ordering.hpp ├── install-DiVinE.sh ├── install-ProB-generic.sh ├── install-ProB-linux.sh ├── install-ProB-osx.sh ├── install-generic.sh ├── install-linux.sh ├── install-mCRL2-generic.sh ├── install-mCRL2-linux.sh ├── install-mCRL2-osx.sh ├── install-osx.sh ├── install-windows.sh ├── ltsmin-version.sh ├── test-1.sh ├── test-2.sh └── test-windows.sh └── www ├── .gitignore ├── Gemfile ├── _config.yml.in ├── _layouts └── default.html └── assets ├── .gitignore ├── css └── style.scss ├── img └── pins_modern.png └── js └── main.js /.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/.classpath -------------------------------------------------------------------------------- /.github/workflows/Tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/.github/workflows/Tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/.travis.yml -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/AUTHORS -------------------------------------------------------------------------------- /CITATION: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/CITATION -------------------------------------------------------------------------------- /CODING-STANDARDS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/CODING-STANDARDS -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/COPYING -------------------------------------------------------------------------------- /ChangeLog: -------------------------------------------------------------------------------- 1 | changelog.md -------------------------------------------------------------------------------- /Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/Doxyfile -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/INSTALL -------------------------------------------------------------------------------- /Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/Makefile.am -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- 1 | changelog.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE-CHECKLIST: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/RELEASE-CHECKLIST -------------------------------------------------------------------------------- /autotools/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/autotools/.gitignore -------------------------------------------------------------------------------- /autotools/config.rpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/autotools/config.rpath -------------------------------------------------------------------------------- /changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/changelog.md -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/configure.ac -------------------------------------------------------------------------------- /contrib/bash-completion/ltsmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/contrib/bash-completion/ltsmin -------------------------------------------------------------------------------- /contrib/divine-2.4.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/contrib/divine-2.4.patch -------------------------------------------------------------------------------- /contrib/install_opaal_osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/contrib/install_opaal_osx.sh -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/.gitignore -------------------------------------------------------------------------------- /doc/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/Makefile.am -------------------------------------------------------------------------------- /doc/asciidoc.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/asciidoc.conf -------------------------------------------------------------------------------- /doc/callouts.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/callouts.xsl -------------------------------------------------------------------------------- /doc/ce-mpi.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ce-mpi.txt -------------------------------------------------------------------------------- /doc/code/regroup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/code/regroup.hs -------------------------------------------------------------------------------- /doc/code/saturation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/code/saturation.txt -------------------------------------------------------------------------------- /doc/code/sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/code/sym.txt -------------------------------------------------------------------------------- /doc/code/vector_doc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/code/vector_doc.txt -------------------------------------------------------------------------------- /doc/code/vector_set_tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/code/vector_set_tree.hs -------------------------------------------------------------------------------- /doc/dve2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/dve2lts-dist.txt -------------------------------------------------------------------------------- /doc/dve2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/dve2lts-mc.txt -------------------------------------------------------------------------------- /doc/dve2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/dve2lts-seq.txt -------------------------------------------------------------------------------- /doc/dve2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/dve2lts-sym.txt -------------------------------------------------------------------------------- /doc/dve2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/dve2torx.txt -------------------------------------------------------------------------------- /doc/etf-convert.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf-convert.txt -------------------------------------------------------------------------------- /doc/etf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf.txt -------------------------------------------------------------------------------- /doc/etf2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf2lts-dist.txt -------------------------------------------------------------------------------- /doc/etf2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf2lts-mc.txt -------------------------------------------------------------------------------- /doc/etf2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf2lts-seq.txt -------------------------------------------------------------------------------- /doc/etf2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf2lts-sym.txt -------------------------------------------------------------------------------- /doc/etf2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/etf2torx.txt -------------------------------------------------------------------------------- /doc/gcf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/gcf.txt -------------------------------------------------------------------------------- /doc/inc/buchi.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/buchi.txt -------------------------------------------------------------------------------- /doc/inc/buddy-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/buddy-options.txt -------------------------------------------------------------------------------- /doc/inc/compression.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/compression.txt -------------------------------------------------------------------------------- /doc/inc/devel-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/devel-options.txt -------------------------------------------------------------------------------- /doc/inc/dve.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/dve.txt -------------------------------------------------------------------------------- /doc/inc/env-vars.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/env-vars.txt -------------------------------------------------------------------------------- /doc/inc/file-formats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/file-formats.txt -------------------------------------------------------------------------------- /doc/inc/general-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/general-options.txt -------------------------------------------------------------------------------- /doc/inc/hre-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/hre-options.txt -------------------------------------------------------------------------------- /doc/inc/hre-startup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/hre-startup.txt -------------------------------------------------------------------------------- /doc/inc/lace-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/lace-options.txt -------------------------------------------------------------------------------- /doc/inc/lddmc-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/lddmc-options.txt -------------------------------------------------------------------------------- /doc/inc/listdd-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/listdd-options.txt -------------------------------------------------------------------------------- /doc/inc/listdd64-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/listdd64-options.txt -------------------------------------------------------------------------------- /doc/inc/lts-io-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/lts-io-options.txt -------------------------------------------------------------------------------- /doc/inc/mcrl-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/mcrl-options.txt -------------------------------------------------------------------------------- /doc/inc/mcrl2-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/mcrl2-options.txt -------------------------------------------------------------------------------- /doc/inc/mpi-blurb.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/mpi-blurb.txt -------------------------------------------------------------------------------- /doc/inc/mpi-example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/mpi-example.txt -------------------------------------------------------------------------------- /doc/inc/pbes-options.txt: -------------------------------------------------------------------------------- 1 | //=== pbes Options 2 | -------------------------------------------------------------------------------- /doc/inc/pins-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins-options.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-dist.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-mc-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-mc-options.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-mc.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-seq-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-seq-options.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-seq.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-sym-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-sym-options.txt -------------------------------------------------------------------------------- /doc/inc/pins2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2lts-sym.txt -------------------------------------------------------------------------------- /doc/inc/pins2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pins2torx.txt -------------------------------------------------------------------------------- /doc/inc/plugin-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/plugin-options.txt -------------------------------------------------------------------------------- /doc/inc/pnml-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pnml-options.txt -------------------------------------------------------------------------------- /doc/inc/pnml.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/pnml.txt -------------------------------------------------------------------------------- /doc/inc/prob-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/prob-options.txt -------------------------------------------------------------------------------- /doc/inc/prob.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/prob.txt -------------------------------------------------------------------------------- /doc/inc/procs-option.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/procs-option.txt -------------------------------------------------------------------------------- /doc/inc/prom.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/prom.txt -------------------------------------------------------------------------------- /doc/inc/reachability-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/reachability-options.txt -------------------------------------------------------------------------------- /doc/inc/regroup-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/regroup-options.txt -------------------------------------------------------------------------------- /doc/inc/scoop-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/scoop-options.txt -------------------------------------------------------------------------------- /doc/inc/spg-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/spg-options.txt -------------------------------------------------------------------------------- /doc/inc/spg-solve-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/spg-solve-options.txt -------------------------------------------------------------------------------- /doc/inc/support.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/support.txt -------------------------------------------------------------------------------- /doc/inc/sylvan-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/sylvan-options.txt -------------------------------------------------------------------------------- /doc/inc/threads-option.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/threads-option.txt -------------------------------------------------------------------------------- /doc/inc/vset-options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/inc/vset-options.txt -------------------------------------------------------------------------------- /doc/lpo2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lpo2lts-dist.txt -------------------------------------------------------------------------------- /doc/lpo2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lpo2lts-mc.txt -------------------------------------------------------------------------------- /doc/lpo2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lpo2lts-seq.txt -------------------------------------------------------------------------------- /doc/lpo2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lpo2lts-sym.txt -------------------------------------------------------------------------------- /doc/lpo2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lpo2torx.txt -------------------------------------------------------------------------------- /doc/lps2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lps2lts-dist.txt -------------------------------------------------------------------------------- /doc/lps2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lps2lts-mc.txt -------------------------------------------------------------------------------- /doc/lps2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lps2lts-seq.txt -------------------------------------------------------------------------------- /doc/lps2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lps2lts-sym.txt -------------------------------------------------------------------------------- /doc/lps2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/lps2torx.txt -------------------------------------------------------------------------------- /doc/ltsmin-compare.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-compare.txt -------------------------------------------------------------------------------- /doc/ltsmin-convert.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-convert.txt -------------------------------------------------------------------------------- /doc/ltsmin-ctl.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-ctl.txt -------------------------------------------------------------------------------- /doc/ltsmin-ltl.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-ltl.txt -------------------------------------------------------------------------------- /doc/ltsmin-mu.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-mu.txt -------------------------------------------------------------------------------- /doc/ltsmin-mucalc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-mucalc.txt -------------------------------------------------------------------------------- /doc/ltsmin-pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-pred.txt -------------------------------------------------------------------------------- /doc/ltsmin-printtrace.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-printtrace.txt -------------------------------------------------------------------------------- /doc/ltsmin-reduce-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-reduce-dist.txt -------------------------------------------------------------------------------- /doc/ltsmin-reduce.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-reduce.txt -------------------------------------------------------------------------------- /doc/ltsmin-type-system.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin-type-system.txt -------------------------------------------------------------------------------- /doc/ltsmin.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/ltsmin.txt -------------------------------------------------------------------------------- /doc/manpage-1.72.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/manpage-1.72.xsl -------------------------------------------------------------------------------- /doc/manpage-base.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/manpage-base.xsl -------------------------------------------------------------------------------- /doc/manpage-normal.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/manpage-normal.xsl -------------------------------------------------------------------------------- /doc/mapa2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/mapa2lts-dist.txt -------------------------------------------------------------------------------- /doc/mapa2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/mapa2lts-sym.txt -------------------------------------------------------------------------------- /doc/opaal2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/opaal2lts-mc.txt -------------------------------------------------------------------------------- /doc/pbes2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pbes2lts-dist.txt -------------------------------------------------------------------------------- /doc/pbes2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pbes2lts-mc.txt -------------------------------------------------------------------------------- /doc/pbes2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pbes2lts-seq.txt -------------------------------------------------------------------------------- /doc/pbes2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pbes2lts-sym.txt -------------------------------------------------------------------------------- /doc/pins-open.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pins-open.txt -------------------------------------------------------------------------------- /doc/pins2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pins2lts-dist.txt -------------------------------------------------------------------------------- /doc/pins2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pins2lts-mc.txt -------------------------------------------------------------------------------- /doc/pins2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pins2lts-seq.txt -------------------------------------------------------------------------------- /doc/pins2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pins2lts-sym.txt -------------------------------------------------------------------------------- /doc/pins2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pins2torx.txt -------------------------------------------------------------------------------- /doc/pnml2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pnml2lts-dist.txt -------------------------------------------------------------------------------- /doc/pnml2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pnml2lts-mc.txt -------------------------------------------------------------------------------- /doc/pnml2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pnml2lts-seq.txt -------------------------------------------------------------------------------- /doc/pnml2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/pnml2lts-sym.txt -------------------------------------------------------------------------------- /doc/prob2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prob2lts-dist.txt -------------------------------------------------------------------------------- /doc/prob2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prob2lts-mc.txt -------------------------------------------------------------------------------- /doc/prob2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prob2lts-seq.txt -------------------------------------------------------------------------------- /doc/prob2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prob2lts-sym.txt -------------------------------------------------------------------------------- /doc/prom2lts-dist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prom2lts-dist.txt -------------------------------------------------------------------------------- /doc/prom2lts-mc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prom2lts-mc.txt -------------------------------------------------------------------------------- /doc/prom2lts-seq.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prom2lts-seq.txt -------------------------------------------------------------------------------- /doc/prom2lts-sym.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prom2lts-sym.txt -------------------------------------------------------------------------------- /doc/prom2torx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/prom2torx.txt -------------------------------------------------------------------------------- /doc/spgsolver.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/spgsolver.txt -------------------------------------------------------------------------------- /doc/spins.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/spins.txt -------------------------------------------------------------------------------- /doc/tex/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/tex/.gitignore -------------------------------------------------------------------------------- /doc/tex/vector-fmt.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/doc/tex/vector-fmt.tex -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/Makefile.am -------------------------------------------------------------------------------- /examples/MutexSimple.mch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/MutexSimple.mch -------------------------------------------------------------------------------- /examples/Philosophers-5.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/Philosophers-5.pnml -------------------------------------------------------------------------------- /examples/abp.mcrl2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/abp.mcrl2 -------------------------------------------------------------------------------- /examples/anderson.1.prop4.dve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/anderson.1.prop4.dve -------------------------------------------------------------------------------- /examples/brp.mcrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/brp.mcrl -------------------------------------------------------------------------------- /examples/elevator.3-false.inv: -------------------------------------------------------------------------------- 1 | floor_queue_2\[0\]==2 -------------------------------------------------------------------------------- /examples/elevator.3.dve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/elevator.3.dve -------------------------------------------------------------------------------- /examples/elevator.3.inv: -------------------------------------------------------------------------------- 1 | Person_2 == "in_elevator" -> ! floor_queue_2\[0\]==2 -------------------------------------------------------------------------------- /examples/elevator.3.ltl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/elevator.3.ltl -------------------------------------------------------------------------------- /examples/fgs.promela: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/fgs.promela -------------------------------------------------------------------------------- /examples/fischer4.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/fischer4.xml -------------------------------------------------------------------------------- /examples/gear.1.dve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/gear.1.dve -------------------------------------------------------------------------------- /examples/gear.1.etf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/gear.1.etf -------------------------------------------------------------------------------- /examples/hef_wrong.mcrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/hef_wrong.mcrl -------------------------------------------------------------------------------- /examples/hef_wrong.tbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/hef_wrong.tbf -------------------------------------------------------------------------------- /examples/i4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/i4 -------------------------------------------------------------------------------- /examples/ieee-11073.mcrl2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/ieee-11073.mcrl2 -------------------------------------------------------------------------------- /examples/iprotocol.2.dve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/iprotocol.2.dve -------------------------------------------------------------------------------- /examples/iprotocol.2.ltl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/iprotocol.2.ltl -------------------------------------------------------------------------------- /examples/iprotocol.2.prop4.dve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/iprotocol.2.prop4.dve -------------------------------------------------------------------------------- /examples/nodeadlock.mu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/nodeadlock.mu -------------------------------------------------------------------------------- /examples/onebit.mcrl2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/onebit.mcrl2 -------------------------------------------------------------------------------- /examples/p117.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/p117.pml -------------------------------------------------------------------------------- /examples/p312.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/p312.pml -------------------------------------------------------------------------------- /examples/pbes_formula: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/pbes_formula -------------------------------------------------------------------------------- /examples/peterson3.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/peterson3.pml -------------------------------------------------------------------------------- /examples/salesman.mapa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/salesman.mapa -------------------------------------------------------------------------------- /examples/zune.ltl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/zune.ltl -------------------------------------------------------------------------------- /examples/zune.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/examples/zune.pml -------------------------------------------------------------------------------- /lemon/.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | lemon 3 | .deps/ 4 | -------------------------------------------------------------------------------- /lemon/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lemon/Makefile.am -------------------------------------------------------------------------------- /lemon/lemon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lemon/lemon.c -------------------------------------------------------------------------------- /lemon/lempar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lemon/lempar.c -------------------------------------------------------------------------------- /lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/Makefile.am -------------------------------------------------------------------------------- /lib/_Noreturn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/_Noreturn.h -------------------------------------------------------------------------------- /lib/alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/alloca.c -------------------------------------------------------------------------------- /lib/alloca.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/alloca.in.h -------------------------------------------------------------------------------- /lib/arg-nonnull.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/arg-nonnull.h -------------------------------------------------------------------------------- /lib/asnprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/asnprintf.c -------------------------------------------------------------------------------- /lib/assure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/assure.h -------------------------------------------------------------------------------- /lib/basename-lgpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/basename-lgpl.c -------------------------------------------------------------------------------- /lib/c++defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/c++defs.h -------------------------------------------------------------------------------- /lib/canonicalize-lgpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/canonicalize-lgpl.c -------------------------------------------------------------------------------- /lib/cdefs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/cdefs.h -------------------------------------------------------------------------------- /lib/cloexec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/cloexec.c -------------------------------------------------------------------------------- /lib/cloexec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/cloexec.h -------------------------------------------------------------------------------- /lib/close.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/close.c -------------------------------------------------------------------------------- /lib/dirent.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/dirent.in.h -------------------------------------------------------------------------------- /lib/dirfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/dirfd.c -------------------------------------------------------------------------------- /lib/dirname-lgpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/dirname-lgpl.c -------------------------------------------------------------------------------- /lib/dirname.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/dirname.h -------------------------------------------------------------------------------- /lib/dosname.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/dosname.h -------------------------------------------------------------------------------- /lib/dup2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/dup2.c -------------------------------------------------------------------------------- /lib/errno.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/errno.in.h -------------------------------------------------------------------------------- /lib/fchdir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fchdir.c -------------------------------------------------------------------------------- /lib/fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fcntl.c -------------------------------------------------------------------------------- /lib/fcntl.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fcntl.in.h -------------------------------------------------------------------------------- /lib/fd-hook.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fd-hook.c -------------------------------------------------------------------------------- /lib/fd-hook.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fd-hook.h -------------------------------------------------------------------------------- /lib/filename.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/filename.h -------------------------------------------------------------------------------- /lib/filenamecat-lgpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/filenamecat-lgpl.c -------------------------------------------------------------------------------- /lib/filenamecat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/filenamecat.h -------------------------------------------------------------------------------- /lib/flexmember.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/flexmember.h -------------------------------------------------------------------------------- /lib/float+.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/float+.h -------------------------------------------------------------------------------- /lib/float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/float.c -------------------------------------------------------------------------------- /lib/float.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/float.in.h -------------------------------------------------------------------------------- /lib/fnmatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fnmatch.c -------------------------------------------------------------------------------- /lib/fnmatch.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fnmatch.in.h -------------------------------------------------------------------------------- /lib/fnmatch_loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fnmatch_loop.c -------------------------------------------------------------------------------- /lib/fprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fprintf.c -------------------------------------------------------------------------------- /lib/fpucw.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fpucw.h -------------------------------------------------------------------------------- /lib/frexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/frexp.c -------------------------------------------------------------------------------- /lib/frexpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/frexpl.c -------------------------------------------------------------------------------- /lib/fseterr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fseterr.c -------------------------------------------------------------------------------- /lib/fseterr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fseterr.h -------------------------------------------------------------------------------- /lib/fstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fstat.c -------------------------------------------------------------------------------- /lib/fsync.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/fsync.c -------------------------------------------------------------------------------- /lib/getcwd-lgpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/getcwd-lgpl.c -------------------------------------------------------------------------------- /lib/getdelim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/getdelim.c -------------------------------------------------------------------------------- /lib/getdtablesize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/getdtablesize.c -------------------------------------------------------------------------------- /lib/getline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/getline.c -------------------------------------------------------------------------------- /lib/gettimeofday.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/gettimeofday.c -------------------------------------------------------------------------------- /lib/glthread/lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/glthread/lock.c -------------------------------------------------------------------------------- /lib/glthread/lock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/glthread/lock.h -------------------------------------------------------------------------------- /lib/glthread/threadlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/glthread/threadlib.c -------------------------------------------------------------------------------- /lib/hard-locale.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/hard-locale.c -------------------------------------------------------------------------------- /lib/hard-locale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/hard-locale.h -------------------------------------------------------------------------------- /lib/intprops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/intprops.h -------------------------------------------------------------------------------- /lib/isnan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnan.c -------------------------------------------------------------------------------- /lib/isnand-nolibm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnand-nolibm.h -------------------------------------------------------------------------------- /lib/isnand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnand.c -------------------------------------------------------------------------------- /lib/isnanf-nolibm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnanf-nolibm.h -------------------------------------------------------------------------------- /lib/isnanf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnanf.c -------------------------------------------------------------------------------- /lib/isnanl-nolibm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnanl-nolibm.h -------------------------------------------------------------------------------- /lib/isnanl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/isnanl.c -------------------------------------------------------------------------------- /lib/itold.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/itold.c -------------------------------------------------------------------------------- /lib/libc-config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/libc-config.h -------------------------------------------------------------------------------- /lib/limits.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/limits.in.h -------------------------------------------------------------------------------- /lib/localcharset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/localcharset.c -------------------------------------------------------------------------------- /lib/localcharset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/localcharset.h -------------------------------------------------------------------------------- /lib/localtime-buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/localtime-buffer.c -------------------------------------------------------------------------------- /lib/localtime-buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/localtime-buffer.h -------------------------------------------------------------------------------- /lib/lseek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/lseek.c -------------------------------------------------------------------------------- /lib/lstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/lstat.c -------------------------------------------------------------------------------- /lib/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/malloc.c -------------------------------------------------------------------------------- /lib/malloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/malloca.c -------------------------------------------------------------------------------- /lib/malloca.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/malloca.h -------------------------------------------------------------------------------- /lib/math.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/math.c -------------------------------------------------------------------------------- /lib/math.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/math.in.h -------------------------------------------------------------------------------- /lib/mbrtowc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/mbrtowc.c -------------------------------------------------------------------------------- /lib/mbsinit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/mbsinit.c -------------------------------------------------------------------------------- /lib/mbsrtowcs-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/mbsrtowcs-impl.h -------------------------------------------------------------------------------- /lib/mbsrtowcs-state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/mbsrtowcs-state.c -------------------------------------------------------------------------------- /lib/mbsrtowcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/mbsrtowcs.c -------------------------------------------------------------------------------- /lib/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/memchr.c -------------------------------------------------------------------------------- /lib/memchr.valgrind: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/memchr.valgrind -------------------------------------------------------------------------------- /lib/mkdtemp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/mkdtemp.c -------------------------------------------------------------------------------- /lib/msvc-inval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/msvc-inval.c -------------------------------------------------------------------------------- /lib/msvc-inval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/msvc-inval.h -------------------------------------------------------------------------------- /lib/msvc-nothrow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/msvc-nothrow.c -------------------------------------------------------------------------------- /lib/msvc-nothrow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/msvc-nothrow.h -------------------------------------------------------------------------------- /lib/open.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/open.c -------------------------------------------------------------------------------- /lib/pathmax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/pathmax.h -------------------------------------------------------------------------------- /lib/pread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/pread.c -------------------------------------------------------------------------------- /lib/printf-args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-args.c -------------------------------------------------------------------------------- /lib/printf-args.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-args.h -------------------------------------------------------------------------------- /lib/printf-frexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-frexp.c -------------------------------------------------------------------------------- /lib/printf-frexp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-frexp.h -------------------------------------------------------------------------------- /lib/printf-frexpl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-frexpl.c -------------------------------------------------------------------------------- /lib/printf-frexpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-frexpl.h -------------------------------------------------------------------------------- /lib/printf-parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-parse.c -------------------------------------------------------------------------------- /lib/printf-parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/printf-parse.h -------------------------------------------------------------------------------- /lib/progname.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/progname.c -------------------------------------------------------------------------------- /lib/progname.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/progname.h -------------------------------------------------------------------------------- /lib/pwrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/pwrite.c -------------------------------------------------------------------------------- /lib/qsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/qsort.c -------------------------------------------------------------------------------- /lib/qsort_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/qsort_r.c -------------------------------------------------------------------------------- /lib/raise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/raise.c -------------------------------------------------------------------------------- /lib/random_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/random_r.c -------------------------------------------------------------------------------- /lib/read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/read.c -------------------------------------------------------------------------------- /lib/readlink.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/readlink.c -------------------------------------------------------------------------------- /lib/realloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/realloc.c -------------------------------------------------------------------------------- /lib/sig-handler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sig-handler.c -------------------------------------------------------------------------------- /lib/sig-handler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sig-handler.h -------------------------------------------------------------------------------- /lib/sigaction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sigaction.c -------------------------------------------------------------------------------- /lib/signal.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/signal.in.h -------------------------------------------------------------------------------- /lib/signbitd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/signbitd.c -------------------------------------------------------------------------------- /lib/signbitf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/signbitf.c -------------------------------------------------------------------------------- /lib/signbitl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/signbitl.c -------------------------------------------------------------------------------- /lib/sigprocmask.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sigprocmask.c -------------------------------------------------------------------------------- /lib/size_max.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/size_max.h -------------------------------------------------------------------------------- /lib/stat-time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stat-time.c -------------------------------------------------------------------------------- /lib/stat-time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stat-time.h -------------------------------------------------------------------------------- /lib/stat-w32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stat-w32.c -------------------------------------------------------------------------------- /lib/stat-w32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stat-w32.h -------------------------------------------------------------------------------- /lib/stat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stat.c -------------------------------------------------------------------------------- /lib/stdbool.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stdbool.in.h -------------------------------------------------------------------------------- /lib/stddef.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stddef.in.h -------------------------------------------------------------------------------- /lib/stdint.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stdint.in.h -------------------------------------------------------------------------------- /lib/stdio-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stdio-impl.h -------------------------------------------------------------------------------- /lib/stdio.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stdio.in.h -------------------------------------------------------------------------------- /lib/stdlib.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stdlib.in.h -------------------------------------------------------------------------------- /lib/strdup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strdup.c -------------------------------------------------------------------------------- /lib/streq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/streq.h -------------------------------------------------------------------------------- /lib/strerror-override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strerror-override.c -------------------------------------------------------------------------------- /lib/strerror-override.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strerror-override.h -------------------------------------------------------------------------------- /lib/strerror_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strerror_r.c -------------------------------------------------------------------------------- /lib/string.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/string.in.h -------------------------------------------------------------------------------- /lib/stripslash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/stripslash.c -------------------------------------------------------------------------------- /lib/strndup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strndup.c -------------------------------------------------------------------------------- /lib/strnlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strnlen.c -------------------------------------------------------------------------------- /lib/strnlen1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strnlen1.c -------------------------------------------------------------------------------- /lib/strnlen1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strnlen1.h -------------------------------------------------------------------------------- /lib/strsep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/strsep.c -------------------------------------------------------------------------------- /lib/sys_stat.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sys_stat.in.h -------------------------------------------------------------------------------- /lib/sys_time.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sys_time.in.h -------------------------------------------------------------------------------- /lib/sys_times.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sys_times.in.h -------------------------------------------------------------------------------- /lib/sys_types.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sys_types.in.h -------------------------------------------------------------------------------- /lib/sys_wait.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/sys_wait.in.h -------------------------------------------------------------------------------- /lib/tempname.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/tempname.c -------------------------------------------------------------------------------- /lib/tempname.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/tempname.h -------------------------------------------------------------------------------- /lib/time.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/time.in.h -------------------------------------------------------------------------------- /lib/times.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/times.c -------------------------------------------------------------------------------- /lib/unistd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/unistd.c -------------------------------------------------------------------------------- /lib/unistd.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/unistd.in.h -------------------------------------------------------------------------------- /lib/vasnprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/vasnprintf.c -------------------------------------------------------------------------------- /lib/vasnprintf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/vasnprintf.h -------------------------------------------------------------------------------- /lib/verify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/verify.h -------------------------------------------------------------------------------- /lib/warn-on-use.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/warn-on-use.h -------------------------------------------------------------------------------- /lib/wchar.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/wchar.in.h -------------------------------------------------------------------------------- /lib/wctype-h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/wctype-h.c -------------------------------------------------------------------------------- /lib/wctype.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/wctype.in.h -------------------------------------------------------------------------------- /lib/write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/write.c -------------------------------------------------------------------------------- /lib/xalloc-oversized.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/xalloc-oversized.h -------------------------------------------------------------------------------- /lib/xsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/xsize.c -------------------------------------------------------------------------------- /lib/xsize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/lib/xsize.h -------------------------------------------------------------------------------- /ltsminreconf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/ltsminreconf -------------------------------------------------------------------------------- /m4/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/.gitignore -------------------------------------------------------------------------------- /m4/00gnulib.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/00gnulib.m4 -------------------------------------------------------------------------------- /m4/__inline.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/__inline.m4 -------------------------------------------------------------------------------- /m4/absolute-header.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/absolute-header.m4 -------------------------------------------------------------------------------- /m4/ac_prog_cc_for_build.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ac_prog_cc_for_build.m4 -------------------------------------------------------------------------------- /m4/acx_cache_line.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_cache_line.m4 -------------------------------------------------------------------------------- /m4/acx_cadp.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_cadp.m4 -------------------------------------------------------------------------------- /m4/acx_ddd.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_ddd.m4 -------------------------------------------------------------------------------- /m4/acx_export_dynamic.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_export_dynamic.m4 -------------------------------------------------------------------------------- /m4/acx_fink.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_fink.m4 -------------------------------------------------------------------------------- /m4/acx_macports.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_macports.m4 -------------------------------------------------------------------------------- /m4/acx_mcrl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_mcrl.m4 -------------------------------------------------------------------------------- /m4/acx_mcrl2.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_mcrl2.m4 -------------------------------------------------------------------------------- /m4/acx_pkgsrc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_pkgsrc.m4 -------------------------------------------------------------------------------- /m4/acx_pthread.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_pthread.m4 -------------------------------------------------------------------------------- /m4/acx_sdd.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_sdd.m4 -------------------------------------------------------------------------------- /m4/acx_spins.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/acx_spins.m4 -------------------------------------------------------------------------------- /m4/alloca.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/alloca.m4 -------------------------------------------------------------------------------- /m4/amdoxygen.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/amdoxygen.m4 -------------------------------------------------------------------------------- /m4/asm-underscore.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/asm-underscore.m4 -------------------------------------------------------------------------------- /m4/ax_boost_base.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_boost_base.m4 -------------------------------------------------------------------------------- /m4/ax_cc_compile_cxx_link.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_cc_compile_cxx_link.m4 -------------------------------------------------------------------------------- /m4/ax_check_compile_flag.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_check_compile_flag.m4 -------------------------------------------------------------------------------- /m4/ax_check_func_include.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_check_func_include.m4 -------------------------------------------------------------------------------- /m4/ax_cxx_check_lib.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_cxx_check_lib.m4 -------------------------------------------------------------------------------- /m4/ax_cxx_compile_stdcxx.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_cxx_compile_stdcxx.m4 -------------------------------------------------------------------------------- /m4/ax_cxx_compile_stdcxx_11.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_cxx_compile_stdcxx_11.m4 -------------------------------------------------------------------------------- /m4/ax_cxx_compile_stdcxx_17.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_cxx_compile_stdcxx_17.m4 -------------------------------------------------------------------------------- /m4/ax_let.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_let.m4 -------------------------------------------------------------------------------- /m4/ax_mpi.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_mpi.m4 -------------------------------------------------------------------------------- /m4/ax_prog_bison.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_prog_bison.m4 -------------------------------------------------------------------------------- /m4/ax_prog_bison_version.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_prog_bison_version.m4 -------------------------------------------------------------------------------- /m4/ax_prog_doxygen.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_prog_doxygen.m4 -------------------------------------------------------------------------------- /m4/ax_prog_flex.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_prog_flex.m4 -------------------------------------------------------------------------------- /m4/ax_require_one_func.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_require_one_func.m4 -------------------------------------------------------------------------------- /m4/ax_try_cflags_ifelse.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ax_try_cflags_ifelse.m4 -------------------------------------------------------------------------------- /m4/builtin-expect.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/builtin-expect.m4 -------------------------------------------------------------------------------- /m4/canonicalize.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/canonicalize.m4 -------------------------------------------------------------------------------- /m4/check_jdk.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/check_jdk.m4 -------------------------------------------------------------------------------- /m4/check_zlib.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/check_zlib.m4 -------------------------------------------------------------------------------- /m4/close.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/close.m4 -------------------------------------------------------------------------------- /m4/codeset.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/codeset.m4 -------------------------------------------------------------------------------- /m4/dirent_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/dirent_h.m4 -------------------------------------------------------------------------------- /m4/dirfd.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/dirfd.m4 -------------------------------------------------------------------------------- /m4/dirname.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/dirname.m4 -------------------------------------------------------------------------------- /m4/double-slash-root.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/double-slash-root.m4 -------------------------------------------------------------------------------- /m4/dup2.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/dup2.m4 -------------------------------------------------------------------------------- /m4/eealloc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/eealloc.m4 -------------------------------------------------------------------------------- /m4/errno_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/errno_h.m4 -------------------------------------------------------------------------------- /m4/exponentd.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/exponentd.m4 -------------------------------------------------------------------------------- /m4/exponentf.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/exponentf.m4 -------------------------------------------------------------------------------- /m4/exponentl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/exponentl.m4 -------------------------------------------------------------------------------- /m4/extensions.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/extensions.m4 -------------------------------------------------------------------------------- /m4/extern-inline.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/extern-inline.m4 -------------------------------------------------------------------------------- /m4/fchdir.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fchdir.m4 -------------------------------------------------------------------------------- /m4/fcntl-o.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fcntl-o.m4 -------------------------------------------------------------------------------- /m4/fcntl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fcntl.m4 -------------------------------------------------------------------------------- /m4/fcntl_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fcntl_h.m4 -------------------------------------------------------------------------------- /m4/filenamecat.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/filenamecat.m4 -------------------------------------------------------------------------------- /m4/flexmember.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/flexmember.m4 -------------------------------------------------------------------------------- /m4/float_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/float_h.m4 -------------------------------------------------------------------------------- /m4/fnmatch.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fnmatch.m4 -------------------------------------------------------------------------------- /m4/fpieee.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fpieee.m4 -------------------------------------------------------------------------------- /m4/fprintf-posix.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fprintf-posix.m4 -------------------------------------------------------------------------------- /m4/frexp.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/frexp.m4 -------------------------------------------------------------------------------- /m4/frexpl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/frexpl.m4 -------------------------------------------------------------------------------- /m4/fseterr.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fseterr.m4 -------------------------------------------------------------------------------- /m4/fstat.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fstat.m4 -------------------------------------------------------------------------------- /m4/fsync.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/fsync.m4 -------------------------------------------------------------------------------- /m4/getcwd.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/getcwd.m4 -------------------------------------------------------------------------------- /m4/getdelim.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/getdelim.m4 -------------------------------------------------------------------------------- /m4/getdtablesize.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/getdtablesize.m4 -------------------------------------------------------------------------------- /m4/getline.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/getline.m4 -------------------------------------------------------------------------------- /m4/gettimeofday.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/gettimeofday.m4 -------------------------------------------------------------------------------- /m4/gnulib-cache.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/gnulib-cache.m4 -------------------------------------------------------------------------------- /m4/gnulib-common.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/gnulib-common.m4 -------------------------------------------------------------------------------- /m4/gnulib-comp.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/gnulib-comp.m4 -------------------------------------------------------------------------------- /m4/gnulib-tool.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/gnulib-tool.m4 -------------------------------------------------------------------------------- /m4/host-cpu-c-abi.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/host-cpu-c-abi.m4 -------------------------------------------------------------------------------- /m4/include_next.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/include_next.m4 -------------------------------------------------------------------------------- /m4/intmax_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/intmax_t.m4 -------------------------------------------------------------------------------- /m4/inttypes_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/inttypes_h.m4 -------------------------------------------------------------------------------- /m4/isnand.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/isnand.m4 -------------------------------------------------------------------------------- /m4/isnanf.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/isnanf.m4 -------------------------------------------------------------------------------- /m4/isnanl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/isnanl.m4 -------------------------------------------------------------------------------- /m4/largefile.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/largefile.m4 -------------------------------------------------------------------------------- /m4/ldexpl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ldexpl.m4 -------------------------------------------------------------------------------- /m4/lib-ld.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/lib-ld.m4 -------------------------------------------------------------------------------- /m4/lib-link.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/lib-link.m4 -------------------------------------------------------------------------------- /m4/lib-prefix.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/lib-prefix.m4 -------------------------------------------------------------------------------- /m4/limits-h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/limits-h.m4 -------------------------------------------------------------------------------- /m4/localcharset.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/localcharset.m4 -------------------------------------------------------------------------------- /m4/locale-fr.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/locale-fr.m4 -------------------------------------------------------------------------------- /m4/locale-ja.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/locale-ja.m4 -------------------------------------------------------------------------------- /m4/locale-zh.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/locale-zh.m4 -------------------------------------------------------------------------------- /m4/localtime-buffer.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/localtime-buffer.m4 -------------------------------------------------------------------------------- /m4/lock.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/lock.m4 -------------------------------------------------------------------------------- /m4/longlong.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/longlong.m4 -------------------------------------------------------------------------------- /m4/lseek.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/lseek.m4 -------------------------------------------------------------------------------- /m4/lstat.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/lstat.m4 -------------------------------------------------------------------------------- /m4/ltargz.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ltargz.m4 -------------------------------------------------------------------------------- /m4/ltdl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ltdl.m4 -------------------------------------------------------------------------------- /m4/m4-ax_compare_version.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/m4-ax_compare_version.m4 -------------------------------------------------------------------------------- /m4/m4_ax_check_compile_flag.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/m4_ax_check_compile_flag.m4 -------------------------------------------------------------------------------- /m4/malloc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/malloc.m4 -------------------------------------------------------------------------------- /m4/malloca.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/malloca.m4 -------------------------------------------------------------------------------- /m4/math_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/math_h.m4 -------------------------------------------------------------------------------- /m4/mbrtowc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mbrtowc.m4 -------------------------------------------------------------------------------- /m4/mbsinit.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mbsinit.m4 -------------------------------------------------------------------------------- /m4/mbsrtowcs.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mbsrtowcs.m4 -------------------------------------------------------------------------------- /m4/mbstate_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mbstate_t.m4 -------------------------------------------------------------------------------- /m4/memchr.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/memchr.m4 -------------------------------------------------------------------------------- /m4/mkdtemp.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mkdtemp.m4 -------------------------------------------------------------------------------- /m4/mmap-anon.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mmap-anon.m4 -------------------------------------------------------------------------------- /m4/mode_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/mode_t.m4 -------------------------------------------------------------------------------- /m4/msvc-inval.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/msvc-inval.m4 -------------------------------------------------------------------------------- /m4/msvc-nothrow.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/msvc-nothrow.m4 -------------------------------------------------------------------------------- /m4/multiarch.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/multiarch.m4 -------------------------------------------------------------------------------- /m4/nocrash.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/nocrash.m4 -------------------------------------------------------------------------------- /m4/off_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/off_t.m4 -------------------------------------------------------------------------------- /m4/open-cloexec.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/open-cloexec.m4 -------------------------------------------------------------------------------- /m4/open.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/open.m4 -------------------------------------------------------------------------------- /m4/pathmax.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/pathmax.m4 -------------------------------------------------------------------------------- /m4/pread.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/pread.m4 -------------------------------------------------------------------------------- /m4/printf-frexp.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/printf-frexp.m4 -------------------------------------------------------------------------------- /m4/printf-frexpl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/printf-frexpl.m4 -------------------------------------------------------------------------------- /m4/printf.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/printf.m4 -------------------------------------------------------------------------------- /m4/pthread_rwlock_rdlock.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/pthread_rwlock_rdlock.m4 -------------------------------------------------------------------------------- /m4/pwrite.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/pwrite.m4 -------------------------------------------------------------------------------- /m4/qsort_r.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/qsort_r.m4 -------------------------------------------------------------------------------- /m4/raise.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/raise.m4 -------------------------------------------------------------------------------- /m4/random_r.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/random_r.m4 -------------------------------------------------------------------------------- /m4/read.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/read.m4 -------------------------------------------------------------------------------- /m4/readlink.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/readlink.m4 -------------------------------------------------------------------------------- /m4/realloc.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/realloc.m4 -------------------------------------------------------------------------------- /m4/sigaction.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sigaction.m4 -------------------------------------------------------------------------------- /m4/signal_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/signal_h.m4 -------------------------------------------------------------------------------- /m4/signalblocking.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/signalblocking.m4 -------------------------------------------------------------------------------- /m4/signbit.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/signbit.m4 -------------------------------------------------------------------------------- /m4/size_max.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/size_max.m4 -------------------------------------------------------------------------------- /m4/ssize_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/ssize_t.m4 -------------------------------------------------------------------------------- /m4/stat-time.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stat-time.m4 -------------------------------------------------------------------------------- /m4/stat.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stat.m4 -------------------------------------------------------------------------------- /m4/stdbool.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stdbool.m4 -------------------------------------------------------------------------------- /m4/stddef_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stddef_h.m4 -------------------------------------------------------------------------------- /m4/stdint.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stdint.m4 -------------------------------------------------------------------------------- /m4/stdint_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stdint_h.m4 -------------------------------------------------------------------------------- /m4/stdio_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stdio_h.m4 -------------------------------------------------------------------------------- /m4/stdlib_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/stdlib_h.m4 -------------------------------------------------------------------------------- /m4/strdup.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/strdup.m4 -------------------------------------------------------------------------------- /m4/strerror.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/strerror.m4 -------------------------------------------------------------------------------- /m4/strerror_r.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/strerror_r.m4 -------------------------------------------------------------------------------- /m4/string_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/string_h.m4 -------------------------------------------------------------------------------- /m4/strndup.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/strndup.m4 -------------------------------------------------------------------------------- /m4/strnlen.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/strnlen.m4 -------------------------------------------------------------------------------- /m4/strsep.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/strsep.m4 -------------------------------------------------------------------------------- /m4/sys_socket_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sys_socket_h.m4 -------------------------------------------------------------------------------- /m4/sys_stat_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sys_stat_h.m4 -------------------------------------------------------------------------------- /m4/sys_time_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sys_time_h.m4 -------------------------------------------------------------------------------- /m4/sys_times_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sys_times_h.m4 -------------------------------------------------------------------------------- /m4/sys_types_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sys_types_h.m4 -------------------------------------------------------------------------------- /m4/sys_wait_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/sys_wait_h.m4 -------------------------------------------------------------------------------- /m4/tempname.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/tempname.m4 -------------------------------------------------------------------------------- /m4/threadlib.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/threadlib.m4 -------------------------------------------------------------------------------- /m4/time_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/time_h.m4 -------------------------------------------------------------------------------- /m4/times.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/times.m4 -------------------------------------------------------------------------------- /m4/unistd_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/unistd_h.m4 -------------------------------------------------------------------------------- /m4/vasnprintf.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/vasnprintf.m4 -------------------------------------------------------------------------------- /m4/viennacl.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/viennacl.m4 -------------------------------------------------------------------------------- /m4/warn-on-use.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/warn-on-use.m4 -------------------------------------------------------------------------------- /m4/wchar_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/wchar_h.m4 -------------------------------------------------------------------------------- /m4/wchar_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/wchar_t.m4 -------------------------------------------------------------------------------- /m4/wctype_h.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/wctype_h.m4 -------------------------------------------------------------------------------- /m4/wint_t.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/wint_t.m4 -------------------------------------------------------------------------------- /m4/write.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/write.m4 -------------------------------------------------------------------------------- /m4/xsize.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/m4/xsize.m4 -------------------------------------------------------------------------------- /resources/fmt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/resources/fmt.png -------------------------------------------------------------------------------- /resources/ut.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/resources/ut.png -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/.gitignore -------------------------------------------------------------------------------- /src/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/Makefile.am -------------------------------------------------------------------------------- /src/andl-lib/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/andl-lib/.gitignore -------------------------------------------------------------------------------- /src/andl-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/andl-lib/Makefile.am -------------------------------------------------------------------------------- /src/andl-lib/andl-lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/andl-lib/andl-lexer.l -------------------------------------------------------------------------------- /src/andl-lib/andl-parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/andl-lib/andl-parser.y -------------------------------------------------------------------------------- /src/bignum/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/bignum/Makefile.am -------------------------------------------------------------------------------- /src/bignum/bignum-gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/bignum/bignum-gmp.c -------------------------------------------------------------------------------- /src/bignum/bignum-ll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/bignum/bignum-ll.c -------------------------------------------------------------------------------- /src/bignum/bignum-tommath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/bignum/bignum-tommath.c -------------------------------------------------------------------------------- /src/bignum/bignum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/bignum/bignum.h -------------------------------------------------------------------------------- /src/ce/.gitignore: -------------------------------------------------------------------------------- 1 | ce-mpi -------------------------------------------------------------------------------- /src/ce/Ddlts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/Ddlts.c -------------------------------------------------------------------------------- /src/ce/Ddlts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/Ddlts.h -------------------------------------------------------------------------------- /src/ce/Dtaudlts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/Dtaudlts.c -------------------------------------------------------------------------------- /src/ce/Dtaudlts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/Dtaudlts.h -------------------------------------------------------------------------------- /src/ce/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/Makefile.am -------------------------------------------------------------------------------- /src/ce/README.historic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/README.historic -------------------------------------------------------------------------------- /src/ce/bufs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/bufs.c -------------------------------------------------------------------------------- /src/ce/bufs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/bufs.h -------------------------------------------------------------------------------- /src/ce/ce-mpi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/ce-mpi.c -------------------------------------------------------------------------------- /src/ce/groups.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/groups.c -------------------------------------------------------------------------------- /src/ce/groups.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/groups.h -------------------------------------------------------------------------------- /src/ce/paint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/paint.c -------------------------------------------------------------------------------- /src/ce/paint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/paint.h -------------------------------------------------------------------------------- /src/ce/sortcount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/sortcount.c -------------------------------------------------------------------------------- /src/ce/sortcount.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ce/sortcount.h -------------------------------------------------------------------------------- /src/dm/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/Makefile.am -------------------------------------------------------------------------------- /src/dm/bitvector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/bitvector.c -------------------------------------------------------------------------------- /src/dm/bitvector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/bitvector.h -------------------------------------------------------------------------------- /src/dm/dm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/dm.c -------------------------------------------------------------------------------- /src/dm/dm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/dm.h -------------------------------------------------------------------------------- /src/dm/dm_boost.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/dm_boost.cpp -------------------------------------------------------------------------------- /src/dm/dm_boost.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/dm_boost.h -------------------------------------------------------------------------------- /src/dm/dm_viennacl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/dm_viennacl.cpp -------------------------------------------------------------------------------- /src/dm/dm_viennacl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/dm_viennacl.h -------------------------------------------------------------------------------- /src/dm/sloan_ordering.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/dm/sloan_ordering.hpp -------------------------------------------------------------------------------- /src/etf-convert/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/etf-convert/Makefile.am -------------------------------------------------------------------------------- /src/etf-convert/etf-convert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/etf-convert/etf-convert.c -------------------------------------------------------------------------------- /src/gcf-tool/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/gcf-tool/Makefile.am -------------------------------------------------------------------------------- /src/gcf-tool/gcf-tool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/gcf-tool/gcf-tool.c -------------------------------------------------------------------------------- /src/hre-io/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/Makefile.am -------------------------------------------------------------------------------- /src/hre-io/arch_object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/arch_object.h -------------------------------------------------------------------------------- /src/hre-io/archive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/archive.h -------------------------------------------------------------------------------- /src/hre-io/client-server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/client-server.h -------------------------------------------------------------------------------- /src/hre-io/fifo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/fifo.h -------------------------------------------------------------------------------- /src/hre-io/gcf_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/gcf_common.h -------------------------------------------------------------------------------- /src/hre-io/hre_archive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_archive.c -------------------------------------------------------------------------------- /src/hre-io/hre_archive_dir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_archive_dir.c -------------------------------------------------------------------------------- /src/hre-io/hre_client_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_client_server.c -------------------------------------------------------------------------------- /src/hre-io/hre_fifo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_fifo.c -------------------------------------------------------------------------------- /src/hre-io/hre_gcf_common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_gcf_common.c -------------------------------------------------------------------------------- /src/hre-io/hre_gcf_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_gcf_read.c -------------------------------------------------------------------------------- /src/hre-io/hre_gcf_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_gcf_write.c -------------------------------------------------------------------------------- /src/hre-io/hre_gzstream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_gzstream.c -------------------------------------------------------------------------------- /src/hre-io/hre_raf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_raf.c -------------------------------------------------------------------------------- /src/hre-io/hre_stream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_stream.c -------------------------------------------------------------------------------- /src/hre-io/hre_stream_buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_stream_buffer.c -------------------------------------------------------------------------------- /src/hre-io/hre_stream_diff32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_stream_diff32.c -------------------------------------------------------------------------------- /src/hre-io/hre_stream_fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_stream_fd.c -------------------------------------------------------------------------------- /src/hre-io/hre_stream_mem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_stream_mem.c -------------------------------------------------------------------------------- /src/hre-io/hre_stream_rle32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_stream_rle32.c -------------------------------------------------------------------------------- /src/hre-io/hre_struct_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_struct_io.c -------------------------------------------------------------------------------- /src/hre-io/hre_zip_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/hre_zip_io.c -------------------------------------------------------------------------------- /src/hre-io/raf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/raf.h -------------------------------------------------------------------------------- /src/hre-io/raf_object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/raf_object.h -------------------------------------------------------------------------------- /src/hre-io/stream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/stream.h -------------------------------------------------------------------------------- /src/hre-io/stream_object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/stream_object.h -------------------------------------------------------------------------------- /src/hre-io/struct_io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/struct_io.h -------------------------------------------------------------------------------- /src/hre-io/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/types.h -------------------------------------------------------------------------------- /src/hre-io/user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-io/user.h -------------------------------------------------------------------------------- /src/hre-mpi/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-mpi/Makefile.am -------------------------------------------------------------------------------- /src/hre-mpi/hre_mpi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-mpi/hre_mpi.c -------------------------------------------------------------------------------- /src/hre-mpi/mpi_event_loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-mpi/mpi_event_loop.c -------------------------------------------------------------------------------- /src/hre-mpi/mpi_event_loop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-mpi/mpi_event_loop.h -------------------------------------------------------------------------------- /src/hre-mpi/user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre-mpi/user.h -------------------------------------------------------------------------------- /src/hre/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/Makefile.am -------------------------------------------------------------------------------- /src/hre/context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/context.h -------------------------------------------------------------------------------- /src/hre/dir_ops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/dir_ops.h -------------------------------------------------------------------------------- /src/hre/feedback.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/feedback.h -------------------------------------------------------------------------------- /src/hre/hre_context.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_context.c -------------------------------------------------------------------------------- /src/hre/hre_dir_ops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_dir_ops.c -------------------------------------------------------------------------------- /src/hre/hre_feedback.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_feedback.c -------------------------------------------------------------------------------- /src/hre/hre_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_main.c -------------------------------------------------------------------------------- /src/hre/hre_malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_malloc.c -------------------------------------------------------------------------------- /src/hre/hre_messaging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_messaging.c -------------------------------------------------------------------------------- /src/hre/hre_popt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_popt.c -------------------------------------------------------------------------------- /src/hre/hre_pthread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_pthread.c -------------------------------------------------------------------------------- /src/hre/hre_queue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_queue.c -------------------------------------------------------------------------------- /src/hre/hre_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_reduce.c -------------------------------------------------------------------------------- /src/hre/hre_runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_runtime.c -------------------------------------------------------------------------------- /src/hre/hre_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_table.c -------------------------------------------------------------------------------- /src/hre/hre_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_timer.c -------------------------------------------------------------------------------- /src/hre/hre_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/hre_utils.c -------------------------------------------------------------------------------- /src/hre/internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/internal.h -------------------------------------------------------------------------------- /src/hre/provider.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/provider.h -------------------------------------------------------------------------------- /src/hre/queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/queue.h -------------------------------------------------------------------------------- /src/hre/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/runtime.h -------------------------------------------------------------------------------- /src/hre/stringindex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/stringindex.c -------------------------------------------------------------------------------- /src/hre/stringindex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/stringindex.h -------------------------------------------------------------------------------- /src/hre/table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/table.h -------------------------------------------------------------------------------- /src/hre/unix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/unix.h -------------------------------------------------------------------------------- /src/hre/user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/hre/user.h -------------------------------------------------------------------------------- /src/ldd2bdd/.gitignore: -------------------------------------------------------------------------------- 1 | ldd2bdd 2 | -------------------------------------------------------------------------------- /src/ldd2bdd/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ldd2bdd/Makefile.am -------------------------------------------------------------------------------- /src/ldd2bdd/ldd2bdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ldd2bdd/ldd2bdd.c -------------------------------------------------------------------------------- /src/lts-io/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/Makefile.am -------------------------------------------------------------------------------- /src/lts-io/aut_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/aut_io.c -------------------------------------------------------------------------------- /src/lts-io/bcg_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/bcg_io.c -------------------------------------------------------------------------------- /src/lts-io/file-base.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/file-base.c -------------------------------------------------------------------------------- /src/lts-io/filter_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/filter_write.c -------------------------------------------------------------------------------- /src/lts-io/fsm_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/fsm_write.c -------------------------------------------------------------------------------- /src/lts-io/internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/internal.h -------------------------------------------------------------------------------- /src/lts-io/lts-io.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/lts-io.doc -------------------------------------------------------------------------------- /src/lts-io/lts-type-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/lts-type-io.c -------------------------------------------------------------------------------- /src/lts-io/lts_file_misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/lts_file_misc.c -------------------------------------------------------------------------------- /src/lts-io/provider.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/provider.h -------------------------------------------------------------------------------- /src/lts-io/user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/user.h -------------------------------------------------------------------------------- /src/lts-io/vector_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/vector_read.c -------------------------------------------------------------------------------- /src/lts-io/vector_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-io/vector_write.c -------------------------------------------------------------------------------- /src/lts-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/Makefile.am -------------------------------------------------------------------------------- /src/lts-lib/bfs_reorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/bfs_reorder.c -------------------------------------------------------------------------------- /src/lts-lib/determinize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/determinize.c -------------------------------------------------------------------------------- /src/lts-lib/dir-info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/dir-info.c -------------------------------------------------------------------------------- /src/lts-lib/dir-info.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/dir-info.h -------------------------------------------------------------------------------- /src/lts-lib/find-states.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/find-states.c -------------------------------------------------------------------------------- /src/lts-lib/lowmem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lowmem.h -------------------------------------------------------------------------------- /src/lts-lib/lowmem_b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lowmem_b.c -------------------------------------------------------------------------------- /src/lts-lib/lowmem_lump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lowmem_lump.c -------------------------------------------------------------------------------- /src/lts-lib/lowmem_s.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lowmem_s.c -------------------------------------------------------------------------------- /src/lts-lib/lts-imca-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts-imca-io.c -------------------------------------------------------------------------------- /src/lts-lib/lts-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts-io.c -------------------------------------------------------------------------------- /src/lts-lib/lts-lib.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts-lib.doc -------------------------------------------------------------------------------- /src/lts-lib/lts-pg-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts-pg-io.c -------------------------------------------------------------------------------- /src/lts-lib/lts-pg-io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts-pg-io.h -------------------------------------------------------------------------------- /src/lts-lib/lts-quant-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts-quant-io.c -------------------------------------------------------------------------------- /src/lts-lib/lts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts.c -------------------------------------------------------------------------------- /src/lts-lib/lts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts.h -------------------------------------------------------------------------------- /src/lts-lib/lts_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts_access.c -------------------------------------------------------------------------------- /src/lts-lib/lts_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts_print.c -------------------------------------------------------------------------------- /src/lts-lib/lts_uniq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/lts_uniq.c -------------------------------------------------------------------------------- /src/lts-lib/set.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/set.c -------------------------------------------------------------------------------- /src/lts-lib/set.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/set.h -------------------------------------------------------------------------------- /src/lts-lib/setbased_weak.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/setbased_weak.c -------------------------------------------------------------------------------- /src/lts-lib/sigmin-lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/sigmin-lib.c -------------------------------------------------------------------------------- /src/lts-lib/silent_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/lts-lib/silent_compress.c -------------------------------------------------------------------------------- /src/ltsmin-compare/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-compare/Makefile.am -------------------------------------------------------------------------------- /src/ltsmin-convert/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-convert/Makefile.am -------------------------------------------------------------------------------- /src/ltsmin-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/Makefile.am -------------------------------------------------------------------------------- /src/ltsmin-lib/etf-internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/etf-internal.h -------------------------------------------------------------------------------- /src/ltsmin-lib/etf-objects.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/etf-objects.c -------------------------------------------------------------------------------- /src/ltsmin-lib/etf-objects.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/etf-objects.h -------------------------------------------------------------------------------- /src/ltsmin-lib/etf-parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/etf-parser.c -------------------------------------------------------------------------------- /src/ltsmin-lib/etf-util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/etf-util.c -------------------------------------------------------------------------------- /src/ltsmin-lib/etf-util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/etf-util.h -------------------------------------------------------------------------------- /src/ltsmin-lib/ltl2ba-lex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltl2ba-lex.c -------------------------------------------------------------------------------- /src/ltsmin-lib/ltl2ba-lex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltl2ba-lex.h -------------------------------------------------------------------------------- /src/ltsmin-lib/ltl2spot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltl2spot.cpp -------------------------------------------------------------------------------- /src/ltsmin-lib/ltl2spot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltl2spot.h -------------------------------------------------------------------------------- /src/ltsmin-lib/lts-type.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/lts-type.c -------------------------------------------------------------------------------- /src/ltsmin-lib/lts-type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/lts-type.h -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-buchi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-buchi.h -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-lexer.l -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-standard.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-standard.h -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-syntax.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-syntax.c -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-syntax.h -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-tl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-tl.c -------------------------------------------------------------------------------- /src/ltsmin-lib/ltsmin-tl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/ltsmin-tl.h -------------------------------------------------------------------------------- /src/ltsmin-lib/mucalc-lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/mucalc-lexer.l -------------------------------------------------------------------------------- /src/ltsmin-lib/mucalc-syntax.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/mucalc-syntax.c -------------------------------------------------------------------------------- /src/ltsmin-lib/mucalc-syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-lib/mucalc-syntax.h -------------------------------------------------------------------------------- /src/ltsmin-reduce-dist/seg-lts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-reduce-dist/seg-lts.c -------------------------------------------------------------------------------- /src/ltsmin-reduce-dist/seg-lts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-reduce-dist/seg-lts.h -------------------------------------------------------------------------------- /src/ltsmin-reduce/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/ltsmin-reduce/Makefile.am -------------------------------------------------------------------------------- /src/mc-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/Makefile.am -------------------------------------------------------------------------------- /src/mc-lib/atomics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/atomics.h -------------------------------------------------------------------------------- /src/mc-lib/bitvector-ll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/bitvector-ll.c -------------------------------------------------------------------------------- /src/mc-lib/bitvector-ll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/bitvector-ll.h -------------------------------------------------------------------------------- /src/mc-lib/cctables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/cctables.c -------------------------------------------------------------------------------- /src/mc-lib/cctables.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/cctables.h -------------------------------------------------------------------------------- /src/mc-lib/clt_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/clt_table.c -------------------------------------------------------------------------------- /src/mc-lib/clt_table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/clt_table.h -------------------------------------------------------------------------------- /src/mc-lib/dbs-ll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/dbs-ll.c -------------------------------------------------------------------------------- /src/mc-lib/dbs-ll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/dbs-ll.h -------------------------------------------------------------------------------- /src/mc-lib/dlopen_extra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/dlopen_extra.c -------------------------------------------------------------------------------- /src/mc-lib/dlopen_extra.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/dlopen_extra.h -------------------------------------------------------------------------------- /src/mc-lib/hashtable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/hashtable.c -------------------------------------------------------------------------------- /src/mc-lib/hashtable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/hashtable.h -------------------------------------------------------------------------------- /src/mc-lib/lb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/lb.c -------------------------------------------------------------------------------- /src/mc-lib/lb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/lb.h -------------------------------------------------------------------------------- /src/mc-lib/lmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/lmap.c -------------------------------------------------------------------------------- /src/mc-lib/lmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/lmap.h -------------------------------------------------------------------------------- /src/mc-lib/renault-unionfind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/renault-unionfind.c -------------------------------------------------------------------------------- /src/mc-lib/renault-unionfind.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/renault-unionfind.h -------------------------------------------------------------------------------- /src/mc-lib/set-ll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/set-ll.c -------------------------------------------------------------------------------- /src/mc-lib/set-ll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/set-ll.h -------------------------------------------------------------------------------- /src/mc-lib/statistics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/statistics.c -------------------------------------------------------------------------------- /src/mc-lib/statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/statistics.h -------------------------------------------------------------------------------- /src/mc-lib/stats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/stats.h -------------------------------------------------------------------------------- /src/mc-lib/trace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/trace.c -------------------------------------------------------------------------------- /src/mc-lib/trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/trace.h -------------------------------------------------------------------------------- /src/mc-lib/treedbs-ll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/treedbs-ll.c -------------------------------------------------------------------------------- /src/mc-lib/treedbs-ll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/treedbs-ll.h -------------------------------------------------------------------------------- /src/mc-lib/unionfind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/unionfind.c -------------------------------------------------------------------------------- /src/mc-lib/unionfind.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/mc-lib/unionfind.h -------------------------------------------------------------------------------- /src/pins-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/Makefile.am -------------------------------------------------------------------------------- /src/pins-lib/dlopen-api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/dlopen-api.h -------------------------------------------------------------------------------- /src/pins-lib/modules/at-map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/at-map.c -------------------------------------------------------------------------------- /src/pins-lib/modules/at-map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/at-map.h -------------------------------------------------------------------------------- /src/pins-lib/modules/dve-pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/dve-pins.c -------------------------------------------------------------------------------- /src/pins-lib/modules/dve-pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/dve-pins.h -------------------------------------------------------------------------------- /src/pins-lib/modules/etf-pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/etf-pins.c -------------------------------------------------------------------------------- /src/pins-lib/modules/etf-pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/etf-pins.h -------------------------------------------------------------------------------- /src/pins-lib/modules/mapa-pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/mapa-pins.c -------------------------------------------------------------------------------- /src/pins-lib/modules/mapa-pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/mapa-pins.h -------------------------------------------------------------------------------- /src/pins-lib/modules/mcrl-pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/mcrl-pins.c -------------------------------------------------------------------------------- /src/pins-lib/modules/mcrl-pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/mcrl-pins.h -------------------------------------------------------------------------------- /src/pins-lib/modules/pbes-pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/pbes-pins.h -------------------------------------------------------------------------------- /src/pins-lib/modules/pnml-pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/pnml-pins.c -------------------------------------------------------------------------------- /src/pins-lib/modules/pnml-pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/pnml-pins.h -------------------------------------------------------------------------------- /src/pins-lib/modules/prob-pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/modules/prob-pins.c -------------------------------------------------------------------------------- /src/pins-lib/pg-types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pg-types.c -------------------------------------------------------------------------------- /src/pins-lib/pg-types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pg-types.h -------------------------------------------------------------------------------- /src/pins-lib/pins-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins-impl.h -------------------------------------------------------------------------------- /src/pins-lib/pins-util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins-util.c -------------------------------------------------------------------------------- /src/pins-lib/pins-util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins-util.h -------------------------------------------------------------------------------- /src/pins-lib/pins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins.c -------------------------------------------------------------------------------- /src/pins-lib/pins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins.h -------------------------------------------------------------------------------- /src/pins-lib/pins2pins-fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins2pins-fork.c -------------------------------------------------------------------------------- /src/pins-lib/pins2pins-fork.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins2pins-fork.h -------------------------------------------------------------------------------- /src/pins-lib/pins2pins-ltl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins2pins-ltl.c -------------------------------------------------------------------------------- /src/pins-lib/pins2pins-ltl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/pins2pins-ltl.h -------------------------------------------------------------------------------- /src/pins-lib/por/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/Makefile.am -------------------------------------------------------------------------------- /src/pins-lib/por/por-ample.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-ample.c -------------------------------------------------------------------------------- /src/pins-lib/por/por-ample.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-ample.h -------------------------------------------------------------------------------- /src/pins-lib/por/por-beam.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-beam.c -------------------------------------------------------------------------------- /src/pins-lib/por/por-beam.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-beam.h -------------------------------------------------------------------------------- /src/pins-lib/por/por-leap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-leap.c -------------------------------------------------------------------------------- /src/pins-lib/por/por-leap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-leap.h -------------------------------------------------------------------------------- /src/pins-lib/por/por-lipton.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-lipton.c -------------------------------------------------------------------------------- /src/pins-lib/por/por-lipton.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-lipton.h -------------------------------------------------------------------------------- /src/pins-lib/por/por-tr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-tr.c -------------------------------------------------------------------------------- /src/pins-lib/por/por-tr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-lib/por/por-tr.h -------------------------------------------------------------------------------- /src/pins-open/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-open/Makefile.am -------------------------------------------------------------------------------- /src/pins-open/pins-open.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins-open/pins-open.c -------------------------------------------------------------------------------- /src/pins2lts-dist/.gitignore: -------------------------------------------------------------------------------- 1 | *-dist 2 | -------------------------------------------------------------------------------- /src/pins2lts-dist/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-dist/Makefile.am -------------------------------------------------------------------------------- /src/pins2lts-dist/include.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-dist/include.am -------------------------------------------------------------------------------- /src/pins2lts-mc/.gitignore: -------------------------------------------------------------------------------- 1 | *-mc 2 | -------------------------------------------------------------------------------- /src/pins2lts-mc/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-mc/Makefile.am -------------------------------------------------------------------------------- /src/pins2lts-mc/pins2lts-mc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-mc/pins2lts-mc.c -------------------------------------------------------------------------------- /src/pins2lts-seq/.gitignore: -------------------------------------------------------------------------------- 1 | *-seq 2 | -------------------------------------------------------------------------------- /src/pins2lts-seq/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-seq/Makefile.am -------------------------------------------------------------------------------- /src/pins2lts-sym/.gitignore: -------------------------------------------------------------------------------- 1 | *-sym 2 | -------------------------------------------------------------------------------- /src/pins2lts-sym/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/Makefile.am -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/bfs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/bfs.c -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/bfs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/bfs.h -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/chain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/chain.c -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/chain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/chain.h -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/mu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/mu.c -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/mu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/mu.h -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/pg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/pg.c -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/pg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/pg.h -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/reach.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/reach.c -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/reach.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/reach.h -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/sat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/sat.c -------------------------------------------------------------------------------- /src/pins2lts-sym/alg/sat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pins2lts-sym/alg/sat.h -------------------------------------------------------------------------------- /src/pinssim/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pinssim/Makefile.am -------------------------------------------------------------------------------- /src/pinssim/pinssim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pinssim/pinssim.c -------------------------------------------------------------------------------- /src/pinssim/todo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/pinssim/todo.txt -------------------------------------------------------------------------------- /src/prob-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/prob-lib/Makefile.am -------------------------------------------------------------------------------- /src/prob-lib/prob_client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/prob-lib/prob_client.c -------------------------------------------------------------------------------- /src/prob-lib/prob_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/prob-lib/prob_client.h -------------------------------------------------------------------------------- /src/prob-lib/prob_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/prob-lib/prob_helpers.c -------------------------------------------------------------------------------- /src/prob-lib/prob_helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/prob-lib/prob_helpers.h -------------------------------------------------------------------------------- /src/scripts/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/scripts/Makefile.am -------------------------------------------------------------------------------- /src/scripts/pins-open.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/scripts/pins-open.in -------------------------------------------------------------------------------- /src/scripts/spins: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/scripts/spins -------------------------------------------------------------------------------- /src/spg-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/Makefile.am -------------------------------------------------------------------------------- /src/spg-lib/spg-attr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-attr.c -------------------------------------------------------------------------------- /src/spg-lib/spg-attr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-attr.h -------------------------------------------------------------------------------- /src/spg-lib/spg-options.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-options.c -------------------------------------------------------------------------------- /src/spg-lib/spg-options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-options.h -------------------------------------------------------------------------------- /src/spg-lib/spg-solve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-solve.c -------------------------------------------------------------------------------- /src/spg-lib/spg-solve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-solve.h -------------------------------------------------------------------------------- /src/spg-lib/spg-strategy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-strategy.c -------------------------------------------------------------------------------- /src/spg-lib/spg-strategy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg-strategy.h -------------------------------------------------------------------------------- /src/spg-lib/spg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg.c -------------------------------------------------------------------------------- /src/spg-lib/spg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg-lib/spg.h -------------------------------------------------------------------------------- /src/spg/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg/Makefile.am -------------------------------------------------------------------------------- /src/spg/spgsolver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/spg/spgsolver.c -------------------------------------------------------------------------------- /src/tests/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/Makefile.am -------------------------------------------------------------------------------- /src/tests/gcc/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/gcc/Makefile.am -------------------------------------------------------------------------------- /src/tests/include.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/include.am -------------------------------------------------------------------------------- /src/tests/mpicc/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/mpicc/Makefile.am -------------------------------------------------------------------------------- /src/tests/test-bitset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-bitset.c -------------------------------------------------------------------------------- /src/tests/test-dbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-dbs.c -------------------------------------------------------------------------------- /src/tests/test-dfs-stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-dfs-stack.c -------------------------------------------------------------------------------- /src/tests/test-dm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-dm.c -------------------------------------------------------------------------------- /src/tests/test-hre.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-hre.c -------------------------------------------------------------------------------- /src/tests/test-is-balloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-is-balloc.c -------------------------------------------------------------------------------- /src/tests/test-ltsmin-parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-ltsmin-parse.c -------------------------------------------------------------------------------- /src/tests/test-regroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-regroup.c -------------------------------------------------------------------------------- /src/tests/test-simplemap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-simplemap.c -------------------------------------------------------------------------------- /src/tests/test-treedbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-treedbs.c -------------------------------------------------------------------------------- /src/tests/test-vset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/test-vset.c -------------------------------------------------------------------------------- /src/tests/wine-wrapper.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/tests/wine-wrapper.sh.in -------------------------------------------------------------------------------- /src/torx/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/torx/.gitignore -------------------------------------------------------------------------------- /src/torx/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/torx/Makefile.am -------------------------------------------------------------------------------- /src/torx/spec2torx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/torx/spec2torx.c -------------------------------------------------------------------------------- /src/util-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/Makefile.am -------------------------------------------------------------------------------- /src/util-lib/MurmurHash3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/MurmurHash3.c -------------------------------------------------------------------------------- /src/util-lib/MurmurHash3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/MurmurHash3.h -------------------------------------------------------------------------------- /src/util-lib/balloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/balloc.c -------------------------------------------------------------------------------- /src/util-lib/balloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/balloc.h -------------------------------------------------------------------------------- /src/util-lib/bitmultiset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/bitmultiset.c -------------------------------------------------------------------------------- /src/util-lib/bitmultiset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/bitmultiset.h -------------------------------------------------------------------------------- /src/util-lib/bitset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/bitset.c -------------------------------------------------------------------------------- /src/util-lib/bitset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/bitset.h -------------------------------------------------------------------------------- /src/util-lib/chunk_support.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/chunk_support.c -------------------------------------------------------------------------------- /src/util-lib/chunk_support.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/chunk_support.h -------------------------------------------------------------------------------- /src/util-lib/dfs-stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/dfs-stack.c -------------------------------------------------------------------------------- /src/util-lib/dfs-stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/dfs-stack.h -------------------------------------------------------------------------------- /src/util-lib/dynamic-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/dynamic-array.c -------------------------------------------------------------------------------- /src/util-lib/dynamic-array.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/dynamic-array.h -------------------------------------------------------------------------------- /src/util-lib/fast_hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/fast_hash.c -------------------------------------------------------------------------------- /src/util-lib/fast_hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/fast_hash.h -------------------------------------------------------------------------------- /src/util-lib/fast_set.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/fast_set.c -------------------------------------------------------------------------------- /src/util-lib/fast_set.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/fast_set.h -------------------------------------------------------------------------------- /src/util-lib/is-balloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/is-balloc.c -------------------------------------------------------------------------------- /src/util-lib/is-balloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/is-balloc.h -------------------------------------------------------------------------------- /src/util-lib/rationals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/rationals.c -------------------------------------------------------------------------------- /src/util-lib/rationals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/rationals.h -------------------------------------------------------------------------------- /src/util-lib/simplemap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/simplemap.c -------------------------------------------------------------------------------- /src/util-lib/simplemap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/simplemap.h -------------------------------------------------------------------------------- /src/util-lib/string-map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/string-map.c -------------------------------------------------------------------------------- /src/util-lib/string-map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/string-map.h -------------------------------------------------------------------------------- /src/util-lib/tables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/tables.c -------------------------------------------------------------------------------- /src/util-lib/tables.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/tables.h -------------------------------------------------------------------------------- /src/util-lib/treedbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/treedbs.c -------------------------------------------------------------------------------- /src/util-lib/treedbs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/treedbs.h -------------------------------------------------------------------------------- /src/util-lib/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/util.c -------------------------------------------------------------------------------- /src/util-lib/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/util.h -------------------------------------------------------------------------------- /src/util-lib/zobrist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/zobrist.c -------------------------------------------------------------------------------- /src/util-lib/zobrist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/util-lib/zobrist.h -------------------------------------------------------------------------------- /src/vset-lib/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/Makefile.am -------------------------------------------------------------------------------- /src/vset-lib/sdd_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/sdd_utils.c -------------------------------------------------------------------------------- /src/vset-lib/sdd_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/sdd_utils.h -------------------------------------------------------------------------------- /src/vset-lib/vdom_object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vdom_object.h -------------------------------------------------------------------------------- /src/vset-lib/vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vector.c -------------------------------------------------------------------------------- /src/vset-lib/vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vector.h -------------------------------------------------------------------------------- /src/vset-lib/vector_set.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vector_set.c -------------------------------------------------------------------------------- /src/vset-lib/vector_set.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vector_set.h -------------------------------------------------------------------------------- /src/vset-lib/vset_atermdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_atermdd.c -------------------------------------------------------------------------------- /src/vset-lib/vset_buddy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_buddy.c -------------------------------------------------------------------------------- /src/vset-lib/vset_ddd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_ddd.cpp -------------------------------------------------------------------------------- /src/vset-lib/vset_lddmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_lddmc.c -------------------------------------------------------------------------------- /src/vset-lib/vset_listdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_listdd.c -------------------------------------------------------------------------------- /src/vset-lib/vset_listdd64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_listdd64.c -------------------------------------------------------------------------------- /src/vset-lib/vset_sdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_sdd.c -------------------------------------------------------------------------------- /src/vset-lib/vset_sdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_sdd.h -------------------------------------------------------------------------------- /src/vset-lib/vset_sdd_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_sdd_utils.c -------------------------------------------------------------------------------- /src/vset-lib/vset_sdd_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_sdd_utils.h -------------------------------------------------------------------------------- /src/vset-lib/vset_sylvan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vset_sylvan.c -------------------------------------------------------------------------------- /src/vset-lib/vtree_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vtree_utils.c -------------------------------------------------------------------------------- /src/vset-lib/vtree_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/src/vset-lib/vtree_utils.h -------------------------------------------------------------------------------- /testsuite/.gitignore: -------------------------------------------------------------------------------- 1 | *.log 2 | *.sum 3 | out/ 4 | site.exp 5 | -------------------------------------------------------------------------------- /testsuite/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/Makefile.am -------------------------------------------------------------------------------- /testsuite/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/TODO -------------------------------------------------------------------------------- /testsuite/check-DVE/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-DVE/test1.exp -------------------------------------------------------------------------------- /testsuite/check-ETF/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-ETF/test1.exp -------------------------------------------------------------------------------- /testsuite/check-LPO/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-LPO/test1.exp -------------------------------------------------------------------------------- /testsuite/check-LPS/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-LPS/test1.exp -------------------------------------------------------------------------------- /testsuite/check-LTL/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-LTL/test1.exp -------------------------------------------------------------------------------- /testsuite/check-LTS/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-LTS/test1.exp -------------------------------------------------------------------------------- /testsuite/check-MU/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-MU/test1.exp -------------------------------------------------------------------------------- /testsuite/check-POR/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-POR/test1.exp -------------------------------------------------------------------------------- /testsuite/check-SCC/test1.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/check-SCC/test1.exp -------------------------------------------------------------------------------- /testsuite/lib/backends.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/lib/backends.tcl -------------------------------------------------------------------------------- /testsuite/lib/default.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/lib/default.exp -------------------------------------------------------------------------------- /testsuite/lib/include.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/lib/include.tcl -------------------------------------------------------------------------------- /testsuite/lib/unix.exp: -------------------------------------------------------------------------------- 1 | puts "DEBUG: lib/unix.exp is being loaded" 2 | -------------------------------------------------------------------------------- /testsuite/ltsmin.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/ltsmin.exp -------------------------------------------------------------------------------- /testsuite/wine.exp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/testsuite/wine.exp.in -------------------------------------------------------------------------------- /travis/before_install-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/before_install-osx.sh -------------------------------------------------------------------------------- /travis/build-release-linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/build-release-linux.sh -------------------------------------------------------------------------------- /travis/build-release-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/build-release-osx.sh -------------------------------------------------------------------------------- /travis/build-source.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/build-source.sh -------------------------------------------------------------------------------- /travis/build-web.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/build-web.sh -------------------------------------------------------------------------------- /travis/check-build-cache.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/check-build-cache.sh -------------------------------------------------------------------------------- /travis/configure-generic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/configure-generic.sh -------------------------------------------------------------------------------- /travis/configure-linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/configure-linux.sh -------------------------------------------------------------------------------- /travis/configure-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/configure-osx.sh -------------------------------------------------------------------------------- /travis/configure-windows.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/configure-windows.sh -------------------------------------------------------------------------------- /travis/install-DiVinE.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-DiVinE.sh -------------------------------------------------------------------------------- /travis/install-ProB-linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-ProB-linux.sh -------------------------------------------------------------------------------- /travis/install-ProB-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-ProB-osx.sh -------------------------------------------------------------------------------- /travis/install-generic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-generic.sh -------------------------------------------------------------------------------- /travis/install-linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-linux.sh -------------------------------------------------------------------------------- /travis/install-mCRL2-linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-mCRL2-linux.sh -------------------------------------------------------------------------------- /travis/install-mCRL2-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-mCRL2-osx.sh -------------------------------------------------------------------------------- /travis/install-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-osx.sh -------------------------------------------------------------------------------- /travis/install-windows.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/install-windows.sh -------------------------------------------------------------------------------- /travis/ltsmin-version.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/ltsmin-version.sh -------------------------------------------------------------------------------- /travis/test-1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/test-1.sh -------------------------------------------------------------------------------- /travis/test-2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/test-2.sh -------------------------------------------------------------------------------- /travis/test-windows.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/travis/test-windows.sh -------------------------------------------------------------------------------- /www/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/www/.gitignore -------------------------------------------------------------------------------- /www/Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/www/Gemfile -------------------------------------------------------------------------------- /www/_config.yml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/www/_config.yml.in -------------------------------------------------------------------------------- /www/_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/www/_layouts/default.html -------------------------------------------------------------------------------- /www/assets/.gitignore: -------------------------------------------------------------------------------- 1 | man 2 | -------------------------------------------------------------------------------- /www/assets/css/style.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/www/assets/css/style.scss -------------------------------------------------------------------------------- /www/assets/js/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/ltsmin/HEAD/www/assets/js/main.js --------------------------------------------------------------------------------