Aditya Gupta 382507e71a minor(gui): Disable simulation button if no provider found

2026-07-10 22:36:03 +05:30

..

src

minor(gui): Disable simulation button if no provider found

2026-07-10 22:36:03 +05:30

next-env.d.ts

refactor(llm): Unify auto-bootstrapped prover instances and custom instances

2026-07-10 22:27:24 +05:30

next.config.ts

MAJOR: Added a GUI app for simulations

2026-07-09 18:14:26 +05:30

package.json

feat(gui): Switch to tailwind

2026-07-10 15:53:51 +05:30

postcss.config.mjs

feat(gui): Switch to tailwind

2026-07-10 15:53:51 +05:30

tailwind.config.ts

feat(gui): Switch to tailwind

2026-07-10 15:53:51 +05:30

tsconfig.json

MAJOR: Added a GUI app for simulations

2026-07-09 18:14:26 +05:30