informalsystems themis-tracer issues

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Investigate leveraging the work on MathFoldr

#96 shonfeder opened 3 years ago
0
Source code referencing

#95 shonfeder opened 3 years ago
0
Requirement tagging via macros

#94 shonfeder opened 3 years ago
0
Implement way of escaping/ignoring unit tags

#93 shonfeder opened 3 years ago
0
Changes added while preparing for demo

#92 shonfeder closed 3 years ago
0
Make linkify work as filter

#91 shonfeder opened 3 years ago
0
Update rusqlite

#90 shonfeder opened 3 years ago
0
Extract logical units from source code

#89 shonfeder closed 3 years ago
0
Implement full text search of site

#88 shonfeder opened 3 years ago
1
Extract logical units from source code

#87 shonfeder closed 3 years ago
0
Generate a static site representing context

#86 shonfeder closed 3 years ago
1
Implement tag lookup in editor

#85 shonfeder opened 3 years ago
0
Implement linkify on save

#84 shonfeder opened 3 years ago
0
Ensure that every added unit has a parent, unless it is an UrUnit

#83 shonfeder opened 3 years ago
0
How to indicate that an implementation unit is meant to satisfy an ancestor spec?

#82 shonfeder opened 3 years ago
0
Add support for fetching default branch

#81 shonfeder closed 3 years ago
0
Support for fetching git from ssh

#80 shonfeder opened 3 years ago
0
Support tag synonyms

#79 shonfeder opened 3 years ago
0
Store the remote repo URL

#78 shonfeder closed 3 years ago
0
Use relative paths for logical unit links within the same repository

#77 shonfeder opened 3 years ago
0
Update reference links

#76 shonfeder opened 3 years ago
0
Use lazy_static where appropriate

#75 shonfeder opened 3 years ago
0
Move away from limits of github-centric approach

#74 shonfeder opened 3 years ago
0
Add linkify command

#73 shonfeder closed 3 years ago
0
Use rust stable

#72 shonfeder closed 3 years ago
0
Make `context new` switch to the created context

#71 shonfeder closed 3 years ago
0
Use rust stable

#70 shonfeder closed 3 years ago
0
context new should switch to the new context

#69 shonfeder closed 3 years ago
0
Drop dependency on pandoc_ast

#68 shonfeder closed 3 years ago
0
Replace pandoc_ast with scraper

#67 shonfeder closed 3 years ago
0
Improve parser error handling

#66 shonfeder closed 3 years ago
0
Unhelpful error when parsing fails:

#65 shonfeder closed 3 years ago
1
Update the readme

#64 shonfeder closed 3 years ago
0
Report offending tag when duplicate unit tag is detected

#63 shonfeder closed 3 years ago
0
Update the readme

#62 shonfeder closed 3 years ago
0
Add command to linkify tags and tag reference

#61 shonfeder closed 3 years ago
1
Implement sync command

#60 shonfeder closed 3 years ago
0
Implement `unit list` and `unit show` subcommands

#59 shonfeder closed 3 years ago
0
Load units into database when a repo is added to a context

#58 shonfeder closed 3 years ago
0
How to determine which files to load logical units from?

#57 shonfeder opened 3 years ago
0
Support nested definition lists

#56 shonfeder opened 3 years ago
0
Move repo management commands under `repo` subcommand

#55 shonfeder closed 3 years ago
0
Add `remove` subcommands for context and repos

#54 shonfeder opened 3 years ago
0
Add commands for managing repos

#53 shonfeder closed 3 years ago
0
Make `sync` incremental by storing last scanned git hash

#52 shonfeder opened 3 years ago
0
Support adding remote-only repos to context

#51 shonfeder opened 3 years ago
0
Implement context subcommand

#50 shonfeder closed 3 years ago
0
Add fuzzy narrowing as default filtering mechanism

#49 shonfeder closed 3 years ago
1
Add fuzzy narrowing as default filtering mechanism

#48 shonfeder opened 3 years ago
0
Investigate automating trace production

#47 shonfeder opened 3 years ago
0