source:
samples
@
30960
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| bugs | 18209 | 3 years | hritcu | Fixed severe bug in create_fresh_name (Ticket #80) | |
| lists | 30960 | 2 years | hritcu | Fixed spassparser.mly to accept nullary function symbols (Ticket #100) | |
| negative | 17184 | 3 years | hritcu | Fixed samples | |
| old | 18182 | 3 years | hritcu | Stopped annotating "zk"-s and "ver"-s with redundant arity information … | |
| positive | 16660 | 3 years | hritcu | - Implemented destructor reduction as a relation (Ticket #65) - Changed … | |
| thorsten | 16166 | 3 years | hritcu | Fixed the samples. They now ALL parse. | |
| work-in-progress | 17982 | 3 years | hritcu | Fixed incorrect implementation of non-disjoint and statement compilation … | |
| blind-sign.spi | 564 bytes | 16316 | 3 years | hritcu | Made blind-sign.spi work by adding one type annotation. |
| daa-sign-simplified-encoded.spi | 1.0 KB | 28301 | 2 years | pecina | the parser now reads processes gready and parallel processes now have the … |
| daa-sign-simplified.spi | 890 bytes | 28301 | 2 years | pecina | the parser now reads processes gready and parallel processes now have the … |
| daa.spi | 2.7 KB | 27268 | 2 years | hritcu | Fixed horrible bug in sub that was hurting Kim. |
| or-channel.spi | 493 bytes | 16311 | 3 years | hritcu | Made term typing also use the very strong Refine rule |
| pk-enc-handshake.spi | 628 bytes | 17184 | 3 years | hritcu | Fixed samples |
| proxy.spi | 761 bytes | 16166 | 3 years | hritcu | Fixed the samples. They now ALL parse. |
| sign.spi | 448 bytes | 16166 | 3 years | hritcu | Fixed the samples. They now ALL parse. |
| simple-refine.spi | 361 bytes | 16159 | 3 years | hritcu | Now can parse refinement, and and or types. |
| simple-zk.spi | 663 bytes | 28301 | 2 years | pecina | the parser now reads processes gready and parallel processes now have the … |
| simple.spi | 429 bytes | 18209 | 3 years | hritcu | Fixed severe bug in create_fresh_name (Ticket #80) |
| zk1-compromised.spi | 1.4 KB | 28301 | 2 years | pecina | the parser now reads processes gready and parallel processes now have the … |
|
Note: See TracBrowser
for help on using the repository browser.
