scyther

regression-tests

Reindent.

2018-12-24 13:37:16 +01:00

.gitignore

Added GPL 2 License to the C sources.

2007-06-11 14:01:04 +02:00

arachne.c

Removed another nested function that didn't yield a trampoline warning.

2019-01-04 14:41:29 +01:00

arachne.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

binding.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

binding.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

bool.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

build-brutus.sh

Started script to describe version.

2012-06-12 23:12:14 +02:00

build-debug.sh

Check if ~/bin exists before copying

2019-11-11 17:35:54 +01:00

build.sh

Dropped Mac PPC support for now; only Intel binaries will be available.

2012-11-22 14:35:28 +01:00

BuildMacIntel.cmake

Fixing deprecated Mac build settings.

2020-02-24 21:49:38 +01:00

BuildPlatform.cmake

Dropped Mac PPC support for now; only Intel binaries will be available.

2012-11-22 14:35:28 +01:00

BuildUnix-Win32.cmake

Bugfix: compilation was not working on recent 64-bit Ubuntu versions.

2014-02-18 10:53:24 +00:00

BuildUnix.cmake

Switching to building 64-bit binaries on *nix, finally.

2019-01-04 14:15:38 +01:00

claim.c

Complex refactoring to remove nested function due to overloading of reopen variable.

2019-01-04 17:18:24 +01:00

claim.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

CMakeLists.txt

Add clang as a commented-out option in the build.

2019-01-04 17:19:14 +01:00

color.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

color.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

compile.txt

Bugfix: compilation was not working on recent 64-bit Ubuntu versions.

2014-02-18 10:53:24 +00:00

compiler.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

compiler.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

cost.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

cost.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

count_trampolines.sh

Fix to temporarily store also intermediate trampoline scan results.

2018-10-22 00:17:53 +02:00

debug.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

debug.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

depend.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

depend.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

describe-version.py

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

dotout.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

dotout.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

error.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

error.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

find-unused-functions.py

Created a small program that can find unused functions.

2008-08-21 16:56:12 +02:00

FindBISON.cmake

- Some fixes for GUI by hiding variables.

2007-01-07 17:32:15 +00:00

FindFLEX.cmake

- Some fixes for GUI by hiding variables.

2007-01-07 17:32:15 +00:00

GetOS.cmake

- Last few improvements for build scripts.

2007-01-09 09:47:06 +00:00

GNU-General-Public-License.txt

Added GPL 2 License to the C sources.

2007-06-11 14:01:04 +02:00

heuristic.c

Removing nested function through macro use.

2019-01-04 17:17:07 +01:00

heuristic.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

hidelevel.c

Moving fake nested function out of nesting.

2018-12-24 15:50:39 +01:00

hidelevel.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

intruderknowledge.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

intruderknowledge.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

knowledge.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

knowledge.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

label.c

Removed another simple trampoline.

2018-10-19 15:33:41 -04:00

label.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

list.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

list.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

main.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

mgu.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

mgu.h

Removed last trampoline.

2018-12-24 14:53:20 +01:00

mymalloc.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

ns3.spdl

Added support for macro definitions.

2012-11-22 12:30:00 +01:00

parser.y

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

pheading.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

prune_bounds.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

prune_bounds.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

prune_theorems.c

Removed another straightforward trampoline with one nested call only.

2018-11-04 23:06:24 +01:00

prune_theorems.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

reindent.sh

Better reindent script (from newCompromise branch)

2010-11-10 23:55:21 +01:00

role.c

Got rid of one nested function.

2018-10-14 17:19:05 +02:00

role.h

Got rid of one nested function.

2018-10-14 17:19:05 +02:00

scanner.l

Flex doesn't need to run in interactive mode.

2019-01-04 14:15:38 +01:00

ScannerParser.cmake

- Fixed scanner problem (I forgot the interaction between flex and bison)

2007-01-09 15:22:34 +00:00

scantags.py

- Removed more dead code, improved scantags.py

2007-01-27 11:07:45 +00:00

specialterm.c

Attack output improvement: better choice of agent names.

2014-06-30 17:06:23 +01:00

specialterm.h

Attack output improvement: better choice of agent names.

2014-06-30 17:06:23 +01:00

states.c

Get rid of gcc __inline__ keywords.

2019-01-04 14:15:38 +01:00

states.h

Get rid of gcc __inline__ keywords.

2019-01-04 14:15:38 +01:00

subbuild-mac-intel.sh

Have build scripts fail on first failing command

2020-07-20 14:58:22 +02:00

subbuild-unix-both.sh

New refactoring of build system for linux, should be clearer.

2012-06-12 23:12:14 +02:00

subbuild-unix-unix.sh

Have build scripts fail on first failing command

2020-07-20 14:58:22 +02:00

subbuild-unix-w32.sh

Have build scripts fail on first failing command

2020-07-20 14:58:22 +02:00

switches.c

Fairly complex refactoring of switch parsing code.

2019-01-04 17:16:51 +01:00

switches.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

symbol.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

symbol.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

system.c

Involved, but ultimately straightforward refactoring for nested function.

2019-01-04 17:17:46 +01:00

system.h

Removed another straightforward trampoline with one nested call only.

2018-11-04 23:06:24 +01:00

tac.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

tac.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

tempfile.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

tempfile.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

term.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

term.h

Get rid of gcc __inline__ keywords.

2019-01-04 14:15:38 +01:00

termlist.c

Get rid of gcc __inline__ keywords.

2019-01-04 14:15:38 +01:00

termlist.h

Get rid of gcc __inline__ keywords.

2019-01-04 14:15:38 +01:00

termmap.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

termmap.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

timer.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

timer.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

type.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

type.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

warshall.c

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

warshall.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00

xmlout.c

Removing a collection of fairly simple remaining nested function calls.

2019-01-04 17:16:27 +01:00

xmlout.h

Updating time stamps for next release.

2013-10-05 23:56:12 +01:00