source: experiments/frams/logic

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @703   7 years Maciej Komosinski The "ex" macro renamed to "expdef" since 5.0rc12
(edit) @537   8 years Maciej Komosinski ExpParams? -> ExpProperties? (compatibility with v5.x)
(edit) @480   8 years sz experiment scripts updated to match the upcoming Framsticks version …
(edit) @212   10 years adam syntheticConjABRule(A,B) now properly collects entangled literals from …
(edit) @193   10 years Maciej Komosinski Set svn:eol-style native for all textual files
(add) @169   10 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
Note: See TracRevisionLog for help on using the revision log.