]> git.pld-linux.org Git - packages/NuSMV.git/log
projects / packages / NuSMV.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
packages/NuSMV.git
11 years ago- release 4 (by relup.sh) auto/th/NuSMV-2.5.4-4
commit | commitdiff | tree
Jan Rękorajski [Sun, 18 Nov 2012 12:03:37 +0000 (13:03 +0100)]
- release 4 (by relup.sh)

11 years ago- fix building with -Wformat-security
commit | commitdiff | tree
Jan Rękorajski [Wed, 14 Nov 2012 14:03:47 +0000 (15:03 +0100)]
- fix building with -Wformat-security
- rel 3

11 years ago- rebuild with expat 2.1.0 auto/th/NuSMV-2.5.4-2
commit | commitdiff | tree
Jan Rękorajski [Sun, 11 Nov 2012 22:58:33 +0000 (23:58 +0100)]
- rebuild with expat 2.1.0
- release 2 (by relup.sh)

11 years ago- package librbcdag
commit | commitdiff | tree
Jan Rękorajski [Wed, 11 Apr 2012 16:06:12 +0000 (16:06 +0000)]
- package librbcdag

Changed files:
    NuSMV.spec -> 1.20

11 years ago- up to 2.5.4
commit | commitdiff | tree
Jan Rękorajski [Wed, 11 Apr 2012 16:00:43 +0000 (16:00 +0000)]
- up to 2.5.4

Changed files:
    NuSMV-build.patch -> 1.6
    NuSMV.spec -> 1.19

11 years ago- rel 2 auto/th/NuSMV-2_5_2-2
commit | commitdiff | tree
Jan Rękorajski [Wed, 6 Apr 2011 19:10:07 +0000 (19:10 +0000)]
- rel 2

Changed files:
    NuSMV.spec -> 1.18

11 years ago- fixed build and install
commit | commitdiff | tree
Jan Rękorajski [Wed, 6 Apr 2011 19:09:57 +0000 (19:09 +0000)]
- fixed build and install
- eliminated bashizms

Changed files:
    NuSMV.spec -> 1.17

11 years ago- updated to 2.5.2
commit | commitdiff | tree
Jan Rękorajski [Wed, 6 Apr 2011 19:09:06 +0000 (19:09 +0000)]
- updated to 2.5.2
- add bashizms elimination

Changed files:
    NuSMV-build.patch -> 1.5

11 years ago- show commands run by make
commit | commitdiff | tree
Jan Rękorajski [Wed, 6 Apr 2011 19:08:30 +0000 (19:08 +0000)]
- show commands run by make

Changed files:
    NuSMV-solvers.patch -> 1.3

11 years ago- drop libtool file
commit | commitdiff | tree
Jan Rękorajski [Wed, 6 Apr 2011 08:44:17 +0000 (08:44 +0000)]
- drop libtool file

Changed files:
    NuSMV.spec -> 1.16

11 years ago- 2.5.2
commit | commitdiff | tree
Jan Rękorajski [Wed, 6 Apr 2011 08:43:06 +0000 (08:43 +0000)]
- 2.5.2

Changed files:
    NuSMV.spec -> 1.15

11 years ago- updated to 2.5.0
commit | commitdiff | tree
Jan Rękorajski [Tue, 18 May 2010 10:46:14 +0000 (10:46 +0000)]
- updated to 2.5.0

Changed files:
    NuSMV-solvers.patch -> 1.2
    NuSMV.spec -> 1.14

11 years ago- updated to 2.5.0
commit | commitdiff | tree
Jan Rękorajski [Tue, 18 May 2010 10:21:10 +0000 (10:21 +0000)]
- updated to 2.5.0
- patching of Makefile.in is intentional, the build system here
  is so bash(ed) and fucked up that regenerating am/ac crap produces
  non-working auto-scripts

Changed files:
    NuSMV-build.patch -> 1.4

11 years ago- BR: unzip
commit | commitdiff | tree
sparky [Sun, 16 May 2010 14:13:30 +0000 (14:13 +0000)]
- BR: unzip

Changed files:
    NuSMV.spec -> 1.13

11 years ago- no parallel install
commit | commitdiff | tree
Jan Rękorajski [Wed, 22 Apr 2009 11:37:29 +0000 (11:37 +0000)]
- no parallel install

Changed files:
    NuSMV.spec -> 1.12

11 years ago- setup MiniSat and zChaff solvers for building
commit | commitdiff | tree
Jan Rękorajski [Wed, 22 Apr 2009 11:32:21 +0000 (11:32 +0000)]
- setup MiniSat and zChaff solvers for building

Changed files:
    NuSMV-solvers.patch -> 1.1

11 years ago- rel 3
commit | commitdiff | tree
Jan Rękorajski [Wed, 22 Apr 2009 11:31:09 +0000 (11:31 +0000)]
- rel 3
- fixed tetex/texlive BRs
- added MiniSat and zChaff solvers
- properly build cudd

Changed files:
    NuSMV.spec -> 1.11

11 years ago- rel 2 auto/th/NuSMV-2_4_3-2
commit | commitdiff | tree
Jan Rękorajski [Thu, 5 Mar 2009 22:30:30 +0000 (22:30 +0000)]
- rel 2

Changed files:
    NuSMV.spec -> 1.10

11 years ago- rel 1 auto/th/NuSMV-2_4_3-1
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 14:14:43 +0000 (14:14 +0000)]
- rel 1
- updated BRs

Changed files:
    NuSMV.spec -> 1.9

11 years ago- fixed hack
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 14:01:37 +0000 (14:01 +0000)]
- fixed hack

Changed files:
    NuSMV.spec -> 1.8

11 years ago- 64bit hack
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 14:00:38 +0000 (14:00 +0000)]
- 64bit hack

Changed files:
    NuSMV.spec -> 1.7

11 years ago- removed no longer needed hacks
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 13:57:26 +0000 (13:57 +0000)]
- removed no longer needed hacks

Changed files:
    NuSMV.spec -> 1.6

11 years ago- up to 2.4.3
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 13:56:29 +0000 (13:56 +0000)]
- up to 2.4.3

Changed files:
    NuSMV.spec -> 1.5

11 years ago- as-needed fixes
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 13:52:45 +0000 (13:52 +0000)]
- as-needed fixes

Changed files:
    NuSMV-build.patch -> 1.3

11 years ago- added cleanups for 2.4.3
commit | commitdiff | tree
Jan Rękorajski [Fri, 14 Sep 2007 13:36:34 +0000 (13:36 +0000)]
- added cleanups for 2.4.3

Changed files:
    NuSMV-build.patch -> 1.2

11 years ago- tabs in preamble
commit | commitdiff | tree
Elan Ruusamäe [Mon, 12 Feb 2007 22:09:09 +0000 (22:09 +0000)]
- tabs in preamble

Changed files:
    NuSMV.spec -> 1.4

11 years ago- converted to UTF-8
commit | commitdiff | tree
Jan Rękorajski [Mon, 12 Feb 2007 01:06:42 +0000 (01:06 +0000)]
- converted to UTF-8

Changed files:
    NuSMV.spec -> 1.3

11 years ago- pl
commit | commitdiff | tree
Jakub Bogusz [Wed, 4 Oct 2006 20:19:15 +0000 (20:19 +0000)]
- pl

Changed files:
    NuSMV.spec -> 1.2

11 years ago- fix build/install problems
commit | commitdiff | tree
Jan Rękorajski [Tue, 3 Oct 2006 16:36:40 +0000 (16:36 +0000)]
- fix build/install problems

Changed files:
    NuSMV-build.patch -> 1.1

11 years ago- initial revision
commit | commitdiff | tree
Jan Rękorajski [Tue, 3 Oct 2006 16:36:05 +0000 (16:36 +0000)]
- initial revision

Changed files:
    NuSMV.spec -> 1.1

New Symbolic Model Verifier
This page took 0.096805 seconds and 4 git commands to generate.