Home
Projects
Resources
Alternatives
Blog
Sign In
Fault Lang Fault Versions
Save
a language for building system dynamic models
Overview
Versions
Reviews
Resources
v0.2.6
7 months ago
Changelog
623f6af Bellmar/conditional bugs (#47)
597220f Update README.md (#46)
5417e05 small grammar problem (#48)
v0.2.5
7 months ago
Changelog
3e63664 error on string clauses (#45)
v0.2.4
7 months ago
Changelog
6635489 sloppy fixes for clauses (#44)
v0.2.3
7 months ago
Changelog
914308a Bellmar/bug fixes (#43)
v0.2.2
8 months ago
Changelog
3e53fd8 Add visualize mode to help message (#32)
82dbd33 Adding String Support (#38)
1e39479 Bellmar/index position (#36)
71eb521 Bellmar/output (#40)
f02ce2e Bellmar/output include asserts (#41)
736632d Bellmar/system assert bug (#42)
eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
686a957 Creating action to sign builds
192c84b changing model checker to solver in the install instructions to be clear
8d19f1e signing releases
bb51ea5 updating README (#35)
6cce0a4 updating and cleaning up the README
v0.2.1
8 months ago
Changelog
3e53fd8 Add visualize mode to help message (#32)
82dbd33 Adding String Support (#38)
1e39479 Bellmar/index position (#36)
71eb521 Bellmar/output (#40)
eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
686a957 Creating action to sign builds
7a267b3 a nicer format for specs that are just static rules
5c8a22f basic abstractions for asserts in the event log
192c84b changing model checker to solver in the install instructions to be clear
f81312b cleaning up formatting
916eff1 clearer handling of assert output
045a4e6 don't process asserts for output if there aren't any
51bd49d extra space
42c457c fiddling with abstractions to try to track chains of clauses
723ceaa fun import bug on asserts and fixing problems with assertion evaluation
17f6ea8 maybe got all the bugs out of assert outputs
fdba640 missing some line breaks
a6dfa68 moving ast dependent utils into ast package
638019a probably got assert tracking all done now?
8d19f1e signing releases
522420f some bug fixes around state charts
d05f884 surpress output when all the asserts have passed
2bdaeac updating README
bb51ea5 updating README (#35)
6cce0a4 updating and cleaning up the README
4ad5713 updating workflow
v0.2.0
11 months ago
Changelog
3e53fd8 Add visualize mode to help message (#32)
1e39479 Bellmar/index position (#36)
eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
686a957 Creating action to sign builds
30d255f bug: StructInstances can also be in DefStatements
192c84b changing model checker to solver in the install instructions to be clear
697a716 debugging globally defined strings
86db50f first pass at compound string rules
9890a3e fixed syntax issue in testdata (swaps2)
eab85fb fixing tests
6871092 forgot to add Prefix to branch tagging
addce77 grammar updates and converting string to boolean in ir
5ea5e2b imports weren't passing global variables up to the parent spec
8d19f1e signing releases
3e7a37a still very much a mess but fixed the tests at least
8704184 strings as bool in smt
8ab627e stuck in a real nasty place on ands/ors
bb51ea5 updating README (#35)
b2594cb updating README.md
6cce0a4 updating and cleaning up the README
20fb670 working through some bugs with compound strings and found a bug in smt generation of prefixes
v0.1.2
1 year ago
Changelog
3e53fd8 Add visualize mode to help message (#32)
eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
686a957 Creating action to sign builds
192c84b changing model checker to solver in the install instructions to be clear
2ed164b clock support
78f4eeb constants can't be accessed via index
be604ed extra test for indexes in asserts
42198db index expressions in llvm
bceb15e index expressions should include the index number in the variable rawid
7627c24 indexing supposed in smt
8d19f1e signing releases
f2f26c1 uncommenting tests
bb51ea5 updating README (#35)
4d22c26 updating README.md
6cce0a4 updating and cleaning up the README
v0.1.1
1 year ago
Changelog
44faf04 Add mutation tests (#2)
32f0e33 Adding Booleans (#8)
7f7d32f Beginning of State charts (#11)
80d9556 Bellmar/doc example bugs (#25)
02e37f1 Bellmar/goreleaser (#31)
f13fec5 Bellmar/whens thens (#24)
1f45cf6 Builtin advance (#15)
7e5c8a8 Continuing with state charts (#12)
2a84243 Create CONTRIBUTORS.md
686a957 Creating action to sign builds
c133c95 Creating action to sign builds
995598a Finishing up state charts (#14)
78ba034 Forgot to update the command flags on the docker side
92ca280 I hate rebasing
3ec9518 Improving spec validation (#29)
2633140 Increasing testing to bring mutation coverage up to 60% (#3)
9069ab9 Interface attempt 2 (#18)
9e9ecd6 Merge branch 'main' into bellmar/swaps
2a7bcf0 Merge branch 'main' into state-charts
b930291 Merge branch 'main' of
https://github.com/Fault-lang/Fault
4d966f9 Merge branch 'main' of
https://github.com/Fault-lang/Fault
e3c44b7 Merge branch 'main' of
https://github.com/Fault-lang/Fault
85ec431 Merge branch 'main' of
https://github.com/Fault-lang/Fault
90ca64b Merge branch 'main' of
https://github.com/Fault-lang/Fault
into bellmar/swaps
c1b1691 Merge branch 'main' of
https://github.com/Fault-lang/Fault
into main
4ef202d Merge branch 'main' of
https://github.com/Fault-lang/Fault
into main
6d1e3bb Misc fixes (#16)
40a6751 Redoing namespace (#13)
1e82d19 Refactoring assert generation + temporal logic (#4)
2b993de Refactoring smt (#23)
057b665 Running on Windows (#30)
2fca03b Running on Windows (#30)
a1da903 Some fixes found when testing meaningful examples (#17)
22db57e Update README.md
723a515 Update README.md
ef95996 Update issue templates
4806526 Updated config.yml
6a69847 Working on the interface (#7)
6259932 a little bit of cleanup and getting rid of the loop on struct property order
332f718 adding more specific tests to listener
f607b93 adding new tests to llvm/name to help mutation score
47fe8ac adding solvables (uncertains and unknown)
b458874 adjusting grammar
f8252fe adjusting listener tests
155de37 adjusting style issues on utils
d2c6092 adjustments to execution to accomodate yices
1069555 asserts/assumes not passed on in main function (whoops)
1dd177a basic assertions
02fc31a basic swap test
04d0b1e big in uncertain annotations
6143cc8 breaking out assert/assume generation into smaller functions
10cfdf6 breaking swaps out into their own thing.
97a8008 bug in constant handling
c2ee9ee bug with Prefix
75e9c3c can only swap instances of the same class
748573c change AST
53fe2dc changing approach a little, moving swaps into the instance node and swapping them in after type checking
b631e40 changing clock to now
168af7f changing model checker to solver in the install instructions to be clear
192c84b changing model checker to solver in the install instructions to be clear
71dba4c cleaning up and consolidating old test files
b4be1ed cleaning up some lingering merge issues
fbfd101 commented out tests
f95bc32 converting listener stack from interface to ast.Node and adding swaps to run steps
64d3e6c debugging basic swaps (incorrect name and values + duplicate declares)
cc7e5e4 delete unnecessary line
09ea4ef do not remove leading slashes from host and change order of sat/unsat check
4a27343 don't use compiler execute on the llvm test
c416a46 edge cases with preprocessing and typechecking
802c153 error handling on antlr listener
df69558 extra swap test
e6295df file not filepath is the correct variable in the shell script
a286761 finally figuring out how to make swaps/aliases work, this is so messy and gross
aaa4db8 first grammar for state charts
338ecf5 fixing Temporal2 test
3375925 fixing a infinite loop with constants referenced in structs during type checking and updated ir test to reflect change in parameter order
a4f2772 fixing a misunderstanding in the filepath formatting
4f11f85 fixing broken error handling
5aff0d9 fixing bug in parsing negative floats from the solver response
7ea758d fixing bug not found by test suite
ff6bbdc fixing flakey test
601e06c fixing line breaks on output
c5739ca fixing llvm test after llvm upgrade
1da85bf fixing some small bugs including returns on after blocks
f8442a2 fixing some tests
ba8c725 fixing testings (#6)
d658101 fixing tests (oops forgot to run all of them)
8d2c3f9 forgot to uncomment some tests and more tweaks to filepaths
c51d680 get readme up to date
9aa7835 getting swaps to pass the listener
38defd1 handling multiple imports in one block
163641c here's a crazy idea: let the typechecker just have the preprocessor and let it do partial runs to rename nodes post-swap
be38b30 init
eec36f9 init bubbletea interface
d5f69f7 init state charts
e52f332 knocking out edge cases with ors, xors, ands in statecharts
bd4b536 lol jk! tweaking the grammar of state charts to make more sense
19099a0 making full Tokens easier to access
6ad8c0a move swap tests to own folder
378012d moving fork logic to its own package
1b47639 moving rules to their own subpackage
c0296d5 moving variable data over to own package and starting generator
9395b99 mystery changes, maybe bug in mutesting library O.o
cfff092 no sat should not override the rest of visualization output (#22)
9b351fd nothing like truly f-ing up your branches...
dfaeb66 one additional test
b1190b7 preprocessing swaps
d3b5f2b prototype ir for builtins plus minor adjustments to AST
088253e rebasing
8dc2748 rebasing
4965035 rebasing some more
27773a6 rebasing some more
f1bd74c rebasing still more
b371a67 rebasing still more and more
23a0e40 rebasing still more and more and more
59683c7 remove fuzzer
1281fdc removing duplicate function left after rebase
8d56a21 removing stray equals from the command line arg iputs
7b31a95 removing the Makefile for antlr grammars
33e3729 renaming parse functions that don't involve parsing to create XXX rule functions
66cd3f3 resolving some local conflicts
a2a64f7 rough implementation of state charts to llvm. Lots of cleanup needed
8d19f1e signing releases
96d7be8 signing releases
5fc318a sloppy commit, but when starting state chart temporals I decided to change the approach to handling rounds
fcac663 sloppy save point, first draft of new parse and generation of asserts
b53cc34 some style clean up
b8749ce splitting initializations from the runblock (grammar)
94bc5f4 splitting temporal types
1d0cc33 state charts support in parser
680e214 stray bugs with parsing SMT response, etc
dc1e912 temporarily committing out flaking tests, I know formatting of results is broken will fix before inviting contribs
853751c this commit is out of control, started as preventing asserts against expired states, became something different, plus clean up
82962b7 tightening up the functions around VarRounds
e89091b tweaking filepath formatting
4472458 tweaking mutantion fail criteria
0008396 tweaking the split of mutation tests in circleCI
4cf1223 types and preprocess
76323e1 update README.md
978ca1e update README.md with proper install instructions.
6d68a64 updating README
0e1ef98 updating README.md
6cce0a4 updating and cleaning up the README
6f70257 updating and cleaning up the README
07317ca updating command line interface to be consistent across Docker and main.go
0a7fdda updating grammar for swaps
7e004d1 updating listener, plus undoing a tweak to grammar that broke tests
9a24c3d updating llvm tests to unit block
fb7117d wiring up error handling
9807b85 working out some bugs in version command
36be545 yices requires logic be set explicitly
v0.1.0
1 year ago
Changelog
44faf04 Add mutation tests (#2)
32f0e33 Adding Booleans (#8)
7f7d32f Beginning of State charts (#11)
80d9556 Bellmar/doc example bugs (#25)
02e37f1 Bellmar/goreleaser (#31)
f13fec5 Bellmar/whens thens (#24)
1f45cf6 Builtin advance (#15)
7e5c8a8 Continuing with state charts (#12)
2a84243 Create CONTRIBUTORS.md
995598a Finishing up state charts (#14)
78ba034 Forgot to update the command flags on the docker side
3ec9518 Improving spec validation (#29)
2633140 Increasing testing to bring mutation coverage up to 60% (#3)
9069ab9 Interface attempt 2 (#18)
2a7bcf0 Merge branch 'main' into state-charts
4d966f9 Merge branch 'main' of
https://github.com/Fault-lang/Fault
85ec431 Merge branch 'main' of
https://github.com/Fault-lang/Fault
b930291 Merge branch 'main' of
https://github.com/Fault-lang/Fault
e3c44b7 Merge branch 'main' of
https://github.com/Fault-lang/Fault
c1b1691 Merge branch 'main' of
https://github.com/Fault-lang/Fault
into main
4ef202d Merge branch 'main' of
https://github.com/Fault-lang/Fault
into main
6d1e3bb Misc fixes (#16)
40a6751 Redoing namespace (#13)
1e82d19 Refactoring assert generation + temporal logic (#4)
2b993de Refactoring smt (#23)
2fca03b Running on Windows (#30)
a1da903 Some fixes found when testing meaningful examples (#17)
22db57e Update README.md
723a515 Update README.md
ef95996 Update issue templates
4806526 Updated config.yml
6a69847 Working on the interface (#7)
6259932 a little bit of cleanup and getting rid of the loop on struct property order
f607b93 adding new tests to llvm/name to help mutation score
47fe8ac adding solvables (uncertains and unknown)
155de37 adjusting style issues on utils
d2c6092 adjustments to execution to accomodate yices
1069555 asserts/assumes not passed on in main function (whoops)
1dd177a basic assertions
04d0b1e big in uncertain annotations
6143cc8 breaking out assert/assume generation into smaller functions
97a8008 bug in constant handling
c2ee9ee bug with Prefix
748573c change AST
b631e40 changing clock to now
71dba4c cleaning up and consolidating old test files
cc7e5e4 delete unnecessary line
09ea4ef do not remove leading slashes from host and change order of sat/unsat check
c416a46 edge cases with preprocessing and typechecking
802c153 error handling on antlr listener
e6295df file not filepath is the correct variable in the shell script
aaa4db8 first grammar for state charts
338ecf5 fixing Temporal2 test
3375925 fixing a infinite loop with constants referenced in structs during type checking and updated ir test to reflect change in parameter order
a4f2772 fixing a misunderstanding in the filepath formatting
4f11f85 fixing broken error handling
5aff0d9 fixing bug in parsing negative floats from the solver response
7ea758d fixing bug not found by test suite
ff6bbdc fixing flakey test
601e06c fixing line breaks on output
1da85bf fixing some small bugs including returns on after blocks
f8442a2 fixing some tests
ba8c725 fixing testings (#6)
d658101 fixing tests (oops forgot to run all of them)
8d2c3f9 forgot to uncomment some tests and more tweaks to filepaths
c51d680 get readme up to date
38defd1 handling multiple imports in one block
be38b30 init
eec36f9 init bubbletea interface
d5f69f7 init state charts
e52f332 knocking out edge cases with ors, xors, ands in statecharts
bd4b536 lol jk! tweaking the grammar of state charts to make more sense
378012d moving fork logic to its own package
1b47639 moving rules to their own subpackage
c0296d5 moving variable data over to own package and starting generator
9395b99 mystery changes, maybe bug in mutesting library O.o
cfff092 no sat should not override the rest of visualization output (#22)
9b351fd nothing like truly f-ing up your branches...
dfaeb66 one additional test
d3b5f2b prototype ir for builtins plus minor adjustments to AST
59683c7 remove fuzzer
8d56a21 removing stray equals from the command line arg iputs
7b31a95 removing the Makefile for antlr grammars
33e3729 renaming parse functions that don't involve parsing to create XXX rule functions
66cd3f3 resolving some local conflicts
a2a64f7 rough implementation of state charts to llvm. Lots of cleanup needed
5fc318a sloppy commit, but when starting state chart temporals I decided to change the approach to handling rounds
fcac663 sloppy save point, first draft of new parse and generation of asserts
b53cc34 some style clean up
94bc5f4 splitting temporal types
1d0cc33 state charts support in parser
680e214 stray bugs with parsing SMT response, etc
dc1e912 temporarily committing out flaking tests, I know formatting of results is broken will fix before inviting contribs
853751c this commit is out of control, started as preventing asserts against expired states, became something different, plus clean up
82962b7 tightening up the functions around VarRounds
e89091b tweaking filepath formatting
4472458 tweaking mutantion fail criteria
0008396 tweaking the split of mutation tests in circleCI
76323e1 update README.md
978ca1e update README.md with proper install instructions.
6d68a64 updating README
0e1ef98 updating README.md
07317ca updating command line interface to be consistent across Docker and main.go
7e004d1 updating listener, plus undoing a tweak to grammar that broke tests
fb7117d wiring up error handling
9807b85 working out some bugs in version command
36be545 yices requires logic be set explicitly
Home
Projects
Resources
Alternatives
Blog
Sign In
Sign In to OSA
I agree with
Terms of Service
and
Privacy Policy
Sign In with Github