- Committer: Clint Byrum
- Date: 2012-05-20 19:57:14 UTC
- Revision ID: clint@fewbar.com-20120520195714-pra714c4s11d805j
using cache per thread
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
doc
|
122 | 12 years ago | Clint Byrum | Draft spec for charm tests |
|
||
|
helpers
|
83.1.1 | 12 years ago | Marco Ceppi | Moved net.sh into charm-tools for helper package |
|
||
|
scripts
|
25 | 13 years ago | Clint Byrum | adding formulate and proof scripts to make formula |
|
||
|
templates
|
25 | 13 years ago | Clint Byrum | adding formulate and proof scripts to make formula |
|
||
|
tests
|
43 | 12 years ago | Clint Byrum | - removed formulas dir as it is now empty. - addin |
|
||
.bzrignore |
129.1.2 | 11 years ago | Clint Byrum | Adding charm proof tests | 22 bytes |
|
|
|
AUTHORS |
23 | 13 years ago | Clint Byrum | -reorganizing formulas -adding license info where | 228 bytes |
|
|
charm |
68 | 12 years ago | Clint Byrum | renaming ensemble to juju, and calling principia c | 793 bytes |
|
|
|
charm.1 |
68 | 12 years ago | Clint Byrum | renaming ensemble to juju, and calling principia c | 686 bytes |
|
|
|
COPYING |
68 | 12 years ago | Clint Byrum | renaming ensemble to juju, and calling principia c | 250 bytes |
|
|
|
GPL-3 |
23 | 13 years ago | Clint Byrum | -reorganizing formulas -adding license info where | 34.2 KB |
|
|
|
Makefile |
134 | 11 years ago | Clint Byrum | run create tests | 764 bytes |
|
|
|
README |
68 | 12 years ago | Clint Byrum | renaming ensemble to juju, and calling principia c | 2.3 KB |
|
|
|
TODO |
68 | 12 years ago | Clint Byrum | renaming ensemble to juju, and calling principia c | 79 bytes |
|
|