Sat, 22 Aug 2020 23:22:25 +0200 | wenzelm | invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process); | file | diff | annotate |
Thu, 20 Aug 2020 16:00:50 +0200 | wenzelm | preload library; | file | diff | annotate |
Thu, 20 Aug 2020 14:22:49 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 19 Aug 2020 20:14:41 +0200 | wenzelm | more realistic kodkod invocation, imitating command-line tool; | file | diff | annotate |
Wed, 19 Aug 2020 13:29:53 +0200 | wenzelm | update to kodkodi-1.5.4; | file | diff | annotate |
Tue, 18 Aug 2020 18:23:17 +0200 | wenzelm | rudiments of Scala interface for Kodkod; | file | diff | annotate |