search

rems-project / sail

Sail architecture definition language
Other
624 stars 116 forks source link

create target and files for lean backend #722

Closed javra closed 2 months ago

javra commented 2 months ago

This is my attempt at making an empty backend for the Lean export to build the future progress on. Like @Alasdair suggested last week, this first just outputs an error message which will be replaced by increased functionality in the coming weeks.

github-actions[bot] commented 2 months ago

Test Results

   10 files  ±0     22 suites  ±0   0s :stopwatch: ±0s   697 tests ±0    697 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 173 runs  ±0  2 172 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 4fbfe567. ± Comparison against base commit 6a978ad1.

Alasdair commented 2 months ago

I think we mostly do use the -o flag as a directory for targets where that makes more sense than just a file.