Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:jirislaby:stanse
stanse
stanse.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File stanse.changes of Package stanse
------------------------------------------------------------------- Mon Feb 1 10:05:58 UTC 2016 - jslaby@suse.com - update to the latest snapshot (20151020) * support __int128 - proper exclude in _service ------------------------------------------------------------------- Wed Jul 29 08:00:02 UTC 2015 - jslaby@suse.com - update to the latest snapshot (20150729) - disable HTML_TIMESTAMP ------------------------------------------------------------------- Thu Feb 28 15:34:33 UTC 2013 - jslaby@suse.com - update to the latest snapshot (20130228) - should fix the build ------------------------------------------------------------------- Fri Feb 22 09:40:19 UTC 2013 - jslaby@suse.com - format_spec_file - update to the latest snapshot * 0001-build-fix-build-with-newer-compilers.patch obsoleted ------------------------------------------------------------------- Tue Jul 24 23:42:13 CEST 2012 - jslaby@suse.de - fix build with latest compiler ------------------------------------------------------------------- Thu Feb 10 23:12:59 CET 2011 - jslaby@suse.de - fix multiple flags handling in stanse script ------------------------------------------------------------------- Tue Jan 25 14:03:38 CET 2011 - jslaby@suse.de - update to the latest git head (fd1b1a82) update to 1.2.0 fix lockchecker, threadchecker and parser crashes remove bogus asserts in the code add linear code capability cleanup ------------------------------------------------------------------- Sat Jan 22 15:41:43 CET 2011 - jslaby@suse.de - update to the latest git head (5ce9f3b65) fix parser crash on weird input ------------------------------------------------------------------- Tue Jan 18 18:09:42 CET 2011 - jslaby@suse.de - update to the latest git head (2f93458) update to 1.1.9 increase LockChecker threshold libraries updated cleanups ------------------------------------------------------------------- Sat Jan 15 11:26:02 CET 2011 - jslaby@suse.de - update to the latest git head (cba3368) don't emit parser classes into doxygen output add st_xml_bugcount ------------------------------------------------------------------- Fri Jan 14 12:29:26 CET 2011 - jslaby@suse.de - update to latest git head (8f597a72f) fix ThreadChecker null pointer dereference less output again cleanups ------------------------------------------------------------------- Thu Jan 13 16:23:40 CET 2011 - jslaby@suse.de - update to latest svn head (1186) update to 1.1.7 fix infinite looping in ThreadChecker do not print so many messages many cleanups ------------------------------------------------------------------- Wed Jan 5 16:27:13 CET 2011 - jslaby@suse.de - update to latest svn head (1177) update to 1.1.6 fix threadchecker CFG computation cfg nodes constains the code in String FindBugs reports fixed many cleanups ------------------------------------------------------------------- Thu Dec 23 22:50:15 CET 2010 - jslaby@suse.de - update to latest svn head (1168) update to 1.1.5 threadchecker line numbers fix measure CPU time, not wall time remove scary warnings ------------------------------------------------------------------- Fri Oct 22 20:55:54 CEST 2010 - jslaby@suse.de - update to latest svn head (1156) update to 1.1.4 starting location filtering ------------------------------------------------------------------- Mon Oct 11 09:37:26 CEST 2010 - jslaby@suse.de - update to latest svn head (1152) update to 1.1.3 add stanse_run script for easier use the reported errors are now with the shortest trace found errors are now ordered by location count ------------------------------------------------------------------- Sat Jun 19 13:34:52 CEST 2010 - jslaby@suse.de - update to latest svn head (1139) fix support for 'asm goto' ------------------------------------------------------------------- Thu Jun 17 21:00:27 CEST 2010 - jslaby@suse.de - update to latest svn head (1138) add support for 'asm goto' add support for STANSE_CPPFLAGS in stpreproc ------------------------------------------------------------------- Mon Jun 14 14:25:31 CEST 2010 - jslaby@suse.de - update to latest svn head (1136) update to 1.1.2 many fixes in pointer analyses added Lock Checker ------------------------------------------------------------------- Sat Apr 24 23:37:16 CEST 2010 - jslaby@suse.de - update to latest svn head (1072) add support for CROSS_COMPILE fixed stpreproc path ------------------------------------------------------------------- Thu Apr 1 23:05:46 CEST 2010 - jslaby@suse.de - update to latest svn head (1046) added Steensgaard pointer analysis added error sorting some GUI improvements ------------------------------------------------------------------- Thu Mar 11 10:47:01 CET 2010 - jslaby@suse.de - update to latest svn head (1021) added windows support added mem{cpy,set} as derefs to the kernel_memory automaton ------------------------------------------------------------------- Sun Feb 28 11:02:37 CET 2010 - jslaby@suse.de - update to latest svn head (1013) fix EmptyStackException under certain circumstances ------------------------------------------------------------------- Sat Feb 27 23:16:27 CET 2010 - jslaby@suse.de - update to latest svn head (1012) update to 1.0.9 fix FPDMemoryReassigned bug ------------------------------------------------------------------- Wed Feb 3 11:35:50 CET 2010 - jslaby@suse.de - update to latest svn head (947) update to 1.0.8 fix CFG traversation bug ------------------------------------------------------------------- Fri Jan 15 23:05:36 CET 2010 - jslaby@suse.de - update to latest svn head (935) update to 1.0.7 lower false positive rate fix typo in FPDs ------------------------------------------------------------------- Fri Jan 15 11:45:01 CET 2010 - jslaby@suse.de - update to latest svn head (931) fix expception when files are not available on guitracing smaller font for code area add filtering and fp/bug support for www ------------------------------------------------------------------- Fri Jan 8 21:09:36 CET 2010 - jslaby@suse.de - update to latest svn head (923) update to 1.0.6 fix typos handle rcu_assign_pointer ------------------------------------------------------------------- Fri Jan 8 10:50:36 CET 2010 - jslaby@suse.de - update to latest svn head (920) fixed null pointer exception when merging xmls fixed merging printout ------------------------------------------------------------------- Wed Jan 6 12:37:53 CET 2010 - jslaby@suse.de - update to latest svn head (917) fixed xml specs for checkers ------------------------------------------------------------------- Tue Dec 15 10:37:50 CET 2009 - jslaby@suse.de - update to latest svn head (915) fix code line selection ------------------------------------------------------------------- Sat Nov 28 11:48:42 CET 2009 - jslaby@suse.de - update to latest svn head (913) function parameters fixup (empty == void, typedefs are not param ids) added .spec for opensuse into stanse repo update to 1.0.5 www databases are sort by values rather than keys now ------------------------------------------------------------------- Sun Nov 15 21:52:19 CET 2009 - jslaby@suse.de - update to latest svn head (904) some tuning in the name of false positives ------------------------------------------------------------------- Fri Nov 13 11:29:45 CET 2009 - jslaby@suse.de - update to latest svn head (897) www: lines are separate href reachability chekcer was tuned up removed unneeded regular expression matching ------------------------------------------------------------------- Wed Nov 11 19:53:08 CET 2009 - jslaby@suse.de - update to latest svn head (894) huge false positives reduction (many FPDs, code improvement, automata changes) update to 1.0.4 ------------------------------------------------------------------- Wed Nov 4 15:43:28 CET 2009 - jslaby@suse.de - update to latest svn head (880) mkdir fixes column support added (but unused) failures contain a file name lower reachabilitychecker falsepositives noreturn false positive detector ------------------------------------------------------------------- Sun Nov 1 16:57:40 CET 2009 - jslaby@suse.de - use fdupes to prune doc package ------------------------------------------------------------------- Tue Oct 27 23:08:58 CET 2009 - jslaby@suse.de - update to latest svn head (870) command line parsing fixed ReachabilityChecker uses importance levels ReachabilityChecker doesn't report too much preprocessor exception outputs a cause update to antlr 3.2 update to 1.0.3 ------------------------------------------------------------------- Sat Oct 17 18:14:32 CEST 2009 - jslaby@suse.de - update to latest svn head (858) ReachabilityChecker added (ugly stdout output removed) parser doesn't emit stacktraces update to 1.0.2 ------------------------------------------------------------------- Fri Oct 16 21:14:46 CEST 2009 - jslaby@suse.de - update to latest svn head (850) version 1.0.1 conf checking in GUI less verbosity on errors fixes in source configuration output tools' errors outputs when they fails change ! to Run! in GUI add read/write locks support ------------------------------------------------------------------- Thu Oct 15 11:06:14 CEST 2009 - jslaby@suse.de - update to latest svn head (841) notices about makefile and dir updated -ooutput stcc fix ------------------------------------------------------------------- Mon Oct 12 19:11:55 CEST 2009 - jslaby@suse.de - update to latest svn head (839) makefile support fixed note to dir support added importnace computation fixed timeout to error reporting added few typos fixed ------------------------------------------------------------------- Sun Oct 11 00:36:20 CEST 2009 - jslaby@suse.de - update to latest svn head (831) parser fixes threadchecker fixes many bugs found by FindBugs fixed kernel_locking_irq anonymous locks improved cleanups ------------------------------------------------------------------- Tue Oct 6 16:54:30 CEST 2009 - jslaby@suse.de - update to latest svn head (818) overall cleanup CFG evaluation improved www updated and added lzma support for lzma eliminated further false positives ------------------------------------------------------------------- Sun Oct 4 13:25:21 CEST 2009 - jslaby@suse.de - update to latest svn head (807) importance lowering support added error start nodes joining binary expressions are evaluated now make version non-alpha ------------------------------------------------------------------- Mon Sep 28 18:41:59 CEST 2009 - jslaby@suse.de - update to latest svn head (791): add many false positive filters add first-unlock to locking automaton stats db may be merged back to xml output now some cleanup - add web subpackage ------------------------------------------------------------------- Sat Sep 26 11:21:30 CEST 2009 - jslaby@suse.de - update to latest svn head (771): no .o in .jar parser fixes drop fixes checker updates improved tracing st_xml2sqlite3 script to use with web false positive killers checker limitations, it times out now - add doxygen docco - add sort.xsl for xml dumps sorting - don't use most of inlined libs for Factory ------------------------------------------------------------------- Mon Sep 21 13:59:24 CEST 2009 - jslaby@suse.de - update to latest svn head (734): working ThreadChecker updated kernel checker limit error path finding updated memory.xml ------------------------------------------------------------------- Sun Sep 20 18:49:01 CEST 2009 - jslaby@suse.de - update to latest svn head: codestructures: Unit, fix nullptr exception data: improve kernel_memory.xml error dumping in xml ------------------------------------------------------------------- Thu Sep 17 09:43:31 CEST 2009 - jslaby@suse.de - udpate to latest svn head: stpreproc: fix va_list type ------------------------------------------------------------------- Mon Sep 7 00:10:29 CEST 2009 - jslaby@suse.de - udpate to latest svn head: add kernel_pairing.xml ------------------------------------------------------------------- Fri Aug 28 09:17:01 CEST 2009 - jslaby@suse.de - 11.1 build fixup - fix stanse run script (add quotes) ------------------------------------------------------------------- Thu Aug 27 15:17:01 CEST 2009 - jslaby@suse.de - initial package
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor