root/trunk/Fortify

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @4303 [4303] 3 weeks gls fortify.sty now includes package graphicsx
(edit) @4295 [4295] 4 weeks sukyoungryu [spec] Added some sections in the Expressions chapter.
(edit) @4284 [4284] 5 weeks gls Further bug fixes for tables and for verbatim blocks
(edit) @4282 [4282] 5 weeks gls Fortify tool with latest bug fixes to tables and images
(edit) @4265 [4265] 5 weeks sukyoungryu [copyright] Fixed a copyright notice.
(edit) @4264 [4264] 5 weeks sukyoungryu [fortify] Commented out the old FortressDoc? again.
(edit) @4263 [4263] 6 weeks gls Fortify support for tables and images
(edit) @4237 [4237] 7 weeks sukyoungryu [fortify] Simplified the FortressDoc? macro. Fixed the FortressLibrary API …
(edit) @4226 [4226] 7 weeks sukyoungryu [fortify] Removed a redundant file: Fortify/fortify-macros.tex
(edit) @3995 [3995] 4 months gls Fixed minor error in Fortify tool
(edit) @3994 [3994] 4 months gls Fortify tool now handles fractions (and passes all tests)
(edit) @3929 [3929] 5 months sukyoungryu [static checker] Removed an instanceof test with a static dispatch.
(edit) @3925 [3925] 5 months jrhil47 [type analyzer] Changed TypeAnalyzer? to use new kind environments rather …
(edit) @3908 [3908] 5 months gls Fix minor bug in previous fix (needed to double backslashes)
(edit) @3907 [3907] 5 months gls Revised fortify tool to render character literals and // better
(edit) @3901 [3901] 5 months gls Merged old fortify and new fortify into fortify.el
(edit) @3897 [3897] 5 months dr2chase More tweaks to fortick and added an example
(edit) @3778 [3778] 6 months sukyoungryu [copyright notice] Ignore spec data files for the copyright check. Fixed …
(edit) @3775 [3775] 6 months sukyoungryu [syntax] Implemented the new syntax: 'as' in type ascription is replaced …
(edit) @3768 [3768] 6 months gls New Fortify tool
(edit) @3550 [3550] 9 months sukyoungryu [copyright] Fixed the copyright notices.
(edit) @3546 [3546] 9 months jmaessen Changed Executable api to have no arguments; program arguments are now …
(edit) @2826 [2826] 14 months sukyoungryu [delete] Eliminated the transient modifier.
(edit) @2785 [2785] 15 months jdn [Fortify] Create a fortify latex package and updated the documentation and …
(edit) @2520 [2520] 16 months sukyoungryu [fortify] Added 'grammar' in the list of reserved words.
(edit) @2052 [2052] 17 months jmaessen Some quick bug fixes (to Fortify and FortressLibrary) before TiC talk.
(edit) @1894 [1894] 18 months jmaessen More hacks for BIG |||
(edit) @1888 [1888] 18 months jmaessen Fixed hacks for opr BIG ||| and opr BIG ||, added hacks for uses of same.
(edit) @1864 [1864] 18 months sukyoungryu Added more hacks for vertical bar operators.
(edit) @1469 [1469] 20 months sukyoungryu 1. Added fixups for |self| and defining opr :. 2. Described how [\ and \] …
(edit) @1465 [1465] 20 months chf fortify-macros preamble
(edit) @1464 [1464] 20 months EricAllen Mentioned the need to input fortify-macros.tex in the Fortify …
(edit) @1462 [1462] 20 months EricAllen Commented out debugging printlns in fortify. (oops)
(edit) @1460 [1460] 20 months EricAllen Fixed subtle bug with the fortick tool regarding quotation marks in …
(edit) @1459 [1459] 20 months EricAllen Fixed documentation of the fortick command.
(edit) @1439 [1439] 20 months jmaessen More documentation tweaks.
(edit) @1437 [1437] 20 months jmaessen Documentation changes, plus more doc-comment hacking in fortify/fortex.
(edit) @1433 [1433] 20 months jmaessen Fixed fortify.el bug in last checkin, and added a creeping feature: permit …
(edit) @1432 [1432] 20 months jmaessen Creeping featurism: In the middle of a doc comment, leading % (after …
(edit) @1431 [1431] 20 months jmaessen Handling of the _ identifier, and of identifiers with a single occurrence …
(edit) @1430 [1430] 20 months jmaessen Merged Thread into NativeSimpleTypes?. Hacked fortify.el to be more …
(edit) @1414 [1414] 20 months EricAllen More tweaks to readme files.
(edit) @1267 [1267] 22 months sukyoungryu 1. Big operator applications (accumulators and comprehensions) are …
(edit) @1240 [1240] 22 months sukyoungryu New keyword: native
(edit) @1112 [1112] 2 years sukyoungryu Implemented the new import-statement syntax.
(edit) @1091 [1091] 2 years sukyoungryu Replaced largest/smallest expressions with most expressions.
(edit) @929 [929] 2 years sukyoungryu Fixed missing backslashes.
(edit) @928 [928] 2 years sukyoungryu Fixed some keywords: 1) Removed 'ident'; 2) Replaced 'coercion' with …
(edit) @850 [850] 2 years sukyoungryu Fixed rendering angle brackets.
(edit) @848 [848] 2 years sukyoungryu ignore
(edit) @838 [838] 2 years EricAllen Fixed fortify tools so that they remove a copyright notice only if one is …
(edit) @828 [828] 2 years EricAllen Fixed Fortify commands so that all tags (EXAMPLE, TESTS, etc.) are …
(edit) @808 [808] 2 years EricAllen Altered fortick so that a pair of consecutive backticks is simply …
(edit) @805 [805] 2 years EricAllen Added tool "fortick", which finds occurrences of text delimited by ticks …
(edit) @800 [800] 2 years EricAllen Added a common base class for Ant tasks that call shell scripts. Modified …
(edit) @783 [783] 2 years EricAllen Minor fixes to fortex command.
(edit) @782 [782] 2 years EricAllen More feature additions to fortex tool. Added all spec-relevant …
(edit) @777 [777] 2 years EricAllen Minor update to behavior of fortex command, to prevent unnecessary lines …
(edit) @774 [774] 2 years EricAllen Minor touchups to fortify documentation.
(edit) @773 [773] 2 years EricAllen Added several new scripts and batch-fortifying commands, as described in …
(edit) @734 [734] 2 years EricAllen Added batch-fortify function and accompanying documentation.
(add) @733 [733] 2 years EricAllen Put Fortify tool under version control.
Note: See TracRevisionLog for help on using the revision log.