source:
src
@
58167
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| cg | 43428 | 17 months | hritcu | Thorsten's patch for building the spi-calculus parser for F5's Spi2RCF … | |
| typechecker | 37033 | 23 months | pecina | fixed forgotten printf | |
| CodeGenerator.sln | 1.3 KB | 17677 | 3 years | tarrach | spi2rcf config file |
| creating-spi-parser-dll.txt | 314 bytes | 23964 | 3 years | hritcu | Updated to F# 1.9.6.16 |
| d2c.config | 5.4 KB | 36949 | 23 months | pecina | fixed errors in d2c config file |
| default.config | 5.2 KB | 31895 | 2 years | reischuk | * new type: Tag * new constructors of type Tag: lft() and rgt() |
| list.config | 5.5 KB | 27858 | 2 years | eigner | added config file for spi with lists and modified makefile accordingly |
| list_README.txt | 528 bytes | 27859 | 2 years | eigner | |
| make-parser.sh | 347 bytes | 58167 | 4 months | hritcu | Old stuff from my Mac |
| Makefile | 1.1 KB | 37026 | 23 months | pecina | worked some more on the spass and e option (still does not work as … |
| minimal.config | 671 bytes | 18342 | 3 years | hritcu | Change everything to the new FOL syntax (no longer using the ugly spass … |
| ring_group.config | 5.5 KB | 33221 | 2 years | pecina | added a config file for ring signatures and group encryptions added a … |
| simap.config | 5.5 KB | 37018 | 23 months | mohammadi | |
| spi2rcf.config | 4.6 KB | 23953 | 3 years | tarrach | i guess i should have commited that earlier |
| vote.config | 6.6 KB | 30926 | 2 years | hritcu | Support zero-arity constructors (constants) -- Ticket #100 |
| weakened.config | 1.3 KB | 16335 | 3 years | hritcu | Updated configs, and removed unnecessary ones |
|
Note: See TracBrowser
for help on using the repository browser.
