issues
search
Fault-lang
/
Fault
a language for building system dynamic models
https://fault.tech
MIT License
164
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bellmar/imports
#50
mbellotti
closed
2 months ago
0
if component state boolean is not declared, switch to the block0, dec…
#49
mbellotti
closed
4 months ago
0
small grammar problem
#48
mbellotti
closed
11 months ago
0
Bellmar/conditional bugs
#47
mbellotti
closed
11 months ago
0
Update README.md
#46
johanrhodin
closed
11 months ago
1
error on string clauses
#45
mbellotti
closed
11 months ago
0
sloppy fixes for clauses
#44
mbellotti
closed
11 months ago
0
Bellmar/bug fixes
#43
mbellotti
closed
12 months ago
0
Bellmar/system assert bug
#42
mbellotti
closed
1 year ago
0
Bellmar/output include asserts
#41
mbellotti
closed
1 year ago
0
Bellmar/output
#40
mbellotti
closed
1 year ago
0
Broken asserts
#39
mbellotti
closed
1 year ago
0
Adding String Support
#38
mbellotti
closed
1 year ago
0
Known bug with indexes and phi values
#37
mbellotti
opened
1 year ago
0
Bellmar/index position
#36
mbellotti
closed
1 year ago
0
updating README
#35
mbellotti
closed
1 year ago
0
Better initializing of model variables plus swapping values for stock/flows
#34
mbellotti
closed
1 year ago
0
Exit with failure code with faults were found
#33
raymyers
opened
1 year ago
3
Add visualize mode to help message
#32
raymyers
closed
1 year ago
0
Bellmar/goreleaser
#31
mbellotti
closed
1 year ago
0
Running on Windows
#30
mbellotti
closed
1 year ago
0
Improving spec validation
#29
mbellotti
closed
1 year ago
0
Trouble getting it running on Windows
#28
hwayne
closed
1 year ago
3
Grammar railroad diagram
#27
mingodad
opened
1 year ago
6
docs: initial example not immediately runnable (?)
#26
gvwilson
closed
1 year ago
1
Bellmar/doc example bugs
#25
mbellotti
closed
1 year ago
0
Bellmar/whens thens
#24
mbellotti
closed
1 year ago
0
Refactoring smt
#23
mbellotti
closed
1 year ago
0
Clarifying interface comms
#22
mbellotti
closed
1 year ago
0
Breakpoint assumption rewrite
#21
mbellotti
closed
1 year ago
0
Sorting rounds
#20
mbellotti
closed
1 year ago
0
fixing some bugs around parsing imports
#19
mbellotti
closed
1 year ago
0
Interface attempt 2
#18
mbellotti
closed
1 year ago
0
Some fixes found when testing meaningful examples
#17
mbellotti
closed
1 year ago
0
Misc fixes
#16
mbellotti
closed
1 year ago
0
Builtin advance
#15
mbellotti
closed
1 year ago
0
Finishing up state charts
#14
mbellotti
closed
1 year ago
0
Redoing namespace
#13
mbellotti
closed
1 year ago
0
Continuing with state charts
#12
mbellotti
closed
1 year ago
0
Beginning of State charts
#11
mbellotti
closed
1 year ago
0
Tighten Up AST with Operand Type
#10
mbellotti
closed
1 year ago
1
Rename "Parameter Call" to something that makes sense
#9
mbellotti
opened
1 year ago
2
Adding Booleans
#8
mbellotti
closed
2 years ago
0
Working on the interface
#7
mbellotti
closed
2 years ago
0
fixing testings
#6
mbellotti
closed
2 years ago
0
Remove the homebrew specific path to Antlr java
#5
mbellotti
closed
1 year ago
0
Refactoring assert generation + temporal logic
#4
mbellotti
closed
2 years ago
0
Increasing testing to bring mutation coverage up to 60%
#3
mbellotti
closed
2 years ago
0
Add mutation tests
#2
mbellotti
closed
2 years ago
1
Add some links to README.md
#1
kasbah
closed
3 years ago
0
Next