Releases: Fault-lang/Fault
Releases · Fault-lang/Fault
v0.2.7
v0.2.6
v0.2.5
v0.2.4
v0.2.3
v0.2.2
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
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
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
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
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